( en | de | ru )

 

Disambiguierung von "Goto, Yuichi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.

, , und . PAKDD (Workshops), Volume 11607 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Juhei Goto

Toshifumi Goto

Yuichi Fujimori

Hiroshi Goto

Yukako Goto

 

Weitere Publikationen von Autoren mit dem selben Namen

A security specification verification technique based on the international standard ISO/IEC 15408., , , und . SAC, Seite 1802-1803. ACM, (2006)A quantitative analysis of implicational paradoxes in classical mathematical logic., und . SAC, Seite 42-43. ACM, (2006)Practical usage of freeencal: An automated forward reasoning engine for general-purpose., , , und . ICMLC, Seite 1878-1883. IEEE, (2012)A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory., , und . IScIDE (2), Volume 9243 von Lecture Notes in Computer Science, Seite 508-517. Springer, (2015)Anticipatory Emergency Elevator Evacuation Systems., , , und . ACIIDS (1), Volume 7802 von Lecture Notes in Computer Science, Seite 117-126. Springer, (2013)A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing., , , und . KES (2), Volume 4693 von Lecture Notes in Computer Science, Seite 840-851. Springer, (2007)An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic., und . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, Seite 222-227. IEEE, (2018)An Implementation of Theory Grid with Linked Data Technologies., , und . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, Seite 186-191. IEEE, (2018)Primitive Constituent Elements of Cryptographic Protocols., , , und . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, Seite 192-197. IEEE, (2018)An Improvement of REM: A Replication Oriented Event-Based Middleware., , , und . ARES, Seite 641-646. IEEE Computer Society, (2009)