( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.

, , , и . FLOPS, том 2998 из Lecture Notes in Computer Science, стр. 7-21. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Masami Th Nagatomo

Luise Masami Schmidt

 

Другие публикации лиц с тем же именем

DNA computation simulator based on abstract bases., , и . Soft Comput., 5 (1): 25-38 (2001)Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics., , и . WoLLIC, том 6188 из Lecture Notes in Computer Science, стр. 148-160. Springer, (2010)Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation., , , , и . DNA, том 4287 из Lecture Notes in Computer Science, стр. 428-438. Springer, (2006)Knowledge-Based Simulation of Regulatory Action in lambda phage., , , , и . Int. J. Artif. Intell. Tools, 4 (4): 511-524 (1995)On Implicit Arguments., и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 10-30. Springer, (1994)Horn Clause Computation by Self-assembly of DNA Molecules., , и . DNA, том 2340 из Lecture Notes in Computer Science, стр. 308-320. Springer, (2001)Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules., и . DNA, том 2943 из Lecture Notes in Computer Science, стр. 86-90. Springer, (2003)Photo- and Thermoregulation of DNA Nanomachines., , , и . DNA, том 3892 из Lecture Notes in Computer Science, стр. 336-346. Springer, (2005)Multi-fueled Approach to DNA Nano-Robotics., , , и . DNA, том 4848 из Lecture Notes in Computer Science, стр. 79-88. Springer, (2007)Combining Randomness and a High-Capacity DNA Memory., , , , и . DNA, том 4848 из Lecture Notes in Computer Science, стр. 109-118. Springer, (2007)