Davide Grohmann

17 papers A 1B 4Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2017 A conf
ACTiCLOUD: Enabling the Next Generation of Cloud Applications.
ICDCS
Georgios I. Goumas, Konstantinos Nikas, Ewnetu Bayuh Lakew, Christos Kotselidis, Andrew Attwood, Erik Elmroth, Michail Flouris, Nikos Foutris, John Goodacre, Davide Grohmann, Vasileios Karakostas, Panagiotis Koutsourakis, Martin L. Kersten, Mikel Luján, Einar Rustad, John Thomson, Luis Tomás, Atle Vesterkjaer, Jim Webber, Ying Zhang, Nectarios Koziris
2010 — conf
A Logic for Choreographies
PLACES
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
2010 J jnl
Graph Algebras for Bigraphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Davide Grohmann, Marino Miculan
2010 — —
Multi-graph structures as frameworks for distributed and concurrent systems.
Davide Grohmann
2010 — ed.
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010.
ICE
Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva
2009 — conf
A framework for protein and membrane interactions
MeCBIC
Giorgio Bacci, Davide Grohmann, Marino Miculan
2009 — conf
Bigraphical models for protein and membrane interactions
MeCBIC
Giorgio Bacci, Davide Grohmann, Marino Miculan
2009 B conf
DBtk: A Toolkit for Directed Bigraphs.
CALCO
Giorgio Bacci, Davide Grohmann, Marino Miculan
2009 J jnl
Deriving Barbed Bisimulations for Bigraphical Reactive Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Davide Grohmann, Marino Miculan
2009 — ed.
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009.
ICE
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto
2009 — ed.
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008
ICE@ICALP
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2008 J jnl
Controlling resource access in Directed Bigraphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Davide Grohmann, Marino Miculan
2008 — conf
Preface.
ICE@ICALP
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2008 B conf
Security, Cryptography and Directed Bigraphs.
ICGT
Davide Grohmann
2007 — conf
An Algebra for Directed Bigraphs.
TERMGRAPH@ETAPS
Davide Grohmann, Marino Miculan
2007 B conf
Directed Bigraphs.
MFPS
Davide Grohmann, Marino Miculan
2007 B conf
Reactive Systems over Directed Bigraphs.
CONCUR
Davide Grohmann, Marino Miculan