Edit Profile (opens in new tab) Monreale, Giacoma Valentina Co-Author Distance Author ID: monreale.giacoma-valentina Published as: Monreale, Giacoma Valentina; Monreale, Giacoma V. Documents Indexed: 12 Publications since 2008 Co-Authors: 4 Co-Authors with 12 Joint Publications 187 Co-Co-Authors Co-Authors 0 single-authored 12 Gadducci, Fabio 8 Bonchi, Filippo 2 Baldan, Paolo 2 Montanari, Ugo G. Serials 2 MSCS. Mathematical Structures in Computer Science 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic Fields 12 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 32 times in 22 Documents Cited by ▼ Year ▼ Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 11 2009 A general theory of barbs, contexts, and labels. Zbl 1354.68189 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 6 2014 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 A decentralized implementation of mobile ambients. Zbl 1175.68279 Gadducci, Fabio; Monreale, Giacoma Valentina 4 2008 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 A decentralised graphical implementation of mobile ambients. Zbl 1207.68224 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2011 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 Barbed semantics for open reactive systems. Zbl 1394.68249 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2013 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 A general theory of barbs, contexts, and labels. Zbl 1354.68189 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 6 2014 Barbed semantics for open reactive systems. Zbl 1394.68249 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2013 A decentralised graphical implementation of mobile ambients. Zbl 1207.68224 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2011 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 11 2009 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 A decentralized implementation of mobile ambients. Zbl 1175.68279 Gadducci, Fabio; Monreale, Giacoma Valentina 4 2008 all cited Publications top 5 cited Publications all top 5 Cited by 27 Authors 10 Gadducci, Fabio 8 Bonchi, Filippo 6 Monreale, Giacoma Valentina 2 Baldan, Paolo 2 Brodo, Linda 2 Horne, Ross 2 Mauw, Sjouke 2 Montanari, Ugo G. 2 Yurkov, Semen 1 Bacci, Giorgio 1 Baez, John C. 1 König, Barbara 1 Lenglet, Sergueï 1 Master, Jade 1 Melgratti, Hernán 1 Miculan, Marino 1 Pino, Luis F. 1 Rathke, Julian 1 Roldán, Christian 1 Sammartino, Matteo 1 Sangiorgi, Davide 1 Santini, Francesco 1 Schmitt, Alan 1 Sobociński, Paweł 1 Stefani, Jean-Bernard 1 Valencia, Frank D. 1 Zavattaro, Gianluigi all top 5 Cited in 7 Serials 4 Theoretical Computer Science 3 Information and Computation 3 MSCS. Mathematical Structures in Computer Science 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 The Journal of Logic and Algebraic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 22 Computer science (68-XX) 2 Category theory; homological algebra (18-XX) 1 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Citations by Year