Fredrik Dahlqvist
Scholar

Fredrik Dahlqvist

Google Scholar ID: qPdD6IkAAAAJ
Queen Mary University of London
Theoretical computer scienceprobabilistic programmingprobability theorycategory theorylogic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
350
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition
2026
Cited
0
Resume (English only)
Co-authors
10 total
Vincent Danos
Vincent Danos
Directeur de Recherches CNRS Ecole Normale Supérieure
Co-author 2
Co-author 2
Alexandra Silva
Alexandra Silva
Cornell University
Renato Neves
Renato Neves
University of Minho & INESC TEC
Dexter Kozen
Dexter Kozen
Professor of Computer Science, Cornell University
George Constantinides
George Constantinides
Imperial College London
florence clerc
florence clerc
Heriot Watt University
Co-author 8
Co-author 8