Formal Methods in Macro-Biology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319103976, 9783319103983

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Attractor Equivalence: An Observational Semantics for Reaction Networks

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_7 ◽

2014 ◽

pp. 82-101 ◽

Cited By ~ 3

Author(s):

Guillaume Madelaine ◽

Cédric Lhoussaine ◽

Joachim Niehren

Keyword(s):

Reaction Networks

Download Full-text

Understanding How Biodiversity Is Distributed in Space and Time

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_3 ◽

2014 ◽

pp. 36-39

Author(s):

Hélène Morlon

Keyword(s):

Space And Time

Download Full-text

Control of a Bioreactor with Quantized Measurements

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_5 ◽

2014 ◽

pp. 47-62

Author(s):

Francis Mairet ◽

Jean-Luc Gouzé

Download Full-text

Petri Nets Are a Biologist’s Best Friend

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_8 ◽

2014 ◽

pp. 102-116 ◽

Cited By ~ 3

Author(s):

Nicola Bonzanni ◽

K. Anton Feenstra ◽

Wan Fokkink ◽

Jaap Heringa

Keyword(s):

Petri Nets ◽

Best Friend

Download Full-text

External Interactions on Hybrid Models of Biological Systems

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_6 ◽

2014 ◽

pp. 63-81

Author(s):

Alberto Casagrande ◽

Carla Piazza

Keyword(s):

Biological Systems ◽

Hybrid Models

Download Full-text

The Challenges of Developing Spatially Explicit Network Models for the Management of Disease Vectors in Ecological Systems

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_12 ◽

2014 ◽

pp. 159-161

Author(s):

Brendan Trewin ◽

Hazel Parry ◽

Myron Zalucki ◽

David Westcott ◽

Nancy Shellhorn

Keyword(s):

Network Models ◽

Ecological Systems ◽

Disease Vectors ◽

Spatially Explicit

Download Full-text

Computing Longevity: Insights from Controls

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_4 ◽

2014 ◽

pp. 40-46

Author(s):

Pietro Lió

Download Full-text

Erratum: Disentangling the Effects of Habitat and Protection on Coral Reef Fish Communities in Long-Established Marine Reserves

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_15 ◽

2014 ◽

pp. E1-E1

Author(s):

Dominique Pelletier ◽

Delphine Mallet ◽

Abigail Powell ◽

William Roman

Keyword(s):

Coral Reef ◽

Reef Fish ◽

Coral Reef Fish ◽

Marine Reserves ◽

Fish Communities

Download Full-text

Evaluating Management Scenarios for Fished Resources of the New Caledonian Lagoon Using a Spatially-Explicit Model

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_13 ◽

2014 ◽

pp. 162-164

Author(s):

Bastien Preuss ◽

Dominique Pelletier ◽

Laurent Wantiez

Keyword(s):

Spatially Explicit ◽

Explicit Model ◽

Management Scenarios ◽

Spatially Explicit Model

Download Full-text

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding

Formal Methods in Macro-Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10398-3_14 ◽

2014 ◽

pp. 165-179 ◽

Cited By ~ 1

Author(s):

Yoshitaka Yamamoto ◽

Adrien Rougny ◽

Hidetomo Nabeshima ◽

Katsumi Inoue ◽

Hisao Moriya ◽

...

Download Full-text

Formal Methods in Macro-Biology - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Attractor Equivalence: An Observational Semantics for Reaction Networks

Understanding How Biodiversity Is Distributed in Space and Time

Control of a Bioreactor with Quantized Measurements

Petri Nets Are a Biologist’s Best Friend

External Interactions on Hybrid Models of Biological Systems

The Challenges of Developing Spatially Explicit Network Models for the Management of Disease Vectors in Ecological Systems

Computing Longevity: Insights from Controls

Erratum: Disentangling the Effects of Habitat and Protection on Coral Reef Fish Communities in Long-Established Marine Reserves

Evaluating Management Scenarios for Fished Resources of the New Caledonian Lagoon Using a Spatially-Explicit Model

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding

Formal Methods in Macro-Biology - Lecture Notes in Computer Science
Latest Publications