Davide Grohmann

	2010
14		Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva: Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction ICE 2010
13		Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies PLACES 2010: 29-43
12		Davide Grohmann, Marino Miculan: Graph Algebras for Bigraphs. ECEASST 29: (2010)
	2009
11		Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions ICE 2009
10		Giorgio Bacci, Davide Grohmann, Marino Miculan: DBtk: A Toolkit for Directed Bigraphs. CALCO 2009: 413-422
9		Giorgio Bacci, Davide Grohmann, Marino Miculan: A framework for protein and membrane interactions MeCBIC 2009: 19-33
8		Giorgio Bacci, Davide Grohmann, Marino Miculan: Bigraphical models for protein and membrane interactions MeCBIC 2009: 3-18
7		Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto: Preface. Electr. Notes Theor. Comput. Sci. 229(3): 1-2 (2009)
	2008
6		Davide Grohmann: Security, Cryptography and Directed Bigraphs. ICGT 2008: 487-489
5		Davide Grohmann, Marino Miculan: Controlling resource access in Directed Bigraphs. ECEASST 10: (2008)
4		Davide Grohmann, Marino Miculan: Deriving Barbed Bisimulations for Bigraphical Reactive Systems. ECEASST 16: (2008)
3		Davide Grohmann, Marino Miculan: An Algebra for Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 203(1): 49-63 (2008)
	2007
2		Davide Grohmann, Marino Miculan: Reactive Systems over Directed Bigraphs. CONCUR 2007: 380-394
1		Davide Grohmann, Marino Miculan: Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 173: 121-137 (2007)

Coauthor Index

1	Giorgio Bacci	[8] [9] [10]
2	Simon Bliudze	[14]
3	Filippo Bonchi	[7] [11]
4	Roberto Bruni	[14]
5	Marco Carbone	[13]
6	Thomas T. Hildebrandt	[13]
7	Hugo A. López	[13]
8	Marino Miculan	[1] [2] [3] [4] [5] [8] [9] [10] [12]
9	Alexandra Silva	[14]
10	Paola Spoletini	[7] [11]
11	Angelo Troina	[7]
12	Emilio Tuosto	[7] [11]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page