Search the dblp DataBase
Stephan Schulz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
The MathSAT 3 System. [Citation Graph (0, 0)][DBLP]
CADE, 2005, pp:315-321 [Conf] - Jörg Denzinger, Stephan Schulz
Learning Domain Knowledge to Improve Theorem Proving. [Citation Graph (0, 0)][DBLP]
CADE, 1996, pp:62-76 [Conf] - Stephan Schulz
System Abstract: E 0.61. [Citation Graph (0, 0)][DBLP]
IJCAR, 2001, pp:370-375 [Conf] - Stephan Schulz
System Description: E 0.81. [Citation Graph (0, 0)][DBLP]
IJCAR, 2004, pp:223-228 [Conf] - Stephan Schulz
System Abstract: E 0.3. [Citation Graph (0, 0)][DBLP]
CADE, 1999, pp:297-301 [Conf] - Stephan Schulz, Geoff Sutcliffe
System Description: GrAnDe 1.0. [Citation Graph (0, 0)][DBLP]
CADE, 2002, pp:280-284 [Conf] - Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
Using the TPTP Language for Writing Derivations and Finite Interpretations. [Citation Graph (0, 0)][DBLP]
IJCAR, 2006, pp:67-81 [Conf] - Joachim Draeger, Stephan Schulz
Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. [Citation Graph (0, 0)][DBLP]
FLAIRS Conference, 2001, pp:345-349 [Conf] - Stephan Schulz, Felix Brandt
Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. [Citation Graph (0, 0)][DBLP]
FLAIRS Conference, 1999, pp:244-248 [Conf] - Stephan Schulz
Information-Based Selection of Abstraction Levels. [Citation Graph (0, 0)][DBLP]
FLAIRS Conference, 2001, pp:402-406 [Conf] - Stephan Schulz
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. [Citation Graph (0, 0)][DBLP]
FLAIRS Conference, 2002, pp:72-76 [Conf] - Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. [Citation Graph (0, 0)][DBLP]
FroCos, 2005, pp:65-80 [Conf] - Stephan Schulz
Learning Search Control Knowledge for Equational Theorem Proving. [Citation Graph (0, 0)][DBLP]
KI/ÖGAI, 2001, pp:320-334 [Conf] - Stephan Schulz
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols. [Citation Graph (0, 0)][DBLP]
TestCom, 2004, pp:177-192 [Conf] - Stephan Schulz, Theofanis Vassiliou-Gioles
Implementation of TTCN-3 Test Systems using the TRI. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:425-442 [Conf] - Stephan Schulz
A Transformation for System Level Design Model Specifications into Implementation Descriptions. [Citation Graph (0, 0)][DBLP]
SCCC, 2001, pp:247-255 [Conf] - Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:317-333 [Conf] - Stephan Schulz
E - a brainiac theorem prover. [Citation Graph (0, 0)][DBLP]
AI Commun., 2002, v:15, n:2-3, pp:111-126 [Journal] - Jörg Denzinger, Stephan Schulz
Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2000, v:162, n:1-2, pp:59-79 [Journal] - Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
Preface. [Citation Graph (0, 0)][DBLP]
International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:1-2 [Journal] - Jörg Denzinger, Martin Kronenburg, Stephan Schulz
DISCOUNT - A Distributed and Learning Equational Prover. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1997, v:18, n:2, pp:189-198 [Journal] - Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2005, v:35, n:1-3, pp:265-293 [Journal] - Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Empirically Successful Automated Reasoning: Applications Issue. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2006, v:37, n:1-2, pp:1- [Journal] - Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Empirically Successful Automated Reasoning: Systems Issue. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2006, v:36, n:4, pp:287- [Journal] - Jörg Denzinger, Stephan Schulz
Recording and Analysing Knowledge-Based Distributed Deduction Processes. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1996, v:21, n:4, pp:523-541 [Journal] - Stephan Schulz, Anthony Wiles, Steve Randall
TPLan-A Notation for Expressing Test Purposes. [Citation Graph (0, 0)][DBLP]
TestCom/FATES, 2007, pp:292-304 [Conf] - Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
New results on rewrite-based satisfiability procedures [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal]
Transmitting TLM transactions over analogue wire models. [Citation Graph (, )][DBLP]
Towards Model-Based Testing with Architecture Models. [Citation Graph (, )][DBLP]
Special issue on practical aspects of automated reasoning. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.007secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002