The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MeCBIC"( http://dblp.L3S.de/Venues/MeCBIC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/mecbic

Publication years (Num. hits)
2008 (12) 2009 (12) 2010 (12) 2012 (9)
Publication types (Num. hits)
inproceedings(41) proceedings(4)
Venues (Conferences, Journals, ...)
MeCBIC(45)
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
1Gabriel Ciobanu (eds.) Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012. Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg Membrane Systems and Petri Net Synthesis Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Margarita Antonaki, Anna Philippou A Process Calculus for Spatially-explicit Ecological Models Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo Towards modular verification of pathways: fairness and assumptions Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Erik P. de Vink, Hans Zantema, Dragan Bosnacki Combining Insertion and Deletion in RNA-editing Preserves Regularity Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Adrien Basso-Blandin, Franck Delaplace GUBS, a behavior-based language for open system dedicated to synthetic biology Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Masahiro Hamano RNA interference and Register Machines (extended abstract) Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marino Miculan, Ilaria Sambarino Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine Search on Bibsonomy MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Adriana 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 MeCBIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Marino Miculan Measurable Stochastics for Brane Calculus Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yifei 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 MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini Aspects of multiscale modelling in a process algebra for biological systems Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Richard Banks, L. Jason Steggles An Abstraction Theory for Qualitative Models of Biological Systems Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gabriel 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 MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giulio Caravagna, Jane Hillston Modeling biological systems with delays in Bio-PEPA Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrew Phillips, Matthew R. Lakin, Loïc Paulevé Stochastic Simulation of Process Calculi for Biology Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-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 MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu Edge- and Node-Disjoint Paths in P Systems Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei Multiscale Bone Remodelling with Spatial P Systems Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov Lumpability Abstractions of Rule-based Systems Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina Hybrid Calculus of Wrapped Compartments Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Davide Grohmann, Marino Miculan Bigraphical models for protein and membrane interactions Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho Modelling Cell Cycle using Different Levels of Representation Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu (eds.) Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009. Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rudolf Freund, Marian Kogler 0001 Drip and Mate Operations Acting in Test Tube Systems and Tissue-like P systems Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama A Process Calculus for Molecular Interaction Maps Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1G. Michele Pinna, Andrea Saba Dependencies and Simultaneity in Membrane Systems Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Davide Grohmann, Marino Miculan A framework for protein and membrane interactions Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberta Gori, Francesca Levi Abstract Interpretation for Probabilistic Termination of Biological Systems Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina A Type System for a Stochastic CLS Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu New Solutions to the Firing Squad Synchronization Problems for Neural and Hyperdag P Systems Search on Bibsonomy MeCBIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gabriel 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 MeCBIC The full citation details ... 2009 DBLP  BibTeX  RDF
1Federica Ciocchetta, Maria Luisa Guerriero Modelling Biological Compartments in Bio-PEPA. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gianluigi Zavattaro Reachability Analysis in BioAmbients. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chiara Bodei, Andrea Bracciali, Davide Chiarugi Control Flow Analysis for Brane Calculi. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tommaso Mazza, Matteo Cavaliere Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Richard Banks, Victor Khomenko, L. Jason Steggles A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei Timed P Automata. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Filippo Del Tedesco, Carla Piazza External Control in Process Algebra for Systems Biology. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrew Phillips An Abstract Machine for the Stochastic Bioambient calculus. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo Translating Stochastic CLS into Maude. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Marian Gheorghe 0001 Testing Non-deterministic Stream X-machine Models and P systems. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu Preface. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina Type Disciplines for Analysing Biologically Relevant Properties. Search on Bibsonomy MeCBIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license