Modal Logics for Brane Calculus. - Marino Miculan; Giorgio Bacci (CMSB, 2006)

Undecidability of Model Checking in Brane Logic. - Giorgio Bacci; Marino Miculan (DCM@ICALP, 2007)

DBtk: A Toolkit for Directed Bigraphs. - Giorgio Bacci; Davide Grohmann; Marino Miculan (CALCO, 2009)

Bigraphical models for protein and membrane interactions - Giorgio Bacci; Davide Grohmann; Marino Miculan (MeCBIC, 2009)

A framework for protein and membrane interactions - Giorgio Bacci; Davide Grohmann; Marino Miculan (MeCBIC, 2009)

On the Statistical Thermodynamics of Reversible Communicating Processes. - Giorgio Bacci; Vincent Danos; Ohad Kammar (CALCO, 2011)

Structural Operational Semantics for Continuous State Probabilistic Processes. - Giorgio Bacci; Marino Miculan (CMCS, 2012)

Measurable stochastics for Brane Calculus. - Giorgio Bacci; Marino Miculan (Theor. Comput. Sci., 2012)

Computing Behavioral Distances, Compositionally. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (MFCS, 2013)

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (QEST, 2013)

On-the-Fly Exact Computation of Bisimilarity Distances. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (TACAS, 2013)

Generalized labelled Markov processes, coalgebraically. - Giorgio Bacci (2013)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (Horizons of the Mind, 2014)

Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. - Giorgio Bacci; Marino Miculan; Romeo Rizzi (TGC, 2014)

Topologies of Stochastic Markov Models: Computational Aspects. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (CoRR, 2014)

On the Total Variation Distance of Semi-Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (FoSSaCS, 2015)

Structural operational semantics for continuous state stochastic transition systems. - Giorgio Bacci; Marino Miculan (J. Comput. Syst. Sci., 2015)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (CONCUR, 2016)

On-the-Fly Computation of Bisimilarity Distances. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Log. Methods Comput. Sci., 2017)

Timed Comparisons of Semi-Markov Processes. - Mathias Ruggaard Pedersen; Nathanaël Fijalkow; Giorgio Bacci; Kim G. Larsen; Radu Mardare (LATA, 2018)

Boolean-Valued Semantics for the Stochastic λ-Calculus. - Giorgio Bacci; Robert Furber; Dexter Kozen; Radu Mardare; Prakash Panangaden; Dana S. Scott (LICS, 2018)

An Algebraic Theory of Markov Processes. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2018)

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. - Mathias Ruggaard Pedersen; Giorgio Bacci; Kim Guldstrand Larsen; Radu Mardare (QEST, 2018)

Complete Axiomatization for the Total Variation Distance of Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (MFPS, 2018)

On the metric-based approximate minimization of Markov Chains. - Giovanni Bacci 001; Giorgio Bacci; Kim G. Larsen; Radu Mardare (J. Log. Algebraic Methods Program., 2018)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Log. Methods Comput. Sci., 2018)

A Faster-Than Relation for Semi-Markov Decision Processes. - Mathias Ruggaard Pedersen; Giorgio Bacci; Kim G. Larsen (QAPL@ETAPS, 2019)

Converging from branching to linear metrics on Markov chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Math. Struct. Comput. Sci., 2019)

Quantitative Equational Reasoning. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Foundations of Probabilistic Programming, 2020)

Approximating Euclidean by Imprecise Markov Decision Processes. - Manfred Jaeger; Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Peter Gjøl Jensen (ISoLA (1), 2020)

Tensor of Quantitative Equational Theories. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (CALCO, 2021)

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2021)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare; Qiyi Tang 001; Franck van Breugel (Log. Methods Comput. Sci., 2021)

Convex Lattice Equation Systems. - Giorgio Bacci; Giovanni Bacci 001; Mathias Claus Jensen; Kim G. Larsen (Principles of Systems Design, 2022)

Propositional Logics for the Lawvere Quantale. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (MFPS, 2023)

Dissimilarity for Linear Dynamical Systems. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST+FORMATS, 2024)

Polynomial Lawvere Logic. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (CoRR, 2024)

Sum and Tensor of Quantitative Effects. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Log. Methods Comput. Sci., 2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic. - Giorgio Bacci; Rasmus Ejlers Møgelberg (CoRR, 2025)