| 2007 |
|---|
| 29 | | Geoff Sutcliffe,
Josef Urban,
Stephan Schulz:
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007
CEUR-WS.org 2007 |
| 28 | EE | Stephan Schulz,
Anthony Wiles,
Steve Randall:
TPLan-A Notation for Expressing Test Purposes.
TestCom/FATES 2007: 292-304 |
| 2006 |
|---|
| 27 | EE | Geoff Sutcliffe,
Stephan Schulz,
Koen Claessen,
Allen Van Gelder:
Using the TPTP Language for Writing Derivations and Finite Interpretations.
IJCAR 2006: 67-81 |
| 26 | EE | Alessandro Armando,
Maria Paola Bonacina,
Silvio Ranise,
Stephan Schulz:
New results on rewrite-based satisfiability procedures
CoRR abs/cs/0604054: (2006) |
| 25 | EE | Thomas Deiß,
Andreas Johan Nyberg,
Stephan Schulz,
Risto Teittinen,
Colin Willcock:
Industrial Deployment of the TTCN-3 Testing Technology.
IEEE Software 23(4): 48-54 (2006) |
| 24 | EE | Stephan Schulz,
Geoff Sutcliffe,
Tanel Tammet:
Preface.
International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006) |
| 23 | EE | Bernd Fischer,
Geoff Sutcliffe,
Stephan Schulz:
Empirically Successful Automated Reasoning: Systems Issue.
J. Autom. Reasoning 36(4): 287 (2006) |
| 22 | EE | Bernd Fischer,
Geoff Sutcliffe,
Stephan Schulz:
Empirically Successful Automated Reasoning: Applications Issue.
J. Autom. Reasoning 37(1-2): 1 (2006) |
| 2005 |
|---|
| 21 | EE | Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
Tommi A. Junttila,
Peter van Rossum,
Stephan Schulz,
Roberto Sebastiani:
The MathSAT 3 System.
CADE 2005: 315-321 |
| 20 | EE | Alessandro Armando,
Maria Paola Bonacina,
Silvio Ranise,
Stephan Schulz:
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.
FroCos 2005: 65-80 |
| 19 | EE | 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.
TACAS 2005: 317-333 |
| 18 | EE | 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.
J. Autom. Reasoning 35(1-3): 265-293 (2005) |
| 2004 |
|---|
| 17 | EE | Stephan Schulz:
System Description: E 0.81.
IJCAR 2004: 223-228 |
| 16 | EE | Stephan Schulz:
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.
TestCom 2004: 177-192 |
| 2002 |
|---|
| 15 | EE | Stephan Schulz,
Geoff Sutcliffe:
System Description: GrAnDe 1.0.
CADE 2002: 280-284 |
| 14 | | Stephan Schulz:
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.
FLAIRS Conference 2002: 72-76 |
| 13 | | Stephan Schulz,
Theofanis Vassiliou-Gioles:
Implementation of TTCN-3 Test Systems using the TRI.
TestCom 2002: 425-442 |
| 12 | EE | Stephan Schulz:
E - a brainiac theorem prover.
AI Commun. 15(2-3): 111-126 (2002) |
| 2001 |
|---|
| 11 | | Joachim Draeger,
Stephan Schulz:
Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization.
FLAIRS Conference 2001: 345-349 |
| 10 | | Stephan Schulz:
Information-Based Selection of Abstraction Levels.
FLAIRS Conference 2001: 402-406 |
| 9 | EE | Stephan Schulz:
System Abstract: E 0.61.
IJCAR 2001: 370-375 |
| 8 | EE | Stephan Schulz:
Learning Search Control Knowledge for Equational Theorem Proving.
KI/ÖGAI 2001: 320-334 |
| 7 | EE | Stephan Schulz:
A Transformation for System Level Design Model Specifications into Implementation Descriptions.
SCCC 2001: 247-255 |
| 2000 |
|---|
| 6 | | Jörg Denzinger,
Stephan Schulz:
Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts.
Inf. Comput. 162(1-2): 59-79 (2000) |
| 1999 |
|---|
| 5 | EE | Stephan Schulz:
System Abstract: E 0.3.
CADE 1999: 297-301 |
| 4 | | Stephan Schulz,
Felix Brandt:
Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving.
FLAIRS Conference 1999: 244-248 |
| 1997 |
|---|
| 3 | | Jörg Denzinger,
Martin Kronenburg,
Stephan Schulz:
DISCOUNT - A Distributed and Learning Equational Prover.
J. Autom. Reasoning 18(2): 189-198 (1997) |
| 1996 |
|---|
| 2 | | Jörg Denzinger,
Stephan Schulz:
Learning Domain Knowledge to Improve Theorem Proving.
CADE 1996: 62-76 |
| 1 | | Jörg Denzinger,
Stephan Schulz:
Recording and Analysing Knowledge-Based Distributed Deduction Processes.
J. Symb. Comput. 21(4): 523-541 (1996) |
