default search action
Katsumi Wasaki
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c30]Hikofumi Suzuki, Katsumi Wasaki:
Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering. DATA 2023: 319-326 - [c29]Hikofumi Suzuki, Akiyoshi Iwasa, Takumi Uchiyama, Katsumi Wasaki:
Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks Through Continuous SOM Diagram Generation. NaNA 2023: 558-567 - 2022
- [c28]Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi:
Classification of Human Posture on Bed Using Machine Learning. ICCE-TW 2022: 547-548 - [c27]Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho
, Katsumi Wasaki:
An Integrated Web Platform for the Mizar Mathematical Library. CICM 2022: 141-146 - [c26]Shizuka Nakamura
Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education. WCCE 2022: 21-26 - [i2]Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki:
An Integrated Web Platform for the Mizar Mathematical Library. CoRR abs/2210.02336 (2022) - 2021
- [c25]Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki:
A Web Platform for Hosting the Mizar Mathematical Library (short paper). CICM Workshops 2021 - [i1]Bishnu Prasad Gautam, Amit Batajoo, Katsumi Wasaki:
Fogging Jyaguchi Services in Tensai Gothalo. CoRR abs/2106.07866 (2021) - 2020
- [j7]Katsumi Wasaki:
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I. Formaliz. Math. 28(1): 65-77 (2020) - [c24]Yojiro Harie
Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. SAI (3) 2020: 570-580
2010 – 2019
- 2018
- [c23]Amit Batajoo, Yojiro Harie, Katsumi Wasaki
Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design. GCCE 2018: 614-618 - 2017
- [c22]Yojiro Harie
HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. GCCE 2017: 1-5 - [c21]Yojiro Harie
Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets. SIMULTECH 2017: 356-361 - [c20]Katsumi Wasaki
A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation. SIMULTECH 2017: 386-391 - 2016
- [c19]Bishnu Prasad Gautam
Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster. AINA 2016: 1006-1012 - [c18]Yojiro Harie
Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS. GCCE 2016: 1-5 - [c17]Bishnu Prasad Gautam
A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness. NaNA 2016: 423-428 - 2012
- [j6]Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
Morphology for Image Processing. Part I. Formaliz. Math. 20(1): 61-63 (2012) - [c16]Kazuki Iwamoto, Katsumi Wasaki
Malware classification based on extracted API sequences using static analysis. AINTEC 2012: 31-38 - [c15]Sho Nishida, Katsumi Wasaki
Retargetable Netlists Generation and Structural Synthesis Based on a Meta Hardware Description Language: Melasy+. ITNG 2012: 827-830 - 2011
- [c14]Keiichi Tanaka, 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. ITNG 2011: 1-6
2000 – 2009
- 2009
- [j5]Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki
Complex Integral. Formaliz. Math. 17(1-4): 233-236 (2009) - 2008
- [j4]Katsumi Wasaki
Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II. Formaliz. Math. 16(1-4): 73-80 (2008) - [j3]Katsumi Wasaki
Stability of the 4-2 Binary Addition Circuit Cells. Part I. Formaliz. Math. 16(1-4): 377-387 (2008) - [c13]Naoki Iwasaki, Katsumi Wasaki
A Meta Hardware Description Language Melasy for Model-Checking Systems. ITNG 2008: 273-278 - 2007
- [c12]Katsumi Wasaki
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. DSD 2007: 257-260 - [c11]Katsumi Wasaki, Ken-ichi Arai:
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. FCS 2007: 10-16 - 2005
- [c10]Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. KES (3) 2005: 1296-1302 - 2004
- [c9]Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama:
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. ICARCV 2004: 1994-1999 - 2003
- [c8]Masayuki Nakamura, Yuying Yang, Katsumi Wasaki
Study on a noise reduction system of CATV network upstream for data communication. ICCCN 2003: 613-616 - [c7]Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama:
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. ICEIS (3) 2003: 498-502 - 2002
- [c6]Koichi Okada, Katsumi Wasaki, Yasunari Shidama:
The persistence of the Petri Net state-space. ICARCV 2002: 69-72 - [c5]Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama:
A high reliability design for NFS server software based on the logical coloured Petri net. ICARCV 2002: 73-77 - 2001
- [j2]Tadahiro Kaneda, Shoichiro Fujisawa, Takeo Yoshida, Yasumasa Yoshitani, Takashi Nishi, Yasunari Shidama, Katsumi Wasaki:
Ensemble by Seven Musical Performance Robots. J. Robotics Mechatronics 13(1): 50-55 (2001) - [c4]Nobuhiro Shimoi, Yoshihiro Takita, Kenzo Nonami, Katsumi Wasaki
Smart sensing for mine detection studies with IR cameras. CIRA 2001: 356-361 - [c3]Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama:
Optimization of Fuzzy Feedback Control in L_Space. FUZZ-IEEE 2001: 896-899 - 2000
- [c2]Takashi Mitsuishi, Katsumi Wasaki
Fuzzy optimal control using simple inference method and function type inference method. ACC 2000: 1944-1948 - [c1]Noboru Endou, Katsumi Wasaki, Keiji Ohkubo, Pauline N. Kawamoto, Yasunari Shidama:
A set of time dependent fuzzy membership functions and its compactness. ACC 2000: 2468-2471
1990 – 1999
- 1994
- [j1]Katsumi Wasaki
A self-recovering communication buffer based on the concept of cellular automaton. Syst. Comput. Jpn. 25(8): 1-15 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: