Publications

Submitted and/or Accepted for publication

• Sum and Tensor of Quantitative Effects

  Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin.

  (full paper)

Book chapters

• Quantitative Equational Reasoning

  in G. Barthe, J. Katoen, A. Silva editors, Foundations of Probabilistic Programming, Cambridge University Press, ISBN 9781108488518.

  Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin.

  link: hard back version

Conference proceedings

• Propositional Logics for the Lawvere Quantale

  in M. Kerjean and P. Levy editors, Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIX), Electronic Notes in Theoretical Informatics and Computer Science, Volume 3, 2023.

  Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin.

  doi: 10.46298/entics.12292 | (paper) (extended)
• Convex Lattice Equation Systems

  in J-F. Raskin, K. Chatterjee, L. Doyen, R. Majumdar editors, Principles of Systems Design, Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Lecture Notes in Computer Science, Volume 13660, pp. 438-455, 2022.

  Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen.

  doi: 10.1007/978-3-031-22337-2\_21 | (full paper)
• Tensor of Quantitative Equational Theories

  in F. Gadducci and A. Silva editors, Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics, Volume 211, Article No. 7, 2021.

  Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin.

  Best paper award winner doi: 10.4230/LIPIcs.CALCO.2021.7 | (full paper) | (slides)
• Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

  in L. Libkin editor, Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021).

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.

  doi: 10.1109/LICS52264.2021.9470555 | (full paper) | (talk)
• Approximating Euclidian by Markov Decision Processes

  International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020). Lecture Notes in Computer Science, Volume 12476, pp. 275-289, 2020.

  Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Peter Gjřl Jensen.

  doi: 10.1007/978-3-030-61362-4_15 | (preprint)
• A Faster-Than Relation for Semi-Markov Decision Processes

  in A. Aldini and H. Wiklicky editors, Proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019). Electronic Proceedings in Theoretical Computer Science, Volume 312, pp. 29-42, 2019.

  Mathias R. Pedersen, Giorgio Bacci, Kim G. Larsen.

  doi: 10.4204/EPTCS.312.3 | (paper) (preprint)
• Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

  in W. Fokkink and R. van Glabbeek editors, Proceedings of the 30th International Conference on Concurrency Theory (CONCUR 2019). Leibniz International Proceedings in Informatics, Volume 140, Article No. 9, 2019.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel.

  doi: 10.4230/LIPIcs.CONCUR.2019.9 | (full paper)
• A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

  in A. McIver and A. Horvath editors, Proceedings of 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Lecture Notes in Computer Science, Volume 11024, pp. 339-355, 2018.

  Mathias R. Pedersen, Giorgio Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1007/978-3-319-99154-2_21 | (paper)
• An Algebraic Theory of Markov Processes

  in A Dawar and Erich Grädel editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), pp. 679-688, 2018.

  Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin.

  doi: 10.1145/3209108.3209177 | (paper) (slides)
• Boolean-Valued Semantics for the Stochastic λ-Calculus

  in A Dawar and Erich Grädel editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), pp. 669-678, 2018.

  Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott.

  doi: 10.1145/3209108.3209175 | (paper)
• Complete Axiomatization for the Total Variation Distance of Markov chains

  in A. Silva editor, Proceedings of the 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII), Electronic Notes in Theoretical Computer Science, Volume 336, pp. 27-39, 2018.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1016/j.entcs.2018.03.014 | (full paper) (slides)
• Timed Comparisons of Semi-Markov Processes

  in Klein, Martín-Vide, and Shapira editors, Proceedings of 12th International Conference on Language and Automata Theory and Applications (LATA 2018), Lecture Notes in Computer Science, Volume 10792, pp. 271-283, 2018.

  Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1007/978-3-319-77313-1_21 | (paper) (full paper)
• On the Metric-based Approximate Minimization of Markov chains

  in I. Chatzigiannakis, P. Indyk, F. Kuhn, and A. Muscholl editors, Proceedings of 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Leibniz International Proceedings in Informatics, Volume 80, Article No. 104, 2017.

  Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.4230/LIPIcs.ICALP.2017.104 | (journal version) (paper) (slides) | (tool) & (tutorial)
• Complete Axiomatization for the Bisimilarity Distance on Markov Chains

  in J. Desharnais and R. Jagadeesan editors, Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics, Volume 59, Article No. 21, 2016.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.4230/LIPIcs.CONCUR.2016.21 | (paper) (slides)
• Converging from Branching to Linear Metrics on Markov Chains

  in M. Leucker, C. Rueda, F. D. Valencia editors, Proceedings of the 12th International Colloquium of Theoretical Aspects of Computing (ICTAC 2015). Lecture Notes in Computer Science Volume 9399, pp. 349-367, 2015.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  (see journal version MSCS 2017) doi: 10.1007/978-3-319-25150-9_21 | (paper) (slides)
• On the Total Variation Distance of Semi-Markov Chains

  in A. Pitts editor, Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015). Lecture Notes in Computer Science Volume 9034, pp. 185-199, 2015.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1007/978-3-662-46678-0_12 | (paper) (full) (slides)
• Finding a Forest in a Tree (the matching problem for wide reactive systems)

  in M. Maffei, E. Tuosto editors, Proceedings of the 9th International Symposium on Trustworthy Global Computing (TGC 2014). Lecture Notes in Computer Science Volume 8902, pp. 17-33, 2014.

  Giorgio Bacci, Marino Miculan, Romeo Rizzi.

  doi: 10.1007/978-3-662-45917-1_2 | (pre-proc) (paper) (slides)
• The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

  in M. Abadi, P. Gardner, A. D. Gordon, R. Mardare editors, Essays for the Luca Cardelli Fest, Microsoft Research Technical Reports, MSR-TR-2014-104, pp. 15-26, 2014.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  (paper)
• Bisimulation on Markov Processes over Arbitrary Measurable Spaces

  Warning: proposition 13 is incorrect (comments below)

  in F. van Breugel, E. Kashefi, C. Palamidessi, J. Rutten editors, Horizons of the Mind. A Tribute to Prakash Panangaden, Lecture Notes in Computer Science Volume 8464, pp. 76-95, 2014.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1007/978-3-319-06880-0_4 | (paper) , (comments on Proposition 13)
• Computing Behavioral Distances, Compositionally

  in K. Chatterjee, J. Sgall, editors, Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013). Lecture Notes in Computer Science Volume 8087, pp. 74-85, 2013.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1007/978-3-642-40313-2_9 | (full paper) , (slides)
• The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

  in K. Joshi, M. Siegle, M. Stoelinga, P. R. D'Argenio, editors, Proceedings of the 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013). Lecture Notes in Computer Science Volume 8054, pp. 257-260, 2013.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1007/978-3-642-40196-1_23 | (paper) , (slides) , (tool)
• On-the-Fly Exact Computation of Bisimilarity Distances*

  in N. Piterman, S. A. Smolka, editors, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013). Lecture Notes in Computer Science Volume 7795, pp. 1-15, 2013.

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  Nominated for ETAPS best paper award doi: 10.1007/978-3-642-36742-7_1 | (full paper) , (slides)
• Structural Operational Semantics for Continuous State Probabilistic Processes

  in D. Pattinson, L. Schröder, editors, Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012). Lecture Notes in Computer Science Volume 7399, pp. 71-89, 2012.

  Giorgio Bacci, Marino Miculan.

  doi: 10.1007/978-3-642-32784-1_5 | (paper) , (slides)
• On the statistical thermodynamics of communicating processes

  in A. Corradini, B. Klin, and C. Cîrstea, editors, Proceedings of the 4th interational Conference on Algebra and Coalgebra in Computer Science (CALCO 2011). Lecture Notes in Computer Science Volume 6859, pp. 1-18, 2011.

  Giorgio Bacci, Vincent Danos, Ohad Kammar

  doi: 10.1007/978-3-642-22944-2_1 | (paper)
• Measurable Stochastic for Brane Calculus

  in G. Ciobanu, M. Koutny, editors, Proceedings of the Fourth International Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), EPTCS 40, pp. 6-22, 2010. Printed version: ISBN 978-3-86805-767-6 (order online).

  Giorgio Bacci, Marino Miculan.

  doi: 10.4204/EPTCS.40.2 | (paper) , (slides)
• A framework for protein and membrane interactions

  in G. Ciobanu, editor, Proceedings of the Third International Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2009). EPTCS 11, pp. 19-13, 2009.

  Giorgio Bacci, Davide Grohmann, Marino Miculan.

  doi: 10.4204/EPTCS.11.2 | (paper) , (slides)
