PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lakin, Matthew R."

Author of the publication

copydeleteadd this publication to your clipboard
Stochastic simulation of multiple process calculi for biology.

, , and . Theor. Comput. Sci., (2012)

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.

R. Koerner

R. Watty

Matthew Joliffe University of Stuttgart

Ph. D. Matthew Millard University of Stuttgart

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systems, , , and . CEAS Aeronautical Journal, 7 (3): 483--498 (2016)
 

Other publications of authors with the same name

A strand graph semantics for DNA-based computation., , and . Theor. Comput. Sci., (2016)Constraint solving in non-permutative nominal abstract syntax. Logical Methods in Computer Science, (2011)Encoding Abstract Syntax Without Fresh Names., and . J. Autom. Reasoning, 49 (2): 115-140 (2012)A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures., , , and . NANOARCH, page 116-121. IEEE Computer Society/ACM, (2014)Modular verification of chemical reaction network encodings via serializability analysis., , and . Theor. Comput. Sci., (2016)Scalable Design of Logic Circuits Using an Active Molecular Spider System., , and . IPCAT, volume 9303 of Lecture Notes in Computer Science, page 13-28. Springer, (2015)Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming., and . ESOP, volume 5502 of Lecture Notes in Computer Science, page 47-61. Springer, (2009)Contextual equivalence for inductive definitions with binders in higher order typed functional programming., and . J. Funct. Program., 23 (6): 658-700 (2013)Stochastic simulation of multiple process calculi for biology., , and . Theor. Comput. Sci., (2012)An executable meta-language for inductive definitions with binders.. University of Cambridge, UK, (2010)British Library, EThOS.