default search action
BibTeX records: Paolo Baldan
@inproceedings{DBLP:conf/concur/BaldanC0G24, author = {Paolo Baldan and Davide Castelnovo and Andrea Corradini and Fabio Gadducci}, editor = {Rupak Majumdar and Alexandra Silva}, title = {Left-Linear Rewriting in Adhesive Categories}, booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024, September 9-13, 2024, Calgary, Canada}, series = {LIPIcs}, volume = {311}, pages = {11:1--11:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.11}, doi = {10.4230/LIPICS.CONCUR.2024.11}, timestamp = {Fri, 30 Aug 2024 16:44:11 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanC0G24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2407-06181, author = {Paolo Baldan and Davide Castelnovo and Andrea Corradini and Fabio Gadducci}, title = {Left-Linear Rewriting in Adhesive Categories}, journal = {CoRR}, volume = {abs/2407.06181}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2407.06181}, doi = {10.48550/ARXIV.2407.06181}, eprinttype = {arXiv}, eprint = {2407.06181}, timestamp = {Mon, 12 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2407-06181.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BaldanEKP23, author = {Paolo Baldan and Richard Eggert and Barbara K{\"{o}}nig and Tommaso Padoan}, title = {Fixpoint Theory - Upside Down}, journal = {Log. Methods Comput. Sci.}, volume = {19}, number = {2}, year = {2023}, url = {https://doi.org/10.46298/lmcs-19(2:15)2023}, doi = {10.46298/LMCS-19(2:15)2023}, timestamp = {Wed, 21 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BaldanEKP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/BaldanE0P23, author = {Paolo Baldan and Richard Eggert and Barbara K{\"{o}}nig and Tommaso Padoan}, editor = {Bartek Klin and Elaine Pimentel}, title = {A Lattice-Theoretical View of Strategy Iteration}, booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023, February 13-16, 2023, Warsaw, Poland}, series = {LIPIcs}, volume = {252}, pages = {7:1--7:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.CSL.2023.7}, doi = {10.4230/LIPICS.CSL.2023.7}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/BaldanE0P23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanEKMP23, author = {Paolo Baldan and Richard Eggert and Barbara K{\"{o}}nig and Timo Matt and Tommaso Padoan}, editor = {Maribel Fern{\'{a}}ndez and Christopher M. Poskitt}, title = {A Monoidal View on Fixpoint Checks}, 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 = {3--21}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-36709-0\_1}, doi = {10.1007/978-3-031-36709-0\_1}, timestamp = {Fri, 21 Jul 2023 17:56:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanEKMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/calco/2023, editor = {Paolo Baldan and Valeria de Paiva}, title = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}}, series = {LIPIcs}, volume = {270}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-287-7}, isbn = {978-3-95977-287-7}, timestamp = {Wed, 21 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-02957, author = {Paolo Baldan and Richard Eggert and Barbara K{\"{o}}nig and Timo Matt and Tommaso Padoan}, title = {A Monoidal View on Fixpoint Checks}, journal = {CoRR}, volume = {abs/2305.02957}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.02957}, doi = {10.48550/ARXIV.2305.02957}, eprinttype = {arXiv}, eprint = {2305.02957}, timestamp = {Wed, 10 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-02957.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanGPS22, author = {Paolo Baldan and Daniele Gorla and Tommaso Padoan and Ivano Salvo}, title = {Characterising spectra of equivalences for event structures, logically}, journal = {Inf. Comput.}, volume = {285}, number = {Part}, pages = {104887}, year = {2022}, url = {https://doi.org/10.1016/j.ic.2022.104887}, doi = {10.1016/J.IC.2022.104887}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BaldanGPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanRZ22, author = {Paolo Baldan and Francesco Ranzato and Linpeng Zhang}, title = {Intensional Kleene and Rice theorems for abstract program semantics}, journal = {Inf. Comput.}, volume = {289}, number = {Part}, pages = {104953}, year = {2022}, url = {https://doi.org/10.1016/j.ic.2022.104953}, doi = {10.1016/J.IC.2022.104953}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BaldanRZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaldanGPS22, author = {Paolo Baldan and Daniele Gorla and Tommaso Padoan and Ivano Salvo}, title = {Behavioural logics for configuration structures}, journal = {Theor. Comput. Sci.}, volume = {913}, pages = {94--112}, year = {2022}, url = {https://doi.org/10.1016/j.tcs.2022.02.018}, doi = {10.1016/J.TCS.2022.02.018}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BaldanGPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaldanR22, author = {Paolo Baldan and Alessandra Raffaet{\`{a}}}, title = {Minimisation of event structures}, journal = {Theor. Comput. Sci.}, volume = {935}, pages = {174--199}, year = {2022}, url = {https://doi.org/10.1016/j.tcs.2022.09.006}, doi = {10.1016/J.TCS.2022.09.006}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaldanR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-09872, author = {Paolo Baldan and Richard Eggert and Barbara K{\"{o}}nig and Tommaso Padoan}, title = {A Lattice-Theoretical View of Strategy Iteration}, journal = {CoRR}, volume = {abs/2207.09872}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.09872}, doi = {10.48550/ARXIV.2207.09872}, eprinttype = {arXiv}, eprint = {2207.09872}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-09872.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} }
@inproceedings{DBLP:conf/fossacs/BaldanE0P21, author = {Paolo Baldan and Richard Eggert and Barbara K{\"{o}}nig and Tommaso Padoan}, editor = {Stefan Kiefer and Christine Tasson}, title = {Fixpoint Theory - Upside Down}, booktitle = {Foundations of Software Science and Computation Structures - 24th International Conference, {FOSSACS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12650}, pages = {62--81}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-71995-1\_4}, doi = {10.1007/978-3-030-71995-1\_4}, timestamp = {Fri, 14 May 2021 08:34:11 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaldanE0P21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BaldanRZ21, author = {Paolo Baldan and Francesco Ranzato and Linpeng Zhang}, editor = {Nikhil Bansal and Emanuela Merelli and James Worrell}, title = {A Rice's Theorem for Abstract Semantics}, booktitle = {48th International Colloquium on Automata, Languages, and Programming, {ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)}, series = {LIPIcs}, volume = {198}, pages = {117:1--117:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.117}, doi = {10.4230/LIPICS.ICALP.2021.117}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BaldanRZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BaldanCP21, author = {Paolo Baldan and Alberto Carraro and Tommaso Padoan}, editor = {Filippo Bonchi and Simon J. Puglisi}, title = {(Un)Decidability for History Preserving True Concurrent Logics}, booktitle = {46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia}, series = {LIPIcs}, volume = {202}, pages = {13:1--13:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.13}, doi = {10.4230/LIPICS.MFCS.2021.13}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BaldanCP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-08184, author = {Paolo Baldan and Richard Eggert and Barbara K{\"{o}}nig and Tommaso Padoan}, title = {Fixpoint Theory - Upside Down}, journal = {CoRR}, volume = {abs/2101.08184}, year = {2021}, url = {https://arxiv.org/abs/2101.08184}, eprinttype = {arXiv}, eprint = {2101.08184}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-08184.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-14579, author = {Paolo Baldan and Francesco Ranzato and Linpeng Zhang}, title = {A Rice's Theorem for Abstract Semantics}, journal = {CoRR}, volume = {abs/2105.14579}, year = {2021}, url = {https://arxiv.org/abs/2105.14579}, eprinttype = {arXiv}, eprint = {2105.14579}, timestamp = {Wed, 02 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-14579.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BaldanP20, author = {Paolo Baldan and Tommaso Padoan}, title = {Model Checking a Logic for True Concurrency}, journal = {{ACM} Trans. Comput. Log.}, volume = {21}, number = {4}, pages = {34:1--34:49}, year = {2020}, url = {https://doi.org/10.1145/3412853}, doi = {10.1145/3412853}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BaldanP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Baldan0P20, author = {Paolo Baldan and Barbara K{\"{o}}nig and Tommaso Padoan}, editor = {Igor Konnov and Laura Kov{\'{a}}cs}, title = {Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations}, booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)}, series = {LIPIcs}, volume = {171}, pages = {25:1--25:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.25}, doi = {10.4230/LIPICS.CONCUR.2020.25}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Baldan0P20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-08877, author = {Paolo Baldan and Barbara K{\"{o}}nig and Tommaso Padoan}, title = {Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations}, journal = {CoRR}, volume = {abs/2003.08877}, year = {2020}, url = {https://arxiv.org/abs/2003.08877}, eprinttype = {arXiv}, eprint = {2003.08877}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-08877.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} }
@article{DBLP:journals/pacmpl/BaldanKMP19, author = {Paolo Baldan and Barbara K{\"{o}}nig and Christina Mika{-}Michalski and Tommaso Padoan}, title = {Fixpoint games on continuous lattices}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {26:1--26:29}, year = {2019}, url = {https://doi.org/10.1145/3290339}, doi = {10.1145/3290339}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BaldanKMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BaldanR19, author = {Paolo Baldan and Alessandra Raffaet{\`{a}}}, editor = {Arkadev Chattopadhyay and Paul Gastin}, title = {Minimisation of Event Structures}, 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 = {30:1--30:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.30}, doi = {10.4230/LIPICS.FSTTCS.2019.30}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BaldanR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-07042, author = {Paolo Baldan and Alessandra Raffaet{\`{a}}}, title = {Minimisation of Event Structures}, journal = {CoRR}, volume = {abs/1907.07042}, year = {2019}, url = {http://arxiv.org/abs/1907.07042}, eprinttype = {arXiv}, eprint = {1907.07042}, timestamp = {Tue, 23 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-07042.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BaldanBBCHS18, author = {Paolo Baldan and Martina Bocci and Daniele Brigolin and Nicoletta Cocco and Monika Heiner and Marta Simeoni}, title = {Petri Nets for Modelling and Analysing Trophic Networks}, journal = {Fundam. Informaticae}, volume = {160}, number = {1-2}, pages = {27--52}, year = {2018}, url = {https://doi.org/10.3233/FI-2018-1673}, doi = {10.3233/FI-2018-1673}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/BaldanBBCHS18.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/lmcs/BaldanBKK18, author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"{o}}nig}, title = {Coalgebraic Behavioral Metrics}, journal = {Log. Methods Comput. Sci.}, volume = {14}, number = {3}, year = {2018}, url = {https://doi.org/10.23638/LMCS-14(3:20)2018}, doi = {10.23638/LMCS-14(3:20)2018}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BaldanBKK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaldanL18, author = {Paolo Baldan and Alberto Lluch{-}Lafuente}, title = {Many-to-many information flow policies}, journal = {Sci. Comput. Program.}, volume = {168}, pages = {118--141}, year = {2018}, url = {https://doi.org/10.1016/j.scico.2018.08.003}, doi = {10.1016/J.SCICO.2018.08.003}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BaldanL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaldanB18, author = {Paolo Baldan and Alessandro Beggiato}, title = {Multilevel transitive and intransitive non-interference, causally}, journal = {Theor. Comput. Sci.}, volume = {706}, pages = {54--82}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2017.10.004}, doi = {10.1016/J.TCS.2017.10.004}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaldanB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BaldanP18, author = {Paolo Baldan and Tommaso Padoan}, editor = {Christel Baier and Ugo Dal Lago}, title = {Automata for True Concurrency Properties}, booktitle = {Foundations of Software Science and Computation Structures - 21st International Conference, {FOSSACS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10803}, pages = {165--182}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89366-2\_9}, doi = {10.1007/978-3-319-89366-2\_9}, timestamp = {Sun, 04 Aug 2024 19:40:23 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaldanP18.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/corr/abs-1810-11404, author = {Paolo Baldan and Barbara K{\"{o}}nig and Tommaso Padoan and Christina Mika{-}Michalski}, title = {Fixpoint Games on Continuous Lattices}, journal = {CoRR}, volume = {abs/1810.11404}, year = {2018}, url = {http://arxiv.org/abs/1810.11404}, eprinttype = {arXiv}, eprint = {1810.11404}, timestamp = {Wed, 31 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-11404.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanG17, author = {Paolo Baldan and Daniele Gorla}, title = {Preface}, journal = {Inf. Comput.}, volume = {252}, pages = {1}, year = {2017}, url = {https://doi.org/10.1016/j.ic.2016.03.001}, doi = {10.1016/J.IC.2016.03.001}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BaldanG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BaldanBL17, author = {Paolo Baldan and Alessandro Beggiato and Alberto Lluch{-}Lafuente}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Many-to-Many Information Flow Policies}, 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 = {159--177}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_9}, doi = {10.1007/978-3-319-59746-1\_9}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BaldanBL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BaldanP17, author = {Paolo Baldan and Tommaso Padoan}, editor = {Javier Esparza and Andrzej S. Murawski}, title = {Local Model Checking in a Logic for True Concurrency}, booktitle = {Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 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 = {10203}, pages = {407--423}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54458-7\_24}, doi = {10.1007/978-3-662-54458-7\_24}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaldanP17.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} }
@article{DBLP:journals/corr/abs-1712-07511, author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"{o}}nig}, title = {Coalgebraic Behavioral Metrics}, journal = {CoRR}, volume = {abs/1712.07511}, year = {2017}, url = {http://arxiv.org/abs/1712.07511}, eprinttype = {arXiv}, eprint = {1712.07511}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-07511.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/Armas-Cervantes16, author = {Abel Armas{-}Cervantes and Paolo Baldan and Marlon Dumas and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos}, title = {Diagnosing behavioral differences between business process models: An approach based on event structures}, journal = {Inf. Syst.}, volume = {56}, pages = {304--325}, year = {2016}, url = {https://doi.org/10.1016/j.is.2015.09.009}, doi = {10.1016/J.IS.2015.09.009}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/is/Armas-Cervantes16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Armas-Cervantes16, author = {Abel Armas{-}Cervantes and Paolo Baldan and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos}, title = {Reduction of event structures under history preserving bisimulation}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {6}, pages = {1110--1130}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2015.10.004}, doi = {10.1016/J.JLAMP.2015.10.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Armas-Cervantes16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BaldanB16, author = {Paolo Baldan and Alessandro Beggiato}, editor = {Alberto Lluch{-}Lafuente and Jos{\'{e}} Proen{\c{c}}a}, title = {Multilevel Transitive and Intransitive Non-interference, Causally}, booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9686}, pages = {1--17}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39519-7\_1}, doi = {10.1007/978-3-319-39519-7\_1}, timestamp = {Sat, 05 Sep 2020 17:56:31 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BaldanB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BaldanC15, author = {Paolo Baldan and Alberto Carraro}, title = {A Causal View on Non-Interference}, journal = {Fundam. Informaticae}, volume = {140}, number = {1}, pages = {1--38}, year = {2015}, url = {https://doi.org/10.3233/FI-2015-1243}, doi = {10.3233/FI-2015-1243}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BaldanC15.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/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/BaldanBBCS15, author = {Paolo Baldan and Martina Bocci and Daniele Brigolin and Nicoletta Cocco and Marta Simeoni}, editor = {Monika Heiner and Annegret Katrin Wagler}, title = {Petri nets for modelling and analysing trophic networks}, booktitle = {Proceedings of the 6th International Workshop on Biological Processes {\&} Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny {(PETRI} {NETS} 2015), Brussels, Belgium, June 22, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1373}, pages = {21--36}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1373/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/BaldanBBCS15.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/calco/BaldanBK015, author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"{o}}nig}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Towards Trace Metrics via Functor Lifting}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {35--49}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.35}, doi = {10.4230/LIPICS.CALCO.2015.35}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/BaldanBK015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BaldanBK015, author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"{o}}nig}, title = {Towards Trace Metrics via Functor Lifting}, journal = {CoRR}, volume = {abs/1505.08105}, year = {2015}, url = {http://arxiv.org/abs/1505.08105}, eprinttype = {arXiv}, eprint = {1505.08105}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BaldanBK015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BaldanC14, author = {Paolo Baldan and Silvia Crafa}, title = {A Logic for True Concurrency}, journal = {J. {ACM}}, volume = {61}, number = {4}, pages = {24:1--24:36}, year = {2014}, url = {https://doi.org/10.1145/2629638}, doi = {10.1145/2629638}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BaldanC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BaldanCHKS14, author = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"{o}}nig and Pawel Sobocinski}, title = {Processes and unfoldings: concurrent computations in adhesive categories}, journal = {Math. Struct. Comput. Sci.}, volume = {24}, number = {4}, year = {2014}, url = {https://doi.org/10.1017/S096012951200031X}, doi = {10.1017/S096012951200031X}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BaldanCHKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BaldanC14, author = {Paolo Baldan and Silvia Crafa}, editor = {Jacques Garrigue}, title = {Hereditary History-Preserving Bisimilarity: Logics and Automata}, booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS} 2014, Singapore, November 17-19, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8858}, pages = {469--488}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-12736-1\_25}, doi = {10.1007/978-3-319-12736-1\_25}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BaldanC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BaldanC14, author = {Paolo Baldan and Alberto Carraro}, editor = {Gianfranco Ciardo and Ekkart Kindler}, title = {Non-interference by Unfolding}, booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8489}, pages = {190--209}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-07734-5\_11}, doi = {10.1007/978-3-319-07734-5\_11}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/BaldanC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/ArmasBDG14, author = {Abel Armas and Paolo Baldan and Marlon Dumas and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos}, editor = {Lior Limonad and Barbara Weber}, title = {BP-Diff: {A} Tool for Behavioral Comparison of Business Process Models}, booktitle = {Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management {(BPM} 2014), Eindhoven, The Netherlands, September 10, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1295}, pages = {1}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1295/preface.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/ArmasBDG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/Armas-CervantesBDG14, author = {Abel Armas{-}Cervantes and Paolo Baldan and Marlon Dumas and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos}, editor = {Shazia Wasim Sadiq and Pnina Soffer and Hagen V{\"{o}}lzer}, title = {Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures}, booktitle = {Business Process Management - 12th International Conference, {BPM} 2014, Haifa, Israel, September 7-11, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8659}, pages = {267--282}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10172-9\_17}, doi = {10.1007/978-3-319-10172-9\_17}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/Armas-CervantesBDG14.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} }
@inproceedings{DBLP:conf/facs2/BaldanBC14, author = {Paolo Baldan and Francesco Burato and Alberto Carraro}, editor = {Ivan Lanese and Eric Madelaine}, title = {Intransitive Non-Interference by Unfolding}, booktitle = {Formal Aspects of Component Software - 11th International Symposium, {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8997}, pages = {269--287}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15317-9\_17}, doi = {10.1007/978-3-319-15317-9\_17}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/BaldanBC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BaldanBKK14, author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"{o}}nig}, editor = {Venkatesh Raman and S. P. Suresh}, title = {Behavioral Metrics via Functor Lifting}, booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014, New Delhi, India}, series = {LIPIcs}, volume = {29}, pages = {403--415}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2014}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.403}, doi = {10.4230/LIPICS.FSTTCS.2014.403}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BaldanBKK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/2014, editor = {Paolo Baldan and Daniele Gorla}, title = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference, {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8704}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44584-6}, doi = {10.1007/978-3-662-44584-6}, isbn = {978-3-662-44583-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Armas-CervantesBG14, author = {Abel Armas{-}Cervantes and Paolo Baldan and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos}, title = {Reduction of Event Structures under History Preserving Bisimulation}, journal = {CoRR}, volume = {abs/1403.7181}, year = {2014}, url = {http://arxiv.org/abs/1403.7181}, eprinttype = {arXiv}, eprint = {1403.7181}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Armas-CervantesBG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BaldanBKK14, author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"{o}}nig}, title = {Behavioral Metrics via Functor Lifting}, journal = {CoRR}, volume = {abs/1410.3385}, year = {2014}, url = {http://arxiv.org/abs/1410.3385}, eprinttype = {arXiv}, eprint = {1410.3385}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BaldanBKK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/BaldanCGS13, author = {Paolo Baldan and Nicoletta Cocco and Federica Giummol{\`{e}} and Marta Simeoni}, title = {Comparing Metabolic Pathways through Reactions and Potential Fluxes}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {8}, pages = {1--23}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40465-8\_1}, doi = {10.1007/978-3-642-40465-8\_1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/BaldanCGS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BaldanBCS13, author = {Paolo Baldan and Martina Bocci and Nicoletta Cocco and Marta Simeoni}, editor = {Gianfranco Balbo and Monika Heiner}, title = {Comparing metabolic pathways through potential fluxes: a selective opening approach}, booktitle = {Proceedings of the International Workshop on Biological Processes {\&} Petri Nets, Milano, Italy, June 24, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {988}, pages = {1--15}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-988/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/BaldanBCS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaldanCS13, author = {Paolo Baldan and Nicoletta Cocco and Marta Simeoni}, editor = {Emanuela Merelli and Angelo Troina}, title = {Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta}, booktitle = {Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6, 2013}, series = {Electronic Notes in Theoretical Computer Science}, volume = {299}, pages = {5--13}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.entcs.2013.11.002}, doi = {10.1016/J.ENTCS.2013.11.002}, timestamp = {Tue, 22 Nov 2022 13:29:02 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaldanCS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaldanBCKRS12, author = {Paolo Baldan and Alessandro Bruni and Andrea Corradini and Barbara K{\"{o}}nig and C{\'{e}}sar Rodr{\'{\i}}guez and Stefan Schwoon}, title = {Efficient unfolding of contextual Petri nets}, journal = {Theor. Comput. Sci.}, volume = {449}, pages = {2--22}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2012.04.046}, doi = {10.1016/J.TCS.2012.04.046}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BaldanBCKRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/BaldanBCHK11, author = {Paolo Baldan and Filippo Bonchi and Andrea Corradini and Tobias Heindel and Barbara K{\"{o}}nig}, title = {A lattice-theoretical perspective on adhesive categories}, journal = {J. Symb. Comput.}, volume = {46}, number = {3}, pages = {222--245}, year = {2011}, url = {https://doi.org/10.1016/j.jsc.2010.09.006}, doi = {10.1016/J.JSC.2010.09.006}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsc/BaldanBCHK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/RodriguezSB11, author = {C{\'{e}}sar Rodr{\'{\i}}guez and Stefan Schwoon and Paolo Baldan}, editor = {Joost{-}Pieter Katoen and Barbara K{\"{o}}nig}, title = {Efficient Contextual Unfolding}, booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference, {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6901}, pages = {342--357}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23217-6\_23}, doi = {10.1007/978-3-642-23217-6\_23}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/RodriguezSB11.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} }
@article{DBLP:journals/corr/abs-1110-4094, author = {Paolo Baldan and Silvia Crafa}, title = {A Logic for True Concurrency}, journal = {CoRR}, volume = {abs/1110.4094}, year = {2011}, url = {http://arxiv.org/abs/1110.4094}, eprinttype = {arXiv}, eprint = {1110.4094}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1110-4094.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} }
@article{DBLP:journals/iandc/BaldanCHK10, author = {Paolo Baldan and Thomas Chatain and Stefan Haar and Barbara K{\"{o}}nig}, title = {Unfolding-based diagnosis of systems with an evolving topology}, journal = {Inf. Comput.}, volume = {208}, number = {10}, pages = {1169--1192}, year = {2010}, url = {https://doi.org/10.1016/j.ic.2009.11.009}, doi = {10.1016/J.IC.2009.11.009}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaldanCHK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nc/BaldanCMS10, author = {Paolo Baldan and Nicoletta Cocco and Andrea Marin and Marta Simeoni}, title = {Petri nets for modelling metabolic pathways: a survey}, journal = {Nat. Comput.}, volume = {9}, number = {4}, pages = {955--989}, year = {2010}, url = {https://doi.org/10.1007/s11047-010-9180-6}, doi = {10.1007/S11047-010-9180-6}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nc/BaldanCMS10.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/concur/BaldanC10, author = {Paolo Baldan and Silvia Crafa}, editor = {Paul Gastin and Fran{\c{c}}ois Laroussinie}, title = {A Logic for True Concurrency}, booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference, {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6269}, pages = {147--161}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15375-4\_11}, doi = {10.1007/978-3-642-15375-4\_11}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanBCKS10, author = {Paolo Baldan and Alessandro Bruni and Andrea Corradini and Barbara K{\"{o}}nig and Stefan Schwoon}, editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Sch{\"{u}}rr}, title = {On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars}, 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 = {91--106}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15928-2\_7}, doi = {10.1007/978-3-642-15928-2\_7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanBCKS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/BaldanB10, author = {Paolo Baldan and Clara Bertolissi}, editor = {Till Mossakowski and Hans{-}J{\"{o}}rg Kreowski}, title = {Sharing in the Graph Rewriting Calculus}, 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 = {27--41}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-28412-0\_4}, doi = {10.1007/978-3-642-28412-0\_4}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BaldanB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/BaldanCHKS09, author = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"{o}}nig and Pawel Sobocinski}, editor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, title = {Unfolding Grammars in Adhesive Categories}, booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5728}, pages = {350--366}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03741-2\_24}, doi = {10.1007/978-3-642-03741-2\_24}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/BaldanCHKS09.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} }
@article{DBLP:journals/eceasst/BaldanK08, author = {Paolo Baldan and Barbara K{\"{o}}nig}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {14}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.14.188.179}, doi = {10.14279/TUJ.ECEASST.14.188.179}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BaldanK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanCK08, author = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig}, title = {A framework for the verification of infinite-state graph transformation systems}, journal = {Inf. Comput.}, volume = {206}, number = {7}, pages = {869--907}, year = {2008}, url = {https://doi.org/10.1016/j.ic.2008.04.002}, doi = {10.1016/J.IC.2008.04.002}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BaldanCK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BaldanCEHK08, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, journal = {Log. Methods Comput. Sci.}, volume = {4}, number = {4}, year = {2008}, url = {https://doi.org/10.2168/LMCS-4(4:3)2008}, doi = {10.2168/LMCS-4(4:3)2008}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BaldanCEHK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/BaldanCKS08, author = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig and Stefan Schwoon}, title = {McMillan's Complete Prefix for Contextual Nets}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {1}, pages = {199--220}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89287-8\_12}, doi = {10.1007/978-3-540-89287-8\_12}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/BaldanCKS08.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/birthday/BaldanCK08, author = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig}, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'{e}} Meseguer}, title = {Unfolding Graph Transformation Systems: Theory and Applications to Verification}, 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 = {16--36}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68679-8\_3}, doi = {10.1007/978-3-540-68679-8\_3}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaldanCK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanCHK08, author = {Paolo Baldan and Thomas Chatain and Stefan Haar and Barbara K{\"{o}}nig}, editor = {Franck van Breugel and Marsha Chechik}, title = {Unfolding-Based Diagnosis of Systems with an Evolving Topology}, booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference, {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5201}, pages = {203--217}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85361-9\_19}, doi = {10.1007/978-3-540-85361-9\_19}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanCHK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/RangelLKEB08, author = {Guilherme Rangel and Leen Lambers and Barbara K{\"{o}}nig and Hartmut Ehrig and Paolo Baldan}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Behavior Preservation in Model Refactoring Using {DPO} Transformations with 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 = {242--256}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_17}, doi = {10.1007/978-3-540-87405-8\_17}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/RangelLKEB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanCEK08, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Barbara K{\"{o}}nig}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Open Petri Nets: Non-deterministic Processes and Compositionality}, 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 = {257--273}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_18}, doi = {10.1007/978-3-540-87405-8\_18}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanCEK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanK08, author = {Paolo Baldan and Barbara K{\"{o}}nig}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Workshop on Petri Nets and Graph Transformations}, 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 = {467--469}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_34}, doi = {10.1007/978-3-540-87405-8\_34}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0809-4115, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, journal = {CoRR}, volume = {abs/0809.4115}, year = {2008}, url = {http://arxiv.org/abs/0809.4115}, eprinttype = {arXiv}, eprint = {0809.4115}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0809-4115.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanCMR07, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari and Leila Ribeiro}, title = {Unfolding semantics of graph transformation}, journal = {Inf. Comput.}, volume = {205}, number = {5}, pages = {733--782}, year = {2007}, url = {https://doi.org/10.1016/j.ic.2006.11.004}, doi = {10.1016/J.IC.2006.11.004}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BaldanCMR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BaldanBCK07, author = {Paolo Baldan and Clara Bertolissi and Horatiu Cirstea and Claude Kirchner}, title = {A rewriting calculus for cyclic higher-order term graphs}, journal = {Math. Struct. Comput. Sci.}, volume = {17}, number = {3}, pages = {363--406}, year = {2007}, url = {https://doi.org/10.1017/S0960129507006093}, doi = {10.1017/S0960129507006093}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BaldanBCK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaldanBB07, author = {Paolo Baldan and Andrea Bracciali and Roberto Bruni}, title = {A semantic framework for open processes}, journal = {Theor. Comput. Sci.}, volume = {389}, number = {3}, pages = {446--483}, year = {2007}, url = {https://doi.org/10.1016/j.tcs.2007.09.004}, doi = {10.1016/J.TCS.2007.09.004}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaldanBB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ab/BaldanBBB07, author = {Paolo Baldan and Andrea Bracciali and Linda Brodo and Roberto Bruni}, editor = {Hirokazu Anai and Katsuhisa Horimoto and Temur Kutsia}, title = {Deducing Interactions in Partially Unspecified Biological Systems}, booktitle = {Algebraic Biology, Second International Conference, {AB} 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4545}, pages = {262--276}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73433-8\_19}, doi = {10.1007/978-3-540-73433-8\_19}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/ab/BaldanBBB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/BaldanCEHK07, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"{o}}nig}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, 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 = {126--142}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73859-6\_9}, doi = {10.1007/978-3-540-73859-6\_9}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/BaldanCEHK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaldanBCK08, author = {Paolo Baldan and Clara Bertolissi and Horatiu Cirstea and Claude Kirchner}, editor = {J{\"{u}}rgen Giesl}, title = {Towards a Sharing Strategy for the Graph Rewriting Calculus}, booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {204}, pages = {111--127}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.03.057}, doi = {10.1016/J.ENTCS.2008.03.057}, timestamp = {Mon, 13 Feb 2023 13:51:35 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaldanBCK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BaldanEPR06, author = {Paolo Baldan and Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Foreword}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {2}, year = {2006}, url = {https://doi.org/10.14279/tuj.eceasst.2.58.30}, doi = {10.14279/TUJ.ECEASST.2.58.30}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BaldanEPR06.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/fossacs/BaldanHK06, author = {Paolo Baldan and Stefan Haar and Barbara K{\"{o}}nig}, editor = {Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {Distributed Unfolding of Petri Nets}, booktitle = {Foundations of Software Science and Computation Structures, 9th International Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 25-31, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3921}, pages = {126--141}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11690634\_9}, doi = {10.1007/11690634\_9}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaldanHK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BaldanCHKS06, author = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"{o}}nig and Pawel Sobocinski}, editor = {Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {Processes for Adhesive Rewriting Systems}, booktitle = {Foundations of Software Science and Computation Structures, 9th International Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 25-31, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3921}, pages = {202--216}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11690634\_14}, doi = {10.1007/11690634\_14}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaldanCHKS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanEK06, author = {Paolo Baldan and Hartmut Ehrig and Barbara K{\"{o}}nig}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Composition and Decomposition of {DPO} Transformations with Borrowed Context}, 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 = {153--167}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_12}, doi = {10.1007/11841883\_12}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanEK06.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:conf/gg/BaldanEPR06, author = {Paolo Baldan and Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Workshop on Petri Nets and Graph Transformations}, 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 = {467--469}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_35}, doi = {10.1007/11841883\_35}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanEPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/BaldanCKL06, author = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig and Alberto Lluch{-}Lafuente}, editor = {Jos{\'{e}} Luiz Fiadeiro and Pierre{-}Yves Schobbens}, title = {A Temporal Graph Logic for Verification of Graph Transformation Systems}, booktitle = {Recent Trends in Algebraic Development Techniques, 18th International Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4409}, pages = {1--20}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-71998-4\_1}, doi = {10.1007/978-3-540-71998-4\_1}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BaldanCKL06.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/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} }
@article{DBLP:journals/mscs/BaldanCEH05, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel}, title = {Compositional semantics for open Petri nets based on deterministic processe}, journal = {Math. Struct. Comput. Sci.}, volume = {15}, number = {1}, pages = {1--35}, year = {2005}, url = {https://doi.org/10.1017/S0960129504004311}, doi = {10.1017/S0960129504004311}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BaldanCEH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BaldanC05, author = {Paolo Baldan and Andrea Corradini}, editor = {Hans{-}J{\"{o}}rg Kreowski and Ugo Montanari and Fernando Orejas and Grzegorz Rozenberg and Gabriele Taentzer}, title = {On the Concurrent Semantics of Algebraic Graph Grammars}, 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 = {3--23}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31847-7\_1}, doi = {10.1007/978-3-540-31847-7\_1}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaldanC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaldanBCP04, author = {Paolo Baldan and Nadia Busi and Andrea Corradini and G. Michele Pinna}, title = {Domain and event structure semantics for Petri nets with read and inhibitor arcs}, journal = {Theor. Comput. Sci.}, volume = {323}, number = {1-3}, pages = {129--189}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2004.04.001}, doi = {10.1016/J.TCS.2004.04.001}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BaldanBCP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanCK04, author = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig}, editor = {Philippa Gardner and Nobuko Yoshida}, title = {Verifying Finite-State Graph Grammars: An Unfolding-Based Approach}, booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3170}, pages = {83--98}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-28644-8\_6}, doi = {10.1007/978-3-540-28644-8\_6}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanCK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gc/BaldanBB04, author = {Paolo Baldan and Andrea Bracciali and Roberto Bruni}, editor = {Corrado Priami and Paola Quaglia}, title = {Symbolic Equivalences for Open Systems}, 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 = {1--17}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31794-4\_1}, doi = {10.1007/978-3-540-31794-4\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/gc/BaldanBB04.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:conf/gg/BaldanKS04, author = {Paolo Baldan and Barbara K{\"{o}}nig and Ingo St{\"{u}}rmer}, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems}, booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3256}, pages = {194--209}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30203-2\_15}, doi = {10.1007/978-3-540-30203-2\_15}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanKS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaldanCM05, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, editor = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Relating {SPO} and {DPO} graph rewriting with Petri nets having read, inhibitor and reset arcs}, booktitle = {Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {2}, pages = {5--28}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.003}, doi = {10.1016/J.ENTCS.2005.02.003}, timestamp = {Mon, 12 Dec 2022 14:22:43 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaldanCM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BertolissiBCK05, author = {Clara Bertolissi and Paolo Baldan and Horatiu Cirstea and Claude Kirchner}, editor = {Maribel Fern{\'{a}}ndez}, title = {A Rewriting Calculus for Cyclic Higher-order Term Graphs}, 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 = {21--41}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.01.034}, doi = {10.1016/J.ENTCS.2005.01.034}, timestamp = {Mon, 12 Dec 2022 15:00:58 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BertolissiBCK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BaldanKR04, author = {Paolo Baldan and Barbara K{\"{o}}nig and Arend Rensink}, editor = {Barbara K{\"{o}}nig and Ugo Montanari and Philippa Gardner}, title = {Summary 2: Graph Grammar Verification through Abstraction}, booktitle = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004}, series = {Dagstuhl Seminar Proceedings}, volume = {04241}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/29}, timestamp = {Thu, 10 Jun 2021 13:02:09 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BaldanKR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AlessiBH03, author = {Fabio Alessi and Paolo Baldan and Furio Honsell}, title = {A category of compositional domain-models for separable Stone spaces}, journal = {Theor. Comput. Sci.}, volume = {290}, number = {1}, pages = {599--635}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(02)00037-3}, doi = {10.1016/S0304-3975(02)00037-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AlessiBH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BaldanKK03, author = {Paolo Baldan and Barbara K{\"{o}}nig and Bernhard K{\"{o}}nig}, editor = {Radhia Cousot}, title = {A Logic for Analyzing Abstractions of Graph Transformation Systems}, booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2694}, pages = {255--272}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44898-5\_14}, doi = {10.1007/3-540-44898-5\_14}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/BaldanKK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaldanCKK04, author = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig and Bernhard K{\"{o}}nig}, editor = {Furio Honsell and Marina Lenisa and Marino Miculan}, title = {Verifying a Behavioural Logic for Graph Transformation Systems}, 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 = {5--24}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.08.018}, doi = {10.1016/J.ENTCS.2004.08.018}, timestamp = {Fri, 09 Dec 2022 11:43:33 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaldanCKK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/BaldanBB02, author = {Paolo Baldan and Andrea Bracciali and Roberto Bruni}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Bisimulation by Unification}, booktitle = {Algebraic Methodology and Software Technology, 9th International Conference, {AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2422}, pages = {254--270}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45719-4\_18}, doi = {10.1007/3-540-45719-4\_18}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/BaldanBB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BaldanMRT02, author = {Paolo Baldan and Paolo Mancarella and Alessandra Raffaet{\`{a}} and Franco Turini}, editor = {Antonis C. Kakas and Fariba Sadri}, title = {MuTACLP: {A} Language for Temporal Reasoning with Multiple Theories}, booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {2408}, pages = {1--40}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45632-5\_1}, doi = {10.1007/3-540-45632-5\_1}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaldanMRT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BaldanCM02, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, editor = {Wilfried Brauer and Hartmut Ehrig and Juhani Karhum{\"{a}}ki and Arto Salomaa}, title = {Bisimulation Equivalences for Graph Grammars}, booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]}, series = {Lecture Notes in Computer Science}, volume = {2300}, pages = {158--190}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45711-9\_11}, doi = {10.1007/3-540-45711-9\_11}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaldanCM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EhrigHPBH02, author = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg and Paolo Baldan and Reiko Heckel}, editor = {Wilfried Brauer and Hartmut Ehrig and Juhani Karhum{\"{a}}ki and Arto Salomaa}, title = {High-Level Net Processes}, booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]}, series = {Lecture Notes in Computer Science}, volume = {2300}, pages = {191--219}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45711-9\_12}, doi = {10.1007/3-540-45711-9\_12}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/EhrigHPBH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanK02, author = {Paolo Baldan and Barbara K{\"{o}}nig}, editor = {Andrea Corradini and Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Approximating the Behaviour of Graph Transformation Systems}, booktitle = {Graph Transformation, First International Conference, {ICGT} 2002, Barcelona, Spain, October 7-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2505}, pages = {14--29}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45832-8\_4}, doi = {10.1007/3-540-45832-8\_4}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanK02.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:conf/wadt/BaldanBM02, author = {Paolo Baldan and Roberto Bruni and Ugo Montanari}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, title = {Pre-nets, Read Arcs and Unfolding: {A} Functorial Presentation}, 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 = {145--164}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40020-2\_8}, doi = {10.1007/978-3-540-40020-2\_8}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BaldanBM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/BaldanCMR02, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari and Leila Ribeiro}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, title = {Coreflective Concurrent Semantics for Single-Pushout Graph Grammars}, 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 = {165--184}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40020-2\_9}, doi = {10.1007/978-3-540-40020-2\_9}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BaldanCMR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanCM01, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, title = {Contextual Petri Nets, Asymmetric Event Structures, and Processes}, journal = {Inf. Comput.}, volume = {171}, number = {1}, pages = {1--49}, year = {2001}, url = {https://doi.org/10.1006/inco.2001.3060}, doi = {10.1006/INCO.2001.3060}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BaldanCM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanCK01, author = {Paolo Baldan and Andrea Corradini and Barbara K{\"{o}}nig}, editor = {Kim Guldstrand Larsen and Mogens Nielsen}, title = {A Static Analysis Technique for Graph Transformation Systems}, booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2154}, pages = {381--395}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44685-0\_26}, doi = {10.1007/3-540-44685-0\_26}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanCK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanCEH01, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel}, editor = {Kim Guldstrand Larsen and Mogens Nielsen}, title = {Compositional Modeling of Reactive Systems Using Open Nets}, booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2154}, pages = {502--518}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44685-0\_34}, doi = {10.1007/3-540-44685-0\_34}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanCEH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Baldan01, author = {Paolo Baldan}, editor = {Michel Bauderon and Andrea Corradini}, title = {Concurrency for Graph Grammars in a Petri net shell}, booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {51}, pages = {65--82}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80192-0}, doi = {10.1016/S1571-0661(04)80192-0}, timestamp = {Wed, 30 Nov 2022 11:42:16 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Baldan01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanBCP00, author = {Paolo Baldan and Nadia Busi and Andrea Corradini and G. Michele Pinna}, editor = {Catuscia Palamidessi}, title = {Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs}, booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1877}, pages = {442--457}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44618-4\_32}, doi = {10.1007/3-540-44618-4\_32}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanBCP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaldanGR99, author = {Paolo Baldan and Giorgio Ghelli and Alessandra Raffaet{\`{a}}}, title = {Basic Theory of F-Bounded Quantification}, journal = {Inf. Comput.}, volume = {153}, number = {1}, pages = {173--237}, year = {1999}, url = {https://doi.org/10.1006/inco.1999.2802}, doi = {10.1006/INCO.1999.2802}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaldanGR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BaldranCM99, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, editor = {Wolfgang Thomas}, title = {Unfolding and Event Structure Semantics for Graph Grammars}, booktitle = {Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1578}, pages = {73--89}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49019-1\_6}, doi = {10.1007/3-540-49019-1\_6}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaldranCM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/BaldanCM99, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, editor = {Didier Bert and Christine Choppy and Peter D. Mosses}, title = {History Preserving Bisimulation for Contextual Nets}, booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18, 1999, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1827}, pages = {291--310}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-540-44616-3\_17}, doi = {10.1007/978-3-540-44616-3\_17}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BaldanCM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AlessiB98, author = {Fabio Alessi and Paolo Baldan}, title = {A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space}, journal = {Theor. Comput. Sci.}, volume = {193}, number = {1-2}, pages = {113--127}, year = {1998}, url = {https://doi.org/10.1016/S0304-3975(96)00335-0}, doi = {10.1016/S0304-3975(96)00335-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AlessiB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BaldanCM98, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, editor = {Maurice Nivat}, title = {An Event Structure Semantics for {P/T} Contextual Nets: Asymmetric Event Structures}, 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 = {63--80}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0053542}, doi = {10.1007/BFB0053542}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaldanCM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BaldanCM98, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel}, title = {Concatenable Graph Processes: Relating Processes and Derivation Traces}, 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 = {283--295}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055061}, doi = {10.1007/BFB0055061}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BaldanCM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/BaldanCM98, author = {Paolo Baldan and Andrea Corradini and Ugo Montanari}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Unfolding of Double-Pushout Graph Grammars is a Coreflection}, 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 = {145--163}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-46464-8\_11}, doi = {10.1007/978-3-540-46464-8\_11}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/BaldanCM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/AlessiBH97, author = {Fabio Alessi and Paolo Baldan and Furio Honsell}, editor = {Michel Bidoit and Max Dauchet}, title = {Partializing Stone Spaces using {SFP} Domains (Extended Abstract)}, booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1214}, pages = {478--489}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0030620}, doi = {10.1007/BFB0030620}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/AlessiBH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AlessiBB95, author = {Fabio Alessi and Paolo Baldan and Gianna Bell{\`{e}}}, title = {A Fixed-Point Theorem in a Category of Compact Metric Spaces}, journal = {Theor. Comput. Sci.}, volume = {146}, number = {1{\&}2}, pages = {311--320}, year = {1995}, url = {https://doi.org/10.1016/0304-3975(95)00015-O}, doi = {10.1016/0304-3975(95)00015-O}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AlessiBB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AlessiBBR95, author = {Fabio Alessi and Paolo Baldan and Gianna Bell{\`{e}} and Jan J. M. M. Rutten}, editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove}, title = {Solutions of functorial and non-functorial metric domain equations}, booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995}, series = {Electronic Notes in Theoretical Computer Science}, volume = {1}, pages = {1--12}, publisher = {Elsevier}, year = {1995}, url = {https://doi.org/10.1016/S1571-0661(04)00001-5}, doi = {10.1016/S1571-0661(04)00001-5}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlessiBBR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.