| An Extension of Formal Analysis Method with Reasoning - A Case Study of Flaw Detection for Non-repudiation and Fairness. | 0 | 0.34 | 2019 |
| Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic | 0 | 0.34 | 2019 |
| A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. | 0 | 0.34 | 2019 |
| Qsl: A Specification Language For E-Questionnaire, E-Testing, And E-Voting Systems | 0 | 0.34 | 2019 |
| A Memory-Efficient Algorithm With Level-Order Unary Degree Sequence For Forward Reasoning Engines | 0 | 0.34 | 2018 |
| Primitive Constituent Elements of Cryptographic Protocols | 0 | 0.34 | 2018 |
| FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose | 0 | 0.34 | 2018 |
| An Undergraduate Curriculum Model for Intelligence Science and Technology | 0 | 0.34 | 2018 |
| A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning | 0 | 0.34 | 2018 |
| Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems | 0 | 0.34 | 2018 |
| Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry | 1 | 0.37 | 2018 |
| Guest editorial: special issue on transparent computing. | 0 | 0.34 | 2018 |
| A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation | 0 | 0.34 | 2017 |
| A Design of Evolutionary Personal Information Partner Based on Software as a Service. | 0 | 0.34 | 2017 |
| A Formal Analysis Method With Reasoning For Cryptographic Protocols | 0 | 0.34 | 2016 |
| A Security Evaluation and Certification Management Database Based on ISO/IEC Standards | 0 | 0.34 | 2016 |
| Development Of A General-Purpose Offline E-Testing Environment | 0 | 0.34 | 2016 |
| An Extension of QSL for E-voting Systems. | 0 | 0.34 | 2016 |
| Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically | 0 | 0.34 | 2015 |
| A Bidirectional Transformation Supporting Tool For Formalization With Logical Formulas | 1 | 0.36 | 2015 |
| Prevention of Fault Propagation in Web Service: a Complex Network Approach. | 1 | 0.34 | 2015 |
| An epistemic programming approach for automated theorem finding | 1 | 0.36 | 2015 |
| A systematic methodology for automated theorem finding. | 11 | 0.92 | 2014 |
| Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. | 0 | 0.34 | 2014 |
| An Information Security Management Database System (Ismds) For Engineering Environment Supporting Organizations With Ismss | 0 | 0.34 | 2014 |
| User Management in Information Security Engineering Environment ISEE. | 0 | 0.34 | 2014 |
| Computing Intentions Dynamically In A Changing World By Anticipatory Relevant Reasoning | 1 | 0.36 | 2014 |
| Anticipatory Runway Incursion Prevention Systems | 0 | 0.34 | 2013 |
| Anticipatory emergency elevator evacuation systems | 2 | 0.53 | 2013 |
| Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. | 3 | 0.61 | 2013 |
| An Analysis of Software Supportable Tasks Related with ISO/IEC 15408 | 3 | 0.67 | 2013 |
| Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory | 0 | 0.34 | 2013 |
| Extending and formalizing bayesian networks by strong relevant logic | 0 | 0.34 | 2013 |
| A Truth Maintenance System for Epistemic Programming Environment | 1 | 0.41 | 2012 |
| Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. | 1 | 0.42 | 2012 |
| Practical usage of freeencal: An automated forward reasoning engine for general-purpose. | 2 | 0.50 | 2012 |
| A reliable and energy-efficient MAC protocol for cluster-tree wireless sensor networks | 6 | 0.47 | 2012 |
| MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus. | 0 | 0.34 | 2011 |
| Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. | 4 | 0.63 | 2011 |
| Development of ISEE: An Information Security Engineering Environment | 1 | 0.35 | 2009 |
| An Improvement of REM: A Replication Oriented Event-Based Middleware | 0 | 0.34 | 2009 |
| A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes. | 0 | 0.34 | 2009 |
| A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems | 2 | 0.38 | 2009 |
| Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control | 2 | 0.45 | 2009 |
| Information Assurance, Privacy, and Security in Ubiquitous Questionnaire | 1 | 0.38 | 2009 |
| Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study | 1 | 0.37 | 2008 |
| A Fast Duplication Checking Algorithm for Forward Reasoning Engines | 2 | 0.41 | 2008 |
| Evolutionary Personal Information Partners | 0 | 0.34 | 2008 |
| ISEDS: An Information Security Engineering Database System Based on ISO Standards | 7 | 0.74 | 2008 |
| Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic | 3 | 0.48 | 2008 |
