A self-recovering communication buffer based on the concept of cellular automaton. - Katsumi Wasaki; Yasushi Fuwa; Yatsuka Nakamura; Masayoshi Eguchi (Syst. Comput. Jpn., 1994)

A set of time dependent fuzzy membership functions and its compactness. - Noboru Endou; Katsumi Wasaki; Keiji Ohkubo; Pauline N. Kawamoto; Yasunari Shidama (ACC, 2000)

Fuzzy optimal control using simple inference method and function type inference method. - Takashi Mitsuishi; Katsumi Wasaki; Keiji Ohkubo; Jun Kawabe; Yasuiiari Shidama (ACC, 2000)

Smart sensing for mine detection studies with IR cameras. - Nobuhiro Shimoi; Yoshihiro Takita; Kenzo Nonami; Katsumi Wasaki (CIRA, 2001)

Optimization of Fuzzy Feedback Control in L_Space. - Takashi Mitsuishi; Jun Kawabe; Katsumi Wasaki; Yasunari Shidama (FUZZ-IEEE, 2001)

Ensemble by Seven Musical Performance Robots. - Tadahiro Kaneda; Shoichiro Fujisawa; Takeo Yoshida; Yasumasa Yoshitani; Takashi Nishi; Yasunari Shidama; Katsumi Wasaki (J. Robotics Mechatronics, 2001)

The persistence of the Petri Net state-space. - Koichi Okada; Katsumi Wasaki; Yasunari Shidama (ICARCV, 2002)

A high reliability design for NFS server software based on the logical coloured Petri net. - Shinnosuke Yamaguchi; Katsumi Wasaki; Yasunari Shidama (ICARCV, 2002)

Study on a noise reduction system of CATV network upstream for data communication. - Masayuki Nakamura; Yuying Yang; Katsumi Wasaki; Yasunari Shidama (ICCCN, 2003)

A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. - Shinnosuke Yamaguchi; Katsumi Wasaki; Yasunari Shidama (ICEIS (3), 2003)

The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. - Shinnosuke Yamaguchi; A. Nishino; Katsumi Wasaki; Yasunari Shidama (ICARCV, 2004)

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. - Hisayoshi Kunimune; Masaaki Niimura; Katsumi Wasaki; Yasushi Fuwa; Yasunari Shidama; Yatsuka Nakamura (KES (3), 2005)

Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. - Katsumi Wasaki; Toshiaki Harai; Tamotsu Hayashi; Ken-ichi Arai (DSD, 2007)

A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. - Katsumi Wasaki; Ken-ichi Arai (FCS, 2007)

A Meta Hardware Description Language Melasy for Model-Checking Systems. - Naoki Iwasaki; Katsumi Wasaki (ITNG, 2008)

Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II. - Katsumi Wasaki (Formaliz. Math., 2008)

Stability of the 4-2 Binary Addition Circuit Cells. Part I. - Katsumi Wasaki (Formaliz. Math., 2008)

Complex Integral. - Masahiko Yamazaki; Hiroshi Yamazaki; Katsumi Wasaki; Yasunari Shidama (Formaliz. Math., 2009)

Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching. - Keiichi Tanaka; Katsumi Wasaki (ITNG, 2011)

Malware classification based on extracted API sequences using static analysis. - Kazuki Iwamoto; Katsumi Wasaki (AINTEC, 2012)

Retargetable Netlists Generation and Structural Synthesis Based on a Meta Hardware Description Language: Melasy+. - Sho Nishida; Katsumi Wasaki (ITNG, 2012)

Morphology for Image Processing. Part I. - Hiroshi Yamazaki; Czeslaw Bylinski; Katsumi Wasaki (Formaliz. Math., 2012)

Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster. - Bishnu Prasad Gautam; Katsumi Wasaki; Amit Batajoo; Suresh Shrestha; Kazuhiko Sato (AINA, 2016)

Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS. - Yojiro Harie; Katsumi Wasaki (GCCE, 2016)

A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness. - Bishnu Prasad Gautam; Katsumi Wasaki; Narayan Sharma (NaNA, 2016)

HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. - Yojiro Harie; Yuta Mitsui; Kouhei Fujimori; Amit Batajoo; Katsumi Wasaki (GCCE, 2017)

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets. - Yojiro Harie; Katsumi Wasaki (SIMULTECH, 2017)

A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation. - Katsumi Wasaki; Masaaki Niimura; Nobuhiro Shimoi (SIMULTECH, 2017)

Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design. - Amit Batajoo; Yojiro Harie; Katsumi Wasaki (GCCE, 2018)

Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. - Yojiro Harie; Katsumi Wasaki (SAI (3), 2020)

Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I. - Katsumi Wasaki (Formaliz. Math., 2020)

A Web Platform for Hosting the Mizar Mathematical Library (short paper). - Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki (CICM Workshops, 2021)

Fogging Jyaguchi Services in Tensai Gothalo. - Bishnu Prasad Gautam; Amit Batajoo; Katsumi Wasaki (CoRR, 2021)

Classification of Human Posture on Bed Using Machine Learning. - Kenta Sawada; Kazuhisa Nakasho; Katsumi Wasaki; Nobuhiro Shimoi (ICCE-TW, 2022)

An Integrated Web Platform for the Mizar Mathematical Library. - Hideharu Furushima; Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki (CICM, 2022)

Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education. - Shizuka Nakamura; Katsumi Wasaki (WCCE, 2022)

Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering. - Hikofumi Suzuki; Katsumi Wasaki (DATA, 2023)

Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks Through Continuous SOM Diagram Generation. - Hikofumi Suzuki; Akiyoshi Iwasa; Takumi Uchiyama; Katsumi Wasaki (NaNA, 2023)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems. - Yojiro Harie; Yuto Ogata; Bishnu Prasad Gautam; Katsumi Wasaki (CANDAR, 2024)