Author

Christoph Benzmüller

Observed names: BENZMÜLLER, Christoph, Benzmüller Christoph, Benzmueller, C., Benzmueller, Christoph, Benzmueller, Christoph; Articulate Software, Benzmuller, Christoph, Benzmüller, Christoph, Benzmüller, Christoph, Benzmüller C, Benzmüller Christoph, Benzmüller, Christoph, C Benzmüller, C. Benzmueller, C. Benzmüller, CHRISTOPH BENZMÜLLER, Christoph Benzm, Christoph Benzmueller, Christoph Benzmüller, Christoph BenzmÜller, Christoph Benzmüller (ed.), Christoph E. Benzmüller, Christoph E. Benzmüller, Marvin Schiller , Christoph Benzmüller, Pietro Baroni, Christoph Benzmuller, Yi N. Wang (Editors), Ωmega Christoph Benzmüller
ORCID: 0000-0002-3392-3093
Observed ORCID: 0000-0002-3392-3093
OpenAlex ID: A5055110324
1997 · Christoph Benzmüller, Lassaad Cheikhrouhou, et al. · Lecture notes in computer science · 118
2004 · Christoph Benzmüller, Chad E. Brown, et al. · Journal of Symbolic Logic · 108
2010 · Sutcliffe, Geoff; University Of Miami, Benzmueller, Christoph; Articulate Software · 81
2012 · Christoph Benzmüller, Lawrence C. Paulson · Logica Universalis · 77
2002 · Jörg Siekmann, Christoph Benzmüller, et al. · Lecture notes in computer science · 69
2008 · Christoph Benzmüller, Lawrence C. Paulson, et al. · Lecture notes in computer science · 67
2015 · Christoph Benzmüller, Nik Sultana, et al. · Journal of Automated Reasoning · 64
2020 · Christoph Benzmüller, Xavier Parent, et al. · Artificial Intelligence · 62
1998 · Christoph Benzmüller, Michael Kohlhase · Lecture notes in computer science · 62
2014 · Christoph Benzmüller, Dale Miller · Handbook of the history of logic · 55
2018 · Christoph Benzmüller · Science of Computer Programming · 51
2018 · Alexander Steen, Christoph Benzmüller · Lecture notes in computer science · 47
2010 · C. Benzmueller, L. C. Paulson · Logic Journal of IGPL · 46
2008 · Christoph Benzmüller, Florian Rabe, et al. · Lecture notes in computer science · 46
2005 · Jörg Siekmann, Christoph Benzmüller, et al. · Journal of Applied Logic · 42
2003 · Christoph Benzmüller, Armin Fiedler, et al. · Swinburne figshare (Swinburne University of Technology) · 40
2014 · Benzmuller, Christoph, Woltzenlogel Paleo, Bruno · ANU Open Research (Australian National University) · 39
2006 · Christoph Benzmüller, Peter B. Andrews · Open Repository and Bibliography (University of Luxembourg) · 36
2003 · Christoph Benzmüller, Armin Fiedler, et al. · Swinburne figshare (Swinburne University of Technology) · 35
1999 · Jörg Siekmann, Stephan Hess, et al. · Formal Aspects of Computing · 35
2004 · Magdalena Wolska, Bao Quoc Vo, et al. · Language Resources and Evaluation Conference (LREC) · 34
2003 · Jörg Siekmann, Christoph Benzmüller, et al. · Applied logic series · 32
1999 · Christoph Benzmüller · Lecture notes in computer science · 30
2008 · Christoph Benzmüller, Lawrence C. Paulson · 27
Works count: 462
Citation count: 2,892
H-index: 26
I10-index: 82
Year
Topic
Type