Scholar

Stephan Schulz

Google Scholar ID: Ebf2ARQAAAAJ

Professor of Computer Science, DHBW Stuttgart

Automated DeductionTheorem ProvingMachine LearningAutomated Reasoning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

3,424

H-index

28

i10-index

46

Publications

20

Co-authors

20

list available

Contact

No contact links provided.

Publications

1 items

Case Study: Saturations as Explicit Models in Equational Theories

2026

Cited

0

Resume (English only)

Co-authors

20 total

Geoff Sutcliffe

Department of Computer Science, University of Miami

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy

Distinguished Researcher at Czech Technical University in Prague