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)Inference and Test Generation Using Program Invariants in Chemical Reaction Networks., , , , , and . ICSE, page 1193-1205. ACM, (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)Real-Time Computability of Real Numbers by Chemical Reaction Networks., , , , and . UCNC, volume 10240 of Lecture Notes in Computer Science, page 29-40. Springer, (2017)ALCH: An imperative language for chemical reaction network-controlled tile assembly., , , , , and . Nat. Comput., 23 (2): 365-385 (June 2024)Automated requirements analysis for a molecular watchdog timer., , , , , , , and . ASE, page 767-778. ACM, (2014)A Functional Approach to Data Science in CS1., , and . SIGCSE, page 1035-1040. ACM, (2018)Reactamole: Functional Reactive Molecular Programming., , , and . DNA, volume 205 of LIPIcs, page 10:1-10:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Robust Combinatorial Circuits in Chemical Reaction Networks., , and . TPNC, volume 10687 of Lecture Notes in Computer Science, page 178-189. Springer, (2017)Real-Time Computability of Real Numbers by Chemical Reaction Networks., , , , and . CoRR, (2018)