Giovanni Bacci

Cited by

	All	Since 2018
Citations	347	233
h-index	11	9
i10-index	13	8

201020112012201320142015201620172018201920202021202220232 2 4 19 18 14 31 21 38 23 33 47 52 38

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Marco CominiAssociate Professor of Computer Science, University of UdineVerified email at uniud.it
Martin TapplerGraz University of TechnologyVerified email at ist.tugraz.at
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Maria EichlsederGraz University of TechnologyVerified email at iaik.tugraz.at
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Verified email at polytechnique.edu
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Alicia VillanuevaAssistant Professor of Computer Science, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Mikkel HansenPhD-Student in Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Qiyi TangUniversity of LiverpoolVerified email at liverpool.ac.uk
Manfred JaegerAalborg UniversityVerified email at cs.aau.dk
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerified email at santannapisa.it
Max TschaikowskiAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Mirco TribastoneIMT LuccaVerified email at imtlucca.it

Giovanni Bacci

Department of Computer Science, Aalborg University

Verified email at cs.aau.dk - Homepage

Formal Methods Machine Intelligence Probabilistic Models Behavioural Metrics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On-the-Fly exact computation of bisimilarity distances G Bacci, G Bacci, KG Larsen, R Mardare Tools and Algorithms for the Construction and Analysis of Systems, 1-15, 2013	65	2013
-based learning of Markov decision processes (extended version) M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen Formal Aspects of Computing, 1-41, 2021	40*	2021
Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare Mathematical Foundations of Computer Science 2013: 38th International …, 2013	35	2013
Optimal and robust controller synthesis using energy timed automata with uncertainty G Bacci, P Bouyer, U Fahrenberg, KG Larsen, N Markey, PA Reynier Formal Aspects of Computing, 1-23, 2020	25	2020
Converging from branching to linear metrics on Markov chains G Bacci, G Bacci, KG Larsen, R Mardare Mathematical Structures in Computer Science 29 (1), 3-37, 2019	21*	2019
On the Metric-based Approximate Minimization of Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare LIPIcs-Leibniz International Proceedings in Informatics 80, 2017	17	2017
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata F van Breugel, Q Tang, R Mardare, KG Larsen, G Bacci, G Bacci Logical Methods in Computer Science 17, 2021	16	2021
On the Total Variation Distance of Semi-Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare Foundations of Software Science and Computation Structures, 185-199, 2015	16	2015
Automatic synthesis of specifications for first order curry programs G Bacci, M Comini, MA Feliú, A Villanueva Proceedings of the 14th symposium on Principles and practice of declarative …, 2012	16	2012
Abstract diagnosis of first order functional logic programs G Bacci, M Comini International Symposium on Logic-Based Program Synthesis and Transformation …, 2010	13	2010
Approximating euclidean by imprecise Markov decision processes M Jaeger, G Bacci, G Bacci, KG Larsen, PG Jensen Leveraging Applications of Formal Methods, Verification and Validation …, 2020	11	2020
Complete Axiomatization for the Bisimilarity Distance on Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare 27th International Conference on Concurrency Theory (CONCUR 2016), 2016	10	2016
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models G Bacci, G Bacci, KG Larsen, R Mardare Quantitative Evaluation of Systems, 278-281, 2013	10	2013
Active Learning of Markov Decision Processes using Baum-Welch algorithm G Bacci, A Ingólfsdóttir, KG Larsen, R Reynouard 2021 20th IEEE International Conference on Machine Learning and Applications …, 2021	9*	2021
On-the-Fly Computation of Bisimilarity Distances R Mardare, KG Larsen, G Bacci, G Bacci Logical Methods in Computer Science 13, 2017	8*	2017
A complete quantitative deduction system for the bisimilarity distance on Markov chains G Bacci, G Bacci, KG Larsen, R Mardare Logical Methods in Computer Science 14, 2018	6	2018
Complete Axiomatization for the Total Variation Distance of Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare Electronic Notes in Theoretical Computer Science 336, 27-39, 2018	6	2018
Model checking constrained Markov reward models with uncertainties G Bacci, M Hansen, KG Larsen Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019	5	2019
On the verification of weighted kripke structures under uncertainty G Bacci, M Hansen, KG Larsen Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018	5	2018
Bisimulation on Markov processes over arbitrary measurable spaces G Bacci, G Bacci, KG Larsen, R Mardare Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to …, 2014	3	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors