default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Giorgio Bacci
@inproceedings{DBLP:conf/qestformats/BacciBLSTTV24,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Giuseppe Squillace and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Jane Hillston and
Sadegh Soudjani and
Masaki Waga},
title = {Dissimilarity for Linear Dynamical Systems},
booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis
of Timed Systems - First International Joint Conference, {QEST+FORMATS}
2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14996},
pages = {125--142},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-68416-6\_8},
doi = {10.1007/978-3-031-68416-6\_8},
timestamp = {Mon, 09 Sep 2024 17:03:57 +0200},
biburl = {https://dblp.org/rec/conf/qestformats/BacciBLSTTV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-03543,
author = {Giorgio Bacci and
Radu Mardare and
Prakash Panangaden and
Gordon D. Plotkin},
title = {Polynomial Lawvere Logic},
journal = {CoRR},
volume = {abs/2402.03543},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.03543},
doi = {10.48550/ARXIV.2402.03543},
eprinttype = {arXiv},
eprint = {2402.03543},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-03543.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2302-01224,
author = {Giorgio Bacci and
Radu Mardare and
Prakash Panangaden and
Gordon D. Plotkin},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Propositional Logics for the Lawvere Quantale},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12292},
doi = {10.46298/ENTICS.12292},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bacci0JL22,
author = {Giorgio Bacci and
Giovanni Bacci and
Mathias Claus Jensen and
Kim G. Larsen},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Convex Lattice Equation Systems},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {438--455},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_21},
doi = {10.1007/978-3-031-22337-2\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bacci0JL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-11784,
author = {Giorgio Bacci and
Radu Mardare and
Prakash Panangaden and
Gordon D. Plotkin},
title = {Sum and Tensor of Quantitative Effects},
journal = {CoRR},
volume = {abs/2212.11784},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.11784},
doi = {10.48550/ARXIV.2212.11784},
eprinttype = {arXiv},
eprint = {2212.11784},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BacciBLMTB21,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare and
Qiyi Tang and
Franck van Breugel},
title = {Computing Probabilistic Bisimilarity Distances for Probabilistic Automata},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7147},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BacciBLMTB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BacciMPP21,
author = {Giorgio Bacci and
Radu Mardare and
Prakash Panangaden and
Gordon D. Plotkin},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {Tensor of Quantitative Equational Theories},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {7:1--7:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.7},
doi = {10.4230/LIPICS.CALCO.2021.7},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BacciMPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0001BLTTV21,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Efficient Local Computation of Differential Bisimulations via Coupling
and Up-to Methods},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470555},
doi = {10.1109/LICS52264.2021.9470555},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0001BLTTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13160,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Efficient Local Computation of Differential Bisimulations via Coupling
and Up-to Methods},
journal = {CoRR},
volume = {abs/2104.13160},
year = {2021},
url = {https://arxiv.org/abs/2104.13160},
eprinttype = {arXiv},
eprint = {2104.13160},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13160.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Jaeger0BLJ20,
author = {Manfred Jaeger and
Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Peter Gj{\o}l Jensen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Approximating Euclidean by Imprecise Markov Decision Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {275--289},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_15},
doi = {10.1007/978-3-030-61362-4\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Jaeger0BLJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-14923,
author = {Manfred Jaeger and
Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Peter Gj{\o}l Jensen},
title = {Approximating Euclidean by Imprecise Markov Decision Processes},
journal = {CoRR},
volume = {abs/2006.14923},
year = {2020},
url = {https://arxiv.org/abs/2006.14923},
eprinttype = {arXiv},
eprint = {2006.14923},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-14923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BacciBLM19,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
title = {Converging from branching to linear metrics on Markov chains},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {1},
pages = {3--37},
year = {2019},
url = {https://doi.org/10.1017/S0960129517000160},
doi = {10.1017/S0960129517000160},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BacciBLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BacciBLMTB19,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare and
Qiyi Tang and
Franck van Breugel},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Computing Probabilistic Bisimilarity Distances for Probabilistic Automata},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {9:1--9:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.9},
doi = {10.4230/LIPICS.CONCUR.2019.9},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BacciBLMTB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-11243,
author = {Mathias Ruggaard Pedersen and
Giorgio Bacci and
Kim G. Larsen},
editor = {Alessandro Aldini and
Herbert Wiklicky},
title = {A Faster-Than Relation for Semi-Markov Decision Processes},
booktitle = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
series = {{EPTCS}},
volume = {312},
pages = {29--42},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.312.3},
doi = {10.4204/EPTCS.312.3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01768,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare and
Qiyi Tang and
Franck van Breugel},
title = {Computing Probabilistic Bisimilarity Distances for Probabilistic Automata},
journal = {CoRR},
volume = {abs/1907.01768},
year = {2019},
url = {http://arxiv.org/abs/1907.01768},
eprinttype = {arXiv},
eprint = {1907.01768},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-01768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BacciBLM18,
author = {Giovanni Bacci and
Giorgio Bacci and
Kim G. Larsen and
Radu Mardare},
title = {On the metric-based approximate minimization of Markov Chains},
journal = {J. Log. Algebraic Methods Program.},
volume = {100},
pages = {36--56},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.05.006},
doi = {10.1016/J.JLAMP.2018.05.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BacciBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BacciBLM18,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
title = {A Complete Quantitative Deduction System for the Bisimilarity Distance
on Markov Chains},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {4},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(4:15)2018},
doi = {10.23638/LMCS-14(4:15)2018},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BacciBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/PedersenFBLM18,
author = {Mathias Ruggaard Pedersen and
Nathana{\"{e}}l Fijalkow and
Giorgio Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Timed Comparisons of Semi-Markov Processes},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {271--283},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_21},
doi = {10.1007/978-3-319-77313-1\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/PedersenFBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BacciFKMPS18,
author = {Giorgio Bacci and
Robert Furber and
Dexter Kozen and
Radu Mardare and
Prakash Panangaden and
Dana S. Scott},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Boolean-Valued Semantics for the Stochastic {\(\lambda\)}-Calculus},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {669--678},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209175},
doi = {10.1145/3209108.3209175},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BacciFKMPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BacciMPP18,
author = {Giorgio Bacci and
Radu Mardare and
Prakash Panangaden and
Gordon D. Plotkin},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {An Algebraic Theory of Markov Processes},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {679--688},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209177},
doi = {10.1145/3209108.3209177},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BacciMPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PedersenBLM18,
author = {Mathias Ruggaard Pedersen and
Giorgio Bacci and
Kim Guldstrand Larsen and
Radu Mardare},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {A Hemimetric Extension of Simulation for Semi-Markov Decision Processes},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {339--355},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_21},
doi = {10.1007/978-3-319-99154-2\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/PedersenBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bacci0LM18,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Sam Staton},
title = {Complete Axiomatization for the Total Variation Distance of Markov
Chains},
booktitle = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
Canada, June 6-9, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {341},
pages = {27--39},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2018.03.014},
doi = {10.1016/J.ENTCS.2018.03.014},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Bacci0LM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-00528,
author = {Giovanni Bacci and
Giorgio Bacci and
Kim G. Larsen and
Radu Mardare},
title = {On the Metric-based Approximate Minimization of Markov Chains},
journal = {CoRR},
volume = {abs/1806.00528},
year = {2018},
url = {http://arxiv.org/abs/1806.00528},
eprinttype = {arXiv},
eprint = {1806.00528},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-00528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Bacci0LM17,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
title = {On-the-Fly Computation of Bisimilarity Distances},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:13)2017},
doi = {10.23638/LMCS-13(2:13)2017},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Bacci0LM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BacciBLM17,
author = {Giovanni Bacci and
Giorgio Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {On the Metric-Based Approximate Minimization of Markov Chains},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {104:1--104:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.104},
doi = {10.4230/LIPICS.ICALP.2017.104},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BacciBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017larsen,
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9},
doi = {10.1007/978-3-319-63121-9},
isbn = {978-3-319-63120-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2017larsen.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BacciBLM17,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
title = {A Complete Quantitative Deduction System for the Bisimilarity Distance
on Markov Chains},
journal = {CoRR},
volume = {abs/1702.02528},
year = {2017},
url = {http://arxiv.org/abs/1702.02528},
eprinttype = {arXiv},
eprint = {1702.02528},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BacciBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BacciBLM17a,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
title = {On-the-Fly Computation of Bisimilarity Distances},
journal = {CoRR},
volume = {abs/1702.08306},
year = {2017},
url = {http://arxiv.org/abs/1702.08306},
eprinttype = {arXiv},
eprint = {1702.08306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BacciBLM17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10216,
author = {Mathias Ruggaard Pedersen and
Nathana{\"{e}}l Fijalkow and
Giorgio Bacci and
Kim Guldstrand Larsen and
Radu Mardare},
title = {Timed Comparisons of Semi-Markov Processes},
journal = {CoRR},
volume = {abs/1711.10216},
year = {2017},
url = {http://arxiv.org/abs/1711.10216},
eprinttype = {arXiv},
eprint = {1711.10216},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10216.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BacciBLM16,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Complete Axiomatization for the Bisimilarity Distance on Markov Chains},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {21:1--21:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.21},
doi = {10.4230/LIPICS.CONCUR.2016.21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BacciBLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BacciM15,
author = {Giorgio Bacci and
Marino Miculan},
title = {Structural operational semantics for continuous state stochastic transition
systems},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {5},
pages = {834--858},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2014.12.003},
doi = {10.1016/J.JCSS.2014.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BacciM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BacciBLM15,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Radu Mardare},
editor = {Andrew M. Pitts},
title = {On the Total Variation Distance of Semi-Markov Chains},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {185--199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_12},
doi = {10.1007/978-3-662-46678-0\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BacciBLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BacciBLM15,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Converging from Branching to Linear Metrics on Markov Chains},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {349--367},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_21},
doi = {10.1007/978-3-319-25150-9\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BacciBLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BacciBLM14,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Radu Mardare},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Bisimulation on Markov Processes over Arbitrary Measurable Spaces},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {76--95},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_4},
doi = {10.1007/978-3-319-06880-0\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BacciBLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BacciMR14,
author = {Giorgio Bacci and
Marino Miculan and
Romeo Rizzi},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {Finding a Forest in a Tree - The Matching Problem for Wide Reactive
Systems},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {17--33},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_2},
doi = {10.1007/978-3-662-45917-1\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BacciMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BacciBLM14,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
title = {Topologies of Stochastic Markov Models: Computational Aspects},
journal = {CoRR},
volume = {abs/1403.6032},
year = {2014},
url = {http://arxiv.org/abs/1403.6032},
eprinttype = {arXiv},
eprint = {1403.6032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BacciBLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Bacci13,
author = {Giorgio Bacci},
title = {Generalized labelled Markov processes, coalgebraically},
school = {University of Udine, Italy},
year = {2013},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=TD15020488},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Bacci13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BacciBLM13,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Computing Behavioral Distances, Compositionally},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {74--85},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_9},
doi = {10.1007/978-3-642-40313-2\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BacciBLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BacciBLM13,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Radu Mardare},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {The BisimDist Library: Efficient Computation of Bisimilarity Distances
for Markovian Models},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {278--281},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_23},
doi = {10.1007/978-3-642-40196-1\_23},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BacciBLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BacciBLM13,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
editor = {Nir Piterman and
Scott A. Smolka},
title = {On-the-Fly Exact Computation of Bisimilarity Distances},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_1},
doi = {10.1007/978-3-642-36742-7\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BacciBLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BacciM12,
author = {Giorgio Bacci and
Marino Miculan},
title = {Measurable stochastics for Brane Calculus},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {117--136},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.055},
doi = {10.1016/J.TCS.2011.12.055},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BacciM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BacciM12,
author = {Giorgio Bacci and
Marino Miculan},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Structural Operational Semantics for Continuous State Probabilistic
Processes},
booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
{CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
31 - April 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7399},
pages = {71--89},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_5},
doi = {10.1007/978-3-642-32784-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/BacciM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BacciDK11,
author = {Giorgio Bacci and
Vincent Danos and
Ohad Kammar},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {On the Statistical Thermodynamics of Reversible Communicating Processes},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {1--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_1},
doi = {10.1007/978-3-642-22944-2\_1},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BacciDK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0488,
author = {Giorgio Bacci and
Marino Miculan},
editor = {Gabriel Ciobanu and
Maciej Koutny},
title = {Measurable Stochastics for Brane Calculus},
booktitle = {Proceedings Fourth Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010},
series = {{EPTCS}},
volume = {40},
pages = {6--22},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.40.2},
doi = {10.4204/EPTCS.40.2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BacciGM09,
author = {Giorgio Bacci and
Davide Grohmann and
Marino Miculan},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {DBtk: {A} Toolkit for Directed Bigraphs},
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 = {413--422},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_28},
doi = {10.1007/978-3-642-03741-2\_28},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/BacciGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-4510,
author = {Giorgio Bacci and
Davide Grohmann and
Marino Miculan},
editor = {Gabriel Ciobanu},
title = {Bigraphical models for protein and membrane interactions},
booktitle = {Proceedings Third Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September
2009},
series = {{EPTCS}},
volume = {11},
pages = {3--18},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.11.1},
doi = {10.4204/EPTCS.11.1},
timestamp = {Tue, 29 Dec 2020 18:21:21 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-4510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-4513,
author = {Giorgio Bacci and
Davide Grohmann and
Marino Miculan},
editor = {Gabriel Ciobanu},
title = {A framework for protein and membrane interactions},
booktitle = {Proceedings Third Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September
2009},
series = {{EPTCS}},
volume = {11},
pages = {19--33},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.11.2},
doi = {10.4204/EPTCS.11.2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-4513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BacciM08,
author = {Giorgio Bacci and
Marino Miculan},
editor = {Vincent Danos and
Mariangiola Dezani},
title = {Undecidability of Model Checking in Brane Logic},
booktitle = {Proceedings of the Third International Workshop on Developments in
Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {3},
pages = {23--37},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.025},
doi = {10.1016/J.ENTCS.2008.10.025},
timestamp = {Thu, 09 Feb 2023 11:01:17 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BacciM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MiculanB06,
author = {Marino Miculan and
Giorgio Bacci},
editor = {Corrado Priami},
title = {Modal Logics for Brane Calculus},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4210},
pages = {1--16},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11885191\_1},
doi = {10.1007/11885191\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/MiculanB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-11 00:33 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:
