Konstantin Läufer
Scholar

Konstantin Läufer

Google Scholar ID: Rs0f_nMAAAAJ
Professor of Computer Science, Loyola University Chicago
Programming LanguagesFormal MethodsSoftware EngineeringComputer Science Education
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,152
 
H-index
17
 
i10-index
22
 
Publications
20
 
Co-authors
23
list available
Contact
No contact links provided.
Publications
2 items
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
Resume (English only)
Co-authors
23 total
George K. Thiruvathukal, PhD
George K. Thiruvathukal, PhD
Professor/Chair, Loyola University Chicago; Visiting Computer Scientist, Argonne National Laboratory
Martin Odersky
Martin Odersky
EPFL
Co-author 3
Co-author 3
Radha Jagadeesan
Radha Jagadeesan
Professor. School of Computing.
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Gerald Baumgartner
Gerald Baumgartner
Associate Professor of Computer Science, Louisiana State University
Co-author 8
Co-author 8