Computer Science · Physical Sciences
4h-index77citations30works0.22yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(5), Blockchain Technology Applications and Security(4), Parallel Computing and Optimization Techniques(3), Formal Methods in Verification(3), Advanced Database Systems and Queries(3)
Publications30 total
TIB Repositorium·2026Open Access
Schlussbericht
Open MIND·2026Open Access
arXiv (Cornell University)·2025Open Access
SSRN Electronic Journal·2025Open Access
arXiv (Cornell University)·2024Open Access
Journal of payments strategy & systems·2024
Lecture notes in computer science·2024Open Access
SSRN Electronic Journal·2024· 1 citedOpen Access
Communications in computer and information science·2024· 1 cited
Journal of payments strategy & systems·2023· 2 cited
arXiv (Cornell University)·2023· 1 citedOpen Access
arXiv (Cornell University)·2023Open Access
Fundamenta Informaticae·2019
An Algebra for Higher-Order Terms.
Arch. Formal Proofs·2019
mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)·2019Open Access
A Verified Code Generator from Isabelle/HOL to CakeML.
Arch. Formal Proofs·2019
Journal of Automated Reasoning·2018· 18 citedOpen Access
Lecture notes in computer science·2018· 39 citedOpen Access
Deriving generic class instances for datatypes.
Arch. Formal Proofs·2018
page 1 of 2Next →
Frequent Co-authors
Makan Rafiee(4), Tobias Nipkow(3), Georg Carle(3), Cornelius Diekmann(2), Julius Michaelis(2), Jasmin Christian Blanchette(2), Lars Noschinski(2), Dmitriy Traytel(2), Terru Stübinger(2), Frank S. Thomas(2), Markus Bohn(2), Markus Fischbeck(2), Max W. Haslbeck(1), Maximilian P. L. Haslbeck(1), Peter Lammich(1), Viktor Kunčak(1), Alexandre Archambault(1), Mostafa Abdelrahman(1), Filip Rezabek(1), Kilian Glas(1)