 | 2011 |
|---|
| 7 |       | Giorgio Bacci,
Vincent Danos,
Ohad Kammar:
On the Statistical Thermodynamics of Reversible Communicating Processes.
CALCO 2011: 1-18 |
| 2010 |
|---|
| 6 | | Giorgio Bacci,
Marino Miculan:
Measurable Stochastics for Brane Calculus
MeCBIC 2010: 6-22 |
| 2009 |
|---|
| 5 | | Giorgio Bacci,
Davide Grohmann,
Marino Miculan:
DBtk: A Toolkit for Directed Bigraphs.
CALCO 2009: 413-422 |
| 4 | | Giorgio Bacci,
Davide Grohmann,
Marino Miculan:
A framework for protein and membrane interactions
MeCBIC 2009: 19-33 |
| 3 | | Giorgio Bacci,
Davide Grohmann,
Marino Miculan:
Bigraphical models for protein and membrane interactions
MeCBIC 2009: 3-18 |
| 2008 |
|---|
| 2 | | Giorgio Bacci,
Marino Miculan:
Undecidability of Model Checking in Brane Logic.
Electr. Notes Theor. Comput. Sci. 192(3): 23-37 (2008) |
| 2006 |
|---|
| 1 | | Marino Miculan,
Giorgio Bacci:
Modal Logics for Brane Calculus.
CMSB 2006: 1-16 |
Data released under the ODC-BY 1.0 license — See also our legal information page