Autor der Publikation

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.

Keine Personen gefunden für den Autorennamen Ohmaki, Kazuhito
Eine Person hinzufügen mit dem Namen Ohmaki, Kazuhito
 

Weitere Publikationen von Autoren mit dem selben Namen

Efficiency of Concurrent Processing of Sort Using CSP., , , , , , und . SNPD, Seite 524-529. IEEE Computer Society, (2012)Open Source Software Research Activities in AIST towards Secure Open Systems.. HASE, Seite 37-42. IEEE Computer Society, (2002)Early Experiences with a Multi-Display Programming Environment., , und . ICSE, Seite 422-423. IEEE Computer Society, (1982)Design and Implementation of an Application Interface for LOTOS Processors., , , , , und . FORTE, Volume C-2 von IFIP Transactions, Seite 345-360. North-Holland, (1991)A New Programming Environment With a Multi-Display Terminal and Early Experiences With It., , und . Comput. Lang., 9 (1): 39-49 (1984)Approximative Analysis by Process Algebra with Graded Spatial Actions., , und . AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 336-350. Springer, (1996)An Experimental Analysis for Classifying Specification Processes., , , , , , , und . SEKE, Seite 231-234. Knowledge Systems Institute, (1993)Eventuality in LOTOS with a Disjunction Operator., , und . ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 263-281. Springer, (1998)FDR verification of a system involving a robot climbing stairs., , , , , und . ICIS, Seite 875-878. IEEE Computer Society, (2017)Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture., , , , , und . Inf. Media Technol., 7 (3): 938-948 (2012)