From post

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.

 

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

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