 | 2009 |
|---|
| 36 |       | Alessandro Armando,
Maria Paola Bonacina,
Silvio Ranise,
Stephan Schulz:
New results on rewrite-based satisfiability procedures.
ACM Trans. Comput. Log. 10(1): (2009) |
| 35 | | Renate A. Schmidt,
Geoff Sutcliffe,
Stephan Schulz:
Empirically successful computerized reasoning.
J. Applied Logic 7(1): 1 (2009) |
| 34 | | Thomas Rings,
Geoff Caryer,
Julian R. Gallop,
Jens Grabowski,
Tatiana Kovacikova,
Stephan Schulz,
Ian Stokes-Rees:
Grid and Cloud Computing: Opportunities for Integration with the Next Generation Network.
J. Grid Comput. 7(3): 375-393 (2009) |
| 2008 |
|---|
| 33 |  | Boris Konev,
Renate A. Schmidt,
Stephan Schulz:
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008
CEUR-WS.org 2008 |
| 32 | | Piotr Rudnicki,
Geoff Sutcliffe,
Boris Konev,
Renate A. Schmidt,
Stephan Schulz:
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008
CEUR-WS.org 2008 |
| 31 | | Stephan Schulz:
Test suite development with TTCN-3 libraries.
STTT 10(4): 327-336 (2008) |
| 2007 |
|---|
| 30 | | 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 |
| 29 | | Stephan Schulz,
Jukka Honkola,
Antti Huima:
Towards Model-Based Testing with Architecture Models.
ECBS 2007: 495-502 |
| 28 | | Stephan Schulz,
Anthony Wiles,
Steve Randall:
TPLan-A Notation for Expressing Test Purposes.
TestCom/FATES 2007: 292-304 |
| 2006 |
|---|
| 27 | | Geoff Sutcliffe,
Stephan Schulz,
Koen Claessen,
Allen Van Gelder:
Using the TPTP Language for Writing Derivations and Finite Interpretations.
IJCAR 2006: 67-81 |
| 26 | | Alessandro Armando,
Maria Paola Bonacina,
Silvio Ranise,
Stephan Schulz:
New results on rewrite-based satisfiability procedures
CoRR abs/cs/0604054: (2006) |
| 25 | | 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 | | Stephan Schulz,
Geoff Sutcliffe,
Tanel Tammet:
Preface.
International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006) |
| 23 | | Bernd Fischer,
Geoff Sutcliffe,
Stephan Schulz:
Empirically Successful Automated Reasoning: Systems Issue.
J. Autom. Reasoning 36(4): 287 (2006) |
| 22 | | Bernd Fischer,
Geoff Sutcliffe,
Stephan Schulz:
Empirically Successful Automated Reasoning: Applications Issue.
J. Autom. Reasoning 37(1-2): 1 (2006) |
| 2005 |
|---|
| 21 | | 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 | | 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 | | 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 | | 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 | | Stephan Schulz:
System Description: E 0.81.
IJCAR 2004: 223-228 |
| 16 | | Stephan Schulz:
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.
TestCom 2004: 177-192 |
| 2002 |
|---|
| 15 | | 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 | | 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 | | Stephan Schulz:
System Abstract: E 0.61.
IJCAR 2001: 370-375 |
| 8 | | Stephan Schulz:
Learning Search Control Knowledge for Equational Theorem Proving.
KI/ÖGAI 2001: 320-334 |
| 7 | | 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 | | 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) |
