Giorgio Bacci
Scholar

Giorgio Bacci

Google Scholar ID: y2Q3kK8AAAAJ
Associate Professor in Computer Science, Aalborg University, Denmark
Probabilistic SystemsQuantitative SemanticsCoalgebraCategory TheoryFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
611
 
H-index
16
 
i10-index
26
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
Publications
2 items
Computing Fixed Points using Dependency Oracles
2026
Cited
0
Induction and Recursion Principles in a Higher-Order Quantitative Logic
2025
Cited
0
Resume (English only)
Co-authors
25 total
Radu Mardare
Radu Mardare
Professor, Heriot-Watt University, Edinburgh, UK
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Gordon Plotkin
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Co-author 7
Co-author 7
Co-author 8
Co-author 8