( en | de | ru )

 

Disambiguierung von "Hagiya, Masami"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Masami Th Nagatomo

Luise Masami Schmidt

 

Weitere Publikationen von Autoren mit dem selben Namen

Photo- and Thermoregulation of DNA Nanomachines., , , und . DNA, Volume 3892 von Lecture Notes in Computer Science, Seite 336-346. Springer, (2005)Horn Clause Computation by Self-assembly of DNA Molecules., , und . DNA, Volume 2340 von Lecture Notes in Computer Science, Seite 308-320. Springer, (2001)Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules., und . DNA, Volume 2943 von Lecture Notes in Computer Science, Seite 86-90. Springer, (2003)Multi-fueled Approach to DNA Nano-Robotics., , , und . DNA, Volume 4848 von Lecture Notes in Computer Science, Seite 79-88. Springer, (2007)Combining Randomness and a High-Capacity DNA Memory., , , , und . DNA, Volume 4848 von Lecture Notes in Computer Science, Seite 109-118. Springer, (2007)Theory and Construction of Molecular Computers.. IFIP TCS, Volume 1872 von Lecture Notes in Computer Science, Seite 23-24. Springer, (2000)Implementation of Turing Machine Using DNA Strand Displacement., und . TPNC, Volume 10071 von Lecture Notes in Computer Science, Seite 161-172. (2016)Knowledge-Based Simulation of Regulatory Action in lambda phage., , , , und . Int. J. Artif. Intell. Tools, 4 (4): 511-524 (1995)On Implicit Arguments., und . Logic, Language and Computation, Volume 792 von Lecture Notes in Computer Science, Seite 10-30. Springer, (1994)Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation., , , , und . DNA, Volume 4287 von Lecture Notes in Computer Science, Seite 428-438. Springer, (2006)