Scholar
Bent Thomsen
Google Scholar ID: mhyMmZoAAAAJ
Professor (MSO), Aalborg University
Programming Languages
semantics
concurrency
distributed systems
energy aware programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,552
H-index
22
i10-index
39
Publications
20
Co-authors
33
list available
Publications
2 items
Amalgam: Hybrid LLM-PGM Synthesis Algorithm for Accuracy and Realism
2026
Cited
0
Teaching Energy-Efficient Software -- An Experience Report
2025
Cited
0
Co-authors
8 total
Kim G. Larsen
Director, Professor Aalborg University
Christian S. Jensen
Aalborg University, Department of Computer Science
Rene Rydhof Hansen
Aalborg University
Martin Schoeberl
Professor, Technical University of Denmark
Peter Dolog
Associate Professor of Computer Science, Aalborg University, Denmark
Remo Pareschi
Associate Professor of Computer Science, University of Molise
Stephane Bressan
National University of Singapore
Corina Pasareanu
CMU/NASA Ames
