Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd MeCBIC 2008: Iaşi, Romania
- Gabriel Ciobanu:
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008. Electronic Notes in Theoretical Computer Science 227, Elsevier 2009 - Gabriel Ciobanu
:
Preface. 1-2 - Richard Banks, Victor Khomenko, L. Jason Steggles:
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. 3-19 - Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
Timed P Automata. 21-36 - Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo:
Translating Stochastic CLS into Maude. 37-58 - Chiara Bodei, Andrea Bracciali, Davide Chiarugi:
Control Flow Analysis for Brane Calculi. 59-75 - Federica Ciocchetta, Maria Luisa Guerriero:
Modelling Biological Compartments in Bio-PEPA. 77-95 - Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. 97-111 - Florentin Ipate, Marian Gheorghe:
Testing Non-deterministic Stream X-machine Models and P systems. 113-126 - Tommaso Mazza, Matteo Cavaliere:
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. 127-141 - Andrew Phillips:
An Abstract Machine for the Stochastic Bioambient calculus. 143-159 - Filippo Del Tedesco, Carla Piazza:
External Control in Process Algebra for Systems Biology. 161-177 - Gianluigi Zavattaro:
Reachability Analysis in BioAmbients. 179-193
a service of 
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-04-22 20:02 CEST 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:
