% csauthors.net - beta - BibTeX bibliography of Fabio Gadducci
@inproceedings{conf/amast/CorradiniG95,
title = {CPO Models for Infinite Term Rewriting.},
year = {1995},
booktitle = {AMAST},
author = {{Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings}
}
@inproceedings{conf/lics/MiculanG95,
title = {Modal mu-Types for Processes},
year = {1995},
booktitle = {LICS},
author = {{Marino Miculan} and {Fabio Gadducci}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995}
}
@inproceedings{conf/rta/CorradiniGM95,
title = {Relating Two Categorial Models of Term Rewriting.},
year = {1995},
booktitle = {RTA},
author = {{Andrea Corradini 001} and {Fabio Gadducci} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings}
}
@inproceedings{journals/entcs/GadducciM96,
title = {Tiles, rewriting rules and CCS.},
year = {1996},
booktitle = {WRLA},
author = {{Fabio Gadducci} and {Ugo Montanari}},
publisher = {Elsevier},
booktitle = {First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996}
}
@inproceedings{conf/ctcs/CorradiniG97,
title = {A 2-Categorical Presentation of Term Graph Rewriting.},
year = {1997},
booktitle = {Category Theory and Computer Science},
author = {{Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings}
}
@inproceedings{conf/wadt/GadducciH97,
title = {An inductive view of graph transformation.},
year = {1997},
booktitle = {WADT},
author = {{Fabio Gadducci} and {Reiko Heckel}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers}
}
@inproceedings{conf/fossacs/CorradiniG98,
title = {Rational Term Rewriting.},
year = {1998},
booktitle = {FoSSaCS},
author = {{Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}
}
@inproceedings{conf/icalp/GadducciM98,
title = {Axioms for Contextual Net Processes.},
year = {1998},
booktitle = {ICALP},
author = {{Fabio Gadducci} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings}
}
@inproceedings{conf/tagt/GadducciHK98,
title = {A Fully Abstract Model for Graph-Interpreted Temporal Logic.},
year = {1998},
booktitle = {TAGT},
author = {{Fabio Gadducci} and {Reiko Heckel} and {Manuel Koch}},
publisher = {Springer},
booktitle = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers}
}
@inproceedings{conf/wadt/BruniGM98,
title = {Normal Forms for Partitions and Relations.},
year = {1998},
booktitle = {WADT},
author = {{Roberto Bruni} and {Fabio Gadducci} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers}
}
@inproceedings{conf/wadt/CorradiniG98,
title = {Functorial Semantics for Multi-algebras.},
year = {1998},
booktitle = {WADT},
author = {{Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers}
}
@inproceedings{journals/entcs/CarabettaDG98,
title = {CCS semantics via proved transition systems and rewriting logic.},
year = {1998},
booktitle = {WRLA},
author = {{Georgia Carabetta} and {Pierpaolo Degano} and {Fabio Gadducci}},
publisher = {Elsevier},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998}
}
@article{journals/acs/CorradiniG99,
title = {An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories.},
year = {1999},
journal = {Appl. Categorical Struct.},
author = {{Andrea Corradini 001} and {Fabio Gadducci}}
}
@article{journals/ita/CorradiniG99,
title = {Rewriting on cyclic structures: Equivalence between the operational and the categorical description.},
year = {1999},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Andrea Corradini 001} and {Fabio Gadducci}}
}
@inproceedings{journals/tcs/GadducciHL99,
title = {A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.},
year = {1999},
booktitle = {CTCS},
author = {{Fabio Gadducci} and {Reiko Heckel} and {Mercè Llabrés}},
publisher = {Elsevier},
booktitle = {Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999}
}
@inproceedings{conf/birthday/GadducciM00,
title = {The tile model.},
year = {2000},
booktitle = {Proof, Language, and Interaction},
author = {{Fabio Gadducci} and {Ugo Montanari}},
publisher = {The MIT Press},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner}
}
@inproceedings{journals/entcs/BruniG01,
title = {Some algebraic laws for spans.},
year = {2001},
booktitle = {RelMiS},
author = {{Roberto Bruni} and {Fabio Gadducci}},
publisher = {Elsevier},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001}
}
@inproceedings{journals/entcs/CorradiniG01,
title = {Categorical rewriting of term-like structures.},
year = {2001},
booktitle = {GETGRATS Closing Workshop},
author = {{Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Elsevier},
booktitle = {GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001}
}
@inproceedings{journals/entcs/GadducciKMSW01,
title = {Comparing cospan-spans and tiles via a Hoare-style process calculus.},
year = {2001},
booktitle = {TOSCA},
author = {{Fabio Gadducci} and {Piergiulio Katis} and {Ugo Montanari} and {Nicoletta Sabadini} and {Robert F. C. Walters}},
publisher = {Elsevier},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001}
}
@inproceedings{journals/entcs/GadducciM01,
title = {A Concurrent Graph Semantics for Mobile Ambients.},
year = {2001},
booktitle = {MFPS},
author = {{Fabio Gadducci} and {Ugo Montanari}},
publisher = {Elsevier},
booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001}
}
@inproceedings{conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
title = {AGILE: Software Architecture for Mobility.},
year = {2002},
booktitle = {WADT},
author = {{Luís Andrade 001} and {Paolo Baldan} and {Hubert Baumeister} and {Roberto Bruni} and {Andrea Corradini 001} and {Rocco De Nicola} and {José Luiz Fiadeiro} and {Fabio Gadducci} and {Stefania Gnesi} and {Piotr Hoffman} and {Nora Koch} and {Piotr Kosiuczenko} and {Alessandro Lapadula} and {Diego Latella} and {Antónia Lopes} and {Michele Loreti} and {Mieke Massink} and {Franco Mazzanti} and {Ugo Montanari} and {Cristóvão Oliveira} and {Rosario Pugliese} and {Andrzej Tarlecki} and {Michel Wermelinger} and {Martin Wirsing} and {Artur Zawlocki}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers}
}
@inproceedings{journals/entcs/CocciaGM02,
title = {GS.Lambda Theories: A Syntax for Higher-Order Graphs.},
year = {2002},
booktitle = {CTCS},
author = {{Matteo Coccia} and {Fabio Gadducci} and {Ugo Montanari}},
publisher = {Elsevier},
booktitle = {Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002}
}
@inproceedings{journals/entcs/CorradiniGKK07,
title = {Inequational Deduction as Term Graph Rewriting.},
year = {2002},
booktitle = {TERMGRAPH},
author = {{Andrea Corradini 001} and {Fabio Gadducci} and {Wolfram Kahl} and {Barbara König 001}},
publisher = {Elsevier},
booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002}
}
@inproceedings{journals/entcs/GadducciM02,
title = {Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002.},
year = {2002},
booktitle = {WRLA},
author = {{Fabio Gadducci} and {Ugo Montanari}},
publisher = {Elsevier},
booktitle = {Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002}
}
@article{journals/tcs/BruniGM02,
title = {Normal forms for algebras of connection.},
year = {2002},
journal = {Theor. Comput. Sci.},
author = {{Roberto Bruni} and {Fabio Gadducci} and {Ugo Montanari}}
}
@article{journals/tcs/CorradiniG02,
title = {A functorial semantics for multi-algebras and partial algebras, with applications to syntax.},
year = {2002},
journal = {Theor. Comput. Sci.},
author = {{Andrea Corradini 001} and {Fabio Gadducci}}
}
@article{journals/tcs/DeganoGP02,
title = {A causal semantics for CCS via rewriting logic.},
year = {2002},
journal = {Theor. Comput. Sci.},
author = {{Pierpaolo Degano} and {Fabio Gadducci} and {Corrado Priami}}
}
@article{journals/tcs/GadducciM02,
title = {Comparing logics for rewriting: rewriting logic, action calculi and tile logic.},
year = {2002},
journal = {Theor. Comput. Sci.},
author = {{Fabio Gadducci} and {Ugo Montanari}}
}
@inproceedings{conf/aplas/Gadducci03,
title = {Term Graph Rewriting for the pi-Calculus.},
year = {2003},
booktitle = {APLAS},
author = {{Fabio Gadducci}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings}
}
@inproceedings{conf/ershov/DeganoGP03,
title = {Causality and Replication in Concurrent Processes.},
year = {2003},
booktitle = {Ershov Memorial Conference},
author = {{Pierpaolo Degano} and {Fabio Gadducci} and {Corrado Priami}},
publisher = {Springer},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers}
}
@inproceedings{conf/mfcs/BorealeG03,
title = {Denotational Testing Semantics in Coinductive Form.},
year = {2003},
booktitle = {MFCS},
author = {{Michele Boreale} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings}
}
@inproceedings{journals/entcs/GadducciMM04,
title = {Some Characterization Results for Permutation Algebras.},
year = {2003},
booktitle = {COMETA},
author = {{Fabio Gadducci} and {Marino Miculan} and {Ugo Montanari}},
publisher = {Elsevier},
booktitle = {Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003}
}
@inproceedings{conf/gc/BaldanCG04,
title = {Specifying and Verifying UML Activity Diagrams Via Graph Transformation.},
year = {2004},
booktitle = {Global Computing},
author = {{Paolo Baldan} and {Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers}
}
@inproceedings{journals/entcs/CorradiniG05,
title = {On Term Graphs as an Adhesive Category.},
year = {2004},
booktitle = {TERMGRAPH},
author = {{Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Elsevier},
booktitle = {Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004}
}
@inproceedings{conf/birthday/GadducciF05,
title = {Graph Processes with Fusions: Concurrency by Colimits, Again.},
year = {2005},
booktitle = {Formal Methods in Software and Systems Modeling},
author = {{Fabio Gadducci} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday}
}
@inproceedings{conf/birthday/GadducciM05,
title = {Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.},
year = {2005},
booktitle = {Processes, Terms and Cycles},
author = {{Fabio Gadducci} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday}
}
@inproceedings{conf/concur/BruniGMS05,
title = {Deriving Weak Bisimulation Congruences from Reduction Systems.},
year = {2005},
booktitle = {CONCUR},
author = {{Roberto Bruni} and {Fabio Gadducci} and {Ugo Montanari} and {Pawel Sobocinski 001}},
publisher = {Springer},
booktitle = {CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}
}
@inproceedings{journals/entcs/GadducciL06,
title = {Graphical Verification of a Spatial Logic for the pi-calculus.},
year = {2005},
booktitle = {GT-VC@CONCUR},
author = {{Fabio Gadducci} and {Alberto Lluch-Lafuente}},
publisher = {Elsevier},
booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005}
}
@inproceedings{conf/concur/BaldanGM06,
title = {Concurrent Rewriting for Graphs with Equivalences.},
year = {2006},
booktitle = {CONCUR},
author = {{Paolo Baldan} and {Fabio Gadducci} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings}
}
@inproceedings{conf/ecai/BistarelliG06,
title = {Enhancing Constraints Manipulation in Semiring-Based Formalisms.},
year = {2006},
booktitle = {ECAI},
author = {{Stefano Bistarelli} and {Fabio Gadducci}},
publisher = {IOS Press},
booktitle = {ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings}
}
@inproceedings{conf/gg/BaldanCFG06,
title = {Graph Transactions as Processes.},
year = {2006},
booktitle = {ICGT},
author = {{Paolo Baldan} and {Andrea Corradini 001} and {Luciana Foss} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings}
}
@inproceedings{conf/gg/BonchiGK06,
title = {Process Bisimulation Via a Graphical Encoding.},
year = {2006},
booktitle = {ICGT},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Barbara König 001}},
publisher = {Springer},
booktitle = {Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings}
}
@inproceedings{journals/entcs/BaldanCDFGR08,
title = {Towards a Notion of Transaction in Graph Rewriting.},
year = {2006},
booktitle = {GT-VMT@ETAPS},
author = {{Paolo Baldan} and {Andrea Corradini 001} and {Fernando Luís Dotti} and {Luciana Foss} and {Fabio Gadducci} and {Leila Ribeiro 001}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006}
}
@inproceedings{journals/entcs/BaldanGM07,
title = {Modelling Calculi with Name Mobility using Graphs with Equivalences.},
year = {2006},
booktitle = {TERMGRAPH@ETAPS},
author = {{Paolo Baldan} and {Fabio Gadducci} and {Ugo Montanari}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006}
}
@inproceedings{journals/entcs/BeekG07,
title = {Preface.},
year = {2006},
booktitle = {VODCA@FOSAD},
author = {{Maurice H. ter Beek} and {Fabio Gadducci}},
publisher = {Elsevier},
booktitle = {Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006}
}
@inproceedings{journals/entcs/BeekGJ08,
title = {A Calculus for Team Automata.},
year = {2006},
booktitle = {SBMF},
author = {{Maurice H. ter Beek} and {Fabio Gadducci} and {Dirk Janssens}},
publisher = {Elsevier},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006}
}
@article{journals/lisp/GadducciMM06,
title = {About permutation algebras, (pre)sheaves and named sets.},
year = {2006},
journal = {High. Order Symb. Comput.},
author = {{Fabio Gadducci} and {Marino Miculan} and {Ugo Montanari}}
}
@article{journals/tcs/BorealeG06,
title = {Processes as formal power series: A coinductive approach to denotational semantics.},
year = {2006},
journal = {Theor. Comput. Sci.},
author = {{Michele Boreale} and {Fabio Gadducci}}
}
@inproceedings{conf/calco/GadducciL07,
title = {Graphical Encoding of a Spatial Logic for the pi -Calculus.},
year = {2007},
booktitle = {CALCO},
author = {{Fabio Gadducci} and {Alberto Lluch-Lafuente}},
publisher = {Springer},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings}
}
@inproceedings{conf/fsen/BonchiBCG07,
title = {A Behavioural Congruence for Web Services.},
year = {2007},
booktitle = {FSEN},
author = {{Filippo Bonchi} and {Antonio Brogi} and {Sara Corfini} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings}
}
@article{journals/mscs/Gadducci07,
title = {Graph rewriting for the pi-calculus.},
year = {2007},
journal = {Math. Struct. Comput. Sci.},
author = {{Fabio Gadducci}}
}
@inproceedings{conf/amast/BaldanG08,
title = {Petri Nets Are Dioids.},
year = {2008},
booktitle = {AMAST},
author = {{Paolo Baldan} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings}
}
@inproceedings{conf/apn/BonchiBCG08,
title = {Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.},
year = {2008},
booktitle = {Petri Nets},
author = {{Filippo Bonchi} and {Antonio Brogi} and {Sara Corfini} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings}
}
@inproceedings{conf/birthday/BonchiBCG08,
title = {A Category of Explicit Fusions.},
year = {2008},
booktitle = {Concurrency, Graphs and Models},
author = {{Filippo Bonchi} and {Maria Grazia Buscemi} and {Vincenzo Ciancia} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}
}
@inproceedings{conf/birthday/Gadducci08,
title = {Ugo Montanari and Friends.},
year = {2008},
booktitle = {Concurrency, Graphs and Models},
author = {{Fabio Gadducci}},
publisher = {Springer},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}
}
@inproceedings{conf/gg/BonchiGH08,
title = {Parallel and Sequential Independence for Borrowed Contexts.},
year = {2008},
booktitle = {ICGT},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Tobias Heindel}},
publisher = {Springer},
booktitle = {Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}
}
@inproceedings{conf/gg/GadducciM08,
title = {A Decentralized Implementation of Mobile Ambients.},
year = {2008},
booktitle = {ICGT},
author = {{Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Springer},
booktitle = {Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}
}
@inproceedings{conf/iclp/BistarelliGLR08,
title = {A Soft Approach to Multi-objective Optimization.},
year = {2008},
booktitle = {ICLP},
author = {{Stefano Bistarelli} and {Fabio Gadducci} and {Javier Larrosa} and {Emma Rollon}},
publisher = {Springer},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings}
}
@inproceedings{conf/wadt/Gadducci08,
title = {A Term-Graph Syntax for Algebras over Multisets.},
year = {2008},
booktitle = {WADT},
author = {{Fabio Gadducci}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers}
}
@inproceedings{journals/entcs/AldiniBG09,
title = {Preface.},
year = {2008},
booktitle = {VODCA@FOSAD},
author = {{Alessandro Aldini} and {Maurice H. ter Beek} and {Fabio Gadducci}},
publisher = {Elsevier},
booktitle = {Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008}
}
@inproceedings{journals/entcs/BonchiGM09,
title = {Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).},
year = {2008},
booktitle = {EXPRESS},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Elsevier},
booktitle = {Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008}
}
@article{journals/fuin/BonchiBCG08,
title = {On the Use of Behavioural Equivalences for Web Services' Development.},
year = {2008},
journal = {Fundam. Informaticae},
author = {{Filippo Bonchi} and {Antonio Brogi} and {Sara Corfini} and {Fabio Gadducci}}
}
@inproceedings{conf/concur/BaldanBG09,
title = {Encoding Asynchronous Interactions Using Open Petri Nets.},
year = {2009},
booktitle = {CONCUR},
author = {{Paolo Baldan} and {Filippo Bonchi} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings}
}
@inproceedings{conf/fossacs/BonchiGM09,
title = {Reactive Systems, Barbed Semantics, and the Mobile Ambients.},
year = {2009},
booktitle = {FoSSaCS},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings}
}
@inproceedings{conf/wsfm/BruniGL09,
title = {A Graph Syntax for Processes and Services.},
year = {2009},
booktitle = {WS-FM},
author = {{Roberto Bruni} and {Fabio Gadducci} and {Alberto Lluch-Lafuente}},
publisher = {Springer},
booktitle = {Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers}
}
@inproceedings{journals/corr/abs-1002-2869,
title = {On Barbs and Labels in Reactive Systems},
year = {2009},
booktitle = {SOS},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009.}
}
@inproceedings{journals/entcs/Gadducci09,
title = {A Note on an Old-Fashioned Algebra for (Disconnected) Graphs.},
year = {2009},
booktitle = {TERMGRAPH@ETAPS},
author = {{Fabio Gadducci}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009}
}
@article{journals/fuin/BonchiBCG09,
title = {A Net-based Approach to Web Services Publication and Replaceability.},
year = {2009},
journal = {Fundam. Informaticae},
author = {{Filippo Bonchi} and {Antonio Brogi} and {Sara Corfini} and {Fabio Gadducci}}
}
@article{journals/iandc/BonchiGK09,
title = {Synthesising CCS bisimulation using graph rewriting.},
year = {2009},
journal = {Inf. Comput.},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Barbara König 001}}
}
@inproceedings{conf/aplas/BaldanBGM10,
title = {Concurrency Can't Be Observed, Asynchronously.},
year = {2010},
booktitle = {APLAS},
author = {{Paolo Baldan} and {Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings}
}
@inproceedings{conf/birthday/BruniCGLM10,
title = {On GS-Monoidal Theories for Graphs with Nesting.},
year = {2010},
booktitle = {Graph Transformations and Model-Driven Engineering},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}
}
@inproceedings{conf/gg/BonchiGMM10,
title = {Saturated LTSs for Adhesive Rewriting Systems.},
year = {2010},
booktitle = {ICGT},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings}
}
@inproceedings{conf/gg/GadducciLV10,
title = {Counterpart Semantics for a Second-Order µ-Calculus.},
year = {2010},
booktitle = {ICGT},
author = {{Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}},
publisher = {Springer},
booktitle = {Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings}
}
@inproceedings{conf/micai/BistarelliGLRS10,
title = {Extending Soft Arc Consistency Algorithms to Non-invertible Semirings.},
year = {2010},
booktitle = {MICAI (1)},
author = {{Stefano Bistarelli} and {Fabio Gadducci} and {Javier Larrosa} and {Emma Rollon} and {Francesco Santini 001}},
publisher = {Springer},
booktitle = {Advances in Artificial Intelligence - 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I}
}
@inproceedings{conf/tgc/BruniGL10,
title = {An Algebra of Hierarchical Graphs.},
year = {2010},
booktitle = {TGC},
author = {{Roberto Bruni} and {Fabio Gadducci} and {Alberto Lluch-Lafuente}},
publisher = {Springer},
booktitle = {Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}
}
@inproceedings{conf/wadt/CorradiniGR10,
title = {An Institution for Graph Transformation.},
year = {2010},
booktitle = {WADT},
author = {{Andrea Corradini 001} and {Fabio Gadducci} and {Leila Ribeiro 001}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers}
}
@article{journals/cuza/BruniGL10,
title = {An Algebra of Hierarchical Graphs and its Application to Structural Encoding.},
year = {2010},
journal = {Sci. Ann. Comput. Sci.},
author = {{Roberto Bruni} and {Fabio Gadducci} and {Alberto Lluch-Lafuente}}
}
@article{journals/eceasst/BaldanCGM10,
title = {From Petri Nets to Graph Transformation Systems.},
year = {2010},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
author = {{Paolo Baldan} and {Andrea Corradini 001} and {Fabio Gadducci} and {Ugo Montanari}}
}
@incollection{books/sp/sensoria2011/BruniCGLM11,
title = {Hierarchical Models for Service-Oriented Systems.},
year = {2011},
booktitle = {Results of the SENSORIA Project},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing}
}
@inproceedings{conf/aplas/BonchiGM11,
title = {Towards a General Theory of Barbs, Contexts and Labels.},
year = {2011},
booktitle = {APLAS},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}
}
@inproceedings{conf/mfcs/BaldanGS11,
title = {Adhesivity Is Not Enough: Local Church-Rosser Revisited.},
year = {2011},
booktitle = {MFCS},
author = {{Paolo Baldan} and {Fabio Gadducci} and {Pawel Sobocinski 001}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings}
}
@article{journals/eceasst/GadducciM11,
title = {Preface.},
year = {2011},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
author = {{Fabio Gadducci} and {Leonardo Mariani}}
}
@article{journals/jlp/GadducciM11,
title = {A decentralised graphical implementation of mobile ambients.},
year = {2011},
journal = {J. Log. Algebraic Methods Program.},
author = {{Fabio Gadducci} and {Giacoma Valentina Monreale}}
}
@inproceedings{conf/fase/BruniCGLV12,
title = {A Conceptual Framework for Adaptation.},
year = {2012},
booktitle = {FASE},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}
}
@inproceedings{conf/gg/GadducciLV12,
title = {Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.},
year = {2012},
booktitle = {ICGT},
author = {{Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}},
publisher = {Springer},
booktitle = {Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings}
}
@inproceedings{conf/ifipTCS/GadducciMM12,
title = {A Modular LTS for Open Reactive Systems.},
year = {2012},
booktitle = {IFIP TCS},
author = {{Fabio Gadducci} and {Giacoma Valentina Monreale} and {Ugo Montanari}},
publisher = {Springer},
booktitle = {Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}
}
@inproceedings{conf/wadt/BruniCGLV12,
title = {Adaptable Transition Systems.},
year = {2012},
booktitle = {WADT},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers}
}
@inproceedings{conf/wadt/GadducciM12,
title = {Barbed Semantics for Open Reactive Systems.},
year = {2012},
booktitle = {WADT},
author = {{Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers}
}
@article{journals/eswa/BistarelliGLRS12,
title = {Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.},
year = {2012},
journal = {Expert Syst. Appl.},
author = {{Stefano Bistarelli} and {Fabio Gadducci} and {Javier Larrosa} and {Emma Rollon} and {Francesco Santini 001}}
}
@article{journals/fuin/GadducciLV12,
title = {Counterpart Semantics for a Second-Order μ-Calculus.},
year = {2012},
journal = {Fundam. Informaticae},
author = {{Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}}
}
@article{journals/jar/BonchiBCG12,
title = {A Presheaf Environment for the Explicit Fusion Calculus.},
year = {2012},
journal = {J. Autom. Reason.},
author = {{Filippo Bonchi} and {Maria Grazia Buscemi} and {Vincenzo Ciancia} and {Fabio Gadducci}}
}
@inproceedings{conf/ifip9/CignoniG13,
title = {Using Old Computers for Teaching Computer Science.},
year = {2013},
booktitle = {HC},
author = {{Giovanni A. Cignoni} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Making the History of Computing Relevant - IFIP WG 9.7 International Conference, HC 2013, London, UK, June 17-18, 2013, Revised Selected Papers}
}
@inproceedings{conf/isarcs/BeekGS13,
title = {Validating reconfigurations of reo circuits in an e-Banking scenario.},
year = {2013},
booktitle = {ISARCS},
author = {{Maurice H. ter Beek} and {Fabio Gadducci} and {Francesco Santini 001}},
publisher = {ACM},
booktitle = {Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013}
}
@inproceedings{conf/micai/GadducciHMW13,
title = {Soft Constraints for Lexicographic Orders.},
year = {2013},
booktitle = {MICAI (1)},
author = {{Fabio Gadducci} and {Matthias M. Hölzl} and {Giacoma Valentina Monreale} and {Martin Wirsing}},
publisher = {Springer},
booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I}
}
@article{journals/tinytocs/BruniCGLV13,
title = {Adaptation is a Game.},
year = {2013},
journal = {Tiny Trans. Comput. Sci.},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}}
}
@inproceedings{conf/coordination/BaldanBGM14,
title = {Encoding Synchronous Interactions Using Labelled Petri Nets.},
year = {2014},
booktitle = {COORDINATION},
author = {{Paolo Baldan} and {Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Springer},
booktitle = {Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings}
}
@article{journals/jocch/CignoniGP14,
title = {A Virtual Experience on the Very First Italian Computer.},
year = {2014},
journal = {ACM Journal on Computing and Cultural Heritage},
author = {{Giovanni A. Cignoni} and {Fabio Gadducci} and {Stefano Paci}}
}
@article{journals/mscs/BonchiGM14,
title = {RPO semantics for mobile ambients.},
year = {2014},
journal = {Math. Struct. Comput. Sci.},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}}
}
@article{journals/tocl/BonchiGM14,
title = {A General Theory of Barbs, Contexts, and Labels.},
year = {2014},
journal = {ACM Trans. Comput. Log.},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}}
}
@inproceedings{conf/apn/BruniCGLV15,
title = {Awareness and Control in Adaptable Transition Systems.},
year = {2015},
booktitle = {PNSE @ Petri Nets},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015.}
}
@inproceedings{conf/birthday/BaldanBGV15,
title = {Asynchronous Traces and Open Petri Nets.},
year = {2015},
booktitle = {Programming Languages with Applications to Biology and Security},
author = {{Paolo Baldan} and {Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}},
publisher = {Springer},
booktitle = {Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday}
}
@inproceedings{conf/birthday/BruniCGLV15,
title = {A White Box Perspective on Behavioural Adaptation.},
year = {2015},
booktitle = {Software, Services, and Systems},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}},
publisher = {Springer},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}
}
@inproceedings{conf/coordination/GadducciSPV15,
title = {A Labelled Semantics for Soft Concurrent Constraint Programming.},
year = {2015},
booktitle = {COORDINATION},
author = {{Fabio Gadducci} and {Francesco Santini 001} and {Luis Fernando Pino} and {Frank D. Valencia}},
publisher = {Springer},
booktitle = {Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}
}
@article{journals/dagstuhl-reports/AbdullaG0V15,
title = {Verification of Evolving Graph Structures (Dagstuhl Seminar 15451).},
year = {2015},
journal = {Dagstuhl Reports},
author = {{Parosh Aziz Abdulla} and {Fabio Gadducci} and {Barbara König 001} and {Viktor Vafeiadis}}
}
@article{journals/mscs/BaldanBGM15,
title = {Concurrency cannot be observed, asynchronously.},
year = {2015},
journal = {Math. Struct. Comput. Sci.},
author = {{Paolo Baldan} and {Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}}
}
@article{journals/scp/BaldanBGM15,
title = {Modular encoding of synchronous and asynchronous interactions using open Petri nets.},
year = {2015},
journal = {Sci. Comput. Program.},
author = {{Paolo Baldan} and {Filippo Bonchi} and {Fabio Gadducci} and {Giacoma Valentina Monreale}}
}
@article{journals/scp/BruniCGLV15,
title = {Modelling and analyzing adaptive self-assembly strategies with Maude.},
year = {2015},
journal = {Sci. Comput. Program.},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Alberto Lluch-Lafuente} and {Andrea Vandin}}
}
@incollection{series/lncs/BruniCGHLVW15,
title = {Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.},
year = {2015},
booktitle = {The ASCENS Approach},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Matthias M. Hölzl} and {Alberto Lluch-Lafuente} and {Andrea Vandin} and {Martin Wirsing}},
publisher = {Springer},
booktitle = {Software Engineering for Collective Autonomic Systems - The ASCENS Approach}
}
@inproceedings{conf/lics/BonchiGKSZ16,
title = {Rewriting modulo symmetric monoidal structure.},
year = {2016},
booktitle = {LICS},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Aleks Kissinger} and {Pawel Sobocinski 001} and {Fabio Zanasi}},
publisher = {ACM},
booktitle = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016}
}
@inproceedings{conf/coordination/GadducciMR17,
title = {A Denotational View of Replicated Data Types.},
year = {2017},
booktitle = {COORDINATION},
author = {{Fabio Gadducci} and {Hernán C. Melgratti} and {Christian Roldán}},
publisher = {Springer},
booktitle = {Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings}
}
@inproceedings{conf/esop/BonchiGKSZ17,
title = {Confluence of Graph Rewriting with Interfaces.},
year = {2017},
booktitle = {ESOP},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Aleks Kissinger} and {Pawel Sobocinski 001} and {Fabio Zanasi}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}
}
@inproceedings{conf/lics/BaldanCG17,
title = {Domains and event structures for fusions.},
year = {2017},
booktitle = {LICS},
author = {{Paolo Baldan} and {Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {IEEE Computer Society},
booktitle = {32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017}
}
@article{journals/ipl/GadducciS17,
title = {Residuation for bipolar preferences in soft constraints.},
year = {2017},
journal = {Inf. Process. Lett.},
author = {{Fabio Gadducci} and {Francesco Santini 001}}
}
@article{journals/jlp/GadducciSPV17,
title = {Observational and behavioural equivalences for soft concurrent constraint programming.},
year = {2017},
journal = {J. Log. Algebraic Methods Program.},
author = {{Fabio Gadducci} and {Francesco Santini 001} and {Luis Fernando Pino} and {Frank D. Valencia}}
}
@inproceedings{conf/birthday/DokterG018,
title = {Soft Constraint Automata with Memory.},
year = {2018},
booktitle = {It's All About Coordination},
author = {{Kasper Dokter} and {Fabio Gadducci} and {Francesco Santini 001}},
publisher = {Springer},
booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab}
}
@inproceedings{conf/lics/BonchiGKSZ18,
title = {Rewriting with Frobenius.},
year = {2018},
booktitle = {LICS},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Aleks Kissinger} and {Pawel Sobocinski 001} and {Fabio Zanasi}},
publisher = {ACM},
booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018}
}
@article{journals/lmcs/BaldanBCGMM18,
title = {Event Structures for Petri nets with Persistence.},
year = {2018},
journal = {Log. Methods Comput. Sci.},
author = {{Paolo Baldan} and {Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Hernán C. Melgratti} and {Ugo Montanari}}
}
@article{journals/scp/GadducciMR18,
title = {On the semantics and implementation of replicated data types.},
year = {2018},
journal = {Sci. Comput. Program.},
author = {{Fabio Gadducci} and {Hernán C. Melgratti} and {Christian Roldán}}
}
@inproceedings{conf/birthday/BonchiBGS19,
title = {Polyadic Soft Constraints.},
year = {2019},
booktitle = {The Art of Modelling Computational Systems},
author = {{Filippo Bonchi} and {Laura Bussi} and {Fabio Gadducci} and {Francesco Santini 001}},
publisher = {Springer},
booktitle = {The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday}
}
@inproceedings{conf/birthday/BruniCGMMT19,
title = {Data-Driven Choreographies à la Klaim.},
year = {2019},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming},
author = {{Roberto Bruni} and {Andrea Corradini 001} and {Fabio Gadducci} and {Hernán C. Melgratti} and {Ugo Montanari} and {Emilio Tuosto}},
publisher = {Springer},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday}
}
@inproceedings{conf/fsttcs/GadducciMRS19,
title = {A Categorical Account of Replicated Data Types.},
year = {2019},
booktitle = {FSTTCS},
author = {{Fabio Gadducci} and {Hernán C. Melgratti} and {Christian Roldán} and {Matteo Sammartino}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India.}
}
@article{journals/acta/BaldanG19,
title = {Petri nets are dioids: a new algebraic foundation for non-deterministic net theory.},
year = {2019},
journal = {Acta Informatica},
author = {{Paolo Baldan} and {Fabio Gadducci}}
}
@article{journals/corr/abs-1904-00944,
title = {Retracing and assessing the CEP project.},
year = {2019},
journal = {CoRR},
author = {{Giovanni A. Cignoni} and {Fabio Gadducci}}
}
@inproceedings{conf/ictac/GadducciMRS20,
title = {Implementation Correctness for Replicated Data Types, Categorically.},
year = {2020},
booktitle = {ICTAC},
author = {{Fabio Gadducci} and {Hernán C. Melgratti} and {Christian Roldán} and {Matteo Sammartino}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings}
}
@article{journals/annals/CignoniG20,
title = {Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project.},
year = {2020},
journal = {IEEE Ann. Hist. Comput.},
author = {{Giovanni A. Cignoni} and {Fabio Gadducci}}
}
@article{journals/corr/abs-2010-07284,
title = {A spatial model checker in GPU (extended version).},
year = {2020},
journal = {CoRR},
author = {{Laura Bussi} and {Vincenzo Ciancia} and {Fabio Gadducci}}
}
@inproceedings{conf/datamod/BussiCGLM21,
title = {Towards Model Checking Video Streams Using VoxLogicA on GPUs.},
year = {2021},
booktitle = {DataMod},
author = {{Laura Bussi} and {Vincenzo Ciancia} and {Fabio Gadducci} and {Diego Latella} and {Mieke Massink}},
publisher = {Springer},
booktitle = {From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers}
}
@inproceedings{conf/forte/BussiCG21,
title = {Towards a Spatial Model Checker on GPU.},
year = {2021},
booktitle = {FORTE},
author = {{Laura Bussi} and {Vincenzo Ciancia} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings}
}
@inproceedings{conf/jelia/Gadducci021,
title = {Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques.},
year = {2021},
booktitle = {JELIA},
author = {{Fabio Gadducci} and {Francesco Santini 001}},
publisher = {Springer},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings}
}
@article{journals/iandc/BaldanCG21,
title = {Concurrent semantics for fusions: Weak prime domains and connected event structures.},
year = {2021},
journal = {Inf. Comput.},
author = {{Paolo Baldan} and {Andrea Corradini 001} and {Fabio Gadducci}}
}
@article{journals/jlap/DokterGLS21,
title = {Soft constraint automata with memory.},
year = {2021},
journal = {J. Log. Algebraic Methods Program.},
author = {{Kasper Dokter} and {Fabio Gadducci} and {Benjamin Lion} and {Francesco Santini 001}}
}
@inproceedings{conf/adt/GadducciT22,
title = {A Presheaf Semantics for Quantified Temporal Logics.},
year = {2022},
booktitle = {WADT},
author = {{Fabio Gadducci} and {Davide Trotta}},
publisher = {Springer},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers}
}
@inproceedings{conf/coordination/BussiGS22,
title = {Soft Concurrent Constraint Programming with Local Variables.},
year = {2022},
booktitle = {COORDINATION},
author = {{Laura Bussi} and {Fabio Gadducci} and {Francesco Santini 001}},
publisher = {Springer},
booktitle = {Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings}
}
@inproceedings{conf/fossacs/CastelnovoGM22,
title = {A new criterion for M, N-adhesivity, with an application to hierarchical graphs.},
year = {2022},
booktitle = {FoSSaCS},
author = {{Davide Castelnovo} and {Fabio Gadducci} and {Marino Miculan}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings}
}
@inproceedings{conf/gg/HeckelCG22,
title = {Graph Rewriting Components.},
year = {2022},
booktitle = {ICGT},
author = {{Reiko Heckel} and {Andrea Corradini 001} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings}
}
@inproceedings{conf/isola/BussiCGLM22,
title = {On Binding in the Spatial Logics for Closure Spaces.},
year = {2022},
booktitle = {ISoLA (1)},
author = {{Laura Bussi} and {Vincenzo Ciancia} and {Fabio Gadducci} and {Diego Latella} and {Mieke Massink}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I}
}
@article{journals/corr/abs-2201-00233,
title = {A new criterion for M, N-adhesivity, with an application to hierarchical graphs.},
year = {2022},
journal = {CoRR},
author = {{Davide Castelnovo} and {Fabio Gadducci} and {Marino Miculan}}
}
@article{journals/corr/abs-2205-06892,
title = {Completeness and expressiveness for gs-monoidal categories.},
year = {2022},
journal = {CoRR},
author = {{Andrea Corradini 001} and {Fabio Gadducci} and {Davide Trotta}}
}
@article{journals/ipl/GadducciS22,
title = {Distributivity and residuation for lexicographic orders.},
year = {2022},
journal = {Inf. Process. Lett.},
author = {{Fabio Gadducci} and {Francesco Santini 001}}
}
@article{journals/jacm/BonchiGKSZ22,
title = {String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.},
year = {2022},
journal = {J. ACM},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Aleks Kissinger} and {Pawel Sobocinski 001} and {Fabio Zanasi}}
}
@article{journals/scp/KehrerG22,
title = {Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020).},
year = {2022},
journal = {Sci. Comput. Program.},
author = {{Timo Kehrer} and {Fabio Gadducci}}
}
@article{journals/tcs/GadducciK22,
title = {Special issue on Theoretical Topics in Graph Transformation.},
year = {2022},
journal = {Theor. Comput. Sci.},
author = {{Fabio Gadducci} and {Timo Kehrer}}
}
@article{journals/tcs/GadducciMRS22,
title = {Categorical specification and implementation of Replicated Data Types.},
year = {2022},
journal = {Theor. Comput. Sci.},
author = {{Fabio Gadducci} and {Hernán C. Melgratti} and {Christian Roldán} and {Matteo Sammartino}}
}
@article{journals/mscs/BonchiGKSZ22,
title = {String diagram rewrite theory II: Rewriting with symmetric monoidal structure.},
year = {2022},
month = {April},
journal = {Math. Struct. Comput. Sci.},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Aleks Kissinger} and {Pawel Sobocinski 001} and {Fabio Zanasi}}
}
@article{journals/mscs/BonchiGKSZ22a,
title = {String diagram rewrite theory III: Confluence with and without Frobenius.},
year = {2022},
month = {August},
journal = {Math. Struct. Comput. Sci.},
author = {{Filippo Bonchi} and {Fabio Gadducci} and {Aleks Kissinger} and {Pawel Sobocinski 001} and {Fabio Zanasi}}
}
@inproceedings{conf/calco/FritzGPT23,
title = {Weakly Markov Categories and Weakly Affine Monads.},
year = {2023},
booktitle = {CALCO},
author = {{Tobias Fritz} and {Fabio Gadducci} and {Paolo Perrone} and {Davide Trotta}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA}
}
@inproceedings{conf/dali/BussiCG23,
title = {A Spatial Logic with Time and Quantifiers.},
year = {2023},
booktitle = {DaLí},
author = {{Laura Bussi} and {Vincenzo Ciancia} and {Fabio Gadducci}},
publisher = {Springer},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers}
}
@inproceedings{conf/gg/GadducciLT23,
title = {Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.},
year = {2023},
booktitle = {ICGT},
author = {{Fabio Gadducci} and {Andrea Laretto} and {Davide Trotta}},
publisher = {Springer},
booktitle = {Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings}
}
@article{journals/corr/abs-2303-14049,
title = {Weakly affine monads.},
year = {2023},
journal = {CoRR},
author = {{Tobias Fritz} and {Fabio Gadducci} and {Paolo Perrone} and {Davide Trotta}}
}
@article{journals/corr/abs-2305-03832,
title = {Specification and verification of a linear-time logic for graph transformation.},
year = {2023},
journal = {CoRR},
author = {{Fabio Gadducci} and {Andrea Laretto} and {Davide Trotta}}
}
@article{journals/acs/FritzGTC23,
title = {From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness.},
year = {2023},
month = {October},
journal = {Appl. Categorical Struct.},
author = {{Tobias Fritz} and {Fabio Gadducci} and {Davide Trotta} and {Andrea Corradini 001}}
}
@article{journals/jlap/GadducciK23,
title = {Specification and modelling of computing systems through graphs and graph transformation.},
year = {2023},
month = {October},
journal = {J. Log. Algebraic Methods Program.},
author = {{Fabio Gadducci} and {Timo Kehrer}}
}
@article{journals/pacmpl/CeragioliGLT24,
title = {Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.},
year = {2024},
month = {January},
journal = {Proc. ACM Program. Lang.},
author = {{Lorenzo Ceragioli} and {Fabio Gadducci} and {Giuseppe Lomurno} and {Gabriele Tedeschi}}
}
@article{journals/tcs/CastelnovoGM24,
title = {A simple criterion for M,N-adhesivity.},
year = {2024},
month = {January},
journal = {Theor. Comput. Sci.},
author = {{Davide Castelnovo} and {Fabio Gadducci} and {Marino Miculan}}
}