default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMLCSB 2018: Santiago, Chile
- Madalena Chaves, Manuel A. Martins:
Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11415, Springer 2019, ISBN 978-3-030-19431-4 - Claudio Fuentes Bravo, Patricio Fuentes Bravo
:
Molecular Logic: Brief Introduction and Some Philosophical Considerations. 1-17 - Alexandre Madeira:
Verification for Everyone? An Overview of Dynamic Logic. 18-33 - Eugénio M. Rocha:
Oscillatory Behaviour on a Non-autonomous Hybrid SIR-Model. 34-55 - Zane Huttinga, Bree Cummins, Tomas Geadon:
Combinatorial Dynamics for Regulatory Networks. 56-73 - Daniel Figueiredo, Luís Soares Barbosa:
Reactive Models for Biological Regulatory Networks. 74-88 - Judah Goldfeder, Hillel Kugler:
Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks. 89-104 - Tomas Veloz, Alejandro Bassi, Pedro Maldonado, Pablo Razeto:
On the Existence of Synergies and the Separability of Closed Reaction Networks. 105-120 - Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte:
A Logical Framework for Modelling Breast Cancer Progression. 121-141 - Soledad Berríos, Julio López Fenner, Aude Maignan:
Random Chromatin Neighborhoods in 2n=40 Mus m. domesticus Meiotic Cells: P-Percolation and Image Segmentation. 142-156
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
