Thom Frühwirth
Scholar

Thom Frühwirth

Google Scholar ID: 5vyOl7IAAAAJ
Professor of Computer Science, University of Ulm
Computational LogicProgramming LanguagesConstraint ProgrammingLogic Programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
447
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
4 items
Optimized Execution of FreeCHR
2025
Cited
0
An instance of FreeCHR with refined operational semantics
2025
Cited
0
A refined operational semantics for FreeCHR
2025
Cited
0
FreeCHR: An Algebraic Framework for CHR-Embeddings
RuleML+RR · 2023
Cited
0
Resume (English only)
Co-authors
10 total
Slim Abdennadher
Slim Abdennadher
Professor of Computer Science, German International University in Cairo
Ehud Shapiro
Ehud Shapiro
Professor Emeritus, Weizmann Institute, Visiting Professor, London School of Economics
Georg Gottlob
Georg Gottlob
Professor of Informatics, University of Calabria
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Peter Stuckey
Peter Stuckey
Faculty of Information Technology, Monash University
Andrea Triossi
Andrea Triossi
Università degli studi di Padova
Gerhard Friedrich
Gerhard Friedrich
Professor of Computer Science, Alpen-Adria Universität Klagenfurt
Toby Walsh
Toby Walsh
Professor, UNSW and CSIRO Data61