Davide Grohmann

According to our database, Davide Grohmann authored at least 14 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

ACTiCLOUD: Enabling the Next Generation of Cloud Applications.

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

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2010

Multi-graph structures as frameworks for distributed and concurrent systems.

Davide Grohmann

PhD thesis, 2010

Graph Algebras for Bigraphs.

Davide Grohmann, Marino Miculan

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

A Logic for Choreographies

Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

2009

A framework for protein and membrane interactions

Giorgio Bacci, Davide Grohmann, Marino Miculan

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

Bigraphical models for protein and membrane interactions

Giorgio Bacci, Davide Grohmann, Marino Miculan

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

DBtk: A Toolkit for Directed Bigraphs.

Giorgio Bacci, Davide Grohmann, Marino Miculan

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Preface.

Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Deriving Barbed Bisimulations for Bigraphical Reactive Systems.

Davide Grohmann, Marino Miculan

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Controlling resource access in Directed Bigraphs.

Davide Grohmann, Marino Miculan

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Security, Cryptography and Directed Bigraphs.

Davide Grohmann

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

An Algebra for Directed Bigraphs.

Davide Grohmann, Marino Miculan

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Directed Bigraphs.

Davide Grohmann, Marino Miculan

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Reactive Systems over Directed Bigraphs.

Davide Grohmann, Marino Miculan

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007