Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Davide Grohmann
2010 – today
- 2010
[j6]- [c6]Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies. PLACES 2010: 29-43
- [e2]Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva (Eds.): Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction. EPTCS 38, 2010
2000 – 2009
- 2009
- [j5]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto: Preface. Electr. Notes Theor. Comput. Sci. 229(3): 1-2 (2009)
- [c5]Giorgio Bacci, Davide Grohmann, Marino Miculan: DBtk: A Toolkit for Directed Bigraphs. CALCO 2009: 413-422
- [c4]Giorgio Bacci, Davide Grohmann, Marino Miculan: Bigraphical models for protein and membrane interactions. MeCBIC 2009: 3-18
- [c3]Giorgio Bacci, Davide Grohmann, Marino Miculan: A framework for protein and membrane interactions. MeCBIC 2009: 19-33
- [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (Eds.): Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions. EPTCS 12, 2009
- 2008
- [j4]Davide Grohmann, Marino Miculan: Controlling resource access in Directed Bigraphs. ECEASST 10 (2008)
- [j3]Davide Grohmann, Marino Miculan: Deriving Barbed Bisimulations for Bigraphical Reactive Systems. ECEASST 16 (2008)
- [j2]Davide Grohmann, Marino Miculan: An Algebra for Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 203(1): 49-63 (2008)
- [c2]
- 2007
- [j1]Davide Grohmann, Marino Miculan: Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 173: 121-137 (2007)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team