The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stephan Schulz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Jörg Denzinger, Stephan Schulz
    Learning Domain Knowledge to Improve Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:62-76 [Conf]
  3. Stephan Schulz
    System Abstract: E 0.61. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:370-375 [Conf]
  4. Stephan Schulz
    System Description: E 0.81. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:223-228 [Conf]
  5. Stephan Schulz
    System Abstract: E 0.3. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:297-301 [Conf]
  6. Stephan Schulz, Geoff Sutcliffe
    System Description: GrAnDe 1.0. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:280-284 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Stephan Schulz
    Information-Based Selection of Abstraction Levels. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2001, pp:402-406 [Conf]
  11. 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]
  12. 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]
  13. Stephan Schulz
    Learning Search Control Knowledge for Equational Theorem Proving. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:320-334 [Conf]
  14. 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]
  15. 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]
  16. Stephan Schulz
    A Transformation for System Level Design Model Specifications into Implementation Descriptions. [Citation Graph (0, 0)][DBLP]
    SCCC, 2001, pp:247-255 [Conf]
  17. 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]
  18. Stephan Schulz
    E - a brainiac theorem prover. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2002, v:15, n:2-3, pp:111-126 [Journal]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]

  28. Transmitting TLM transactions over analogue wire models. [Citation Graph (, )][DBLP]


  29. Towards Model-Based Testing with Architecture Models. [Citation Graph (, )][DBLP]


  30. Special issue on practical aspects of automated reasoning. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002