Scholar
Stephan Schulz
Google Scholar ID: Ebf2ARQAAAAJ
Professor of Computer Science, DHBW Stuttgart
Automated Deduction
Theorem Proving
Machine Learning
Automated Reasoning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,424
H-index
28
i10-index
46
Publications
20
Co-authors
20
list available
Publications
2 items
Some Experiments with Twee-Style Goal-Directedness
2026
Cited
0
Case Study: Saturations as Explicit Models in Equational Theories
2026
Cited
0
Co-authors
8 total
Geoff Sutcliffe
Department of Computer Science, University of Miami
Roberto Sebastiani
Full Professor in Computer Science, DISI, University of Trento, Italy
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Alessandro Cimatti
Fondazione Bruno Kessler
Cezary Kaliszyk
Professor, University of Melbourne
Peter Baumgartner
Data61|CSIRO
Jan Jakubuv
Czech Technical University in Prague, CIIRC
