WASAKI KATSUMI
Academic Assembly School of Science and Technology Institute of Engineering
Faculty of Engineering Electrical and Computer Engineering
Professor
Researcher Information
Research Keyword
- Concurent Systems, Mathematical Modeling, Formal Verification, Asynchronous Circuits, Petri Nets, LOTOS, Hardware Compiler, Upstream Design
Field Of Study
Web site
Career
- 2009
Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University, Full Professor - 2007 - 2009
Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof. - 2003 - 2007
Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof. - 2001 - 2003
Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assoc. Prof. - 1998 - 2001
Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assist. Prof. - 1994 - 1998
Dept. of E&C, Nagano National College of Tech. Assist. Prof.
Educational Background
- 2005 - 2005, Research Associate, Dept. of Computing Science, University of Alberta, Canada
- 2003 - 2003, Research Associate, Dept. of Computing Science, University of Alberta, Canada
- 1993 - 1994, Shinshu University, Graduate School of Science and Technology, System Development Engineering
- 1991 - 1993, Shinshu University, Graduate School of Science and Technology, Computer Science&Engineering
- 1991, Shinshu University, Faculty of Engineering, Computer Science&Engineering
Research activity information
Award
- 2023
精密エ学会技術賞, 精密エ学会技術賞
「フィゾー型機械式位相シフト干渉計による高開口数レンズの高精度測定技術の開発」 共同研究者 態谷俊樹、富田恵多（オリンパス株式会社） 日比野 謙一 （産業総合研究所） 和﨑克己（信州大学） - 2023
NaNA2023 Best Paper Award
Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation - 2016
Information Processing Society of Japan, Best Poster Award on Embedded System Symposium2016 (ESS2016)
三井雄太，張江洋次朗，和﨑克己 : 階層型ペトリネット設計・検証ツール：HiPS ; 組込みシステムシンポジウム2016（ESS2016）講演論文集, 情報処理学会, 96-97, 2016.【査読付】 - 2016
Information Processing Society of Japan, Best Presentation Award on Forum on Information Technology (FIT2016)
和﨑克己, 新村正明, 下井信浩 : 高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装 : 総務省SCOPE地域ICT振興型研究開発 ; FIT2016（第15回情報科学技術フォーラム）講演論文集, (J-036), 353-354, 2016. - 2012
Shin-Etsu Branch, Institute of Electronics, Information and Communication Engineers, Best Practice Award, Shin-Etsu Branch, Institute of Electronics, Information and Communication Engineers - 2012
International Conference on Information Technology : New Generation 2012, Best Poster Award on ITNG2012
Sho NISHIDA, Katsumi WASAKI : 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, IEEE Computer Society Conference Proceedings, DOI 10.1109/ITNG.2012.63, 2012. - 2007
Japanese Society for Information and Systems in Education (JSiSE), Best Paper Award on Journal of Information and Systems in Education
國宗永佳，新村正明，和崎克己，不破 泰，師玉康成，中村八束 : 信州大学インターネット大学院の現状と評価 ; 教育システム情報学会誌，22，(4)，264-271，2005. - 2001
The Instituteof Control, Automation, and Systems Engineers, Korea (ICASE), Best Paper Award on ICCAS2001 International Conference
Paper
- Posture Estimation for Bed Monitoring System Using RFID
Kazuhisa NAKASHO, Chiaki KOHAMA, Kenta SAWADA, Katsumi WASAKI
Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023), 1671-1676, Oct. 2023, Refereed - 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
IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology, 685, 21-26, Oct. 2023, Refereed
- Reduction of coma aberration measurement error in high-numerical-aperture spherical test with synthetic-aperture Fizeau interferometry
Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI
The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts, 43-44, Sep. 2023, Refereed - 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
Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023), 558-567, Aug. 2023, Refereed - Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering
[3] Hikofumi SUZUKI, Katsumi WASAKI
Proceedings of the 12th International Conference on Data Science, Technology and Applications (DATA 2023), 319-326, Jul. 2023, Refereed - Description of Restricted Object Reservation System using Specification and Description Language VDM++
Aoto MAKITA, Katsumi WASAKI
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 413-420, May 2023, Refereed - Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS
Yuya CHIBA, Katsumi WASAKI
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 379-386, May 2023, Refereed - Description and Consistency Checking of Distributed Algorithms in UML Models using Composite Structure and State Machine Diagrams
Yu MANTA, Katsumi WASAKI
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 199-207, May 2023, Refereed - Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review
Yojiro HARIE, Bishnu GAUTAM, Katsumi WASAKI
Applied Sciences, 13(5335), Apr. 2023, Refereed - Reduction of spherical aberration measurement error in high numerical aperture spherical test with synthetic-aperture Fizeau interferometry
Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI
Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022), (OR-11-0125), 528-530, Nov. 2022, Refereed - Inertia alignment of phase-shifting algorithms for high-numerical-aperture spherical testing in Fizeau interferometry
Toshiki KUMAGAI, Kenichi HIBINO, Keita TOMITA, Katsumi WASAKI
Applied Optics, 61(30), 8926-8935, Oct. 2022, Refereed - An Integrated Web Platform for the Mizar Mathematical Library
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki
Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022), LNAI 13467, 141-146, Sep. 2022, Refereed - Classification of Human Posture on Bed Using Machine Learning
Kenta SAWADA, Kazuhisa NAKASHO, Katsumi WASAKI, Nobuhiro SHIMOI
Proceedings of IEEE International Conference on Consumer Electronics - Taiwan - Consumer Systems for Healthcare and Wellbeing (ICCE-TW 2022), 547-548, Jul. 2022, Refereed - Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method
Tomoki MIURA, Katsumi WASAKI
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421, 393-398, Jun. 2022, Refereed - Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver
Yuta YOSHIZAWA, Katsumi WASAKI
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421, 387-392, Jun. 2022, Refereed - The Development of Japanese Language e-learning system focusing on CLIL (Content Language Integrated Learning) suitable for DX education
Shizuka NAKAMURA, Katsumi WASAKI
Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022), 219-223, Apr. 2022, Refereed
- Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI)
Nobuhiro SHIMOI, Kazuhisa NAKASHO, Katsumi WASAKI
International Journal of Science and Engineering Investigations(IJSEI), 10(116), 45-50, Sep. 2021, Refereed - A Web Platform for Hosting the Mizar Mathematical Library
Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021), Session 22A, Jul. 2021, Refereed - A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
Kohei FUJIMORI, Katsumi WASAKI
Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 255-263, Jul. 2021, Refereed - Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language
Katsumi WASAKI
Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 313-321, Jul. 2021, Refereed - Synthetic aperture phase-shifting interferometry for high-numerical-aperture spherical surface measurement
Toshiki KUMAGAI, Yasunari NAGAIKE, Kenichi HIBINO, Katsumi WASAKI
Optical Engineering, 60(1), 0141011-1-0141011-13, Jan. 2021, Refereed - Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values
Yojiro HARIE, Katsumi WASAKI
Intelligent Computing - Proceedings of the 2020 Computing Conference - Advances in Intelligent Systems and Computing 1230, 3, 570-580, Aug. 2020, Refereed - An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020), 39-44, Jul. 2020, Refereed - Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Katsumi WASAKI
Formalized Mathematics, 28(1), 65-77, Apr. 2020, Refereed
- Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 32nd Workshop on Circuits and Systems (KWS32), IEICE, (WIP-16), 278-283, Aug. 2019, Refereed - Development of Simplified Monitoring System of Daily Life Using Care Robot and Non-restraining Sensors
Hirokazu MADOKORO, Nobuhiro SHIMOI, Kazuhito SATO, Kazuhisa NAKASHO, Masaaki NIIMURA, Katsumi WASAKI
IEICE Trans of Inf. & Syst., J102-D(5), 411-422, May 2019, Refereed - Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design
Amit BATAJOO, Yojiro HARIE, Katsumi WASAKI
Proceedings of the 7th IEEE Global Conference on Consumer Electronics (GCCE 2018), 582-586, Oct. 2018, Refereed - HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI
Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), 686-690, Oct. 2017, Refereed - Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH2017), 356-361, Jul. 2017, Refereed - A Petri Net Design and Verification Platform based on The Scalable and Parallel Architecture: HiPS
Yojiro HARIE, Katsumi WASAKI
Advances in Intelligent Systems and Computing, 558, 265-273, Apr. 2017, Refereed - Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network
Katsumi WASAKI, Masaaki NIIMURA, Nobuhiro SHIMOI
Advances in Intelligent Systems and Computing, 558, 57-65, Apr. 2017, Refereed - Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 5th IEEE Global Conference on Consumer Electronics (GCCE 2016), 290-294, Oct. 2016, Refereed - 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
Proceedings of the 2016 International Conference on Networking and Network Applications (NaNA2016), 422-427, Jul. 2016, Refereed - Multi-master Replication of an Enhanced Learning Assistant System in IoT Cluster
Bishnu GAUTAM, Amit BATAJOO, Katsumi WASAKI, Suresh SHRESTHA, Kazuhiko SATO
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 1006-1012, Mar. 2016, Refereed - Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai
Bishnu Prasad GAUTAM, Katsumi WASAKI
IEEJ Transactions on Electrical and Electronic Engineering, 10(s1), S60-S68, Apr. 2015, Refereed - The Method for Shellcode Extraction from Malicious Document File Using Entropy and Emulation
Kazuki IWAMOTO, Katsumi WASAKI
IPSJ Trans, 56(3), 892-902, Mar. 2015, Refereed - A Method for Shellcode Extraction from Malicious Document Files usingEntropy and Emulation
Kazuki IWAMOTO, Katsumi WASAKI
Proceedings of the 4th International Conference on Security Science and Technology (ICSST2015), (ST005), 7pages, Jan. 2015, Refereed - Quantum Theory of Fundamental Network (Path Integral Expression Circuits and Network's Quantization)
Hiroyuki MATSUURA, Katsumi WASAKI
International Journal of Innovative Computing Information and Control, 10(5), 1601-1623, Oct. 2014, Refereed - Quantization of Artificial Neuron (Quantum Current, Model of Polariton on Axon)
Hiroyuki MATSUURA, Katsumi WASAKI
International Journal of Innovative Computing Information and Control, 10(3), 1121-1133, Jun. 2014, Refereed - Using a Redundant Wi-Fi Network as an Emergency Detour Route to Proactively Reduce Disaster Risk in Wakkanai, Hokkaido
Bishnu Prasad GAUTAM, Katsumi WASAKI
Proceedings of the 2014 International Conference on Information Science, Electronics and Electrical Engineering (ISEEE2014), 3, 1830-1837, Apr. 2014, Refereed - Malware Classification Based on Extracted API Sequence by Static Analysis
Kazuki IWAMOTO, Katsumi WASAKI
IPSJ Trans., 54(3), 1199-1210, 2013, Refereed - Content Development for Distance Education in Advanced University Mathematics Using Mizar
TakayaIDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'13), 321-326, 2013, Refereed - Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+
Sho NISHIDA, Katsumi WASAKI
Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012), 827-830, Apr. 2012, Refereed - Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties
Kazuto IDE, Katsumi WASAKI
Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012), 1, 195-200, 2012, Refereed - Malware Classification based on Extracted API Sequences using Static Analysis
Kazuki IWAMOTO, Katsumi WASAKI
Proceedings of the 8th Asian Internet Engineering Conference (AINTEC2012), 31-38, 2012, Refereed - Morphology for Image Processing, Part I
Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI
Formalized Mathematics, 20(1), 61-63, 2012, Refereed - Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design
Yutaka YAMADA, Katsumi WASAKI
Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011), 1, 139-144, Aug. 2011, Refereed - 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
Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
IEEJ Transactions on Electrical and Electronic Engineering, 6(1), 37-45, 2011, Refereed - 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
Proceedings of the 8th International Conference on Information Technology : New Generations (ITNG2011), 1, 1-6, 2011, Refereed - Development and Evaluation of a Large-scale Agent-based System for Collecting Results of Information Literacy Learning Using Electronic Textbooks
Keiichi TANAKA, Katsumi WASAKI
JSiSE Journal, 27(3), 267-279, 2010, Refereed - 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
Masayuki Nakamura, Hideaki Takagi, Junichi Terashima, Kiyoshi Einaga, Toshiyuki Nishikawa, Naoshi Moriyama, Katsumi Wasaki
Proceedings of 2010 Asia-Pacific Microwave Conference (APMC2010), 1(WE3C-02), 163-166, 2010, Refereed - Development and Evaluation of a Large-scale Agent-based System for Collecting Results of Information Literacy Learning Using Electronic Textbooks
Keiichi TANAKA, Katsumi WASAKI
Proceedings of Society for Information Technology&Teacher Education International Conference 2010 (SITE2010), 1, 3191-3196, 2010, Refereed - Evaluation of a Dual-band Long Leaky Coaxial Cable in the 2.4 and 5 GHz Frequency Bands for Wireless Network Access
Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
Proceedings of the 2009 IEEE Radio and Wireless Symposium (IEEE RWS2009), 1(TU3C), 510-513, 2009, Refereed - Complex Integral
Masahiko YAMAZAKI, Hiroshi YAMAZAKI, Katsumi WASAKI, Yasunari SHIDAMA
Formalized Mathematics, 17(4), 233-236, 2009, Refereed - Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits
Katsumi WASAKI
Mechanized Mathematics and Its Applications, 7(2), 17-25, 2008, Refereed - Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II
Katsumi WASAKI
Formalized Mathematics, 16(1), 73-80, 2008, Refereed - Stability of the 4-2 Binary Addition Circuit Cells. Part I
Katsumi WASAKI
Formalized Mathematics, 16(4), 385-395, 2008, Refereed - Development of a 300m 2.4GHz Frequency Band Leaky Coaxial Cable for Wireless Network Access
Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
Proceedings of the 2008 IEEE Radio and Wireless Symposium (IEEE-RWS2008), 1(TH1C), 687-690, 2008, Refereed - A Meta Hardware Description Language Melasy for Model-Checking Systems
Naoki IWASAKI, Katsumi WASAKI
Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008), 1(MC1), 273-278, 2008, Refereed - A Watermarking Scheme using Background Pattern to Protect Printed Documents
Katsuki KOBAYASHI, Kiyoshi TANAKA, Hernan AGUIRRE, Hiroyuki OKAZAKI, Hisayoshi KUNIMUNE, Katsumi WASAKI, Masaaki NIIMURA, Yasushi FUWA
Proceedings of the International Workshop on Nonlinear Circuits and Signal Processing (NCSP2007), 1(151), 17-20, 2007, Refereed - A Case Study of Formal Verification for Multi-Level Pipeline Logic Circuit by Using Mizar Proof Checker
Katsumi WASAKI, Kenichi ARAI
Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), 1(59), 10-16, 2007, Refereed - Riemann Indefinite Integral of Functions of Real Variable
Yasunari SHIDAMA, Noboru ENDOU，Katsumi WASAKI
Formalized Mathematics, 15(2), 59-63, 2007, Refereed - A Design Verification of the Parallel Pipelined ImageProcessing
Katsumi WASAKI, Toshiaki HARAI
Proceedings of the International e-Conference of Computer Science (IeCCS2007) Part-I, 1(59), 1-4, 2007, Refereed - Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net
Katsumi WASAKI, Toshiaki HARAI
Proceedings of the 10th EUROMICRO Conference on Digital System Design (DSD2007), 1(6), 1-7, 2007, Refereed - A Modeling and Formal Verification of Multi-layered Combined Circuits
Katsumi WASAKI
Workshop Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2007), 1(6), 1-5, 2007, Refereed - Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions
Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA
The Journal of Information and Systems in Education, 5(1), 76-83, 2006, Refereed - A Transformation from AES Encryption Processes to Extended Petri Net Models using PNML and Evaluation Tools
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 1st International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006), 1(151), 283-287, 2006, Refereed - Study on Polymer Glass Transition Temperature Prediction by Neural Network and Its Capability of Generalization
Yasuhiko KONDO, Katsumi WASAKI, Yasunari SHIDAMA
JASCOME Journal, 5(05-062413), 73-78, 2005, Refereed - The Current Activities and Evaluations of Graduate School of Science and Technology on the Internet, Shinshu University
Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
JSiSE Journal, 22(4), 264-271, 2005, Refereed - Experimental Telemedicine Networkwith the Long-Range Wireless LAN and CATV for Mountain Climbers in the Japanese Alps
Masayuki NAKAMURA, Yuying YANG, Shoshin KUBOTA, Katsumi WASAKI, Yasunari SHIDAMA, Yutaka MIURA
The Proceedings of the IASTED International Conference on Telehealth (Telehealth 2005), 1(484-032), 29-34, 2005, Refereed - Display Scope Control System of e-Learning Courseware based on the Learning Progress
Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
Proceedings of the IPSI-2005, 1, 1-5, 2005, Refereed - Generalized Full AdderCircuits (GFAs). Part I
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Nobuhiro SHIMOI
Formalized Mathematics, 13(4), 549-571, 2005, Refereed - The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
Kunimune, H; Niimura, M; Wasaki, K; Fuwa, Y; Shidama, Y; Nakamura, Y
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 3683(1), 1296-1302, 2005, Refereed - 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
Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES2005), 3, 1296-1302, 2005, Refereed - The Current Activities and the Future Plan of Graduate School of Science and Technology on the Internet, Shinshu University
Yasushi FUWA, Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasunari SHIDAMA, Yatsuka NAKAMURA
Journal of Multimedia Aided Education Research, 1(1), 11-18, 2004, Refereed - A Design Verification of an n-bit Adder Circuit Using a Proof Checker
Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI, Yasunari SHIDAMA
Mechanized Mathematics and Its Applications, 3(1), 18-26, 2004, Refereed - Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net
Akira NISHINO, Noboru KASADA, Katsumi WASAKI And Yasunari SHIDAMA
Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), 11, 61-66, 2004, Refereed - A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the International Workshop on Discrete-Event System Design (DESDes'04), 11(WeM1.5), 61-66, 2004, Refereed - The Design Verification for the 3DES Encipher Chip based on an Extended Petri Net and XML/Java Executor
Shin'nosuke YAMAGUCHI, Akira NISHINO, Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 8th International Conference on Control，Automation，Robotics and Vision (ICARCV2004), 11(WeM1.5), 1994-1999, 2004, Refereed - Full Subtracter Circuit. Part II
Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI
Formalized Mathematics, 11(3), 231-236, 2003, Refereed - Multimedia Contents and Learning Style of the Shinshu University, Graduate School of Science and Technology on the Internet
Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA, Yatsuka NAKAMURA, Shinjiro Oshita
JSAI Journal, 18(4), 426-432, 2003, Refereed - Network system for alpine ambulance using long distance wireless LAN and CATV LAN
Masayuki NAKAMURA, Yuying YANGA, Shoshin KUBOTA, Hiroshi SHIMIZU, Yutaka MIURA, Katsumi WASAKI, Yasunari SHIDAMA, Masaomi TAKIZAWA
Jpn. J. Med. Phys., 23(1), 30-39, 2003, Refereed - A High Reliability Design for NFS Server Software By using An Extended Petri Net
Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 5th International Conference on Enterprise Information System (ICEIS2003), 3(56), 498-502, 2003, Refereed - Development of Upstream Extension Amplifier for CATV with High Selectivity and Wideband Microstrip Line Filters
Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 2003 Asia-Pacific Microwave Conference (APMC'03), 1(FB6-1), 1636-1639, 2003, Refereed - Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor
Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 1st Workshop on Automated Technologyfor Verification and Analysis (ATVA'2003), 1(D-3), 157-168, 2003, Refereed - Shinshu University, Graduate School of Science and Technology on the Internet
Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA，Yatsuka NAKAMURA, Shinjiro OSHITA
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, Refereed - Study on a Noise Reduction System of CATV Network Upstream for Data Communication
Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 12th International Conference on Computer Communication and Networks (ICCCN2003), 12(30-3), 613-616, 2003, Refereed - Full Adder Circuit. Part II
Grzegorz BANCEREK, Shin'nosuke YAMAGUCHI, Katsumi WASAKI
Formalized Mathematics, 10(1), 65-71, 2002, Refereed - The Persistence ofthe Petri Net State-space
Koichi OKADA, Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 7th International Conference on Control，Automation，Robotics and Vision (ICARCV’02), 1(TuA4.1), 69-72, 2002, Refereed - A High Reliability Design for NFS Server Software Based on the Logical Coloured Petri Net
Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 7th International Conference on Control，Automation，Robotics and Vision (ICARCV'02), 1(TuA4.2), 73-77, 2002, Refereed - Property of Complex Functions
Takashi MITSUISHI，KatsumiWASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 179-184, 2001, Refereed - Property of Complex Sequence and Continuity of Complex Function
Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 185-190, 2001, Refereed - Scalar Multiple of Riemann Definite Integral
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 191-196, 2001, Refereed - Darboux's Theorem
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 197-200, 2001, Refereed - Integrability of Bounded Total Functions
Noboru ENDOU，Katsumi WASAKI, Yasunari SHIDAMA
Formalized Mathematics, 9(2), 271-274, 2001, Refereed - Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(2), 281-284, 2001, Refereed - Introduction to Several Concepts of Convexity and Semi-continuity for Function from Real to Real
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(2), 285-289, 2001, Refereed - Basic Properties of Fuzzy Set Operation and Membership Function
Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(2), 357-362, 2001, Refereed - Ensemble by Seven Musical Performance Robots
Tadahiro KANEDA, Shoichiro FUJISAWA, Takeo YOSHIDA, Yasumasa YOSHITANI, Takashi NISHI, Yasunari SHIDAMA, Katsumi WASAKI
Journal of Robotics and Mechatronics, theRobotics and Mechatronics Division of the Japan Society ofMechanical Engineers, 13(1), 50-55, 2001, Refereed - The Correctness of the High Speed Array Multiplier Circuits
Hiroshi YAMAZAKI，Katsumi WASAKI
Formalized Mathematics, 9(3), 475-479, 2001, Refereed - Basic Properties of Extended Real Numbers
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 491-494, 2001, Refereed - Definitions and Basic Properties of Measurable Functions
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 495-500, 2001, Refereed - Some Properties of Extended Real Numbers Operations: absolute value, min and max
Noboru ENDOU，Katsumi WASAKI，YasunariSHIDAMA
Formalized Mathematics, 9(3), 511-516, 2001, Refereed - The Concept of Fuzzy Relation and Basic Properties of its Operation
Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 517-524, 2001, Refereed - Measurability of Extended Real Valued Function
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 525-529, 2001, Refereed - Robotics Education of Design and Making Aimed to Concurrent Engineering
Tadahiro KANEDA, Takeo YOSHIDA, Koichi OSUKA, Yasunari SHIDAMA, Katsumi WASAKI
JSME Trans. (C), 67(659), 268-273, 2001, Refereed - The House Keeping System of Automated Evaluation of Students’ Programming Reports
Hikofumi SUZUKI，Katsumi WASAKI，Tatsuo NAKAZAWA，Yasunari SHIDAMA
Fast Abstract of the 12th International Symposium on Software Reliability Engineering (ISSRE2001), 1(S1-7), 1-2, 2001, Refereed - Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the International Workshop on Discrete-Event System Design (DESDes'01), 1(I-7), 61-66, 2001, Refereed - Optimization of Fuzzy Feedback Control in L∞ Space
Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of The 10th IEEE International Conference on Fuzzy Systems (IEEE-FUZZ2001), 1(P211), 896-899, 2001, Refereed - Integral manifold and H-infinity control in weak nonlinear systems
Miyajima, K; Wasaki, K; Suzuki, H; Shidama, Y; Eguchi, M
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 84(1), 43-56, 2001, Refereed - An Optimization of Fuzzy Logic by using Genetic Algorithm
Noboru ENDOU, Akihiro UCHIBORI, Katsumi WASAKI
Mechanized Mathematics and Its Applications, 1(1), 39-45, 2000, Refereed - Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method
Takashi MITSUISHI，Jun KAWABE, Katsumi WASAKI，Yasunari SHIDAMA
Journal of Nonlinear and Convex Analysis, 1(2), 201-211, 2000, Refereed - A Set of Time Dependent Fuzzy Membership Functions and Its Compactness
Noboru ENDOU，Katsumi WASAKI，Keiji OHKUBO，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Proceedings of the 2000 American Control Conference (ACC2K), 2468-2471, 2000, Refereed - Fuzzy Optimal Control Using Simple Inference Method and Function Type Inference Method
Takashi MITSUISHI，Katsumi WASAKI，Keiji OHKUBO，Jun KAWABE，Yasunari SHIDAMA
Proceedings of the 2000 American Control Conference (ACC2K), 1944-1948, 2000, Refereed - Decision-Making of Theme by Students in a Case Study and Its Results
Tadahiro KANEDA, Yoichiro KINUGAWA, Yasumasa YOSHITANI, Takashi NISHI, Kazuo HIROGUCHI, TakeoYOSHIDA, Yasunari SHIDAMA, Katsumi WASAKI
Proceedings of 9th IEEE International Workshop on Robot and Human Interactive Communication (IEEE-ROMAN2000), 1(FM5.2), 301-304, 2000, Refereed - A Rapid HDL Generation for A pipelined DES Encipher Circuit by using the Logical Coloured Petri Net
Katsumi WASAKI , Shin'nosuke YAMAGUCHI , Yasunari SHIDAMA , Nobuhiro SHIMOI
Proceedings of the 6th International Conference on Control，Automation，Robotics and Vision (ICARCV2000), 1(FM5.2), 1-6, 2000, Refereed - A process design for the Network File System model based on the Logical Coloured Petri Net
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 6th International Conference on Control，Automation，Robotics and Vision (ICARCV2000), 1(FM5.3), 1-6, 2000, Refereed - Mamdani fuzzy controller on NBV space
Yuguang YANG，Noboru ENDOU，Katsumi WASAKI，Keiji OHKUBO，Yasunari SHIDAMA
Proceedings of the 1999 American Control Conference (ACC99), 1(TA12), 1842-1845, 1999, Refereed - Existence of Optimal Fuzzy Rules in Fuzzy Control
Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
Proceeding of China and Japan Joint Symposium on Applied Mathematics and its Related Topic, 1(8), 77-86, 1999, Refereed - Construction and Operation of Regional School’s Co-operative System for Assist the Utilizing Personal Computers in Schools
Tatsuo NAKAZAWA，Katsumi WASAKI，Michio SHIMIZU，Kazunori ITOH
Proceedings of the 8th International Conference on Human-Computer Interaction (HCI99), 8(8), 251-252, 1999, Refereed - Center Manifold and H∞ Control in Weak Nonlinear Systems
Noboru ENDOU，Keiji OHKUBO，Katsumi WASAKI，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 1, 73-78, 1999, Refereed - Membership Functions in L2 Space and its Applications to Fuzzy Optimal Control
Takashi MITSUISHI，Jun KAWABE，Katsumi WASAKI，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 3, 51-55, 1999, Refereed - The Development of A VHDL Automatic Verification System for Logic Circuit Design Aid
Hikofumi SUZUKI，Tatsuo NAKAZAWA，Katsumi WASAKI，Yasunari SHIDAMA
Proceedings of the 2nd Magneto-Electronics International Symposium (MagEl99), 33-35, 1999, Refereed - The Compactness of a Set of Fuzzy Membership Functions in NBV and Its Application
Yuguang YANG, Katsumi WASAKI, Masayoshi EGUCHI, Yasunari SHIDAMA, Morishige KIMURA
IEICE Trans. of Fund., J82-A(4), 523-529, 1999, Refereed - Integral Manifold and H^\infty Optimal Control in Weal Nonlinear System
Keiichi MIYAJIMA, Katsumi WASAKI, Hikofumi SUZUKI, Yasunari SHIDAMA, Masayoshi EGUCHI
IEICE Trans. of Fund., J82-A(5), 637-648, 1999, Refereed - Full Subtracter Circuits. Part I
Katsumi WASAKI，Noboru ENDOU
Formalized Mathematics, 8(1), 77-81, 1999, Refereed - Correctness of Binary Counter Circuits
Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 83-85, 1999, Refereed - Correctness of Johnson Counter Circuits
Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 87-91, 1999, Refereed - Correctness of a Cyclic Redundancy Check Code Generator
Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 129-132, 1999, Refereed - Fuzzy Optimal Control in L^2 Space
Takashi MITSUISHI，Katsumi WASAKI，Jun KAWABE，Yasunari SHIDAMA
Proceedings of the International Symposium on Artificial Intelligence in real-time Control (AIRTC98), 8(2), 62-65, 1998, Refereed - An Automatic HDL Generation for Parallel Accumulators based on the Extended Petri Net
Katsumi WASAKI，Issei TAGUCHI，Hajime EIZAWA，Takeshi NAKAO，Pauline N. KAWAMOTO
Proceedings of the 5th International Conference on Control，Automation，Robotics and Vision (ICARCV98), 1(TM4.6), 858-862, 1998, Refereed - The Realization and Evaluation of A Bi-level Image Code suitable for High-speed Real-time Decoding for Image Procesing
Katsumi WASAKI, Yasushi FUWA, Masayoshi EGUCHI, Yatsuka NAKAMURA
IIEEJ Trans., 25(6), 734-742, 1997, Refereed - 2's Complement Circuit (Boolean Operators and 2's Complement Circuit Properties)
Katsumi WASAKI，Pauline N. KAWAMOTO
Formalized Mathematics, 6(2), 189-197, 1997, Refereed - Teaching of Laboratory Courses for the Department of Electronics and Control Engineering of the College of Technology
Nobuyuki ONO, Katsumi WASAKI, Hiroshi SUZUKI, Tomio HORIUCHI, Satoshi KISHI, Masao SAKAGUCHI
JSEE Trans., 45(1), 21-25, 1997, Refereed - A Bus Arbitration Method based on Token Passing suited for the Packet Exchange System
Katsumi WASAKI, Yasushi FUWA, Yatsuka NAKAMURA
IEEJ Trans. (C), 117(12), 1782-1793, 1997, Refereed - Logical Coloured Petri Net Expanded to be Suitable for Making the Control System Model
Katsumi WASAKI，Yasushi FUWA，Masayoshi EGUCHI，Yatsuka NAKAMURA
Proceedings of the 4th International Conference on Control，Automation，Robotics and Vision (ICARCV96), 2(TA-2-2), 708-713, 1996, Refereed - A SELF-RECOVERING COMMUNICATION BUFFER BASED ON THE CONCEPT OF CELLULAR-AUTOMATON
Katsumi WASAKI，Yasushi FUWA，Masayoshi EGUCHI，Yatsuka NAKAMURA
SYSTEMS AND COMPUTERS IN JAPAN, 25(8), 1-15, Jul. 1994, Refereed - A Self-Recovering Communication Buffer Based on the Concept of Cellular Automaton
Katsumi WASAKI, Yasushi FUWA, Masayoshi EGUCHI, Yatsuka NAKAMURA
IEICE Trans. of Inf. & Syst., J77-D-I(1), 41-52, 1994, Refereed
MISC
Courses
- Mathematical Logic
Shinshu University - Information System Experimen II
Shinshu University - Distributed Computing
Shinshu University - Parallel Distributed Systems
Shinshu University - Parallel Distributed Systems Tutorial I
Shinshu University - Parallel Distributed Systems Tutorial II
Shinshu University - Parallel Distributed Systems Lab.
Shinshu University - Parallel Computing Systems
Shinshu University
Affiliated academic society
Research Themes
Academic Contribution Activities
- Planning etc
Technical Symposium and General Assembly of Mizar JAPAN (2019-2020), Faculty of Engineering, Shinshu University, Nagano, Japan., 27 Dec. 2018 - 27 Dec. 2020 - Formal Methods and Verifications for The Highly Reliable Systems ; Distinguished Seminar at Qingdao University of Science&Technology（Qingdao, China）, 21th June, 2010, 30 audiences.
Planning etc
Qingdao University of Science&Technology（Qingdao, China）, 2010
Social activity information
