default search action
Search dblp for Publications
export results for "stream:conf/fmmb:"
@inproceedings{DBLP:conf/fmmb/AndersenFMS14, author = {Jakob Lykke Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {50 Shades of Rule Composition - From Chemical Reactions to Higher Levels of Abstraction}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {117--135}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_9}, doi = {10.1007/978-3-319-10398-3\_9}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/AndersenFMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/BonzanniFFH14, author = {Nicola Bonzanni and K. Anton Feenstra and Wan J. Fokkink and Jaap Heringa}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Petri Nets Are a Biologist's Best Friend}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {102--116}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_8}, doi = {10.1007/978-3-319-10398-3\_8}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/BonzanniFFH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/CasagrandeP14, author = {Alberto Casagrande and Carla Piazza}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {External Interactions on Hybrid Models of Biological Systems}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {63--81}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_6}, doi = {10.1007/978-3-319-10398-3\_6}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmmb/CasagrandeP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/Collins14, author = {Pieter Collins}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Model-Checking in Systems Biology - From Micro to Macro}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {1--22}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_1}, doi = {10.1007/978-3-319-10398-3\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/Collins14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/Fort14, author = {Hugo Fort}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Developing Quantitative Methods in Community Ecology: Predicting Species Abundances from Qualitative Web Interaction Data}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {23--35}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_2}, doi = {10.1007/978-3-319-10398-3\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/Fort14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/Lio14, author = {Pietro Li{\`{o}}}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Computing Longevity: Insights from Controls}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {40--46}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_4}, doi = {10.1007/978-3-319-10398-3\_4}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/Lio14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/MadelaineLN14, author = {Guillaume Madelaine and C{\'{e}}dric Lhoussaine and Joachim Niehren}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Attractor Equivalence: An Observational Semantics for Reaction Networks}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {82--101}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_7}, doi = {10.1007/978-3-319-10398-3\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/MadelaineLN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/MairetG14, author = {Francis Mairet and Jean{-}Luc Gouz{\'{e}}}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Control of a Bioreactor with Quantized Measurements}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {47--62}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_5}, doi = {10.1007/978-3-319-10398-3\_5}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmmb/MairetG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/MariaDF14, author = {Elisabetta De Maria and Jo{\"{e}}lle Despeyroux and Amy P. Felty}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {A Logical Framework for Systems Biology}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {136--155}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_10}, doi = {10.1007/978-3-319-10398-3\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/MariaDF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/Morlon14, author = {H{\'{e}}l{\`{e}}ne Morlon}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Understanding How Biodiversity Is Distributed in Space and Time}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {36--39}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_3}, doi = {10.1007/978-3-319-10398-3\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/Morlon14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/PelletierMPR14, author = {Dominique Pelletier and Delphine Mallet and Abigail Powell and William Roman}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Disentangling the Effects of Habitat and Protection on Coral Reef Fish Communities in Long-Established Marine Reserves}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {156--158}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_11}, doi = {10.1007/978-3-319-10398-3\_11}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/PelletierMPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/PreussPW14, author = {Bastien Preuss and Dominique Pelletier and Laurent Wantiez}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Evaluating Management Scenarios for Fished Resources of the New Caledonian Lagoon Using a Spatially-Explicit Model}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {162--164}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_13}, doi = {10.1007/978-3-319-10398-3\_13}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/PreussPW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/TrewinPZWS14, author = {Brendan Trewin and Hazel R. Parry and Myron Zalucki and David Westcott and Nancy Shellhorn}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {The Challenges of Developing Spatially Explicit Network Models for the Management of Disease Vectors in Ecological Systems}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {159--161}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_12}, doi = {10.1007/978-3-319-10398-3\_12}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/TrewinPZWS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmmb/YamamotoRNIMFI14, author = {Yoshitaka Yamamoto and Adrien Rougny and Hidetomo Nabeshima and Katsumi Inoue and Hisao Moriya and Christine Froidevaux and Koji Iwanuma}, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Completing {SBGN-AF} Networks by Logic-Based Hypothesis Finding}, booktitle = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, pages = {165--179}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3\_14}, doi = {10.1007/978-3-319-10398-3\_14}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmmb/YamamotoRNIMFI14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fmmb/2014, editor = {Fran{\c{c}}ois Fages and Carla Piazza}, title = {Formal Methods in Macro-Biology - First International Conference, {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8738}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10398-3}, doi = {10.1007/978-3-319-10398-3}, isbn = {978-3-319-10397-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmmb/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.