論文 Description and Consistency Checking of Distributed Algorithms in UML Models using Composite Structure and State Machine Diagrams Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing,1445:199-207 2023(May) Author:Yu MANTA, Katsumi WASAKI
Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing,1445:379-386 2023(May) Author:Yuya CHIBA, Katsumi WASAKI
Description of Restricted Object Reservation System using Specification and Description Language VDM++ Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing,1445:413-420 2023(May) Author:Aoto MAKITA, Katsumi WASAKI
Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review Applied Sciences,13(5335) 2023(Apr.) Author:Yojiro HARIE, Bishnu GAUTAM, Katsumi WASAKI
Reduction of spherical aberration measurement error in high numerical aperture spherical test with synthetic-aperture Fizeau interferometry Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022),(OR-11-0125):528-530 2022(Nov.) Author:Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI
Inertia alignment of phase-shifting algorithms for high-numerical-aperture spherical testing in Fizeau interferometry Applied Optics,61(30):8926-8935 2022(Oct.) Author:Toshiki KUMAGAI, Kenichi HIBINO, Keita TOMITA, Katsumi WASAKI
An Integrated Web Platform for the Mizar Mathematical Library Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022),LNAI 13467:141-146 2022(Sep.) Author:Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki
Classification of Human Posture on Bed Using Machine Learning Proceedings of IEEE International Conference on Consumer Electronics - Taiwan - Consumer Systems for Healthcare and Wellbeing (ICCE-TW 2022),:547-548 2022(Jul.) Author:Kenta SAWADA, Kazuhisa NAKASHO, Katsumi WASAKI, Nobuhiro SHIMOI
Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing,1421:387-392 2022(Jun.) Author:Yuta YOSHIZAWA, Katsumi WASAKI
Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing,1421:393-398 2022(Jun.) Author:Tomoki MIURA, Katsumi WASAKI
The Development of Japanese Language e-learning system focusing on CLIL (Content Language Integrated Learning) suitable for DX education Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022),:219-223 2022(Apr.) Author:Shizuka NAKAMURA, Katsumi WASAKI
Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI) International Journal of Science and Engineering Investigations(IJSEI),10(116):45-50 2021(Sep.) Author:Nobuhiro SHIMOI, Kazuhisa NAKASHO, Katsumi WASAKI
A Web Platform for Hosting the Mizar Mathematical Library The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021), Session 22A 2021(Jul.) Author:Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing,1346:313-321 2021(Jul.) Author:Katsumi WASAKI
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing,1346:255-263 2021(Jul.) Author:Kohei FUJIMORI, Katsumi WASAKI
Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values Intelligent Computing - Proceedings of the 2020 Computing Conference - Advances in Intelligent Systems and Computing 1230,3:570-580 2020(Aug.) Author:Yojiro HARIE, Katsumi WASAKI
An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems Proceedings of the 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020),:39-44 2020(Jul.) Author:Yojiro HARIE, Katsumi WASAKI
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I Formalized Mathematics,28(1):65-77 2020(Apr.) Author:Katsumi WASAKI
Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design Proceedings of the 7th IEEE Global Conference on Consumer Electronics (GCCE 2018),:582-586 2018(Oct.) Author:Amit BATAJOO, Yojiro HARIE, Katsumi WASAKI
HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017),:686-690 2017(Oct.) Author:Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI
Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH2017),:356-361 2017(Jul.) Author:Yojiro HARIE, Katsumi WASAKI
Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network Advances in Intelligent Systems and Computing,558:57-65 2017(Apr.) Author:Katsumi WASAKI, Masaaki NIIMURA, Nobuhiro SHIMOI
A Petri Net Design and Verification Platform based on The Scalable and Parallel Architecture: HiPS Advances in Intelligent Systems and Computing,558:265-273 2017(Apr.) Author:Yojiro HARIE, Katsumi WASAKI
Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS Proceedings of the 5th IEEE Global Conference on Consumer Electronics (GCCE 2016),:290-294 2016(Oct.) Author:Yojiro HARIE, Katsumi WASAKI
A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness Proceedings of the 2016 International Conference on Networking and Network Applications (NaNA2016),:422-427 2016(Jul.) Author:Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA
Multi-master Replication of an Enhanced Learning Assistant System in IoT Cluster Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016),:1006-1012 2016(Mar.) Author:Bishnu GAUTAM, Amit BATAJOO, Katsumi WASAKI, Suresh SHRESTHA, Kazuhiko SATO
Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai IEEJ Transactions on Electrical and Electronic Engineering,10(s1):S60-S68 2015(Apr.) Author:Bishnu Prasad GAUTAM, Katsumi WASAKI
A Method for Shellcode Extraction from Malicious Document Files usingEntropy and Emulation Proceedings of the 4th International Conference on Security Science and Technology (ICSST2015),(ST005):7pages 2015(Jan.) Author:Kazuki IWAMOTO, Katsumi WASAKI
Quantum Theory of Fundamental Network (Path Integral Expression Circuits and Network's Quantization) International Journal of Innovative Computing Information and Control,10(5):1601-1623 2014(Oct.) Author:Hiroyuki MATSUURA, Katsumi WASAKI
Quantization of Artificial Neuron (Quantum Current, Model of Polariton on Axon) International Journal of Innovative Computing Information and Control,10(3):1121-1133 2014(Jun.) Author:Hiroyuki MATSUURA, Katsumi WASAKI
Using a Redundant Wi-Fi Network as an Emergency Detour Route to Proactively Reduce Disaster Risk in Wakkanai, Hokkaido Proceedings of the 2014 International Conference on Information Science, Electronics and Electrical Engineering (ISEEE2014),3:1830-1837 2014(Apr.) Author:Bishnu Prasad GAUTAM, Katsumi WASAKI
Content Development for Distance Education in Advanced University Mathematics Using Mizar Proceedings of the 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'13),:321-326 2013 Author:TakayaIDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+ Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012),:827-830 2012(Apr.) Author:Sho NISHIDA, Katsumi WASAKI
Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012),1:195-200 2012 Author:Kazuto IDE, Katsumi WASAKI
Malware Classification based on Extracted API Sequences using Static Analysis Proceedings of the 8th Asian Internet Engineering Conference (AINTEC2012),:31-38 2012 Author:Kazuki IWAMOTO, Katsumi WASAKI
Morphology for Image Processing, Part I Formalized Mathematics,20(1):61-63 2012 Author:Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI
Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011),1:139-144 2011(Aug.) Author:Yutaka YAMADA, Katsumi WASAKI
Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching - Proceedings of the 8th International Conference on Information Technology : New Generations (ITNG2011),1:1-6 2011 Author:Keiichi TANAKA, Katsumi WASAKI
Development and Evaluation of a Long-range 300-m Leaky Coaxial Cable in the 2.4-GHz Band for IEEE 802.11 b/g Wireless Network Access IEEJ Transactions on Electrical and Electronic Engineering,6(1):37-45 2011 Author:Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
Development of a Simple Multiple-Position Identifying System with a Long Range Multiband Leaky Coaxial Cable for Rescue Operations in Tunnels or Passages in Underground Facilities Proceedings of 2010 Asia-Pacific Microwave Conference (APMC2010),1(WE3C-02):163-166 2010 Author:Masayuki Nakamura, Hideaki Takagi, Junichi Terashima, Kiyoshi Einaga, Toshiyuki Nishikawa, Naoshi Moriyama, Katsumi Wasaki
Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks Proceedings of Society for Information Technology&Teacher Education International Conference 2010 (SITE2010),1:3191-3196 2010 Author:Keiichi TANAKA, Katsumi WASAKI
Evaluation of a Dual-band Long Leaky Coaxial Cable in the 2.4 and 5 GHz Frequency Bands for Wireless Network Access Proceedings of the 2009 IEEE Radio and Wireless Symposium (IEEE RWS2009),1(TU3C):510-513 2009 Author:Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
A Meta Hardware Description Language Melasy for Model-Checking Systems Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008),1(MC1):273-278 2008 Author:Naoki IWASAKI, Katsumi WASAKI
Development of a 300m 2.4GHz Frequency Band Leaky Coaxial Cable for Wireless Network Access Proceedings of the 2008 IEEE Radio and Wireless Symposium (IEEE-RWS2008),1(TH1C):687-690 2008 Author:Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
Stability of the 4-2 Binary Addition Circuit Cells. Part I Formalized Mathematics,16(4):385-395 2008 Author:Katsumi WASAKI
Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits Mechanized Mathematics and Its Applications,7(2):17-25 2008 Author:Katsumi WASAKI
Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II Formalized Mathematics,16(1):73-80 2008 Author:Katsumi WASAKI
A Modeling and Formal Verification of Multi-layered Combined Circuits Workshop Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2007),1(6):1-5 2007 Author:Katsumi WASAKI
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net Proceedings of the 10th EUROMICRO Conference on Digital System Design (DSD2007),1(6):1-7 2007 Author:Katsumi WASAKI, Toshiaki HARAI
A Design Verification of the Parallel Pipelined ImageProcessing Proceedings of the International e-Conference of Computer Science (IeCCS2007) Part-I,1(59):1-4 2007 Author:Katsumi WASAKI, Toshiaki HARAI
A Case Study of Formal Verification for Multi-Level Pipeline Logic Circuit by Using Mizar Proof Checker Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07),1(59):10-16 2007 Author:Katsumi WASAKI, Kenichi ARAI
A Watermarking Scheme using Background Pattern to Protect Printed Documents Proceedings of the International Workshop on Nonlinear Circuits and Signal Processing (NCSP2007),1(151):17-20 2007 Author:Katsuki KOBAYASHI, Kiyoshi TANAKA, Hernan AGUIRRE, Hiroyuki OKAZAKI, Hisayoshi KUNIMUNE, Katsumi WASAKI, Masaaki NIIMURA, Yasushi FUWA
Riemann Indefinite Integral of Functions of Real Variable Formalized Mathematics,15(2):59-63 2007 Author:Yasunari SHIDAMA, Noboru ENDOU，Katsumi WASAKI
A Transformation from AES Encryption Processes to Extended Petri Net Models using PNML and Evaluation Tools Proceedings of the 1st International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006),1(151):283-287 2006 Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions The Journal of Information and Systems in Education,5(1):76-83 2006 Author:Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA
The learning system of Shinshu University Graduate School of Science and Technology on the Internet KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS,3683(1):1296-1302 2005 Author:Kunimune, H; Niimura, M; Wasaki, K; Fuwa, Y; Shidama, Y; Nakamura, Y
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES2005),3:1296-1302 2005 Author:Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
Display Scope Control System of e-Learning Courseware based on the Learning Progress Proceedings of the IPSI-2005,1:1-5 2005 Author:Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
Experimental Telemedicine Networkwith the Long-Range Wireless LAN and CATV for Mountain Climbers in the Japanese Alps The Proceedings of the IASTED International Conference on Telehealth (Telehealth 2005),1(484-032):29-34 2005 Author:Masayuki NAKAMURA, Yuying YANG, Shoshin KUBOTA, Katsumi WASAKI, Yasunari SHIDAMA, Yutaka MIURA
The Design Verification for the 3DES Encipher Chip based on an Extended Petri Net and XML/Java Executor Proceedings of the 8th International Conference on Control，Automation，Robotics and Vision (ICARCV2004),11(WeM1.5):1994-1999 2004 Author:Shin'nosuke YAMAGUCHI, Akira NISHINO, Katsumi WASAKI , Yasunari SHIDAMA
A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor Proceedings of the International Workshop on Discrete-Event System Design (DESDes'04),11(WeM1.5):61-66 2004 Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004),11:61-66 2004 Author:Akira NISHINO, Noboru KASADA, Katsumi WASAKI And Yasunari SHIDAMA
A Design Verification of an n-bit Adder Circuit Using a Proof Checker Mechanized Mathematics and Its Applications,3(1):18-26 2004 Author:Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI, Yasunari SHIDAMA
Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor Proceedings of the 1st Workshop on Automated Technologyfor Verification and Analysis (ATVA'2003),1(D-3):157-168 2003 Author:Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Development of Upstream Extension Amplifier for CATV with High Selectivity and Wideband Microstrip Line Filters Proceedings of the 2003 Asia-Pacific Microwave Conference (APMC'03),1(FB6-1):1636-1639 2003 Author:Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
Study on a Noise Reduction System of CATV Network Upstream for Data Communication Proceedings of the 12th International Conference on Computer Communication and Networks (ICCCN2003),12(30-3):613-616 2003 Author:Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
Shinshu University, Graduate School of Science and Technology on the Internet Proceedings of the International Conference on Advance in Infrastructure for Electronic Business, Education, Science, Medicine and Mobile Technologies on the Internet (SSGRR-2003s),1(56):1-6 2003 Author:Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA，Yatsuka NAKAMURA, Shinjiro OSHITA
A High Reliability Design for NFS Server Software By using An Extended Petri Net Proceedings of the 5th International Conference on Enterprise Information System (ICEIS2003),3(56):498-502 2003 Author:Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Full Subtracter Circuit. Part II Formalized Mathematics,11(3):231-236 2003 Author:Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI
A High Reliability Design for NFS Server Software Based on the Logical Coloured Petri Net Proceedings of the 7th International Conference on Control，Automation，Robotics and Vision (ICARCV'02),1(TuA4.2):73-77 2002 Author:Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
The Persistence ofthe Petri Net State-space Proceedings of the 7th International Conference on Control，Automation，Robotics and Vision (ICARCV’02),1(TuA4.1):69-72 2002 Author:Koichi OKADA, Katsumi WASAKI , Yasunari SHIDAMA
Full Adder Circuit. Part II Formalized Mathematics,10(1):65-71 2002 Author:Grzegorz BANCEREK, Shin'nosuke YAMAGUCHI, Katsumi WASAKI
Integral manifold and H-infinity control in weak nonlinear systems ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE,84(1):43-56 2001 Author:Miyajima, K; Wasaki, K; Suzuki, H; Shidama, Y; Eguchi, M
Optimization of Fuzzy Feedback Control in L∞ Space Proceedings of The 10th IEEE International Conference on Fuzzy Systems (IEEE-FUZZ2001),1(P211):896-899 2001 Author:Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net Proceedings of the International Workshop on Discrete-Event System Design (DESDes'01),1(I-7):61-66 2001 Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
The House Keeping System of Automated Evaluation of Students’ Programming Reports Fast Abstract of the 12th International Symposium on Software Reliability Engineering (ISSRE2001),1(S1-7):1-2 2001 Author:Hikofumi SUZUKI，Katsumi WASAKI，Tatsuo NAKAZAWA，Yasunari SHIDAMA
Measurability of Extended Real Valued Function Formalized Mathematics,9(3):525-529 2001 Author:Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
The Concept of Fuzzy Relation and Basic Properties of its Operation Formalized Mathematics,9(3):517-524 2001 Author:Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Some Properties of Extended Real Numbers Operations: absolute value, min and max Formalized Mathematics,9(3):511-516 2001 Author:Noboru ENDOU，Katsumi WASAKI，YasunariSHIDAMA
Definitions and Basic Properties of Measurable Functions Formalized Mathematics,9(3):495-500 2001 Author:Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Basic Properties of Extended Real Numbers Formalized Mathematics,9(3):491-494 2001 Author:Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
The Correctness of the High Speed Array Multiplier Circuits Formalized Mathematics,9(3):475-479 2001 Author:Hiroshi YAMAZAKI，Katsumi WASAKI
Ensemble by Seven Musical Performance Robots Journal of Robotics and Mechatronics, theRobotics and Mechatronics Division of the Japan Society ofMechanical Engineers,13(1):50-55 2001 Author:Tadahiro KANEDA, Shoichiro FUJISAWA, Takeo YOSHIDA, Yasumasa YOSHITANI, Takashi NISHI, Yasunari SHIDAMA, Katsumi WASAKI
Basic Properties of Fuzzy Set Operation and Membership Function Formalized Mathematics,9(2):357-362 2001 Author:Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Introduction to Several Concepts of Convexity and Semi-continuity for Function from Real to Real Formalized Mathematics,9(2):285-289 2001 Author:Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions Formalized Mathematics,9(2):281-284 2001 Author:Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Integrability of Bounded Total Functions Formalized Mathematics,9(2):271-274 2001 Author:Noboru ENDOU，Katsumi WASAKI, Yasunari SHIDAMA
Scalar Multiple of Riemann Definite Integral Formalized Mathematics,9(1):191-196 2001 Author:Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Property of Complex Sequence and Continuity of Complex Function Formalized Mathematics,9(1):185-190 2001 Author:Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Property of Complex Functions Formalized Mathematics,9(1):179-184 2001 Author:Takashi MITSUISHI，KatsumiWASAKI，Yasunari SHIDAMA
A process design for the Network File System model based on the Logical Coloured Petri Net Proceedings of the 6th International Conference on Control，Automation，Robotics and Vision (ICARCV2000),1(FM5.3):1-6 2000 Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
A Rapid HDL Generation for A pipelined DES Encipher Circuit by using the Logical Coloured Petri Net Proceedings of the 6th International Conference on Control，Automation，Robotics and Vision (ICARCV2000),1(FM5.2):1-6 2000 Author:Katsumi WASAKI , Shin'nosuke YAMAGUCHI , Yasunari SHIDAMA , Nobuhiro SHIMOI
Decision-Making of Theme by Students in a Case Study and Its Results Proceedings of 9th IEEE International Workshop on Robot and Human Interactive Communication (IEEE-ROMAN2000),1(FM5.2):301-304 2000 Author:Tadahiro KANEDA, Yoichiro KINUGAWA, Yasumasa YOSHITANI, Takashi NISHI, Kazuo HIROGUCHI, TakeoYOSHIDA, Yasunari SHIDAMA, Katsumi WASAKI
Fuzzy Optimal Control Using Simple Inference Method and Function Type Inference Method Proceedings of the 2000 American Control Conference (ACC2K),:1944-1948 2000 Author:Takashi MITSUISHI，Katsumi WASAKI，Keiji OHKUBO，Jun KAWABE，Yasunari SHIDAMA
A Set of Time Dependent Fuzzy Membership Functions and Its Compactness Proceedings of the 2000 American Control Conference (ACC2K),:2468-2471 2000 Author:Noboru ENDOU，Katsumi WASAKI，Keiji OHKUBO，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method Journal of Nonlinear and Convex Analysis,1(2):201-211 2000 Author:Takashi MITSUISHI，Jun KAWABE, Katsumi WASAKI，Yasunari SHIDAMA
An Optimization of Fuzzy Logic by using Genetic Algorithm Mechanized Mathematics and Its Applications,1(1):39-45 2000 Author:Noboru ENDOU, Akihiro UCHIBORI, Katsumi WASAKI
The Development of A VHDL Automatic Verification System for Logic Circuit Design Aid Proceedings of the 2nd Magneto-Electronics International Symposium (MagEl99),:33-35 1999 Author:Hikofumi SUZUKI，Tatsuo NAKAZAWA，Katsumi WASAKI，Yasunari SHIDAMA
Membership Functions in L2 Space and its Applications to Fuzzy Optimal Control Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99),3:51-55 1999 Author:Takashi MITSUISHI，Jun KAWABE，Katsumi WASAKI，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Center Manifold and H∞ Control in Weak Nonlinear Systems Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99),1:73-78 1999 Author:Noboru ENDOU，Keiji OHKUBO，Katsumi WASAKI，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Construction and Operation of Regional School’s Co-operative System for Assist the Utilizing Personal Computers in Schools Proceedings of the 8th International Conference on Human-Computer Interaction (HCI99),8(8):251-252 1999 Author:Tatsuo NAKAZAWA，Katsumi WASAKI，Michio SHIMIZU，Kazunori ITOH
Existence of Optimal Fuzzy Rules in Fuzzy Control Proceeding of China and Japan Joint Symposium on Applied Mathematics and its Related Topic,1(8):77-86 1999 Author:Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
Mamdani fuzzy controller on NBV space Proceedings of the 1999 American Control Conference (ACC99),1(TA12):1842-1845 1999 Author:Yuguang YANG，Noboru ENDOU，Katsumi WASAKI，Keiji OHKUBO，Yasunari SHIDAMA
Correctness of a Cyclic Redundancy Check Code Generator Formalized Mathematics,8(1):129-132 1999 Author:Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
Correctness of Johnson Counter Circuits Formalized Mathematics,8(1):87-91 1999 Author:Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
An Automatic HDL Generation for Parallel Accumulators based on the Extended Petri Net Proceedings of the 5th International Conference on Control，Automation，Robotics and Vision (ICARCV98),1(TM4.6):858-862 1998 Author:Katsumi WASAKI，Issei TAGUCHI，Hajime EIZAWA，Takeshi NAKAO，Pauline N. KAWAMOTO
Fuzzy Optimal Control in L^2 Space Proceedings of the International Symposium on Artificial Intelligence in real-time Control (AIRTC98),8(2):62-65 1998 Author:Takashi MITSUISHI，Katsumi WASAKI，Jun KAWABE，Yasunari SHIDAMA
Logical Coloured Petri Net Expanded to be Suitable for Making the Control System Model Proceedings of the 4th International Conference on Control，Automation，Robotics and Vision (ICARCV96),2(TA-2-2):708-713 1996 Author:Katsumi WASAKI，Yasushi FUWA，Masayoshi EGUCHI，Yatsuka NAKAMURA
A SELF-RECOVERING COMMUNICATION BUFFER BASED ON THE CONCEPT OF CELLULAR-AUTOMATON SYSTEMS AND COMPUTERS IN JAPAN,25(8):1-15 1994(Jul.) Author:Katsumi WASAKI，Yasushi FUWA，Masayoshi EGUCHI，Yatsuka NAKAMURA
MISC A Verification for Redundant Signed Digit Adder Circuits From Insight to Proof', Series of Studies in Logic, Grammar and Rhetoric,10(23):213-230 2007(Jul.) Author:Edited by Roman Matuszewski and Anna Zalewska Abstract:B01
学会・研究会の主催等 20181227 - 20201227 , Technical Symposium and General Assembly of Mizar JAPAN (2019-2020) , Conference Organizer 2010 - , Formal Methods and Verifications for The Highly Reliable Systems ; Distinguished Seminar at Qingdao University of Science&Technology（Qingdao, China）, 21th June, 2010, 30 audiences. 2004 - , 信州大学高等教育システムセンター「情報技術などを活用した教育改善」意見交換会
研究者総覧
