Scholar
Giorgio Bacci
Google Scholar ID: y2Q3kK8AAAAJ
Associate Professor in Computer Science, Aalborg University, Denmark
Probabilistic Systems
Quantitative Semantics
Coalgebra
Category Theory
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
611
H-index
16
i10-index
26
Publications
20
Co-authors
25
list available
Publications
3 items
Augmenting Italian Cultural Heritage with Virtual and Digital Technologies: the final outcomes of Project CHANGES' Spoke 4
2026
Cited
0
Computing Fixed Points using Dependency Oracles
2026
Cited
0
Induction and Recursion Principles in a Higher-Order Quantitative Logic
2025
Cited
0
Co-authors
10 total
Radu Mardare
Professor, Heriot-Watt University, Edinburgh, UK
Kim G. Larsen
Director, Professor Aalborg University
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Mirco Tribastone
IMT Lucca
Vincent Danos
Directeur de Recherches CNRS Ecole Normale Supérieure
Ohad Kammar
University of Edinburgh School of Informatics
Dexter Kozen
Professor of Computer Science, Cornell University
Manfred Jaeger
Aalborg University
