FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Abate, Alessandro	Bayesian Verification of Chemical Reaction Networks
Amarioarei, Alexandru	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Andersen, Jakob Lykke	Rule-Based Gillespie Simulation of Chemical Systems
Anderson, David	Noise control for molecular computing
B
Badelt, Stefan	Equivalence of chemical reaction networks in a CRN-to-DNA compiler framework.
Barad, Gefry	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Breik, Keenan	Computing properties of stable configurations of thermodynamic binding networks
Brim, Lubos	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
C
Cardelli, Luca	Molecular Filters for Noise Reduction
Chanseau Saint-Germain, Ken	Conservative approximations of polymers
Csikász-Nagy, Attila	Molecular Filters for Noise Reduction
Czeizler, Eugen	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
D
Diez, Stefan	Formal Verification of Network-Based Biocomputation Circuits
Dobre, Ana Maria	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Dunn, Sara-Jane	Uncovering the Biological Programs that Govern Development
E
Erban, Radek	Noise control for molecular computing
F
Feret, Jerome	Conservative approximations of polymers
Flamm, Christoph	Rule-Based Gillespie Simulation of Chemical Systems
H
Hajnal, Matej	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Heule, Marijn	Computing properties of stable configurations of thermodynamic binding networks
I
Itcus, Corina	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
J
Johnson, Robert F.	Using Transitivity and Modularity in Chemical Reaction Network Bisimulation
K
Korten, Till	Formal Verification of Network-Based Biocomputation Circuits
Kugler, Hillel	Formal Verification of Network-Based Biocomputation Circuits
Kwiatkowska, Marta Z	Molecular Filters for Noise Reduction
L
Lakin, Matthew	Rule-based design of computational DNA devices
Laurenti, Luca	Molecular Filters for Noise Reduction
M
Merkle, Daniel	Rule-Based Gillespie Simulation of Chemical Systems
Molyneux, Gareth	Bayesian Verification of Chemical Reaction Networks
N
Nicolau Jr., Dan	Formal Verification of Network-Based Biocomputation Circuits
P
Paun, Andrei	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Paun, Mihaela	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Phillips, Andrew	Rule-based design of computational DNA devices
Plesa, Tomislav	Noise control for molecular computing
R
Romica, Trandafir	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
S
Soloveichik, David	Computing properties of stable configurations of thermodynamic binding networks
Spaccasassi, Carlo	Rule-based design of computational DNA devices
Spencer, Frankie	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Stadler, Peter F.	Rule-Based Gillespie Simulation of Chemical Systems
T
Thachuk, Chris	Computing properties of stable configurations of thermodynamic binding networks
Troják, Matej	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Turberfield, Andrew	Controlling Assembly and Function of DNA Nanostructures and Molecular Machinery
Tusa, Iris	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
W
Wijesuriya, Viraj Brian	Bayesian Verification of Chemical Reaction Networks
Winfree, Erik	Equivalence of chemical reaction networks in a CRN-to-DNA compiler framework.
Z
Zygalakis, Konstantinos	Noise control for molecular computing
Č
Červený, Jan	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Š
Šafránek, David	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Šalagovič, Jakub	Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Disclaimer | Powered by EasyChair Smart Program