![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
1st 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.