More Expressive Temporal Logic for Specifications. - Noriaki Yoshiura; Naoki Yonezaki (SEKE, 1993)

Evolution Mechanism of Reactive System Programs. - Noriaki Yoshiura (IWPSE, 2001)

Decision Procedures for Several Properties of Reactive System Specifications. - Noriaki Yoshiura (ISSS, 2003)

Finding the Causes of Unrealizability of Reactive System Formal Specifications. - Noriaki Yoshiura (SEFM, 2004)

Effect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks. - Michihiro Inoue; Noriaki Yoshiura; Yoshikuni Onozato (ICDCIT, 2005)

Community Security By Widely Available Information Technology. - Yusaku Fujii; Noriaki Yoshiura; Naoya Ohta (J. Community Informatics, 2005)

Statistical Analysis of Slow Portsweep. - Noriaki Yoshiura (APNOMS, 2008)

Discovering Web Pages Censored by Search Engines in Japan. - Takanori Moroi; Noriaki Yoshiura (CIMCA/IAWTIC/ISE, 2008)

Formal Definition of Relevant Logical Symbol Occurrence. - Noriaki Yoshiura (KES (2), 2008)

Object Tag Architecture for Innovative Intelligent Transportation Systems. - Krishan Sabaragamu Koralalage; Noriaki Yoshiura (ADBIS, 2009)

Decreasing Access Control List Processed in Hardware. - Takumichi Ishikawa; Noriaki Yoshiura (APNOMS, 2009)

uCard: A Novel Privacy Friendly Radio Frequency Tag Architecture for Universal Loyalty Card. - Krishan Sabaragamu Koralalage; Noriaki Yoshiura (DigiBiz, 2009)

iRail: A novel architecture towards autonomous locomotives and intelligent infrastructures for developing countries. - Krishan Sabaragamu Koralalage; Noriaki Yoshiura (ITSC, 2009)

iPark: A Universal Solution for Vehicle Parking. - Krishan Sabaragamu Koralalage; Noriaki Yoshiura (WSKS (1), 2009)

OTag: Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems. - Krishan Sabaragamu Koralalage; Noriaki Yoshiura (J. Convergence Inf. Technol., 2009)

Analysis of spam mail sent to Japanese mail addresses in the long term. - Daisuke Yamakawa; Noriaki Yoshiura (NOMS, 2010)

Test tool for equivalence of access control list. - Hirokazu Sayama; Noriaki Yoshiura (APNOMS, 2012)

Applying Tesseract-OCR to detection of image spam mails. - Daisuke Yamakawa; Noriaki Yoshiura (APNOMS, 2012)

Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System. - Yoshinori Neya; Noriaki Yoshiura (ICFEM, 2012)

Operational experiences from the viewpoint of university IT system administrators in the metropolitan area on east Japan great earthquake. - Kohichi Ogawa; Noriaki Yoshiura (SIGUCCS, 2012)

Construction and Verification of Mobile Ad Hoc Network Protocols. - Natsuki Kimura; Noriaki Yoshiura (CSS, 2013)

Smart street light system with energy saving function based on the sensor network. - Yusaku Fujii; Noriaki Yoshiura; Akihiro Takita; Naoya Ohta (e-Energy, 2013)

Indicating Important Parts in Searched Web Pages by Retrieval Keywords. - Shunichi Yokoo; Noriaki Yoshiura (BSI@PAKDD/BSIC@IJCAI, 2013)

Network operational method by using software-defined networking for improvement of communication quality at disasters. - Koichi Ogawa; Noriaki Yoshiura (APNOMS, 2014)

Resolving Fallback and Path MTU Problems Caused by Denying ICMP Packets in IPv6. - Noriaki Yoshiura; Keita Omi (IDCS, 2014)

Static Data Race Detection for Java Programs with Dynamic Class Loading. - Noriaki Yoshiura; Wei Wei (IDCS, 2014)

Extracting Environmental Constraints in Reactive System Specifications. - Yuichi Fukaya; Noriaki Yoshiura (ICCSA (4), 2015)

Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications. - Noriaki Yoshiura; Yuma Hirayanagi (ICCSA (4), 2015)

Implementation of Theorem Prover of Relevant Logic. - Noriaki Yoshiura (IEA/AIE, 2015)

Computational Verification of Network Programs for Several OpenFlow Switches in Coq. - Hiroaki Date; Noriaki Yoshiura (ICCSA (2), 2016)

Abuse Prevention of Street Camera Network by Browsing-History Disclosure. - Yusaku Fujii; Noriaki Yoshiura; Naoya Ohta; Akihiro Takita; Hiroshi Ueda; Koichi Maru (J. Community Informatics, 2016)

The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification. - Noriaki Yoshiura (ACIIDS (2), 2017)

A Browser Application for Keyword Recommendation Based on User Web Search. - Chen Kuo; Noriaki Yoshiura (ICCSA (3), 2018)

Model Checking of TTCAN Protocol Using UPPAAL. - Shuxin Liu; Noriaki Yoshiura (ICCSA (4), 2018)

Development of a Support System to Resolve Network Troubles by Mobile Robots. - Kohichi Ogawa; Noriaki Yoshiura (IDCS, 2018)

Privacy Protection in Location Based Service by Secure Computation. - Masato Ishikawa; Noriaki Yoshiura (ACIIDS (2), 2020)

A Method of Collecting the IP Addresses of Hidden Server in Tor Networks. - Noriaki Yoshiura; Kento Koizumi (ICSCA, 2020)

Packet Reachability Verification in OpenFlow Networks. - Noriaki Yoshiura; Keigo Sugiyama (ICSCA, 2020)

Identification of Writing on Bulletin Board via Tor. - Noriaki Yoshiura; Kaichiro Iida (ICSIM, 2020)

IP Traceback method by OpenFlow. - Noriaki Yoshiura; Hayata Yano (ICSIM, 2020)

AntiPhiMBS: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Application Level. - Tej Narayan Thakur; Noriaki Yoshiura (ACIIDS, 2021)

AntiPhiMBS-Auth: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Authentication Level. - Tej Narayan Thakur; Noriaki Yoshiura (DASFAA (Workshops), 2021)

Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN. - Tej Narayan Thakur; Noriaki Yoshiura (ICCSA (6), 2021)

AntiPhiMBS-TRN: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Transaction Level. - Tej Narayan Thakur; Noriaki Yoshiura (ACIIDS (2), 2022)

Smart Help Desk to support user's PC settings. - Kohichi Ogawa; Nobukuni Hamamoto; Noriaki Yoshiura (ICCE-TW, 2022)

Modeling and Verification of a Hybrid Model of Mobile Banking Based Branchless Banking System in E-Banking Using SPIN. - Tej Narayan Thakur; Noriaki Yoshiura (ICSCA, 2022)

Obfuscating LLVM IR with the Application of Lambda Calculus. - Rei Kasuya; Noriaki Yoshiura (ACIIDS (2), 2023)

Towards Better Accuracy on Imbalance Image Datasets Using Image Augmentation and Convolutional Neural Networks. - Sajid Ahmed; Noriaki Yoshiura; Saif Hassan; Adil Khan (DIS, 2024)

Editor's Message to Special Issue of Network Operational Technologies with Awareness Raising. - Noriaki Yoshiura (J. Inf. Process., 2025)