• Bigraphical models for protein and membrane interactions

  in G. Ciobanu, editor, Proceedings of the Third International Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2009). EPTCS 11, pp. 3-18, 2009.

  Giorgio Bacci, Davide Grohmann, Marino Miculan.

  doi: 10.4204/EPTCS.11.1 | (paper)
• DBtk: a Toolkit for Directed Bigraphs

  in A. Kurz, M. Lenisa, and A. Tarlecki, editors, Proceedings of Third Conference on Algebra and Coalgebra in Computer Science (CALCO-tools 2009). Lecture Notes in Computer Science Volume 5728, pp. 413-422, 2009.

  Giorgio Bacci, Davide Grohmann, Marino Miculan.

  doi: 10.1007/978-3-642-03741-2_28 | (paper)
• Undecidability of Model checking in Brane Logic

  in Dezani and Danos, editors, Proceedings of the Third International Workshop on Developments in Computational Models (DCM 2007). Electronic Notes in Theoretical Computer Science Volume 192, Issue 3, pp. 23-37.

  Giorgio Bacci, Marino Miculan.

  doi: 10.1016/j.entcs.2008.10.025 | (paper) , (slides)
• Modal Logics for Brane Calculus

  in C. Priami, editor, Proceedings of the Fourth Conference on Computational Methods in Systems Biology (CMSB'06). Lecture Notes in Computer Science, Volume 42, pp. 1-16, 2006.

  Marino Miculan, Giorgio Bacci.

  doi: 10.1007/11885191 | (paper)

Journal publications

• Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

  in W. Fokkink and R. van Glabbeek editors, Logical Methods in Computer Science, Volume 17, Issue 1, 2021. Selected papers of the 30th International Conference on Concurrency Theory (CONCUR 2019).

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel.

  doi: 10.23638/LMCS-17(1:9)2021 | (paper)
• A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

  in J. Desharnais and R. Jagadeesan editors, Logical Methods in Computer Science, Volume 14, Issue 4, 2017. Selected papers of the 27th International Conference on Concurrency Theory (CONCUR 2016).

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.23638/LMCS-14(4:15)2018 | (preprint)
• On the Metric-based Approximate Minimization of Markov Chains

  Journal of Logical and Algebraic Methods in Programming, Volume 100, pp. 36-56, 2018. Selected contributions of the 28th Nordic Workshop on Programming Theory (NWPST 2016).

  Giovanni Bacci Giorgio Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1016/j.jlamp.2018.05.006 | (paper)
• Converging from Branching to Linear Metrics on Markov chains

  in M. Leucker, C. Rueda, F. D. Valencia editors, Mathematical Structures in Computer Science, pp. 1-35, (Cambridge University Press). Selected papers of the 27th International Colloquium of Theoretical Aspects of Computing (ICTAC 2015).

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.1017/S0960129517000160 | (paper)
• On-the-Fly Computation of Bisimilarity Distances

  in N. Piterman and S. A. Smolka editors, Logical Methods in Computer Science, Volume 13, Issue 2, 2017. Selected papers of the conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013).

  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.

  doi: 10.23638/LMCS-13(2:13)2017 | (paper)
• Structural Operational Semantics for Continuous State Stochastic Transition Systems

  in Journal of Computer and System Sciences (JCSS), Volume 81, Issue 5, pp. 834-858, 2015.

  Selected papers of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012.

  Giorgio Bacci, Marino Miculan.

  doi: 10.1016/j.jcss.2014.12.003 | (preprint)
• Measurable Stochastic for Brane Calculus

  in Modelling and Analysis of Biological Systems, Theoretical Computer Science (TCS), Volume 431, pp. 117-136, 2012.

  Special issue based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena).

  Giorgio Bacci, Marino Miculan.

  doi: 10.1016/j.tcs.2011.12.055 | (preprint)

Conference pre-proceedings and Short contributions

• Final Coalgebras in Categories with Factorization Systems

  Short contribution for the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012).

  Giorgio Bacci.

  (paper) , (slides)
• On Decidability of Bigraphical Sortings

  in R. Echahed, A. Habel and M. Mosbah, editors, Preproceedings of the Third International Workshop on Graph Computation Models (GCM 2010). CTIT Workshop Proceedings WP 2010-05, pp. 33-47, ISSN 0929-0672, 2010.

  Giorgio Bacci, Davide Grohmann.

  (preproceeding) , (paper) , (full) , (slides)

valid XHTML | CSS