Giorgio Bacci

	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: Bigraphical models for protein and membrane interactions CoRR abs/0911.4510: (2009)
3		Giorgio Bacci, Davide Grohmann, Marino Miculan: A framework for protein and membrane interactions CoRR abs/0911.4513: (2009)
	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

Coauthor Index

1	Davide Grohmann	[3] [4] [5]
2	Marino Miculan	[1] [2] [3] [4] [5]