Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
@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 = {Mon, 04 Sep 2023 17:05:19 +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 = {Mon, 08 Nov 2021 00:00:00 +0100},
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 = {Thu, 19 Dec 2019 00:00:00 +0100},
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 = {Mon, 15 Jun 2020 01:00:00 +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 = {Thu, 14 Oct 2021 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 = {Thu, 14 Oct 2021 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 = {Thu, 14 Oct 2021 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}
}
a service of 
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.
last updated on 2024-02-12 20:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
