default search action
BibTeX records: Fabio Gadducci
@article{DBLP:journals/pacmpl/CeragioliGLT24, author = {Lorenzo Ceragioli and Fabio Gadducci and Giuseppe Lomurno and Gabriele Tedeschi}, title = {Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{POPL}}, pages = {1269--1297}, year = {2024}, url = {https://doi.org/10.1145/3632885}, doi = {10.1145/3632885}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CeragioliGLT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CastelnovoGM24, author = {Davide Castelnovo and Fabio Gadducci and Marino Miculan}, title = {A simple criterion for M,N-adhesivity}, journal = {Theor. Comput. Sci.}, volume = {982}, pages = {114280}, year = {2024}, url = {https://doi.org/10.1016/j.tcs.2023.114280}, doi = {10.1016/J.TCS.2023.114280}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CastelnovoGM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanC0G24, author = {Paolo Baldan and Davide Castelnovo and Andrea Corradini and Fabio Gadducci}, editor = {Rupak Majumdar and Alexandra Silva}, title = {Left-Linear Rewriting in Adhesive Categories}, booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024, September 9-13, 2024, Calgary, Canada}, series = {LIPIcs}, volume = {311}, pages = {11:1--11:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.11}, doi = {10.4230/LIPICS.CONCUR.2024.11}, timestamp = {Fri, 30 Aug 2024 16:44:11 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanC0G24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CeragioliGLT24, author = {Lorenzo Ceragioli and Fabio Gadducci and Giuseppe Lomurno and Gabriele Tedeschi}, editor = {Rupak Majumdar and Alexandra Silva}, title = {Effect Semantics for Quantum Process Calculi}, booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024, September 9-13, 2024, Calgary, Canada}, series = {LIPIcs}, volume = {311}, pages = {16:1--16:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.16}, doi = {10.4230/LIPICS.CONCUR.2024.16}, timestamp = {Fri, 30 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/CeragioliGLT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2407-06181, author = {Paolo Baldan and Davide Castelnovo and Andrea Corradini and Fabio Gadducci}, title = {Left-Linear Rewriting in Adhesive Categories}, journal = {CoRR}, volume = {abs/2407.06181}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2407.06181}, doi = {10.48550/ARXIV.2407.06181}, eprinttype = {arXiv}, eprint = {2407.06181}, timestamp = {Mon, 12 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2407-06181.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/FritzGTC23, author = {Tobias Fritz and Fabio Gadducci and Davide Trotta and Andrea Corradini}, title = {From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness}, journal = {Appl. Categorical Struct.}, volume = {31}, number = {5}, pages = {42}, year = {2023}, url = {https://doi.org/10.1007/s10485-023-09750-z}, doi = {10.1007/S10485-023-09750-Z}, timestamp = {Mon, 16 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/FritzGTC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/GadducciK23, author = {Fabio Gadducci and Timo Kehrer}, title = {Specification and modelling of computing systems through graphs and graph transformation}, journal = {J. Log. Algebraic Methods Program.}, volume = {135}, pages = {100905}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100905}, doi = {10.1016/J.JLAMP.2023.100905}, timestamp = {Tue, 10 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/GadducciK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/FritzGPT23, author = {Tobias Fritz and Fabio Gadducci and Paolo Perrone and Davide Trotta}, editor = {Paolo Baldan and Valeria de Paiva}, title = {Weakly Markov Categories and Weakly Affine Monads}, booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}}, series = {LIPIcs}, volume = {270}, pages = {16:1--16:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.16}, doi = {10.4230/LIPICS.CALCO.2023.16}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/FritzGPT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/BussiCG23, author = {Laura Bussi and Vincenzo Ciancia and Fabio Gadducci}, editor = {Nina Gierasimczuk and Fernando R. Vel{\'{a}}zquez{-}Quesada}, title = {A Spatial Logic with Time and Quantifiers}, booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop, DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14401}, pages = {1--19}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-51777-8\_1}, doi = {10.1007/978-3-031-51777-8\_1}, timestamp = {Thu, 18 Jan 2024 08:27:16 +0100}, biburl = {https://dblp.org/rec/conf/dali/BussiCG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/GadducciLT23, author = {Fabio Gadducci and Andrea Laretto and Davide Trotta}, editor = {Maribel Fern{\'{a}}ndez and Christopher M. Poskitt}, title = {Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation}, booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023, Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13961}, pages = {22--42}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-36709-0\_2}, doi = {10.1007/978-3-031-36709-0\_2}, timestamp = {Fri, 21 Jul 2023 17:56:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/GadducciLT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-14049, author = {Tobias Fritz and Fabio Gadducci and Paolo Perrone and Davide Trotta}, title = {Weakly affine monads}, journal = {CoRR}, volume = {abs/2303.14049}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.14049}, doi = {10.48550/ARXIV.2303.14049}, eprinttype = {arXiv}, eprint = {2303.14049}, timestamp = {Thu, 13 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-14049.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-03832, author = {Fabio Gadducci and Andrea Laretto and Davide Trotta}, title = {Specification and verification of a linear-time logic for graph transformation}, journal = {CoRR}, volume = {abs/2305.03832}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.03832}, doi = {10.48550/ARXIV.2305.03832}, eprinttype = {arXiv}, eprint = {2305.03832}, timestamp = {Thu, 11 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-03832.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-06116, author = {Lorenzo Ceragioli and Fabio Gadducci and Giuseppe Lomurno and Gabriele Tedeschi}, title = {Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers}, journal = {CoRR}, volume = {abs/2311.06116}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.06116}, doi = {10.48550/ARXIV.2311.06116}, eprinttype = {arXiv}, eprint = {2311.06116}, timestamp = {Wed, 15 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-06116.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/GadducciS22, author = {Fabio Gadducci and Francesco Santini}, title = {Distributivity and residuation for lexicographic orders}, journal = {Inf. Process. Lett.}, volume = {177}, pages = {106271}, year = {2022}, url = {https://doi.org/10.1016/j.ipl.2022.106271}, doi = {10.1016/J.IPL.2022.106271}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/GadducciS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BonchiGKSZ22, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, title = {String Diagram Rewrite Theory {I:} Rewriting with Frobenius Structure}, journal = {J. {ACM}}, volume = {69}, number = {2}, pages = {14:1--14:58}, year = {2022}, url = {https://doi.org/10.1145/3502719}, doi = {10.1145/3502719}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BonchiGKSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BonchiGKSZ22, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, title = {String diagram rewrite theory {II:} Rewriting with symmetric monoidal structure}, journal = {Math. Struct. Comput. Sci.}, volume = {32}, number = {4}, pages = {511--541}, year = {2022}, url = {https://doi.org/10.1017/S0960129522000317}, doi = {10.1017/S0960129522000317}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/BonchiGKSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BonchiGKSZ22a, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, title = {String diagram rewrite theory {III:} Confluence with and without Frobenius}, journal = {Math. Struct. Comput. Sci.}, volume = {32}, number = {7}, pages = {829--869}, year = {2022}, url = {https://doi.org/10.1017/S0960129522000123}, doi = {10.1017/S0960129522000123}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/BonchiGKSZ22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KehrerG22, author = {Timo Kehrer and Fabio Gadducci}, title = {Special issue on Application-oriented aspects of graphs and graph transformation {(ICGT} 2020)}, journal = {Sci. Comput. Program.}, volume = {221}, pages = {102845}, year = {2022}, url = {https://doi.org/10.1016/j.scico.2022.102845}, doi = {10.1016/J.SCICO.2022.102845}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/KehrerG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GadducciMRS22, author = {Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Christian Rold{\'{a}}n and Matteo Sammartino}, title = {Categorical specification and implementation of Replicated Data Types}, journal = {Theor. Comput. Sci.}, volume = {903}, pages = {84--112}, year = {2022}, url = {https://doi.org/10.1016/j.tcs.2021.12.020}, doi = {10.1016/J.TCS.2021.12.020}, timestamp = {Tue, 08 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GadducciMRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GadducciK22, author = {Fabio Gadducci and Timo Kehrer}, title = {Special issue on Theoretical Topics in Graph Transformation}, journal = {Theor. Comput. Sci.}, volume = {931}, pages = {155--156}, year = {2022}, url = {https://doi.org/10.1016/j.tcs.2022.08.015}, doi = {10.1016/J.TCS.2022.08.015}, timestamp = {Fri, 09 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/GadducciK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/GadducciT22, author = {Fabio Gadducci and Davide Trotta}, editor = {Alexandre Madeira and Manuel A. Martins}, title = {A Presheaf Semantics for Quantified Temporal Logics}, 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}, series = {Lecture Notes in Computer Science}, volume = {13710}, pages = {81--99}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-43345-0\_4}, doi = {10.1007/978-3-031-43345-0\_4}, timestamp = {Tue, 24 Oct 2023 15:45:06 +0200}, biburl = {https://dblp.org/rec/conf/adt/GadducciT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BussiGS22, author = {Laura Bussi and Fabio Gadducci and Francesco Santini}, editor = {Maurice H. ter Beek and Marjan Sirjani}, title = {Soft Concurrent Constraint Programming with Local Variables}, 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}, series = {Lecture Notes in Computer Science}, volume = {13271}, pages = {159--177}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-08143-9\_10}, doi = {10.1007/978-3-031-08143-9\_10}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BussiGS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/CastelnovoGM22, author = {Davide Castelnovo and Fabio Gadducci and Marino Miculan}, editor = {Patricia Bouyer and Lutz Schr{\"{o}}der}, title = {A new criterion for \emph{M}, \emph{N}-adhesivity, with an application to hierarchical graphs}, 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}, series = {Lecture Notes in Computer Science}, volume = {13242}, pages = {205--224}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99253-8\_11}, doi = {10.1007/978-3-030-99253-8\_11}, timestamp = {Fri, 29 Apr 2022 14:50:32 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/CastelnovoGM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/HeckelCG22, author = {Reiko Heckel and Andrea Corradini and Fabio Gadducci}, editor = {Nicolas Behr and Daniel Str{\"{u}}ber}, title = {Graph Rewriting Components}, booktitle = {Graph Transformation - 15th International Conference, {ICGT} 2022, Held as Part of {STAF} 2022, Nantes, France, July 7-8, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13349}, pages = {20--37}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-09843-7\_2}, doi = {10.1007/978-3-031-09843-7\_2}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/HeckelCG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/BussiCGLM22, author = {Laura Bussi and Vincenzo Ciancia and Fabio Gadducci and Diego Latella and Mieke Massink}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {On Binding in the Spatial Logics for Closure Spaces}, 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}}, series = {Lecture Notes in Computer Science}, volume = {13701}, pages = {479--497}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19849-6\_27}, doi = {10.1007/978-3-031-19849-6\_27}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/BussiCGLM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2201-00233, author = {Davide Castelnovo and Fabio Gadducci and Marino Miculan}, title = {A new criterion for M, N-adhesivity, with an application to hierarchical graphs}, journal = {CoRR}, volume = {abs/2201.00233}, year = {2022}, url = {https://arxiv.org/abs/2201.00233}, eprinttype = {arXiv}, eprint = {2201.00233}, timestamp = {Mon, 10 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2201-00233.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-06892, author = {Andrea Corradini and Fabio Gadducci and Davide Trotta}, title = {Completeness and expressiveness for gs-monoidal categories}, journal = {CoRR}, volume = {abs/2205.06892}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.06892}, doi = {10.48550/ARXIV.2205.06892}, eprinttype = {arXiv}, eprint = {2205.06892}, timestamp = {Tue, 17 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-06892.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanCG21, author = {Paolo Baldan and Andrea Corradini and Fabio Gadducci}, title = {Concurrent semantics for fusions: Weak prime domains and connected event structures}, journal = {Inf. Comput.}, volume = {281}, pages = {104770}, year = {2021}, url = {https://doi.org/10.1016/j.ic.2021.104770}, doi = {10.1016/J.IC.2021.104770}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaldanCG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/DokterGLS21, author = {Kasper Dokter and Fabio Gadducci and Benjamin Lion and Francesco Santini}, title = {Soft constraint automata with memory}, journal = {J. Log. Algebraic Methods Program.}, volume = {118}, pages = {100615}, year = {2021}, url = {https://doi.org/10.1016/j.jlamp.2020.100615}, doi = {10.1016/J.JLAMP.2020.100615}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/DokterGLS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/datamod/BussiCGLM21, author = {Laura Bussi and Vincenzo Ciancia and Fabio Gadducci and Diego Latella and Mieke Massink}, editor = {Juliana Bowles and Giovanna Broccia and Roberto Pellungrini}, title = {Towards Model Checking Video Streams Using VoxLogicA on GPUs}, booktitle = {From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13268}, pages = {78--90}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-031-16011-0\_6}, doi = {10.1007/978-3-031-16011-0\_6}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/datamod/BussiCGLM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BussiCG21, author = {Laura Bussi and Vincenzo Ciancia and Fabio Gadducci}, editor = {Kirstin Peters and Tim A. C. Willemse}, title = {Towards a Spatial Model Checker on {GPU}}, 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}, series = {Lecture Notes in Computer Science}, volume = {12719}, pages = {188--196}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-78089-0\_12}, doi = {10.1007/978-3-030-78089-0\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/BussiCG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Gadducci021, author = {Fabio Gadducci and Francesco Santini}, editor = {Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak}, title = {Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques}, booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12678}, pages = {162--176}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75775-5\_12}, doi = {10.1007/978-3-030-75775-5\_12}, timestamp = {Wed, 12 May 2021 15:58:26 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Gadducci021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/calco/2021, editor = {Fabio Gadducci and Alexandra Silva}, title = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2021, August 31 to September 3, 2021, Salzburg, Austria}, series = {LIPIcs}, volume = {211}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-212-9}, isbn = {978-3-95977-212-9}, timestamp = {Wed, 21 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2021, editor = {Fabio Gadducci and Timo Kehrer}, title = {Graph Transformation - 14th International Conference, {ICGT} 2021, Held as Part of {STAF} 2021, Virtual Event, June 24-25, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12741}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-78946-6}, doi = {10.1007/978-3-030-78946-6}, isbn = {978-3-030-78945-9}, timestamp = {Thu, 01 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-06741, author = {Fabio Gadducci and Francesco Santini}, title = {Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques}, journal = {CoRR}, volume = {abs/2103.06741}, year = {2021}, url = {https://arxiv.org/abs/2103.06741}, eprinttype = {arXiv}, eprint = {2103.06741}, timestamp = {Tue, 16 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-06741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-14686, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, title = {String Diagram Rewrite Theory {II:} Rewriting with Symmetric Monoidal Structure}, journal = {CoRR}, volume = {abs/2104.14686}, year = {2021}, url = {https://arxiv.org/abs/2104.14686}, eprinttype = {arXiv}, eprint = {2104.14686}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-14686.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-06049, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, title = {String Diagram Rewrite Theory {III:} Confluence with and without Frobenius}, journal = {CoRR}, volume = {abs/2109.06049}, year = {2021}, url = {https://arxiv.org/abs/2109.06049}, eprinttype = {arXiv}, eprint = {2109.06049}, timestamp = {Wed, 22 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-06049.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-03855, author = {Fabio Gadducci and Davide Trotta}, title = {A Presheaf Semantics for Quantified Temporal Logics}, journal = {CoRR}, volume = {abs/2111.03855}, year = {2021}, url = {https://arxiv.org/abs/2111.03855}, eprinttype = {arXiv}, eprint = {2111.03855}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-03855.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/annals/CignoniG20, author = {Giovanni A. Cignoni and Fabio Gadducci}, title = {Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project}, journal = {{IEEE} Ann. Hist. Comput.}, volume = {42}, number = {2}, pages = {6--19}, year = {2020}, url = {https://doi.org/10.1109/MAHC.2020.2978162}, doi = {10.1109/MAHC.2020.2978162}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/annals/CignoniG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/GadducciMRS20, author = {Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Christian Rold{\'{a}}n and Matteo Sammartino}, editor = {Violet Ka I Pun and Volker Stolz and Adenilso Sim{\~{a}}o}, title = {Implementation Correctness for Replicated Data Types, Categorically}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12545}, pages = {283--303}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-64276-1\_15}, doi = {10.1007/978-3-030-64276-1\_15}, timestamp = {Wed, 25 Nov 2020 16:40:07 +0100}, biburl = {https://dblp.org/rec/conf/ictac/GadducciMRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2020, editor = {Fabio Gadducci and Timo Kehrer}, title = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12150}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51372-6}, doi = {10.1007/978-3-030-51372-6}, isbn = {978-3-030-51371-9}, timestamp = {Fri, 26 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-07284, author = {Laura Bussi and Vincenzo Ciancia and Fabio Gadducci}, title = {A spatial model checker in {GPU} (extended version)}, journal = {CoRR}, volume = {abs/2010.07284}, year = {2020}, url = {https://arxiv.org/abs/2010.07284}, eprinttype = {arXiv}, eprint = {2010.07284}, timestamp = {Tue, 20 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-07284.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-01847, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, title = {String Diagram Rewrite Theory {I:} Rewriting with Frobenius Structure}, journal = {CoRR}, volume = {abs/2012.01847}, year = {2020}, url = {https://arxiv.org/abs/2012.01847}, eprinttype = {arXiv}, eprint = {2012.01847}, timestamp = {Fri, 04 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-01847.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BaldanG19, author = {Paolo Baldan and Fabio Gadducci}, title = {Petri nets are dioids: a new algebraic foundation for non-deterministic net theory}, journal = {Acta Informatica}, volume = {56}, number = {1}, pages = {61--92}, year = {2019}, url = {https://doi.org/10.1007/s00236-018-0314-0}, doi = {10.1007/S00236-018-0314-0}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BaldanG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BruniCGMMT19, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Ugo Montanari and Emilio Tuosto}, editor = {Michele Boreale and Flavio Corradini and Michele Loreti and Rosario Pugliese}, title = {Data-Driven Choreographies {\`{a}} la Klaim}, booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11665}, pages = {170--190}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21485-2\_11}, doi = {10.1007/978-3-030-21485-2\_11}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BruniCGMMT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BonchiBGS19, author = {Filippo Bonchi and Laura Bussi and Fabio Gadducci and Francesco Santini}, editor = {M{\'{a}}rio S. Alvim and Kostas Chatzikokolakis and Carlos Olarte and Frank Valencia}, title = {Polyadic Soft Constraints}, 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}, series = {Lecture Notes in Computer Science}, volume = {11760}, pages = {241--257}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31175-9\_14}, doi = {10.1007/978-3-030-31175-9\_14}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BonchiBGS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GadducciMRS19, author = {Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Christian Rold{\'{a}}n and Matteo Sammartino}, editor = {Arkadev Chattopadhyay and Paul Gastin}, title = {A Categorical Account of Replicated Data Types}, booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019, Bombay, India}, series = {LIPIcs}, volume = {150}, pages = {42:1--42:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.42}, doi = {10.4230/LIPICS.FSTTCS.2019.42}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/GadducciMRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-00944, author = {Giovanni A. Cignoni and Fabio Gadducci}, title = {Retracing and assessing the {CEP} project}, journal = {CoRR}, volume = {abs/1904.00944}, year = {2019}, url = {http://arxiv.org/abs/1904.00944}, eprinttype = {arXiv}, eprint = {1904.00944}, timestamp = {Wed, 24 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-00944.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BaldanBCGMM18, author = {Paolo Baldan and Roberto Bruni and Andrea Corradini and Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Ugo Montanari}, title = {Event Structures for Petri nets with Persistence}, journal = {Log. Methods Comput. Sci.}, volume = {14}, number = {3}, year = {2018}, url = {https://doi.org/10.23638/LMCS-14(3:25)2018}, doi = {10.23638/LMCS-14(3:25)2018}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BaldanBCGMM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GadducciMR18, author = {Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Christian Rold{\'{a}}n}, title = {On the semantics and implementation of replicated data types}, journal = {Sci. Comput. Program.}, volume = {167}, pages = {91--113}, year = {2018}, url = {https://doi.org/10.1016/j.scico.2018.06.003}, doi = {10.1016/J.SCICO.2018.06.003}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/GadducciMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/DokterG018, author = {Kasper Dokter and Fabio Gadducci and Francesco Santini}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Jan Rutten}, title = {Soft Constraint Automata with Memory}, booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab}, series = {Lecture Notes in Computer Science}, volume = {10865}, pages = {70--85}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-90089-6\_6}, doi = {10.1007/978-3-319-90089-6\_6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/DokterG018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BonchiGKSZ18, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, editor = {Anuj Dawar and Erich Gr{\"{a}}del}, title = {Rewriting with Frobenius}, booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018}, pages = {165--174}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3209108.3209137}, doi = {10.1145/3209108.3209137}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/BonchiGKSZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-03726, author = {Paolo Baldan and Roberto Bruni and Andrea Corradini and Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Ugo Montanari}, title = {Event Structures for Petri nets with Persistence}, journal = {CoRR}, volume = {abs/1802.03726}, year = {2018}, url = {http://arxiv.org/abs/1802.03726}, eprinttype = {arXiv}, eprint = {1802.03726}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-03726.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/GadducciS17, author = {Fabio Gadducci and Francesco Santini}, title = {Residuation for bipolar preferences in soft constraints}, journal = {Inf. Process. Lett.}, volume = {118}, pages = {69--74}, year = {2017}, url = {https://doi.org/10.1016/j.ipl.2016.10.002}, doi = {10.1016/J.IPL.2016.10.002}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/GadducciS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/GadducciSPV17, author = {Fabio Gadducci and Francesco Santini and Luis Fernando Pino and Frank D. Valencia}, title = {Observational and behavioural equivalences for soft concurrent constraint programming}, journal = {J. Log. Algebraic Methods Program.}, volume = {92}, pages = {45--63}, year = {2017}, url = {https://doi.org/10.1016/j.jlamp.2017.06.001}, doi = {10.1016/J.JLAMP.2017.06.001}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/GadducciSPV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/GadducciMR17, author = {Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Christian Rold{\'{a}}n}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {A Denotational View of Replicated Data Types}, 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{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {138--156}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_8}, doi = {10.1007/978-3-319-59746-1\_8}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/GadducciMR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BonchiGKSZ17, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, editor = {Hongseok Yang}, title = {Confluence of Graph Rewriting with Interfaces}, 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}, series = {Lecture Notes in Computer Science}, volume = {10201}, pages = {141--169}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54434-1\_6}, doi = {10.1007/978-3-662-54434-1\_6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/BonchiGKSZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BaldanCG17, author = {Paolo Baldan and Andrea Corradini and Fabio Gadducci}, title = {Domains and event structures for fusions}, booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017}, pages = {1--12}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/LICS.2017.8005135}, doi = {10.1109/LICS.2017.8005135}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BaldanCG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BaldanCG17, author = {Paolo Baldan and Andrea Corradini and Fabio Gadducci}, title = {Domains and Event Structures for Fusions}, journal = {CoRR}, volume = {abs/1701.02394}, year = {2017}, url = {http://arxiv.org/abs/1701.02394}, eprinttype = {arXiv}, eprint = {1701.02394}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BaldanCG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BonchiGKSZ16, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}, title = {Rewriting modulo symmetric monoidal structure}, booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}, pages = {710--719}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2933575.2935316}, doi = {10.1145/2933575.2935316}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/BonchiGKSZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hapoc/2015, editor = {Fabio Gadducci and Mirko Tavosanis}, title = {History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {487}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47286-7}, doi = {10.1007/978-3-319-47286-7}, isbn = {978-3-319-47285-0}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hapoc/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BonchiGKSZ16, author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi}, title = {Rewriting modulo symmetric monoidal structure}, journal = {CoRR}, volume = {abs/1602.06771}, year = {2016}, url = {http://arxiv.org/abs/1602.06771}, eprinttype = {arXiv}, eprint = {1602.06771}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BonchiGKSZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BaldanBGM15, author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, title = {Concurrency cannot be observed, asynchronously}, journal = {Math. Struct. Comput. Sci.}, volume = {25}, number = {4}, pages = {978--1004}, year = {2015}, url = {https://doi.org/10.1017/S0960129513000108}, doi = {10.1017/S0960129513000108}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BaldanBGM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BruniCGLV15, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, title = {Modelling and analyzing adaptive self-assembly strategies with Maude}, journal = {Sci. Comput. Program.}, volume = {99}, pages = {75--94}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2013.11.043}, doi = {10.1016/J.SCICO.2013.11.043}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BruniCGLV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaldanBGM15, author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, title = {Modular encoding of synchronous and asynchronous interactions using open Petri nets}, journal = {Sci. Comput. Program.}, volume = {109}, pages = {96--124}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.11.019}, doi = {10.1016/J.SCICO.2014.11.019}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BaldanBGM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BruniCGLV15, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Daniel Moldt and Heiko R{\"{o}}lke and Harald St{\"{o}}rrle}, title = {Awareness and Control in Adaptable Transition Systems}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {1372}, pages = {19--21}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1372/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/BruniCGLV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BaldanBGV15, author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Chiara Bodei and Gian{-}Luigi Ferrari and Corrado Priami}, title = {Asynchronous Traces and Open Petri Nets}, booktitle = {Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9465}, pages = {86--102}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25527-9\_8}, doi = {10.1007/978-3-319-25527-9\_8}, timestamp = {Fri, 23 Jun 2023 22:30:53 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaldanBGV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BruniCGLV15, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Rocco De Nicola and Rolf Hennicker}, title = {A White Box Perspective on Behavioural Adaptation}, booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}, series = {Lecture Notes in Computer Science}, volume = {8950}, pages = {552--581}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-15545-6\_32}, doi = {10.1007/978-3-319-15545-6\_32}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BruniCGLV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/GadducciSPV15, author = {Fabio Gadducci and Francesco Santini and Luis Fernando Pino and Frank D. Valencia}, editor = {Tom Holvoet and Mirko Viroli}, title = {A Labelled Semantics for Soft Concurrent Constraint Programming}, 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}, series = {Lecture Notes in Computer Science}, volume = {9037}, pages = {133--149}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19282-6\_9}, doi = {10.1007/978-3-319-19282-6\_9}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/GadducciSPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/BruniCGHLVW15, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Matthias M. H{\"{o}}lzl and Alberto Lluch{-}Lafuente and Andrea Vandin and Martin Wirsing}, editor = {Martin Wirsing and Matthias M. H{\"{o}}lzl and Nora Koch and Philip Mayer}, title = {Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation}, booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS} Approach}, series = {Lecture Notes in Computer Science}, volume = {8998}, pages = {163--184}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-16310-9\_4}, doi = {10.1007/978-3-319-16310-9\_4}, timestamp = {Mon, 26 Oct 2020 08:19:39 +0100}, biburl = {https://dblp.org/rec/series/lncs/BruniCGHLVW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/AbdullaG0V15, author = {Parosh Aziz Abdulla and Fabio Gadducci and Barbara K{\"{o}}nig and Viktor Vafeiadis}, title = {Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)}, journal = {Dagstuhl Reports}, volume = {5}, number = {11}, pages = {1--28}, year = {2015}, url = {https://doi.org/10.4230/DagRep.5.11.1}, doi = {10.4230/DAGREP.5.11.1}, timestamp = {Wed, 07 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbdullaG0V15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jocch/CignoniGP14, author = {Giovanni A. Cignoni and Fabio Gadducci and Stefano Paci}, title = {A Virtual Experience on the Very First Italian Computer}, journal = {{ACM} Journal on Computing and Cultural Heritage}, volume = {7}, number = {4}, pages = {21:1--21:23}, year = {2014}, url = {https://doi.org/10.1145/2629484}, doi = {10.1145/2629484}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jocch/CignoniGP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BonchiGM14, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, title = {{RPO} semantics for mobile ambients}, journal = {Math. Struct. Comput. Sci.}, volume = {24}, number = {4}, year = {2014}, url = {https://doi.org/10.1017/S0960129512000333}, doi = {10.1017/S0960129512000333}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BonchiGM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BonchiGM14, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, title = {A General Theory of Barbs, Contexts, and Labels}, journal = {{ACM} Trans. Comput. Log.}, volume = {15}, number = {4}, pages = {35:1--35:27}, year = {2014}, url = {https://doi.org/10.1145/2631916}, doi = {10.1145/2631916}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/BonchiGM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BaldanBGM14, author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Eva K{\"{u}}hn and Rosario Pugliese}, title = {Encoding Synchronous Interactions Using Labelled Petri Nets}, 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}, series = {Lecture Notes in Computer Science}, volume = {8459}, pages = {1--16}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43376-8\_1}, doi = {10.1007/978-3-662-43376-8\_1}, timestamp = {Tue, 15 Nov 2022 15:22:35 +0100}, biburl = {https://dblp.org/rec/conf/coordination/BaldanBGM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/GadducciM13, author = {Fabio Gadducci and Leonardo Mariani}, title = {Preface}, journal = {J. Vis. Lang. Comput.}, volume = {24}, number = {3}, pages = {151--152}, year = {2013}, url = {https://doi.org/10.1016/j.jvlc.2013.05.002}, doi = {10.1016/J.JVLC.2013.05.002}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/GadducciM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip9/CignoniG13, author = {Giovanni A. Cignoni and Fabio Gadducci}, editor = {Arthur Tatnall and Tilly Blyth and Roger Johnson}, title = {Using Old Computers for Teaching Computer Science}, booktitle = {Making the History of Computing Relevant - {IFIP} {WG} 9.7 International Conference, {HC} 2013, London, UK, June 17-18, 2013, Revised Selected Papers}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {416}, pages = {121--131}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41650-7\_11}, doi = {10.1007/978-3-642-41650-7\_11}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip9/CignoniG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isarcs/BeekGS13, author = {Maurice H. ter Beek and Fabio Gadducci and Francesco Santini}, editor = {Philippe Kruchten and Sam Malek}, title = {Validating reconfigurations of reo circuits in an e-Banking scenario}, booktitle = {Proceedings of the 4th international {ACM} Sigsoft symposium on Architecting critical systems, {ISARCS} 2013, Vancouver, BC, Canada, June 17-21, 2013}, pages = {39--48}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2465470.2465474}, doi = {10.1145/2465470.2465474}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isarcs/BeekGS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micai/GadducciHMW13, author = {Fabio Gadducci and Matthias M. H{\"{o}}lzl and Giacoma Valentina Monreale and Martin Wirsing}, editor = {F{\'{e}}lix Castro{-}Espinoza and Alexander F. Gelbukh and Miguel Gonz{\'{a}}lez{-}Mendoza}, title = {Soft Constraints for Lexicographic Orders}, 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}}, series = {Lecture Notes in Computer Science}, volume = {8265}, pages = {68--79}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45114-0\_6}, doi = {10.1007/978-3-642-45114-0\_6}, timestamp = {Wed, 04 May 2022 08:39:24 +0200}, biburl = {https://dblp.org/rec/conf/micai/GadducciHMW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tinytocs/BruniCGLV13, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, title = {Adaptation is a Game}, journal = {Tiny Trans. Comput. Sci.}, volume = {2}, year = {2013}, url = {http://tinytocs.org/vol2/papers/tinytocs2-bruni.pdf}, timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tinytocs/BruniCGLV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/BistarelliGLRS12, author = {Stefano Bistarelli and Fabio Gadducci and Javier Larrosa and Emma Rollon and Francesco Santini}, title = {Local arc consistency for non-invertible semirings, with an application to multi-objective optimization}, journal = {Expert Syst. Appl.}, volume = {39}, number = {2}, pages = {1708--1717}, year = {2012}, url = {https://doi.org/10.1016/j.eswa.2011.06.062}, doi = {10.1016/J.ESWA.2011.06.062}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/BistarelliGLRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GadducciLV12, author = {Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, title = {Counterpart Semantics for a Second-Order {\(\mu\)}-Calculus}, journal = {Fundam. Informaticae}, volume = {118}, number = {1-2}, pages = {177--205}, year = {2012}, url = {https://doi.org/10.3233/FI-2012-709}, doi = {10.3233/FI-2012-709}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GadducciLV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BonchiBCG12, author = {Filippo Bonchi and Maria Grazia Buscemi and Vincenzo Ciancia and Fabio Gadducci}, title = {A Presheaf Environment for the Explicit Fusion Calculus}, journal = {J. Autom. Reason.}, volume = {49}, number = {2}, pages = {161--183}, year = {2012}, url = {https://doi.org/10.1007/s10817-011-9224-3}, doi = {10.1007/S10817-011-9224-3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BonchiBCG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BruniCGLV12, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Juan de Lara and Andrea Zisman}, title = {A Conceptual Framework for Adaptation}, 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}, series = {Lecture Notes in Computer Science}, volume = {7212}, pages = {240--254}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28872-2\_17}, doi = {10.1007/978-3-642-28872-2\_17}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/BruniCGLV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/GadducciLV12, author = {Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models}, booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012, Bremen, Germany, September 24-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7562}, pages = {51--65}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33654-6\_4}, doi = {10.1007/978-3-642-33654-6\_4}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/GadducciLV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GadducciMM12, author = {Fabio Gadducci and Giacoma Valentina Monreale and Ugo Montanari}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {A Modular {LTS} for Open Reactive Systems}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {134--148}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_10}, doi = {10.1007/978-3-642-33475-7\_10}, timestamp = {Tue, 09 Jul 2024 07:54:49 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GadducciMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/BruniCGLV12, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Narciso Mart{\'{\i}}{-}Oliet and Miguel Palomino}, title = {Adaptable Transition Systems}, booktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7841}, pages = {95--110}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-37635-1\_6}, doi = {10.1007/978-3-642-37635-1\_6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BruniCGLV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/GadducciM12, author = {Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Narciso Mart{\'{\i}}{-}Oliet and Miguel Palomino}, title = {Barbed Semantics for Open Reactive Systems}, booktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7841}, pages = {161--177}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-37635-1\_10}, doi = {10.1007/978-3-642-37635-1\_10}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/GadducciM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/BruniCGLV12, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Francisco Dur{\'{a}}n}, title = {Modelling and Analyzing Adaptive Self-assembly Strategies with Maude}, booktitle = {Rewriting Logic and Its Applications - 9th International Workshop, {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7571}, pages = {118--138}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34005-5\_7}, doi = {10.1007/978-3-642-34005-5\_7}, timestamp = {Mon, 28 Jun 2021 11:09:20 +0200}, biburl = {https://dblp.org/rec/conf/wrla/BruniCGLV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/GadducciM11, author = {Fabio Gadducci and Leonardo Mariani}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {41}, year = {2011}, url = {https://doi.org/10.14279/tuj.eceasst.41.671.686}, doi = {10.14279/TUJ.ECEASST.41.671.686}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/GadducciM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/GadducciM11, author = {Fabio Gadducci and Giacoma Valentina Monreale}, title = {A decentralised graphical implementation of mobile ambients}, journal = {J. Log. Algebraic Methods Program.}, volume = {80}, number = {2}, pages = {113--136}, year = {2011}, url = {https://doi.org/10.1016/j.jlap.2010.10.002}, doi = {10.1016/J.JLAP.2010.10.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/GadducciM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BonchiGM11, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Hongseok Yang}, title = {Towards a General Theory of Barbs, Contexts and Labels}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {289--304}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_22}, doi = {10.1007/978-3-642-25318-8\_22}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BonchiGM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BaldanGS11, author = {Paolo Baldan and Fabio Gadducci and Pawel Sobocinski}, editor = {Filip Murlak and Piotr Sankowski}, title = {Adhesivity Is Not Enough: Local Church-Rosser Revisited}, booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6907}, pages = {48--59}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22993-0\_8}, doi = {10.1007/978-3-642-22993-0\_8}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BaldanGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/sensoria2011/BruniCGLM11, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Ugo Montanari}, editor = {Martin Wirsing and Matthias M. H{\"{o}}lzl}, title = {Hierarchical Models for Service-Oriented Systems}, booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} Project on Software Engineering for Service-Oriented Computing}, series = {Lecture Notes in Computer Science}, volume = {6582}, pages = {349--368}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20401-2\_16}, doi = {10.1007/978-3-642-20401-2\_16}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/sensoria2011/BruniCGLM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/BruniGL10, author = {Roberto Bruni and Fabio Gadducci and Alberto Lluch{-}Lafuente}, title = {An Algebra of Hierarchical Graphs and its Application to Structural Encoding}, journal = {Sci. Ann. Comput. Sci.}, volume = {20}, pages = {53--96}, year = {2010}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=2}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/BruniGL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BaldanCGM10, author = {Paolo Baldan and Andrea Corradini and Fabio Gadducci and Ugo Montanari}, title = {From Petri Nets to Graph Transformation Systems}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {26}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.26.368}, doi = {10.14279/TUJ.ECEASST.26.368}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BaldanCGM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BaldanBGM10, author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Kazunori Ueda}, title = {Concurrency Can't Be Observed, Asynchronously}, booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6461}, pages = {424--438}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17164-2\_29}, doi = {10.1007/978-3-642-17164-2\_29}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BaldanBGM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BruniCGLM10, author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch{-}Lafuente and Ugo Montanari}, editor = {Gregor Engels and Claus Lewerentz and Wilhelm Sch{\"{a}}fer and Andy Sch{\"{u}}rr and Bernhard Westfechtel}, title = {On GS-Monoidal Theories for Graphs with Nesting}, booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5765}, pages = {59--86}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17322-6\_4}, doi = {10.1007/978-3-642-17322-6\_4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BruniCGLM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BonchiGMM10, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale and Ugo Montanari}, editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Sch{\"{u}}rr}, title = {Saturated LTSs for Adhesive Rewriting Systems}, booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6372}, pages = {123--138}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15928-2\_9}, doi = {10.1007/978-3-642-15928-2\_9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BonchiGMM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/GadducciLV10, author = {Fabio Gadducci and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Sch{\"{u}}rr}, title = {Counterpart Semantics for a Second-Order \emph{{\(\mathrm{\mu}\)}}-Calculus}, booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6372}, pages = {282--297}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15928-2\_19}, doi = {10.1007/978-3-642-15928-2\_19}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/GadducciLV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micai/BistarelliGLRS10, author = {Stefano Bistarelli and Fabio Gadducci and Javier Larrosa and Emma Rollon and Francesco Santini}, editor = {Grigori Sidorov and Arturo Hern{\'{a}}ndez Aguirre and Carlos A. Reyes Garc{\'{\i}}a}, title = {Extending Soft Arc Consistency Algorithms to Non-invertible Semirings}, booktitle = {Advances in Artificial Intelligence - 9th Mexican International Conference on Artificial Intelligence, {MICAI} 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6437}, pages = {386--398}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16761-4\_34}, doi = {10.1007/978-3-642-16761-4\_34}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/micai/BistarelliGLRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BruniGL10, author = {Roberto Bruni and Fabio Gadducci and Alberto Lluch{-}Lafuente}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {An Algebra of Hierarchical Graphs}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {205--221}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_14}, doi = {10.1007/978-3-642-15640-3\_14}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BruniGL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/CorradiniGR10, author = {Andrea Corradini and Fabio Gadducci and Leila Ribeiro}, editor = {Till Mossakowski and Hans{-}J{\"{o}}rg Kreowski}, title = {An Institution for Graph Transformation}, booktitle = {Recent Trends in Algebraic Development Techniques - 20th International Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7137}, pages = {160--174}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-28412-0\_11}, doi = {10.1007/978-3-642-28412-0\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/CorradiniGR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BonchiBCG09, author = {Filippo Bonchi and Antonio Brogi and Sara Corfini and Fabio Gadducci}, title = {A Net-based Approach to Web Services Publication and Replaceability}, journal = {Fundam. Informaticae}, volume = {94}, number = {3-4}, pages = {305--330}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-133}, doi = {10.3233/FI-2009-133}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BonchiBCG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BonchiGK09, author = {Filippo Bonchi and Fabio Gadducci and Barbara K{\"{o}}nig}, title = {Synthesising {CCS} bisimulation using graph rewriting}, journal = {Inf. Comput.}, volume = {207}, number = {1}, pages = {14--40}, year = {2009}, url = {https://doi.org/10.1016/j.ic.2008.10.005}, doi = {10.1016/J.IC.2008.10.005}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BonchiGK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanBG09, author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci}, editor = {Mario Bravetti and Gianluigi Zavattaro}, title = {Encoding Asynchronous Interactions Using Open Petri Nets}, booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference, {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5710}, pages = {99--114}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04081-8\_8}, doi = {10.1007/978-3-642-04081-8\_8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanBG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BonchiGM09, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Luca de Alfaro}, title = {Reactive Systems, Barbed Semantics, and the Mobile Ambients}, 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}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {272--287}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_20}, doi = {10.1007/978-3-642-00596-1\_20}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BonchiGM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/BruniGL09, author = {Roberto Bruni and Fabio Gadducci and Alberto Lluch{-}Lafuente}, editor = {Cosimo Laneve and Jianwen Su}, title = {A Graph Syntax for Processes and Services}, booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM} 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6194}, pages = {46--60}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-14458-5\_3}, doi = {10.1007/978-3-642-14458-5\_3}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/BruniGL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1002-2869, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Bartek Klin and Pawel Sobocinski}, title = {On Barbs and Labels in Reactive Systems}, booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS} 2009, Bologna, Italy, August 31, 2009}, series = {{EPTCS}}, volume = {18}, pages = {46--61}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.18.4}, doi = {10.4204/EPTCS.18.4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1002-2869.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Gadducci09, author = {Fabio Gadducci}, editor = {Andrea Corradini}, title = {A Note on an Old-Fashioned Algebra for (Disconnected) Graphs}, booktitle = {Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {4}, pages = {3--15}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.10.014}, doi = {10.1016/J.ENTCS.2009.10.014}, timestamp = {Fri, 24 Feb 2023 15:21:08 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Gadducci09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2008wads, editor = {Rog{\'{e}}rio de Lemos and Jean{-}Charles Fabre and Cristina Gacek and Fabio Gadducci and Maurice H. ter Beek}, title = {Architecting Dependable Systems {VI}}, series = {Lecture Notes in Computer Science}, volume = {5835}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10248-6}, doi = {10.1007/978-3-642-10248-6}, isbn = {978-3-642-10247-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/2008wads.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vodca/2008, editor = {Alessandro Aldini and Maurice H. ter Beek and Fabio Gadducci}, title = {Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {236}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/236/suppl/C}, timestamp = {Thu, 09 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vodca/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BonchiBCG08, author = {Filippo Bonchi and Antonio Brogi and Sara Corfini and Fabio Gadducci}, title = {On the Use of Behavioural Equivalences for Web Services' Development}, journal = {Fundam. Informaticae}, volume = {89}, number = {4}, pages = {479--510}, year = {2008}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-06}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BonchiBCG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/BaldanG08, author = {Paolo Baldan and Fabio Gadducci}, editor = {Jos{\'{e}} Meseguer and Grigore Rosu}, title = {Petri Nets Are Dioids}, booktitle = {Algebraic Methodology and Software Technology, 12th International Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5140}, pages = {51--66}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79980-1\_5}, doi = {10.1007/978-3-540-79980-1\_5}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/amast/BaldanG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BonchiBCG08, author = {Filippo Bonchi and Antonio Brogi and Sara Corfini and Fabio Gadducci}, editor = {Kees M. van Hee and R{\"{u}}diger Valk}, title = {Compositional Specification of Web Services Via Behavioural Equivalence of Nets: {A} Case Study}, booktitle = {Applications and Theory of Petri Nets, 29th International Conference, {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5062}, pages = {52--71}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68746-7\_8}, doi = {10.1007/978-3-540-68746-7\_8}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/BonchiBCG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BonchiBCG08, author = {Filippo Bonchi and Maria Grazia Buscemi and Vincenzo Ciancia and Fabio Gadducci}, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'{e}} Meseguer}, title = {A Category of Explicit Fusions}, booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5065}, pages = {544--562}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68679-8\_34}, doi = {10.1007/978-3-540-68679-8\_34}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BonchiBCG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Gadducci08, author = {Fabio Gadducci}, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'{e}} Meseguer}, title = {Ugo Montanari and Friends}, booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5065}, pages = {743--746}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68679-8\_45}, doi = {10.1007/978-3-540-68679-8\_45}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Gadducci08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/GadducciM08, author = {Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {A Decentralized Implementation of Mobile Ambients}, booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5214}, pages = {115--130}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_9}, doi = {10.1007/978-3-540-87405-8\_9}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/GadducciM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BonchiGH08, author = {Filippo Bonchi and Fabio Gadducci and Tobias Heindel}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Parallel and Sequential Independence for Borrowed Contexts}, booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5214}, pages = {226--241}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_16}, doi = {10.1007/978-3-540-87405-8\_16}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BonchiGH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BistarelliGLR08, author = {Stefano Bistarelli and Fabio Gadducci and Javier Larrosa and Emma Rollon}, editor = {Maria Garcia de la Banda and Enrico Pontelli}, title = {A Soft Approach to Multi-objective Optimization}, booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine, Italy, December 9-13 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5366}, pages = {764--768}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89982-2\_73}, doi = {10.1007/978-3-540-89982-2\_73}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/BistarelliGLR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/Gadducci08, author = {Fabio Gadducci}, editor = {Andrea Corradini and Ugo Montanari}, title = {A Term-Graph Syntax for Algebras over Multisets}, booktitle = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5486}, pages = {152--165}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-03429-9\_11}, doi = {10.1007/978-3-642-03429-9\_11}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/Gadducci08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AldiniBG09, author = {Alessandro Aldini and Maurice H. ter Beek and Fabio Gadducci}, editor = {Alessandro Aldini and Maurice H. ter Beek and Fabio Gadducci}, title = {Preface}, booktitle = {Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {236}, pages = {1--3}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.03.010}, doi = {10.1016/J.ENTCS.2009.03.010}, timestamp = {Thu, 09 Mar 2023 13:17:10 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AldiniBG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BonchiGM09, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Thomas T. Hildebrandt and Daniele Gorla}, title = {Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)}, booktitle = {Proceedings of the 15th Workshop on Expressiveness in Concurrency, {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {242}, number = {1}, pages = {73--98}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.06.014}, doi = {10.1016/J.ENTCS.2009.06.014}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BonchiGM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Gadducci07, author = {Fabio Gadducci}, title = {Graph rewriting for the pi-calculus}, journal = {Math. Struct. Comput. Sci.}, volume = {17}, number = {3}, pages = {407--437}, year = {2007}, url = {https://doi.org/10.1017/S096012950700610X}, doi = {10.1017/S096012950700610X}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Gadducci07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/GadducciL07, author = {Fabio Gadducci and Alberto Lluch{-}Lafuente}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, title = {Graphical Encoding of a Spatial Logic for the \emph{pi} -Calculus}, booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4624}, pages = {209--225}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73859-6\_15}, doi = {10.1007/978-3-540-73859-6\_15}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/calco/GadducciL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/BonchiBCG07, author = {Filippo Bonchi and Antonio Brogi and Sara Corfini and Fabio Gadducci}, editor = {Farhad Arbab and Marjan Sirjani}, title = {A Behavioural Congruence for Web Services}, booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4767}, pages = {240--256}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75698-9\_16}, doi = {10.1007/978-3-540-75698-9\_16}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsen/BonchiBCG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vodca/2006, editor = {Maurice H. ter Beek and Fabio Gadducci}, title = {Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {168}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/168/suppl/C}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vodca/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GadducciMM06, author = {Fabio Gadducci and Marino Miculan and Ugo Montanari}, title = {About permutation algebras, (pre)sheaves and named sets}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {283--304}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8749-3}, doi = {10.1007/S10990-006-8749-3}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GadducciMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BorealeG06, author = {Michele Boreale and Fabio Gadducci}, title = {Processes as formal power series: {A} coinductive approach to denotational semantics}, journal = {Theor. Comput. Sci.}, volume = {360}, number = {1-3}, pages = {440--458}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2006.05.030}, doi = {10.1016/J.TCS.2006.05.030}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BorealeG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanGM06, author = {Paolo Baldan and Fabio Gadducci and Ugo Montanari}, editor = {Christel Baier and Holger Hermanns}, title = {Concurrent Rewriting for Graphs with Equivalences}, booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference, {CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4137}, pages = {279--294}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11817949\_19}, doi = {10.1007/11817949\_19}, timestamp = {Sat, 30 Sep 2023 09:37:42 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanGM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BistarelliG06, author = {Stefano Bistarelli and Fabio Gadducci}, editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso}, title = {Enhancing Constraints Manipulation in Semiring-Based Formalisms}, 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}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {141}, pages = {63--67}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1647}, timestamp = {Tue, 13 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/BistarelliG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BonchiGK06, author = {Filippo Bonchi and Fabio Gadducci and Barbara K{\"{o}}nig}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Process Bisimulation \emph{Via} a Graphical Encoding}, booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4178}, pages = {168--183}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_13}, doi = {10.1007/11841883\_13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BonchiGK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanCFG06, author = {Paolo Baldan and Andrea Corradini and Luciana Foss and Fabio Gadducci}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Graph Transactions as Processes}, booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4178}, pages = {199--214}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_15}, doi = {10.1007/11841883\_15}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanCFG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BeekG07, author = {Maurice H. ter Beek and Fabio Gadducci}, editor = {Maurice H. ter Beek and Fabio Gadducci}, title = {Preface}, booktitle = {Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {168}, pages = {1--3}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.12.002}, doi = {10.1016/J.ENTCS.2006.12.002}, timestamp = {Tue, 24 Jan 2023 11:14:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BeekG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaldanCDFGR08, author = {Paolo Baldan and Andrea Corradini and Fernando Lu{\'{\i}}s Dotti and Luciana Foss and Fabio Gadducci and Leila Ribeiro}, editor = {Roberto Bruni and D{\'{a}}niel Varr{\'{o}}}, title = {Towards a Notion of Transaction in Graph Rewriting}, booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {211}, pages = {39--50}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.028}, doi = {10.1016/J.ENTCS.2008.04.028}, timestamp = {Fri, 17 Feb 2023 09:34:01 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaldanCDFGR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BeekGJ08, author = {Maurice H. ter Beek and Fabio Gadducci and Dirk Janssens}, editor = {Anamaria Martins Moreira and Leila Ribeiro}, title = {A Calculus for Team Automata}, booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {195}, pages = {41--55}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.08.022}, doi = {10.1016/J.ENTCS.2007.08.022}, timestamp = {Thu, 09 Feb 2023 11:07:55 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BeekGJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaldanGM07, author = {Paolo Baldan and Fabio Gadducci and Ugo Montanari}, editor = {Ian Mackie}, title = {Modelling Calculi with Name Mobility using Graphs with Equivalences}, booktitle = {Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {1}, pages = {85--97}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.10.028}, doi = {10.1016/J.ENTCS.2006.10.028}, timestamp = {Tue, 31 Jan 2023 10:26:02 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaldanGM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vodca/2004, editor = {Maurice H. ter Beek and Fabio Gadducci}, title = {Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {142}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/142/suppl/C}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vodca/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GadducciF05, author = {Fabio Gadducci and Ugo Montanari}, editor = {Hans{-}J{\"{o}}rg Kreowski and Ugo Montanari and Fernando Orejas and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Graph Processes with Fusions: Concurrency by Colimits, Again}, booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {3393}, pages = {84--100}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31847-7\_5}, doi = {10.1007/978-3-540-31847-7\_5}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GadducciF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GadducciM05, author = {Fabio Gadducci and Ugo Montanari}, editor = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer}, title = {Observing Reductions in Nominal Calculi \emph{Via} a Graphical Encoding of Processes}, booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {3838}, pages = {106--126}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11601548\_9}, doi = {10.1007/11601548\_9}, timestamp = {Mon, 16 Sep 2019 15:30:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GadducciM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BruniGMS05, author = {Roberto Bruni and Fabio Gadducci and Ugo Montanari and Pawel Sobocinski}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Deriving Weak Bisimulation Congruences from Reduction Systems}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {293--307}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_24}, doi = {10.1007/11539452\_24}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BruniGMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciL06, author = {Fabio Gadducci and Alberto Lluch{-}Lafuente}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Graphical Verification of a Spatial Logic for the \emph{pi}-calculus}, 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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {31--46}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.031}, doi = {10.1016/J.ENTCS.2005.03.031}, timestamp = {Fri, 20 Jan 2023 11:11:36 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GadducciL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gc/BaldanCG04, author = {Paolo Baldan and Andrea Corradini and Fabio Gadducci}, editor = {Corrado Priami and Paola Quaglia}, title = {Specifying and Verifying {UML} Activity Diagrams Via Graph Transformation}, booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3267}, pages = {18--33}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31794-4\_2}, doi = {10.1007/978-3-540-31794-4\_2}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gc/BaldanCG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BeekG06, author = {Maurice H. ter Beek and Fabio Gadducci}, editor = {Maurice H. ter Beek and Fabio Gadducci}, title = {Preface}, booktitle = {Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {142}, pages = {1--3}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.07.009}, doi = {10.1016/J.ENTCS.2005.07.009}, timestamp = {Thu, 15 Dec 2022 14:30:44 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BeekG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradiniG05, author = {Andrea Corradini and Fabio Gadducci}, editor = {Maribel Fern{\'{a}}ndez}, title = {On Term Graphs as an Adhesive Category}, booktitle = {Proceedings of the 2nd International Workshop on Term Graph Rewriting, {TERMGRAPH} 2004, Rome, Italy, October 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {5}, pages = {43--56}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.014}, doi = {10.1016/J.ENTCS.2005.02.014}, timestamp = {Mon, 12 Dec 2022 15:00:58 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CorradiniG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wrla/2002, editor = {Fabio Gadducci and Ugo Montanari}, title = {Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {71}, publisher = {Elsevier}, year = {2004}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/71/suppl/C}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wrla/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Gadducci03, author = {Fabio Gadducci}, editor = {Atsushi Ohori}, title = {Term Graph Rewriting for the pi-Calculus}, booktitle = {Programming Languages and Systems, First Asian Symposium, {APLAS} 2003, Beijing, China, November 27-29, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2895}, pages = {37--54}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40018-9\_4}, doi = {10.1007/978-3-540-40018-9\_4}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Gadducci03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/DeganoGP03, author = {Pierpaolo Degano and Fabio Gadducci and Corrado Priami}, editor = {Manfred Broy and Alexandre V. Zamulin}, title = {Causality and Replication in Concurrent Processes}, booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2890}, pages = {307--318}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39866-0\_30}, doi = {10.1007/978-3-540-39866-0\_30}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/ershov/DeganoGP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BorealeG03, author = {Michele Boreale and Fabio Gadducci}, editor = {Branislav Rovan and Peter Vojt{\'{a}}s}, title = {Denotational Testing Semantics in Coinductive Form}, booktitle = {Mathematical Foundations of Computer Science 2003, 28th International Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2747}, pages = {279--289}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45138-9\_22}, doi = {10.1007/978-3-540-45138-9\_22}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BorealeG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciMM04, author = {Fabio Gadducci and Marino Miculan and Ugo Montanari}, editor = {Furio Honsell and Marina Lenisa and Marino Miculan}, title = {Some Characterization Results for Permutation Algebras}, booktitle = {Proceedings of the Workshop of the {COMETA} Project on Computational Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {104}, pages = {129--147}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.08.022}, doi = {10.1016/J.ENTCS.2004.08.022}, timestamp = {Fri, 09 Dec 2022 11:43:33 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GadducciMM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DeganoGP02, author = {Pierpaolo Degano and Fabio Gadducci and Corrado Priami}, title = {A causal semantics for {CCS} via rewriting logic}, journal = {Theor. Comput. Sci.}, volume = {275}, number = {1-2}, pages = {259--282}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00165-7}, doi = {10.1016/S0304-3975(01)00165-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DeganoGP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GadducciM02, author = {Fabio Gadducci and Ugo Montanari}, title = {Comparing logics for rewriting: rewriting logic, action calculi and tile logic}, journal = {Theor. Comput. Sci.}, volume = {285}, number = {2}, pages = {319--358}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00362-0}, doi = {10.1016/S0304-3975(01)00362-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GadducciM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BruniGM02, author = {Roberto Bruni and Fabio Gadducci and Ugo Montanari}, title = {Normal forms for algebras of connection}, journal = {Theor. Comput. Sci.}, volume = {286}, number = {2}, pages = {247--292}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00318-8}, doi = {10.1016/S0304-3975(01)00318-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BruniGM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CorradiniG02, author = {Andrea Corradini and Fabio Gadducci}, title = {A functorial semantics for multi-algebras and partial algebras, with applications to syntax}, journal = {Theor. Comput. Sci.}, volume = {286}, number = {2}, pages = {293--322}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00319-X}, doi = {10.1016/S0304-3975(01)00319-X}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CorradiniG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02, author = {Lu{\'{\i}}s Andrade and Paolo Baldan and Hubert Baumeister and Roberto Bruni and Andrea Corradini and Rocco De Nicola and Jos{\'{e}} 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{\'{o}}nia Lopes and Michele Loreti and Mieke Massink and Franco Mazzanti and Ugo Montanari and Crist{\'{o}}v{\~{a}}o Oliveira and Rosario Pugliese and Andrzej Tarlecki and Michel Wermelinger and Martin Wirsing and Artur Zawlocki}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, title = {{AGILE:} Software Architecture for Mobility}, booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2755}, pages = {1--33}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40020-2\_1}, doi = {10.1007/978-3-540-40020-2\_1}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciM02, author = {Fabio Gadducci and Ugo Montanari}, editor = {Fabio Gadducci and Ugo Montanari}, title = {Preface - {WRLA} 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002}, booktitle = {Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {71}, pages = {1--2}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)82525-3}, doi = {10.1016/S1571-0661(05)82525-3}, timestamp = {Wed, 07 Dec 2022 08:35:58 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GadducciM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradiniGKK07, author = {Andrea Corradini and Fabio Gadducci and Wolfram Kahl and Barbara K{\"{o}}nig}, editor = {Ian Mackie and Detlef Plump}, title = {Inequational Deduction as Term Graph Rewriting}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {31--44}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.004}, doi = {10.1016/J.ENTCS.2002.09.004}, timestamp = {Tue, 06 Dec 2022 15:31:28 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CorradiniGKK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CocciaGM02, author = {Matteo Coccia and Fabio Gadducci and Ugo Montanari}, editor = {Richard Blute and Peter Selinger}, title = {GS.Lambda Theories: {A} Syntax for Higher-Order Graphs}, booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada, August 15-17, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {69}, pages = {83--100}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80560-7}, doi = {10.1016/S1571-0661(04)80560-7}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CocciaGM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciM01, author = {Fabio Gadducci and Ugo Montanari}, editor = {Stephen D. Brookes and Michael W. Mislove}, title = {A Concurrent Graph Semantics for Mobile Ambients}, booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {45}, pages = {88--105}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80957-5}, doi = {10.1016/S1571-0661(04)80957-5}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GadducciM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradiniG01, author = {Andrea Corradini and Fabio Gadducci}, editor = {Michel Bauderon and Andrea Corradini}, title = {Categorical rewriting of term-like structures}, booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {51}, pages = {108--121}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80195-6}, doi = {10.1016/S1571-0661(04)80195-6}, timestamp = {Wed, 30 Nov 2022 11:42:16 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CorradiniG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciKMSW01, author = {Fabio Gadducci and Piergiulio Katis and Ugo Montanari and Nicoletta Sabadini and Robert F. C. Walters}, editor = {Marina Lenisa and Marino Miculan}, title = {Comparing cospan-spans and tiles via a Hoare-style process calculus}, booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001, Udine, Italy, November 19-21, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {62}, pages = {157--176}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00325-1}, doi = {10.1016/S1571-0661(04)00325-1}, timestamp = {Wed, 30 Nov 2022 12:15:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GadducciKMSW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BruniG01, author = {Roberto Bruni and Fabio Gadducci}, editor = {Wolfram Kahl and David Lorge Parnas and Gunther Schmidt}, title = {Some algebraic laws for spans}, booktitle = {First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {44}, number = {3}, pages = {175--193}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80937-X}, doi = {10.1016/S1571-0661(04)80937-X}, timestamp = {Thu, 01 Dec 2022 11:11:50 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BruniG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GadducciM00, author = {Fabio Gadducci and Ugo Montanari}, editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte}, title = {The tile model}, booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner}, pages = {133--166}, publisher = {The {MIT} Press}, year = {2000}, timestamp = {Mon, 23 Jun 2008 08:50:50 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GadducciM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/CorradiniG99, author = {Andrea Corradini and Fabio Gadducci}, title = {An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories}, journal = {Appl. Categorical Struct.}, volume = {7}, number = {4}, pages = {299--331}, year = {1999}, url = {https://doi.org/10.1023/A:1008647417502}, doi = {10.1023/A:1008647417502}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/CorradiniG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/CorradiniG99, author = {Andrea Corradini and Fabio Gadducci}, title = {Rewriting on cyclic structures: Equivalence between the operational and the categorical description}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {33}, number = {4/5}, pages = {467--493}, year = {1999}, url = {https://doi.org/10.1051/ita:1999128}, doi = {10.1051/ITA:1999128}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/CorradiniG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/GadducciHL99, author = {Fabio Gadducci and Reiko Heckel and Merc{\`{e}} Llabr{\'{e}}s}, editor = {Martin Hofmann and Giuseppe Rosolini and Dusko Pavlovic}, title = {A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}, booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh, UK, December 10-12, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {29}, pages = {80--100}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80309-3}, doi = {10.1016/S1571-0661(05)80309-3}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GadducciHL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/CorradiniG98, author = {Andrea Corradini and Fabio Gadducci}, editor = {Maurice Nivat}, title = {Rational Term Rewriting}, 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}, series = {Lecture Notes in Computer Science}, volume = {1378}, pages = {156--171}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0053548}, doi = {10.1007/BFB0053548}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/CorradiniG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GadducciM98, author = {Fabio Gadducci and Ugo Montanari}, editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel}, title = {Axioms for Contextual Net Processes}, booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1443}, pages = {296--308}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055062}, doi = {10.1007/BFB0055062}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GadducciM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/GadducciHK98, author = {Fabio Gadducci and Reiko Heckel and Manuel Koch}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {A Fully Abstract Model for Graph-Interpreted Temporal Logic}, booktitle = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1764}, pages = {310--322}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-46464-8\_22}, doi = {10.1007/978-3-540-46464-8\_22}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/tagt/GadducciHK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/BruniGM98, author = {Roberto Bruni and Fabio Gadducci and Ugo Montanari}, editor = {Jos{\'{e}} Luiz Fiadeiro}, title = {Normal Forms for Partitions and Relations}, booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1589}, pages = {31--47}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48483-3\_3}, doi = {10.1007/3-540-48483-3\_3}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BruniGM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/CorradiniG98, author = {Andrea Corradini and Fabio Gadducci}, editor = {Jos{\'{e}} Luiz Fiadeiro}, title = {Functorial Semantics for Multi-algebras}, booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1589}, pages = {79--91}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48483-3\_6}, doi = {10.1007/3-540-48483-3\_6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/CorradiniG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CarabettaDG98, author = {Georgia Carabetta and Pierpaolo Degano and Fabio Gadducci}, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {{CCS} semantics via proved transition systems and rewriting logic}, booktitle = {1998 International Workshop on Rewriting Logic and its Applications, {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson, France, September 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {15}, pages = {369--387}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)80023-4}, doi = {10.1016/S1571-0661(05)80023-4}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CarabettaDG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctcs/CorradiniG97, author = {Andrea Corradini and Fabio Gadducci}, editor = {Eugenio Moggi and Giuseppe Rosolini}, title = {A 2-Categorical Presentation of Term Graph Rewriting}, booktitle = {Category Theory and Computer Science, 7th International Conference, {CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1290}, pages = {87--105}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0026983}, doi = {10.1007/BFB0026983}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ctcs/CorradiniG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/GadducciH97, author = {Fabio Gadducci and Reiko Heckel}, editor = {Francesco Parisi{-}Presicce}, title = {An inductive view of graph transformation}, booktitle = {Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1376}, pages = {223--237}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-64299-4\_36}, doi = {10.1007/3-540-64299-4\_36}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/GadducciH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciM96, author = {Fabio Gadducci and Ugo Montanari}, editor = {Jos{\'{e}} Meseguer}, title = {Tiles, rewriting rules and {CCS}}, booktitle = {First International Workshop on Rewriting Logic and its Applications, {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996}, series = {Electronic Notes in Theoretical Computer Science}, volume = {4}, pages = {1--19}, publisher = {Elsevier}, year = {1996}, url = {https://doi.org/10.1016/S1571-0661(04)00030-1}, doi = {10.1016/S1571-0661(04)00030-1}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/journals/entcs/GadducciM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/CorradiniG95, author = {Andrea Corradini and Fabio Gadducci}, editor = {Vangalur S. Alagar and Maurice Nivat}, title = {{CPO} Models for Infinite Term Rewriting}, booktitle = {Algebraic Methodology and Software Technology, 4th International Conference, {AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {936}, pages = {368--384}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60043-4\_65}, doi = {10.1007/3-540-60043-4\_65}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/CorradiniG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/MiculanG95, author = {Marino Miculan and Fabio Gadducci}, title = {Modal mu-Types for Processes}, booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995}, pages = {221--231}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/LICS.1995.523701}, doi = {10.1109/LICS.1995.523701}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/MiculanG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/CorradiniGM95, author = {Andrea Corradini and Fabio Gadducci and Ugo Montanari}, editor = {Jieh Hsiang}, title = {Relating Two Categorial Models of Term Rewriting}, booktitle = {Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {914}, pages = {225--240}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59200-8\_59}, doi = {10.1007/3-540-59200-8\_59}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/CorradiniGM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.