Fabio Gadducci

188 papers A* 5A 2B 35C 7Journal 69Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Counterpart-based Quantified Temporal Logics. J. Log. Algebraic Methods Program. Fabio Gadducci, Andrea Laretto, Davide Trotta
2025	C	`conf`	A Constraint Opinion Model. COORDINATION Fabio Gadducci, Carlos Olarte, Frank Valencia
2025	J	`jnl`	A Constraint Opinion Model. CoRR Fabio Gadducci, Carlos Olarte, Frank Valencia
2025	J	`jnl`	A taxonomy of categories for relations. CoRR Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
2025	J	`jnl`	Between Markov and restriction: Two more monads on categories for relations. CoRR Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
2025	B	`conf`	EGGs Are Adhesive! CALCO Roberto Biondo, Davide Castelnovo, Fabio Gadducci
2025	J	`jnl`	EGGs are adhesive! CoRR Roberto Biondo, Davide Castelnovo, Fabio Gadducci
2024	J	`jnl`	A simple criterion for M,N-adhesivity. Theor. Comput. Sci. Davide Castelnovo, Fabio Gadducci, Marino Miculan
2024	B	`conf`	Effect Semantics for Quantum Process Calculi. CONCUR Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024	B	`conf`	Left-Linear Rewriting in Adhesive Categories. CONCUR Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024	J	`jnl`	Left-Linear Rewriting in Adhesive Categories. CoRR Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024	B	`conf`	Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers. APLAS Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024	J	`jnl`	Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers. CoRR Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024	J	`jnl`	Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. Proc. ACM Program. Lang. Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024	—	`conf`	Testing Quantum Processes. ISoLA (1) Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2023	—	`conf`	A Spatial Logic with Time and Quantifiers. DaLí Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
2023	J	`jnl`	From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini
2023	J	`jnl`	Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers. CoRR Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2023	B	`conf`	Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. ICGT Fabio Gadducci, Andrea Laretto, Davide Trotta
2023	J	`jnl`	Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebraic Methods Program. Fabio Gadducci, Timo Kehrer
2023	J	`jnl`	Specification and verification of a linear-time logic for graph transformation. CoRR Fabio Gadducci, Andrea Laretto, Davide Trotta
2023	B	`conf`	Weakly Markov Categories and Weakly Affine Monads. CALCO Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
2023	J	`jnl`	Weakly affine monads. CoRR Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
2022	—	`conf`	A Presheaf Semantics for Quantified Temporal Logics. WADT Fabio Gadducci, Davide Trotta
2022	B	`conf`	A new criterion for FoSSaCS Davide Castelnovo, Fabio Gadducci, Marino Miculan
2022	J	`jnl`	A new criterion for M, N-adhesivity, with an application to hierarchical graphs. CoRR Davide Castelnovo, Fabio Gadducci, Marino Miculan
2022	J	`jnl`	Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
2022	J	`jnl`	Completeness and expressiveness for gs-monoidal categories. CoRR Andrea Corradini, Fabio Gadducci, Davide Trotta
2022	J	`jnl`	Distributivity and residuation for lexicographic orders. Inf. Process. Lett. Fabio Gadducci, Francesco Santini
2022	B	`conf`	Graph Rewriting Components. ICGT Reiko Heckel, Andrea Corradini, Fabio Gadducci
2022	—	`conf`	On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
2022	C	`conf`	Soft Concurrent Constraint Programming with Local Variables. COORDINATION Laura Bussi, Fabio Gadducci, Francesco Santini
2022	J	`jnl`	Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020). Sci. Comput. Program. Timo Kehrer, Fabio Gadducci
2022	J	`jnl`	Special issue on Theoretical Topics in Graph Transformation. Theor. Comput. Sci. Fabio Gadducci, Timo Kehrer
2022	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	B	`ed.`	9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, Salzburg, Austria, August 31 - September 3, 2021 CALCO Fabio Gadducci, Alexandra Silva
2021	J	`jnl`	A Presheaf Semantics for Quantified Temporal Logics. CoRR Fabio Gadducci, Davide Trotta
2021	J	`jnl`	Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. Paolo Baldan, Andrea Corradini, Fabio Gadducci
2021	B	`ed.`	Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings ICGT Fabio Gadducci, Timo Kehrer
2021	B	`conf`	Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. JELIA Fabio Gadducci, Francesco Santini
2021	J	`jnl`	Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. CoRR Fabio Gadducci, Francesco Santini
2021	J	`jnl`	Soft constraint automata with memory. J. Log. Algebraic Methods Program. Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini
2021	J	`jnl`	String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	J	`jnl`	String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	—	`conf`	Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
2021	C	`conf`	Towards a Spatial Model Checker on GPU. FORTE Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
2020	J	`jnl`	A spatial model checker in GPU (extended version). CoRR Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
2020	B	`ed.`	Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings ICGT Fabio Gadducci, Timo Kehrer
2020	C	`conf`	Implementation Correctness for Replicated Data Types, Categorically. ICTAC Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
2020	J	`jnl`	Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project. IEEE Ann. Hist. Comput. Giovanni A. Cignoni, Fabio Gadducci
2020	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2019	—	`conf`	A Categorical Account of Replicated Data Types. FSTTCS Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
2019	—	`conf`	Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
2019	J	`jnl`	Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica Paolo Baldan, Fabio Gadducci
2019	—	`conf`	Polyadic Soft Constraints. The Art of Modelling Computational Systems Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
2019	J	`jnl`	Retracing and assessing the CEP project. CoRR Giovanni A. Cignoni, Fabio Gadducci
2018	J	`jnl`	Event Structures for Petri nets with Persistence. CoRR Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	On the semantics and implementation of replicated data types. Sci. Comput. Program. Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
2018	A*	`conf`	Rewriting with Frobenius. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2018	—	`conf`	Soft Constraint Automata with Memory. It's All About Coordination Kasper Dokter, Fabio Gadducci, Francesco Santini
2017	C	`conf`	A Denotational View of Replicated Data Types. COORDINATION Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
2017	A	`conf`	Confluence of Graph Rewriting with Interfaces. ESOP Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2017	J	`jnl`	Domains and Event Structures for Fusions. CoRR Paolo Baldan, Andrea Corradini, Fabio Gadducci
2017	A*	`conf`	Domains and event structures for fusions. LICS Paolo Baldan, Andrea Corradini, Fabio Gadducci
2017	J	`jnl`	Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebraic Methods Program. Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
2017	J	`jnl`	Residuation for bipolar preferences in soft constraints. Inf. Process. Lett. Fabio Gadducci, Francesco Santini
2016	—	`ed.`	History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers HaPoC Fabio Gadducci, Mirko Tavosanis
2016	A*	`conf`	Rewriting modulo symmetric monoidal structure. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2016	J	`jnl`	Rewriting modulo symmetric monoidal structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2015	C	`conf`	A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
2015	—	`conf`	A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`conf`	Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015	—	`conf`	Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	J	`jnl`	Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015	J	`jnl`	Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	J	`jnl`	Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015	—	`ch.`	Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing
2015	J	`jnl`	Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis
2014	J	`jnl`	A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2014	J	`jnl`	A Virtual Experience on the Very First Italian Computer. ACM Journal on Computing and Cultural Heritage Giovanni A. Cignoni, Fabio Gadducci, Stefano Paci
2014	C	`conf`	Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2014	J	`jnl`	RPO semantics for mobile ambients. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2013	J	`jnl`	Adaptation is a Game. Tiny Trans. Comput. Sci. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2013	J	`jnl`	Preface. J. Vis. Lang. Comput. Fabio Gadducci, Leonardo Mariani
2013	—	`conf`	Soft Constraints for Lexicographic Orders. MICAI (1) Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing
2013	—	`conf`	Using Old Computers for Teaching Computer Science. HC Giovanni A. Cignoni, Fabio Gadducci
2013	—	`conf`	Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS Maurice H. ter Beek, Fabio Gadducci, Francesco Santini
2012	B	`conf`	A Conceptual Framework for Adaptation. FASE Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	A Modular LTS for Open Reactive Systems. IFIP TCS Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
2012	J	`jnl`	A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
2012	—	`conf`	Adaptable Transition Systems. WADT Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	Barbed Semantics for Open Reactive Systems. WADT Fabio Gadducci, Giacoma Valentina Monreale
2012	J	`jnl`	Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	B	`conf`	Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	J	`jnl`	Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Expert Syst. Appl. Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
2012	—	`conf`	Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2011	J	`jnl`	A decentralised graphical implementation of mobile ambients. J. Log. Algebraic Methods Program. Fabio Gadducci, Giacoma Valentina Monreale
2011	B	`conf`	Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS Paolo Baldan, Fabio Gadducci, Pawel Sobocinski
2011	—	`ch.`	Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2011	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Fabio Gadducci, Leonardo Mariani
2011	B	`conf`	Towards a General Theory of Barbs, Contexts and Labels. APLAS Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2010	J	`jnl`	An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2010	—	`conf`	An Algebra of Hierarchical Graphs. TGC Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2010	—	`conf`	An Institution for Graph Transformation. WADT Andrea Corradini, Fabio Gadducci, Leila Ribeiro
2010	B	`conf`	Concurrency Can't Be Observed, Asynchronously. APLAS Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2010	B	`conf`	Counterpart Semantics for a Second-Order ICGT Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2010	—	`conf`	Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
2010	J	`jnl`	From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
2010	—	`conf`	On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2010	B	`conf`	Saturated LTSs for Adhesive Rewriting Systems. ICGT Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
2009	—	`conf`	A Graph Syntax for Processes and Services. WS-FM Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2009	J	`jnl`	A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2009	—	`conf`	A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. TERMGRAPH@ETAPS Fabio Gadducci
2009	B	`ed.`	Architecting Dependable Systems VI WADS Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
2009	B	`conf`	Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR Paolo Baldan, Filippo Bonchi, Fabio Gadducci
2009	—	`conf`	On Barbs and Labels in Reactive Systems SOS Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2009	—	`ed.`	Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008 VODCA@FOSAD Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
2009	B	`conf`	Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2009	J	`jnl`	Synthesising CCS bisimulation using graph rewriting. Inf. Comput. Filippo Bonchi, Fabio Gadducci, Barbara König
2008	—	`conf`	A Category of Explicit Fusions. Concurrency, Graphs and Models Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
2008	B	`conf`	A Decentralized Implementation of Mobile Ambients. ICGT Fabio Gadducci, Giacoma Valentina Monreale
2008	B	`conf`	A Soft Approach to Multi-objective Optimization. ICLP Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon
2008	—	`conf`	A Term-Graph Syntax for Algebras over Multisets. WADT Fabio Gadducci
2008	B	`conf`	Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2008	—	`conf`	Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). EXPRESS Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2008	J	`jnl`	On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2008	B	`conf`	Parallel and Sequential Independence for Borrowed Contexts. ICGT Filippo Bonchi, Fabio Gadducci, Tobias Heindel
2008	—	`conf`	Petri Nets Are Dioids. AMAST Paolo Baldan, Fabio Gadducci
2008	—	`conf`	Preface. VODCA@FOSAD Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
2008	—	`conf`	Ugo Montanari and Friends. Concurrency, Graphs and Models Fabio Gadducci
2007	—	`conf`	A Behavioural Congruence for Web Services. FSEN Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2007	J	`jnl`	Graph rewriting for the pi-calculus. Math. Struct. Comput. Sci. Fabio Gadducci
2007	B	`conf`	Graphical Encoding of a Spatial Logic for the CALCO Fabio Gadducci, Alberto Lluch-Lafuente
2007	—	`ed.`	Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006 VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2006	—	`conf`	A Calculus for Team Automata. SBMF Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens
2006	J	`jnl`	About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. Fabio Gadducci, Marino Miculan, Ugo Montanari
2006	B	`conf`	Concurrent Rewriting for Graphs with Equivalences. CONCUR Paolo Baldan, Fabio Gadducci, Ugo Montanari
2006	A	`conf`	Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI Stefano Bistarelli, Fabio Gadducci
2006	B	`conf`	Graph Transactions as Processes. ICGT Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
2006	—	`conf`	Modelling Calculi with Name Mobility using Graphs with Equivalences. TERMGRAPH@ETAPS Paolo Baldan, Fabio Gadducci, Ugo Montanari
2006	—	`conf`	Preface. VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2006	—	`ed.`	Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004 VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2006	B	`conf`	Process Bisimulation ICGT Filippo Bonchi, Fabio Gadducci, Barbara König
2006	J	`jnl`	Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. Michele Boreale, Fabio Gadducci
2006	—	`conf`	Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
2005	B	`conf`	Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
2005	—	`conf`	Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling Fabio Gadducci, Ugo Montanari
2005	—	`conf`	Graphical Verification of a Spatial Logic for the GT-VC@CONCUR Fabio Gadducci, Alberto Lluch-Lafuente
2005	—	`conf`	Observing Reductions in Nominal Calculi Processes, Terms and Cycles Fabio Gadducci, Ugo Montanari
2004	—	`ed.`	Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002 WRLA Fabio Gadducci, Ugo Montanari
2004	—	`conf`	On Term Graphs as an Adhesive Category. TERMGRAPH Andrea Corradini, Fabio Gadducci
2004	—	`conf`	Preface. VODCA@FOSAD Maurice H. ter Beek, Fabio Gadducci
2004	—	`conf`	Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing Paolo Baldan, Andrea Corradini, Fabio Gadducci
2003	—	`conf`	Causality and Replication in Concurrent Processes. Ershov Memorial Conference Pierpaolo Degano, Fabio Gadducci, Corrado Priami
2003	B	`conf`	Denotational Testing Semantics in Coinductive Form. MFCS Michele Boreale, Fabio Gadducci
2003	—	`conf`	Some Characterization Results for Permutation Algebras. COMETA Fabio Gadducci, Marino Miculan, Ugo Montanari
2003	B	`conf`	Term Graph Rewriting for the pi-Calculus. APLAS Fabio Gadducci
2002	J	`jnl`	A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. Pierpaolo Degano, Fabio Gadducci, Corrado Priami
2002	J	`jnl`	A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. Andrea Corradini, Fabio Gadducci
2002	—	`conf`	AGILE: Software Architecture for Mobility. WADT Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002	J	`jnl`	Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci. Fabio Gadducci, Ugo Montanari
2002	—	`conf`	GS.Lambda Theories: A Syntax for Higher-Order Graphs. CTCS Matteo Coccia, Fabio Gadducci, Ugo Montanari
2002	—	`conf`	Inequational Deduction as Term Graph Rewriting. TERMGRAPH Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König
2002	J	`jnl`	Normal forms for algebras of connection. Theor. Comput. Sci. Roberto Bruni, Fabio Gadducci, Ugo Montanari
2002	—	`conf`	Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. WRLA Fabio Gadducci, Ugo Montanari
2001	B	`conf`	A Concurrent Graph Semantics for Mobile Ambients. MFPS Fabio Gadducci, Ugo Montanari
2001	—	`conf`	Categorical rewriting of term-like structures. GETGRATS Closing Workshop Andrea Corradini, Fabio Gadducci
2001	—	`conf`	Comparing cospan-spans and tiles via a Hoare-style process calculus. TOSCA Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
2001	—	`conf`	Some algebraic laws for spans. RelMiS Roberto Bruni, Fabio Gadducci
2000	—	`conf`	The tile model. Proof, Language, and Interaction Fabio Gadducci, Ugo Montanari
1999	—	`conf`	A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. CTCS Fabio Gadducci, Reiko Heckel, Mercè Llabrés
1999	J	`jnl`	An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Appl. Categorical Struct. Andrea Corradini, Fabio Gadducci
1999	J	`jnl`	Rewriting on cyclic structures: Equivalence between the operational and the categorical description. RAIRO Theor. Informatics Appl. Andrea Corradini, Fabio Gadducci
1998	—	`conf`	A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT Fabio Gadducci, Reiko Heckel, Manuel Koch
1998	A*	`conf`	Axioms for Contextual Net Processes. ICALP Fabio Gadducci, Ugo Montanari
1998	—	`conf`	CCS semantics via proved transition systems and rewriting logic. WRLA Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
1998	—	`conf`	Functorial Semantics for Multi-algebras. WADT Andrea Corradini, Fabio Gadducci
1998	—	`conf`	Normal Forms for Partitions and Relations. WADT Roberto Bruni, Fabio Gadducci, Ugo Montanari
1998	B	`conf`	Rational Term Rewriting. FoSSaCS Andrea Corradini, Fabio Gadducci
1997	—	`conf`	A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science Andrea Corradini, Fabio Gadducci
1997	—	`conf`	An inductive view of graph transformation. WADT Fabio Gadducci, Reiko Heckel
1996	—	`conf`	Tiles, rewriting rules and CCS. WRLA Fabio Gadducci, Ugo Montanari
1995	—	`conf`	CPO Models for Infinite Term Rewriting. AMAST Andrea Corradini, Fabio Gadducci
1995	A*	`conf`	Modal mu-Types for Processes LICS Marino Miculan, Fabio Gadducci
1995	—	`conf`	Relating Two Categorial Models of Term Rewriting. RTA Andrea Corradini, Fabio Gadducci, Ugo Montanari