|
|
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. |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg |
Membrane Systems and Petri Net Synthesis |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Margarita Antonaki, Anna Philippou |
A Process Calculus for Spatially-explicit Ecological Models |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo |
Towards modular verification of pathways: fairness and assumptions |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Erik P. de Vink, Hans Zantema, Dragan Bosnacki |
Combining Insertion and Deletion in RNA-editing Preserves Regularity |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Basso-Blandin, Franck Delaplace |
GUBS, a behavior-based language for open system dedicated to synthetic biology |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Hamano |
RNA interference and Register Machines (extended abstract) |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan, Ilaria Sambarino |
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine |
MeCBIC |
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 |
MeCBIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Marino Miculan |
Measurable Stochastics for Brane Calculus |
MeCBIC |
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 |
MeCBIC |
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 |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banks, L. Jason Steggles |
An Abstraction Theory for Qualitative Models of Biological Systems |
MeCBIC |
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. |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Caravagna, Jane Hillston |
Modeling biological systems with delays in Bio-PEPA |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Phillips, Matthew R. Lakin, Loïc Paulevé |
Stochastic Simulation of Process Calculi for Biology |
MeCBIC |
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 |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu |
Edge- and Node-Disjoint Paths in P Systems |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Multiscale Bone Remodelling with Spatial P Systems |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov |
Lumpability Abstractions of Rule-based Systems |
MeCBIC |
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 |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Davide Grohmann, Marino Miculan |
Bigraphical models for protein and membrane interactions |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho |
Modelling Cell Cycle using Different Levels of Representation |
MeCBIC |
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. |
MeCBIC |
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 |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama |
A Process Calculus for Molecular Interaction Maps |
MeCBIC |
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 |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | G. Michele Pinna, Andrea Saba |
Dependencies and Simultaneity in Membrane Systems |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Davide Grohmann, Marino Miculan |
A framework for protein and membrane interactions |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberta Gori, Francesca Levi |
Abstract Interpretation for Probabilistic Termination of Biological Systems |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
A Type System for a Stochastic CLS |
MeCBIC |
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 |
MeCBIC |
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 |
MeCBIC |
2009 |
DBLP BibTeX RDF |
|
1 | Federica Ciocchetta, Maria Luisa Guerriero |
Modelling Biological Compartments in Bio-PEPA. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gianluigi Zavattaro |
Reachability Analysis in BioAmbients. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Andrea Bracciali, Davide Chiarugi |
Control Flow Analysis for Brane Calculi. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Mazza, Matteo Cavaliere |
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. |
MeCBIC |
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. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
Timed P Automata. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Del Tedesco, Carla Piazza |
External Control in Process Algebra for Systems Biology. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Phillips |
An Abstract Machine for the Stochastic Bioambient calculus. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo |
Translating Stochastic CLS into Maude. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florentin Ipate, Marian Gheorghe 0001 |
Testing Non-deterministic Stream X-machine Models and P systems. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu |
Preface. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina |
Type Disciplines for Analysing Biologically Relevant Properties. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|