Giacoma Valentina Monreale

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Reactive Systems

Logic Programming

Top Venues

Math. Struct. Comput. Sci.

ACM Trans. Comput. Log.

Publications

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109 (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25 (4) (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION (2014)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24 (4) (2014)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15 (4) (2014)
Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing
Soft Constraints for Lexicographic Orders. MICAI (1) (2013)
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
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops (2013)
Fabio Gadducci, Giacoma Valentina Monreale
Barbed Semantics for Open Reactive Systems. WADT (2012)
Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
A Modular LTS for Open Reactive Systems. IFIP TCS (2012)
Giacoma Valentina Monreale, Ugo Montanari, Nicklas Hoch
Soft Constraint Logic Programming for Electric Vehicle Travel Optimization CoRR (2012)
Fabio Gadducci, Giacoma Valentina Monreale
A decentralised graphical implementation of mobile ambients. J. Log. Algebraic Methods Program. 80 (2) (2011)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Towards a General Theory of Barbs, Contexts and Labels. APLAS (2011)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Concurrency Can't Be Observed, Asynchronously. APLAS (2010)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
Saturated LTSs for Adhesive Rewriting Systems. ICGT (2010)
Giacoma Valentina Monreale
LTS Semantics for Process Calculi from Their Graphical Encodings. ICGT (2010)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
On Barbs and Labels in Reactive Systems SOS (2009)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS (2009)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). EXPRESS (2008)
Fabio Gadducci, Giacoma Valentina Monreale
A Decentralized Implementation of Mobile Ambients. ICGT (2008)