Computer Science · Physical Sciences
11h-index541citations74works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(56), Formal Methods in Verification(28), Logic, Reasoning, and Knowledge(28), Semantic Web and Ontologies(14), Natural Language Processing Techniques(11)
Publications74 total
ACM eBooks·2025
A Formalization of Weighted Path Orders and Recursive Path Orders.
Arch. Formal Proofs·2021
Functional Algorithms, Verified!
2021· 1 cited
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2020· 4 citedOpen Access
Trends in logic·2020· 1 cited
A Formalization of Knuth-Bendix Orders.
Arch. Formal Proofs·2020
Logical Methods in Computer Science·2019Open Access
SHILAP Revista de lepidopterología·2019· 1 citedOpen Access
2019Open Access
Lecture notes in computer science·2019· 44 citedOpen Access
Lecture notes in computer science·2019· 3 citedOpen Access
Lecture notes in computer science·2019· 1 citedOpen Access
Lecture notes in computer science·2019· 6 citedOpen Access
arXiv (Cornell University)·2018· 1 citedOpen Access
arXiv (Cornell University)·2018· 1 citedOpen Access
arXiv (Cornell University)·2018Open Access
Lecture notes in computer science·2018· 2 citedOpen Access
First-Order Terms.
Arch. Formal Proofs·2018
arXiv (Cornell University)·2017Open Access
page 1 of 4Next →
Frequent Co-authors
René Thiemann(27), Thomas Sternagel(5), Harald Zankl(4), Aart Middeldorp(4), Akihisa Yamada(4), Jürgen Giesl(3), Sarah Winkler(3), Jasmin Christian Blanchette(2), Martin Avanzini(2), Jonas Schöpf(2), Florian Meßner(2), Martin Korp(1), Albert Rubio(1), Johannes Waldmann(1), Alexander Krauß(1), Carsten Fuhs(1), Julian Biendarra(1), Aymeric Bouzy(1), Martin Desharnais(1), Mathias Fleury(1)