Author of the publication

Abstract Modelling of Tethered DNA Circuits.

, , , and . DNA, volume 8727 of Lecture Notes in Computer Science, page 132-147. Springer, (2014)

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

ProfessorJ: a gradual introduction to Java through language levels., and . OOPSLA Companion, page 170-177. ACM, (2003)ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS., , , , , , , , , and 4 other author(s). Proc. ACM Program. Lang., 3 (POPL): 71:1-71:31 (2019)Design of class hierarchies: an introduction to OO program design., and . SIGCSE, page 288-292. ACM, (2006)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , and . POPL, page 429-442. ACM, (2017)Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , and . POPL, page 608-621. ACM, (2016)Safe Cross-Language Inheritance.. ECOOP, volume 5142 of Lecture Notes in Computer Science, page 52-75. Springer, (2008)Fine-grained interoperability through mirrors and contracts., , and . OOPSLA, page 231-245. ACM, (2005)Towards Customizable Pedagogic Programming Languages.. University of Utah, USA, (2006)Transformation-by-Example for XML., , and . PADL, volume 1753 of Lecture Notes in Computer Science, page 249-262. Springer, (2000)Lem: reusable engineering of real-world semantics., , , , and . ICFP, page 175-188. ACM, (2014)