VEMDP 2014 CONTRIBUTED PAPERS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: B C D F G H I J K L M P Q S T W

B
Boeing, Philip	An Aspect Oriented Design and Modelling Framework for Synthetic Biology (PDF, talk)
C
Cardelli, Luca	Morphisms of reaction networks that couple structure to function (PDF, talk)
D
Dalchau, Neil	Software tools for analysing the chemical master equation (PDF, talk)
Dannenberg, Frits	Guiding the development of DNA walker systems to guarantee reliability and performance (PDF, talk)
Danos, Vincent	Formal mean field theories for graph rewriting (PDF, talk)
F
Fellermann, Harold	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
G
Gheorghe, Marian	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
Grun, Casey	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures (PDF, talk)
Grun, Casey	DyNAMiC Workbench: Automated design and verification of dynamic DNA nanosystems (PDF, talk)
H
Hagiya, Masami	Molecular computers for molecular robots as hybrid systems (PDF, talk)
I
Ipate, Florentin	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
J
Johnson, Robert F.	Verifying Polymer Reaction Networks using Bisimulation (PDF, talk)
K
Kalvala, Sara	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
Karthik, Aadithya V.	NINJA: Boolean Modelling and Formal Verification of Tiered-Rate Chemical Reaction Networks (PDF, talk)
Konur, Savas	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
Krasnogor, Natalio	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
Krivine, Jean	Rule-Based modeling of DNA repair (PDF, talk)
L
Ladroue, Christophe	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
M
Mierla, Laurentiu	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
Milazzo, Paolo	Identification of Components and Modular Verification of Biochemical Pathways (PDF, talk)
P
Phillips, Andrew	Computational design of DNA strand displacement systems (PDF, talk)
Q
Qian, Lulu	DNA-based circuits in well-mixed and spatially-organized systems (PDF, talk)
S
Sanassy, Daven	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (PDF, talk)
Sarma, Karthik	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures (PDF, talk)
Shin, Seung Woo	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures (PDF, talk) Verifying CRN Implementations: A Pathway Decomposition Approach (PDF, talk)
T
Thachuk, Chris	Verifying CRN Implementations: A Pathway Decomposition Approach (PDF, talk)
W
Winfree, Erik	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures (PDF, talk) Verifying CRN Implementations: A Pathway Decomposition Approach (PDF, talk) Verifying Polymer Reaction Networks using Bisimulation (PDF, talk)
Wolfe, Brian	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures (PDF, talk)