Scholar
Konstantin Läufer
Google Scholar ID: Rs0f_nMAAAAJ
Professor of Computer Science, Loyola University Chicago
Programming Languages
Formal Methods
Software Engineering
Computer Science Education
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,152
H-index
17
i10-index
22
Publications
20
Co-authors
23
list available
Publications
3 items
TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation
2026
Cited
0
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
2026
Cited
0
AgentHub: A Research Agenda for Agent Sharing Infrastructure
2025
Cited
0
Co-authors
5 total
George K. Thiruvathukal, PhD
Professor/Chair, Loyola University Chicago; Visiting Computer Scientist, Argonne National Laboratory
Martin Odersky
EPFL
Radha Jagadeesan
Professor. School of Computing.
Gerald Baumgartner
Associate Professor of Computer Science, Louisiana State University
Fritz Henglein
Professor, Department of Computer Science, University of Copenhagen (DIKU)
