University of Birmingham — United Kingdom
Computer Science · Physical Sciences
21h-index1.4kcitations141works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(40), Mathematics, Computing, and Information Processing(34), Logic, Reasoning, and Knowledge(25), Handwritten Text Recognition Techniques(18), Formal Methods in Verification(14)
Publications141 total
Lecture notes in computer science·2024
Studies in health technology and informatics·2023· 1 cited
2023· 11 citedOpen Access
Lecture notes in computer science·2022· 1 cited
Lecture notes in computer science·2022
Improved Access for Blind Users [R package BrailleR version 0.32.1]
2021
VTechWorks (Virginia Tech)·2021Open Access
TUGboat·2021
Notices of the American Mathematical Society·2020
Zenodo (CERN European Organization for Nuclear Research)·2020· 8 citedOpen Access
JUCS - Journal of Universal Computer Science·2020· 42 citedOpen Access
ACM SIGACCESS Accessibility and Computing·2020· 1 cited
Zenodo (CERN European Organization for Nuclear Research)·2019Open Access
Human-computer interaction series·2019· 3 cited
Lecture notes in computer science·2018· 23 cited
page 1 of 8Next →
Frequent Co-authors
Alan P. Sexton(10), Christoph Benzmüller(9), Manfred Kerber(7), Andreas Meier(7), Josef B. Baker(7), Michael Kohlhase(6), Martin Pollet(6), Lassaad Cheikhrouhou(4), Andreas Meier(4), Simon Colton(4), Armin Fiedler(3), Erica Melis⋆(3), Roy McCasland(3), Mateja Jamnik(3), Karsten Konrad(2), Jörg H. Siekmann(2), Andreas Franke(2), Helmut Horacek(2), Xiaoyan Lin(2), Liangcai Gao(2)