VEMDP Camera-ready abstracts: Papers with Abstracts

VEMDP CAMERA-READY ABSTRACTS: PAPERS WITH ABSTRACTS

Papers Papers with Abstracts Preface Author Index Keyword Index

Editors: Nicola Paoletti and Frits Dannenberg

Authors, Title and Abstract	Paper	Talk
Sara-Jane Dunn Uncovering the Biological Programs that Govern Development
Andrew J. Turberfield Controlling Assembly and Function of DNA Nanostructures and Molecular Machinery
Luca Laurenti, Attila Csikász-Nagy, Marta Kwiatkowska and Luca Cardelli Molecular Filters for Noise Reduction ABSTRACT.		Jul 19 12:00
Hillel Kugler, Till Korten, Stefan Diez and Dan Nicolau Jr. Formal Verification of Network-Based Biocomputation Circuits ABSTRACT.		Jul 19 17:20
Matej Troják, Jakub Šalagovič, David Šafránek, Jan Červený, Luboš Brim and Matej Hajnal Executable Biochemical Space for Specification and Analysis of Biochemical Systems ABSTRACT.		Jul 19 17:00
Carlo Spaccasassi, Matthew Lakin and Andrew Phillips Rule-based Design of Computational DNA Devices ABSTRACT.		Jul 19 11:20
Tomislav Plesa, Konstantinos Zygalakis, David Anderson and Radek Erban Noise Control for Molecular Computing ABSTRACT.		Jul 19 11:40
Ken Chanseau Saint-Germain and Jérôme Feret Conservative Approximations of Polymers ABSTRACT.		Jul 19 16:40
Robert F. Johnson Using Transitivity and Modularity in Chemical Reaction Network Bisimulation ABSTRACT.		Jul 19 16:20
Stefan Badelt and Erik Winfree Equivalence of Chemical Reaction Networks in a CRN-to-DNA Compiler Framework ABSTRACT.		Jul 19 16:00
Keenan Breik, Chris Thachuk, Marijn Heule and David Soloveichik Computing Properties of Stable Configurations of Thermodynamic Binding Networks ABSTRACT.		Jul 19 10:00
Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle and Peter F. Stadler Rule-Based Gillespie Simulation of Chemical Systems ABSTRACT.		Jul 19 11:00
Gareth Molyneux, Viraj Brian Wijesuriya and Alessandro Abate Bayesian Verification of Chemical Reaction Networks ABSTRACT.		Jul 19 15:00
Alexandru Amarioarei, Frankie Spencer, Corina Itcus, Iris Tusa, Ana Maria Dobre, Gefry Barad, Romica Trandafir, Mihaela Paun, Andrei Paun and Eugen Czeizler Computational Approaches for the Programmed Assembly of Nanocellulose Meshes ABSTRACT.		Jul 19 15:10