Giorgio Bacci

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023

Propositional Logics for the Lawvere Quantale.

[BibT_eX]

[DOI]

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Convex Lattice Equation Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Tensor of Quantitative Equational Theories.

[BibT_eX]

[DOI]

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Approximating Euclidean by Imprecise Markov Decision Processes.

[BibT_eX]

[DOI]

Manfred Jaeger

Mathias Ruggaard Pedersen

Peter Gjøl Jensen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Converging from branching to linear metrics on Markov chains.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

A Faster-Than Relation for Semi-Markov Decision Processes.

[BibT_eX]

[DOI]

Mathias Ruggaard Pedersen

Kim G. Larsen

Proceedings of the Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, 2019

2018

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

On the metric-based approximate minimization of Markov Chains.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Complete Axiomatization for the Total Variation Distance of Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes.

[BibT_eX]

[DOI]

Mathias Ruggaard Pedersen

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

An Algebraic Theory of Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Boolean-Valued Semantics for the Stochastic λ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Timed Comparisons of Semi-Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2018

2017

On-the-Fly Computation of Bisimilarity Distances.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

2016

Complete Axiomatization for the Bisimilarity Distance on Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Structural operational semantics for continuous state stochastic transition systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

On the Total Variation Distance of Semi-Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Topologies of Stochastic Markov Models: Computational Aspects.

[BibT_eX]

[DOI]

CoRR, 2014

Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems.

[BibT_eX]

[DOI]

Romeo Rizzi

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Bisimulation on Markov Processes over Arbitrary Measurable Spaces.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Generalized labelled Markov processes, coalgebraically.

[BibT_eX]

[DOI]

PhD thesis, 2013

On-the-Fly Exact Computation of Bisimilarity Distances.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Computing Behavioral Distances, Compositionally.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

Measurable stochastics for Brane Calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Structural Operational Semantics for Continuous State Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

On the Statistical Thermodynamics of Reversible Communicating Processes.

[BibT_eX]

[DOI]

Vincent Danos

Ohad Kammar

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2009

A framework for protein and membrane interactions

[BibT_eX]

[DOI]

Davide Grohmann

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

Bigraphical models for protein and membrane interactions

[BibT_eX]

[DOI]

Davide Grohmann

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

DBtk: A Toolkit for Directed Bigraphs.

[BibT_eX]

[DOI]

Davide Grohmann

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2007

Undecidability of Model Checking in Brane Logic.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

2006

Modal Logics for Brane Calculus.

[BibT_eX]

[DOI]