VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Barnes, Chris P	An Aspect Oriented Design and Modelling Framework for Synthetic Biology
Boeing, Philip	An Aspect Oriented Design and Modelling Framework for Synthetic Biology
Brayton, Robert	Boolean modelling and formal verification of tiered-rate chemical reaction networks
C
Cardelli, Luca	Morphisms of reaction networks that couple structure to function
Ceska, Milan	Guiding the development of DNA walker systems to guarantee reliability and performance
D
Dalchau, Neil	Software tools for analysing the chemical master equation
Dannenberg, Frits	Guiding the development of DNA walker systems to guarantee reliability and performance
Danos, Vincent	Formal mean field theories for graph rewriting
F
Fellermann, Harold	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
Finkelstein, Anthony	An Aspect Oriented Design and Modelling Framework for Synthetic Biology
G
Gheorghe, Marian	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
Grun, Casey	DyNAMiC Workbench: Automated design and verification of dynamic DNA nanosystems
Grun, Casey	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures
H
Hagiya, Masami	Molecular computers for molecular robots as hybrid systems
I
Ipate, Florentin	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
J
Johnson, Robert F.	Verifying Polymer Reaction Networks using Bisimulation
K
Kalvala, Sara	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
Karthik, Aadithya V.	Boolean modelling and formal verification of tiered-rate chemical reaction networks
Konur, Savas	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
Krasnogor, Natalio	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
Krivine, Jean	Rule based modelling of DNA repair
Kwiatkowska, Marta	Opening remarks
Kwiatkowska, Marta	Guiding the development of DNA walker systems to guarantee reliability and performance
L
Ladroue, Christophe	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
M
Mierla, Laurentiu	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
Milazzo, Paolo	Identification of Components and Modular Verification of Biochemical Pathways
Mishchenko, Alan	Boolean modelling and formal verification of tiered-rate chemical reaction networks
N
Nesbeth, Darren	An Aspect Oriented Design and Modelling Framework for Synthetic Biology
P
Paoletti, Nicola	Guiding the development of DNA walker systems to guarantee reliability and performance
Pardini, Giovanni	Identification of Components and Modular Verification of Biochemical Pathways
Phillips, Andrew	Computational design of DNA strand displacement systems
Q
Qian, Lulu	DNA-based circuits in well-mixed and spatially organized systems
R
Ray, Sayak	Boolean modelling and formal verification of tiered-rate chemical reaction networks
Roychowdhury, Jaijeet	Boolean modelling and formal verification of tiered-rate chemical reaction networks
S
Sanassy, Daven	Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench
Sarma, Karthik	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures
Shin, Seung Woo	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures Verifying CRN Implementations: A Pathway Decomposition Approach
Soloveichik, David	Boolean modelling and formal verification of tiered-rate chemical reaction networks
Sterin, Baruch	Boolean modelling and formal verification of tiered-rate chemical reaction networks
T
Thachuk, Chris	Verifying CRN Implementations: A Pathway Decomposition Approach Lightning talks for posters/demos
W
Winfree, Erik	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures Verifying Polymer Reaction Networks using Bisimulation Verifying CRN Implementations: A Pathway Decomposition Approach
Wolfe, Brian	A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures

Disclaimer | Powered by EasyChair Smart Program