FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Nicola Paoletti and Frits Dannenberg

Authors	Title	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		Jul 19 12:00
Hillel Kugler, Till Korten, Stefan Diez and Dan Nicolau Jr.	Formal Verification of Network-Based Biocomputation Circuits		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		Jul 19 17:00
Carlo Spaccasassi, Matthew Lakin and Andrew Phillips	Rule-based Design of Computational DNA Devices		Jul 19 11:20
Tomislav Plesa, Konstantinos Zygalakis, David Anderson and Radek Erban	Noise Control for Molecular Computing		Jul 19 11:40
Ken Chanseau Saint-Germain and Jérôme Feret	Conservative Approximations of Polymers		Jul 19 16:40
Robert F. Johnson	Using Transitivity and Modularity in Chemical Reaction Network Bisimulation		Jul 19 16:20
Stefan Badelt and Erik Winfree	Equivalence of Chemical Reaction Networks in a CRN-to-DNA Compiler Framework		Jul 19 16:00
Keenan Breik, Chris Thachuk, Marijn Heule and David Soloveichik	Computing Properties of Stable Configurations of Thermodynamic Binding Networks		Jul 19 10:00
Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle and Peter F. Stadler	Rule-Based Gillespie Simulation of Chemical Systems		Jul 19 11:00
Gareth Molyneux, Viraj Brian Wijesuriya and Alessandro Abate	Bayesian Verification of Chemical Reaction Networks		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		Jul 19 15:10

Disclaimer | Powered by EasyChair Smart Program