( en | de | ru )

 

Disambiguierung von "Yamamoto, Mitsuharu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UML Scrapbook and Realization of Snapshot Programming Environment.

, , , und . ISSS, Volume 3233 von Lecture Notes in Computer Science, Seite 281-295. Springer, (2003)

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.

Mitsuharu Otani

Masaaki Yamamoto

Shelby Yamamoto

Kenji Yamamoto

Gaku Yamamoto

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Dataset Construction from Web Resources with Tool Kayur., , und . Int. J. Netw. Comput., 7 (2): 271-294 (2017)Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic., , , und . FLOPS, Volume 2998 von Lecture Notes in Computer Science, Seite 7-21. Springer, (2004)Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata., und . APLAS, Seite 193-205. (2001)UML Scrapbook and Realization of Snapshot Programming Environment., , , und . ISSS, Volume 3233 von Lecture Notes in Computer Science, Seite 281-295. Springer, (2003)Formalization of Graph Search Algorithms and Its Applications., , , , und . TPHOLs, Volume 1479 von Lecture Notes in Computer Science, Seite 479-496. Springer, (1998)Formalization of Bing's Shrinking Method in Geometric Topology., , und . CICM, Volume 9791 von Lecture Notes in Computer Science, Seite 18-27. Springer, (2016)Formalization of Karp-Miller tree construction on petri nets., , und . CPP, Seite 66-78. ACM, (2017)Introduction of Virtualization Technology to Multi-Process Model Checking., , , , und . NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 106-110. (2009)Formalization of Planar Graphs., , , und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 369-384. Springer, (1995)A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus., , , , und . TABLEAUX, Volume 3702 von Lecture Notes in Computer Science, Seite 277-291. Springer, (2005)