University of Potsdam — Germany
Computer Science · Physical Sciences
6h-index150citations10works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(10), Logic, Reasoning, and Knowledge(10), Logic, programming, and type systems(9), Semantic Web and Ontologies(1)
Publications10 total
EPiC series in computing·2018Open Access
EPiC series in computing·2018Open Access
Lecture notes in computer science·2013· 14 cited
arXiv (Cornell University)·2012Open Access
Lecture notes in computer science·2012· 25 cited
Frontiers in artificial intelligence and applications·2012· 26 citedOpen Access
Implementing and Evaluating Theorem Provers for First-Order Modal Logics.
2011· 2 cited
Behaviour Research and Therapy·2008· 10 cited
Journal of Automated Reasoning·2007· 61 cited
Lecture notes in computer science·2005· 12 cited
Frequent Co-authors
Jens Otten(8), Christoph Benzmüller(3), Christoph Kreitz(2), Christoph Benzmueller(1)