Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stephan Schulz
2010 – today
- 2013
[c23]- 2012
- [c22]
- [c21]Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner: The TPTP Typed First-Order Form with Arithmetic. LPAR 2012: 406-419
- 2010
- [j15]Boris Konev, Renate A. Schmidt, Stephan Schulz: Special issue on practical aspects of automated reasoning. AI Commun. 23(2-3): 67-68 (2010)
- [c20]Stephan Schulz, Jörg Becker, Thomas Uhle, Karsten Einwich, Sören Sonntag: Transmitting TLM transactions over analogue wire models. DATE 2010: 1608-1613
2000 – 2009
- 2009
- [j14]Bostjan Pintar, Axel Rennoch, Peter Schmitting, Stephan Schulz: Standardized Testware for Internet-Based Telecommunication Services. ERCIM News 2009(77) (2009)
- [j13]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)
- [j12]Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (2009)
- [j11]Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1) (2009)
- 2008
- [j10]
- [e3]Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 373, CEUR-WS.org 2008
- [e2]Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): 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 Workshop Proceedings 418, CEUR-WS.org 2008
- 2007
- [c19]Stephan Schulz, Jukka Honkola, Antti Huima: Towards Model-Based Testing with Architecture Models. ECBS 2007: 495-502
- [c18]Stephan Schulz, Anthony Wiles, Steve Randall: TPLan-A Notation for Expressing Test Purposes. TestCom/FATES 2007: 292-304
- [e1]Geoff Sutcliffe, Josef Urban, Stephan Schulz (Eds.): Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR Workshop Proceedings 257, CEUR-WS.org 2007
- 2006
- [j9]Stephan Schulz, Geoff Sutcliffe, Tanel Tammet: Preface. International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006)
- [j8]Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
- [j7]Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)
- [j6]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)
- [c17]Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81
- [i1]Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. CoRR abs/cs/0604054 (2006)
- 2005
- [j5]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)
- [c16]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
- [c15]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
- [c14]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
- 2004
- [c13]
- [c12]Stephan Schulz: Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols. TestCom 2004: 177-192
- 2002
- [j4]
- [c11]
- [c10]Stephan Schulz: A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. FLAIRS Conference 2002: 72-76
- [c9]Stephan Schulz, Theofanis Vassiliou-Gioles: Implementation of TTCN-3 Test Systems using the TRI. TestCom 2002: 425-442
- 2001
- [c8]
- [c7]Joachim Draeger, Stephan Schulz: Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. FLAIRS Conference 2001: 345-349
- [c6]
- [c5]Stephan Schulz: Learning Search Control Knowledge for Equational Theorem Proving. KI/ÖGAI 2001: 320-334
- [c4]Stephan Schulz: A Transformation for System Level Design Model Specifications into Implementation Descriptions. SCCC 2001: 247-255
- 2000
- [b1]Stephan Schulz: Learning search control knowledge for equational deduction. DISKI 230, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-230-4, pp. I-XIII, 1-182
- [j3]Jörg Denzinger, Stephan Schulz: Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. Inf. Comput. 162(1-2): 59-79 (2000)
1990 – 1999
- 1999
- [c3]
- [c2]Stephan Schulz, Felix Brandt: Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. FLAIRS Conference 1999: 244-248
- 1997
- [j2]Jörg Denzinger, Martin Kronenburg, Stephan Schulz: DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reasoning 18(2): 189-198 (1997)
- 1996
- [j1]Jörg Denzinger, Stephan Schulz: Recording and Analysing Knowledge-Based Distributed Deduction Processes. J. Symb. Comput. 21(4): 523-541 (1996)
- [c1]Jörg Denzinger, Stephan Schulz: Learning Domain Knowledge to Improve Theorem Proving. CADE 1996: 62-76
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:19 CEST by the dblp team