Skip to main content
SpringerLink
Log in

Molecular Logic and Computational Synthetic Biology

First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Madalena Chaves

    1. Inria Sophia Antipolis - Méditerranée, Inria, Sophia Antipolis Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manuel A. Martins

    1. Department of Mathematics, University of Aveiro, Aveiro, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11415)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: MLCSB 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Molecular Logic: Brief Introduction and Some Philosophical Considerations

    • Claudio Fuentes Bravo, Patricio Fuentes Bravo
    Pages 1-17

  3. Verification for Everyone? An Overview of Dynamic Logic

    • Alexandre Madeira
    Pages 18-33

  4. Oscillatory Behaviour on a Non-autonomous Hybrid SIR-Model

    • Eugénio M. Rocha
    Pages 34-55

  5. Combinatorial Dynamics for Regulatory Networks

    • Zane Huttinga, Bree Cummins, Tomas Geadon
    Pages 56-73

  6. Reactive Models for Biological Regulatory Networks

    • Daniel Figueiredo, Luís Soares Barbosa
    Pages 74-88

  7. Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks

    • Judah Goldfeder, Hillel Kugler
    Pages 89-104

  8. On the Existence of Synergies and the Separability of Closed Reaction Networks

    • Tomas Veloz, Alejandro Bassi, Pedro Maldonado, Pablo Razeto
    Pages 105-120

  9. A Logical Framework for Modelling Breast Cancer Progression

    • Joëlle Despeyroux, Amy Felty, Pietro Liò, Carlos Olarte
    Pages 121-141

  10. Random Chromatin Neighborhoods in 2n=40 Mus m. domesticus Meiotic Cells: P-Percolation and Image Segmentation

    • Soledad Berríos, Julio López Fenner, Aude Maignan
    Pages 142-156

  11. Back Matter

    Pages 157-157
    Download chapter PDF
Back to top

Other volumes

  1. Molecular Logic and Computational Synthetic Biology

Keywords

About this book

This book collects the revised selected proceedings of the  First International Symposium in Molecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in  December 2018. The volume contains 7 full revised papers along with 2 surveys from 19 submissions presented at the symposium. One of the goals of the MLCSB 2018 was to explore the potential of molecular logic frameworks to study the emerging behavioural patterns in biological networks, combining discrete, continuous and stochastic features, and resorting both to specific or general-purpose analysis and verification techniques.

Editors and Affiliations

  • Inria Sophia Antipolis - Méditerranée, Inria, Sophia Antipolis Cedex, France

    Madalena Chaves

  • Department of Mathematics, University of Aveiro, Aveiro, Portugal

    Manuel A. Martins

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation