Giorgio Bacci

Aalborg University - Aalborg / Denmark

Natural Sciences / Mathematical Sciences

AD Scientific Index ID: 1459547

Universitas Alburgensis

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Aalborg University

Giorgio Bacci's MOST POPULAR ARTICLES

1-) On-the-Fly exact computation of bisimilarity distances Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13 …, 2013

2-) Computing behavioral distances, compositionally International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013

3-) DBtk: a toolkit for directed bigraphs International Conference on Algebra and Coalgebra in Computer Science, 413-422, 2009

4-) An Algebraic Theory of Markov Processes Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), 2018

5-) On the Metric-Based Approximate Minimization of Markov Chains LIPIcs-Leibniz International Proceedings in Informatics 80, 2017

ARTICLES

Add your articles