Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Real-Time Equivalence of Chemical Reaction Networks and Analog Computers., , and . DNA, volume 11648 of Lecture Notes in Computer Science, page 37-53. Springer, (2019)Recursive Computational Depth., and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 132-142. Springer, (1997)Multi-Resolution Cellular Automata for Real Computation., , and . CiE, volume 6735 of Lecture Notes in Computer Science, page 181-190. Springer, (2011)Computational Depth and Reducibility., , and . Theor. Comput. Sci., 132 (2): 37-70 (1994)SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line., , , , , , and . RE, page 268-269. IEEE, (2022)ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly., , , , , and . DNA, volume 174 of LIPIcs, page 6:1-6:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Inference and Test Generation Using Program Invariants in Chemical Reaction Networks., , , , , and . ICSE, page 1193-1205. ACM, (2022)Computational Depth and Reducibility (Extended Abstract)., , and . ICALP, volume 700 of Lecture Notes in Computer Science, page 277-288. Springer, (1993)A universal upper bound on the performance of the Lempel-Ziv algorithm on maliciously-constructed data., and . SEQUENCES, page 123-135. IEEE, (1997)Strict Self-assembly of Discrete Sierpinski Triangles., , and . CiE, volume 4497 of Lecture Notes in Computer Science, page 455-464. Springer, (2007)