( en | de | ru )

 

Disambiguierung von "Yamamoto, Mitsuharu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalization of Planar Graphs.

, , , und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 369-384. Springer, (1995)

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

Jun Yamamoto

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Automated Dataset Construction from Web Resources with Tool Kayur., , und . Int. J. Netw. Comput., 7 (2): 271-294 (2017)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)Decidability of Safety Properties of Timed Multiset Rewriting., , und . FTRTFT, Volume 2469 von Lecture Notes in Computer Science, Seite 165-184. Springer, (2002)Formalization of Planar Graphs., , , und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 369-384. Springer, (1995)