Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paolo Baldan
@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 = {Thu, 02 Feb 2023 12:49:12 +0100},
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 = {Mon, 04 Sep 2023 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 = {Tue, 15 Feb 2022 07:54:27 +0100},
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, 25 Aug 2021 01:00: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 = {Thu, 16 Sep 2021 01:00: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 = {Thu, 19 Dec 2019 00:00:00 +0100},
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 = {Fri, 31 Jan 2020 21:32:20 +0100},
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 = {Fri, 12 Feb 2021 00:00:00 +0100},
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 = {Fri, 18 Sep 2020 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 = {Tue, 14 May 2019 10:00:45 +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 = {Tue, 14 May 2019 10:00:42 +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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
