A Decentralized Implementation of Mobile Ambients. - Fabio Gadducci; Giacoma Valentina Monreale (ICGT, 2008)

Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). - Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (EXPRESS, 2008)

Reactive Systems, Barbed Semantics, and the Mobile Ambients. - Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (FoSSaCS, 2009)

On Barbs and Labels in Reactive Systems - Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (SOS, 2009)

Concurrency Can't Be Observed, Asynchronously. - Paolo Baldan; Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (APLAS, 2010)

Saturated LTSs for Adhesive Rewriting Systems. - Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale; Ugo Montanari (ICGT, 2010)

LTS Semantics for Process Calculi from Their Graphical Encodings. - Giacoma Valentina Monreale (ICGT, 2010)

Towards a General Theory of Barbs, Contexts and Labels. - Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (APLAS, 2011)

A decentralised graphical implementation of mobile ambients. - Fabio Gadducci; Giacoma Valentina Monreale (J. Log. Algebraic Methods Program., 2011)

Adequacy Issues in Reactive Systems: Barbed Semantics for Mobile Ambients. - Giacoma Valentina Monreale (2011)

A Modular LTS for Open Reactive Systems. - Fabio Gadducci; Giacoma Valentina Monreale; Ugo Montanari (IFIP TCS, 2012)

Barbed Semantics for Open Reactive Systems. - Fabio Gadducci; Giacoma Valentina Monreale (WADT, 2012)

Soft Constraint Logic Programming for Electric Vehicle Travel Optimization - Giacoma Valentina Monreale; Ugo Montanari; Nicklas Hoch (CoRR, 2012)

Soft Constraints for Lexicographic Orders. - Fabio Gadducci; Matthias M. Hölzl; Giacoma Valentina Monreale; Martin Wirsing (MICAI (1), 2013)

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. - Tomás Bures; Rocco De Nicola; Ilias Gerostathopoulos; Nicklas Hoch; Michal Kit; Nora Koch; Giacoma Valentina Monreale; Ugo Montanari; Rosario Pugliese; Nikola B. Serbedzija; Martin Wirsing; Franco Zambonelli (SASO Workshops, 2013)

Encoding Synchronous Interactions Using Labelled Petri Nets. - Paolo Baldan; Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (COORDINATION, 2014)

RPO semantics for mobile ambients. - Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (Math. Struct. Comput. Sci., 2014)

A General Theory of Barbs, Contexts, and Labels. - Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (ACM Trans. Comput. Log., 2014)

Asynchronous Traces and Open Petri Nets. - Paolo Baldan; Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (Programming Languages with Applications to Biology and Security, 2015)

Concurrency cannot be observed, asynchronously. - Paolo Baldan; Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (Math. Struct. Comput. Sci., 2015)

Modular encoding of synchronous and asynchronous interactions using open Petri nets. - Paolo Baldan; Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale (Sci. Comput. Program., 2015)

Tools for Ensemble Design and Runtime. - Dhaminda B. Abeywickrama; Jacques Combaz; Vojtech Horký; Jaroslav Keznikl; Jan Kofron; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Philip Mayer; Giacoma Valentina Monreale; Ugo Montanari; Carlo Pinciroli; et al. (The ASCENS Approach, 2015)

From Local to Global Knowledge and Back. - Nicklas Hoch; Giacoma Valentina Monreale; Ugo Montanari; Matteo Sammartino; Alain Tcheukam Siwe (The ASCENS Approach, 2015)