Autor der Publikation

Reactamole: Functional Reactive Molecular Programming.

, , , und . DNA, Volume 205 von LIPIcs, Seite 10:1-10:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Reactamole: Functional Reactive Molecular Programming., , , und . DNA, Volume 205 von LIPIcs, Seite 10:1-10:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A universal upper bound on the performance of the Lempel-Ziv algorithm on maliciously-constructed data., und . SEQUENCES, Seite 123-135. IEEE, (1997)Strict Self-assembly of Discrete Sierpinski Triangles., , und . CiE, Volume 4497 von Lecture Notes in Computer Science, Seite 455-464. Springer, (2007)Verifying Chemical Reaction Networks with the Isabelle Theorem Prover., , , und . Allerton, Seite 1-8. IEEE, (2023)Automated requirements analysis for a molecular watchdog timer., , , , , , , und . ASE, Seite 767-778. ACM, (2014)Computability and Complexity in Self-Assembly., , , und . Electron. Colloquium Comput. Complex., (2008)Recursive Computational Depth., und . Inf. Comput., 153 (1): 139-172 (1999)Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks., , , , und . DNA, Volume 174 von LIPIcs, Seite 5:1-5:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Real-Time Computability of Real Numbers by Chemical Reaction Networks., , , , und . UCNC, Volume 10240 von Lecture Notes in Computer Science, Seite 29-40. Springer, (2017)State logging in chemical reaction networks., , und . NANOCOM, Seite 23:1-23:6. ACM, (2017)