Concepedia
Statistics
Publications
14
Citations
653
H-Index
13
Active since
1994
Affiliations
Universität Ulm(Current)
Technical University of Munich
Laboratoire Lorrain de Recherche en Informatique et ses Applications
University of Verona
Max Planck Society
Stephan Schulz is an author at Universität Ulm specializing in computer science, computing, and automated reasoning.
Publications per year
1994–2021
Molecular Imaging Using Labeled Donor Tissues Reveals Patterns of Engraftment, Rejection, and Survival in Transplantation
Yu-An Cao, Michael H. Bachmann, Andreas Beilhack et al. · Transplantation · 2005 · 93 citations
Medicine, Biomedical Sciences, Cell Biology +17
New results on rewrite-based satisfiability procedures
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise et al. · ACM Transactions on Computational Logic · 2009 · 89 citations · Full text
Computing, Computer Science, Formal Methods +11
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Journal of Automated Reasoning · 2005 · 78 citations
Computing, Computer Science, Mathematics +11
Optimization of segmented linear Paul traps and transport of stored particles
Stephan Schulz, Ulrich Poschinger, Kilian Singer et al. · Fortschritte der Physik · 2006 · 76 citations · Full text
Natural Sciences, Computer Science, Physics +11
DISCOUNT - A Distributed and Learning Equational Prover
Jörg Denzinger, Martin Kronenburg, Stephan Schulz · Journal of Automated Reasoning · 1997 · 62 citations
Computing, Computer Science, Distributed Systems +11
1–5 of 14