Login / Signup
MeCBIC
2009
2012
2009
2012
Keyphrases
Publications
2012
Jetty Kleijn
,
Maciej Koutny
,
Marta Pietkiewicz-Koutny
,
Grzegorz Rozenberg
Membrane Systems and Petri Net Synthesis
MeCBIC
(2012)
Margarita Antonaki
,
Anna Philippou
A Process Calculus for Spatially-explicit Ecological Models
MeCBIC
(2012)
Peter Drábik
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
Towards modular verification of pathways: fairness and assumptions
MeCBIC
(2012)
Erik P. de Vink
,
Hans Zantema
,
Dragan Bosnacki
Combining Insertion and Deletion in RNA-editing Preserves Regularity
MeCBIC
(2012)
Adrien Basso-Blandin
,
Franck Delaplace
GUBS, a behavior-based language for open system dedicated to synthetic biology
MeCBIC
(2012)
Masahiro Hamano
RNA interference and Register Machines (extended abstract)
MeCBIC
(2012)
Marino Miculan
,
Ilaria Sambarino
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
MeCBIC
(2012)
Adriana B. Compagnoni
,
Mariangiola Dezani-Ciancaglini
,
Paola Giannini
,
Karin Sauer
,
Vishakha Sharma
,
Angelo Troina
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
MeCBIC
(2012)
volume 100, 2012
Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012.
MeCBIC
100 (2012)
2010
Giorgio Bacci
,
Marino Miculan
Measurable Stochastics for Brane Calculus
MeCBIC
(2010)
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)
Roberto Barbuti
,
Giulio Caravagna
,
Paolo Milazzo
,
Andrea Maggiolo-Schettini
,
Simone Tini
Aspects of multiscale modelling in a process algebra for biological systems
MeCBIC
(2010)
Richard Banks
,
L. Jason Steggles
An Abstraction Theory for Qualitative Models of Biological Systems
MeCBIC
(2010)
Giulio Caravagna
,
Jane Hillston
Modeling biological systems with delays in Bio-PEPA
MeCBIC
(2010)
Andrew Phillips
,
Matthew R. Lakin
,
Loïc Paulevé
Stochastic Simulation of Process Calculi for Biology
MeCBIC
(2010)
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)
Michael J. Dinneen
,
Yun-Bum Kim
,
Radu Nicolescu
Edge- and Node-Disjoint Paths in P Systems
MeCBIC
(2010)
Diletta Cacciagrano
,
Flavio Corradini
,
Emanuela Merelli
,
Luca Tesei
Multiscale Bone Remodelling with Spatial P Systems
MeCBIC
(2010)
Jérôme Feret
,
Thomas A. Henzinger
,
Heinz Koeppl
,
Tatjana Petrov
Lumpability Abstractions of Rule-based Systems
MeCBIC
(2010)
Mario Coppo
,
Ferruccio Damiani
,
Maurizio Drocco
,
Elena Grassi
,
Eva Sciacca
,
Salvatore Spinella
,
Angelo Troina
Hybrid Calculus of Wrapped Compartments
MeCBIC
(2010)
volume 40, 2010
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010.
MeCBIC
40 (2010)