|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VEMDP CAMERA-READY ABSTRACTS
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 |
|
|