default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st CS2Bio 2010: Amsterdam, The Netherlands
- Jean Krivine, Angelo Troina:
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands, June 10, 2010. Electronic Notes in Theoretical Computer Science 268, Elsevier 2010 - Jean Krivine, Angelo Troina:
Preface. 1-2 - Oana Andrei
, Muffy Calder:
A Model and Analysis of the AKAP Scaffold. 3-15 - Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani:
Bone Remodelling in BioShape. 17-29 - Andrea Degasperi, Muffy Calder:
Process Algebra with Hooks for Models of Pattern Formation. 31-47 - Andrea Degasperi, Muffy Calder:
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. 49-59 - Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
Modular Verification of Interactive Systems with an Application to Biology. 61-75 - Jérôme Feret:
Fragments-based Model Reduction: Some Case Studies. 77-96 - Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen:
Programming in Biomolecular Computation. 97-114 - Sara Montagna, Mirko Viroli:
A Framework for Modelling and Simulating Networks of Cells. 115-129
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-11-27 20:29 CET 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:
