University of Vienna — Austria
Computer Science · Physical Sciences
24h-index2.4kcitations177works0.82yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(117), Logic, Reasoning, and Knowledge(53), Formal Methods in Verification(37), Natural Language Processing Techniques(37), Semantic Web and Ontologies(34)
Publications177 total
Lecture notes in computer science·2025
Lecture notes in computer science·2025
Lecture notes in computer science·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
ArXiv.org·2025Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
EPiC series in computing·2024Open Access
EPiC series in computing·2024· 3 citedOpen Access
arXiv (Cornell University)·2024· 2 citedOpen Access
Lecture notes in computer science·2024· 4 cited
Lecture notes in computer science·2024· 5 citedOpen Access
EPiC series in computing·2023· 2 citedOpen Access
Journal of Automated Reasoning·2023Open Access
arXiv (Cornell University)·2023Open Access
page 1 of 9Next →
Frequent Co-authors
Josef Urban(28), Thibault Gauthier(7), J Vyskočil(6), Florian Rabe(4), Jasmin Christian Blanchette(3), Christian Urban(3), Freek Wiedijk(3), Thomas Hales(2), Mark Adams(2), Gertrud Bauer(2), John Harrison(2), Hoang Le Truong(2), Victor Magron(2), Sean McLaughlin(2), Tobias Nipkow(2), Steven Obua(2), Joseph Pleso(2), Jason Rute(2), Alexey Solovyev(2), Ky Vu(2)