|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gabriel Ciobanu (eds.) |
Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg |
Membrane Systems and Petri Net Synthesis ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 1-13, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Margarita Antonaki, Anna Philippou |
A Process Calculus for Spatially-explicit Ecological Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 14-28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo |
Towards modular verification of pathways: fairness and assumptions ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 63-81, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Erik P. de Vink, Hans Zantema, Dragan Bosnacki |
Combining Insertion and Deletion in RNA-editing Preserves Regularity ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 48-62, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Basso-Blandin, Franck Delaplace |
GUBS, a behavior-based language for open system dedicated to synthetic biology ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 29-47, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Hamano |
RNA interference and Register Machines (extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 107-112, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan, Ilaria Sambarino |
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 82-100, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma 0001, Angelo Troina |
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., pp. 101-106, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Marino Miculan |
Measurable Stochastics for Brane Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 6-22, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yifei Bao, Adriana B. Compagnoni, Joseph Glavy, Tommy White |
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 39-53, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini |
Aspects of multiscale modelling in a process algebra for biological systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 54-69, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banks, L. Jason Steggles |
An Abstraction Theory for Qualitative Models of Biological Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 23-38, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Maciej Koutny (eds.) |
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Caravagna, Jane Hillston |
Modeling biological systems with delays in Bio-PEPA ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 85-101, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Phillips, Matthew R. Lakin, Loïc Paulevé |
Stochastic Simulation of Process Calculi for Biology ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 1-5, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau |
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 162-177, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu |
Edge- and Node-Disjoint Paths in P Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 121-141, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Multiscale Bone Remodelling with Spatial P Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 70-84, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov |
Lumpability Abstractions of Rule-based Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 142-161, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina |
Hybrid Calculus of Wrapped Compartments ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 102-120, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Davide Grohmann, Marino Miculan |
Bigraphical models for protein and membrane interactions ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 3-18, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho |
Modelling Cell Cycle using Different Levels of Representation ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 51-69, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu (eds.) |
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Freund, Marian Kogler 0001 |
Drip and Mate Operations Acting in Test Tube Systems and Tissue-like P systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 123-135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama |
A Process Calculus for Molecular Interaction Maps ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 35, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero |
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 71-90, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | G. Michele Pinna, Andrea Saba |
Dependencies and Simultaneity in Membrane Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 155-169, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Davide Grohmann, Marino Miculan |
A framework for protein and membrane interactions ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 19-33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberta Gori, Francesca Levi |
Abstract Interpretation for Probabilistic Termination of Biological Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 137-153, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
A Type System for a Stochastic CLS ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 91-105, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu |
New Solutions to the Firing Squad Synchronization Problems for Neural and Hyperdag P Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., pp. 107-122, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu (eds.) |
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Federica Ciocchetta, Maria Luisa Guerriero |
Modelling Biological Compartments in Bio-PEPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 77-95, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gianluigi Zavattaro |
Reachability Analysis in BioAmbients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 179-193, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Andrea Bracciali, Davide Chiarugi |
Control Flow Analysis for Brane Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 59-75, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Mazza, Matteo Cavaliere |
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 127-141, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banks, Victor Khomenko, L. Jason Steggles |
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 3-19, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
Timed P Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 21-36, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Del Tedesco, Carla Piazza |
External Control in Process Algebra for Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 161-177, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Phillips |
An Abstract Machine for the Stochastic Bioambient calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 143-159, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo |
Translating Stochastic CLS into Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 37-58, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florentin Ipate, Marian Gheorghe 0001 |
Testing Non-deterministic Stream X-machine Models and P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 113-126, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina |
Type Disciplines for Analysing Biologically Relevant Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008, pp. 97-111, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|