dblp.uni-trier.dewww.uni-trier.de

Stephan Schulz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
35EEAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1): (2009)
34EERenate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (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
31EEStephan 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
29EEStephan Schulz, Jukka Honkola, Antti Huima: Towards Model-Based Testing with Architecture Models. ECBS 2007: 495-502
28EEStephan Schulz, Anthony Wiles, Steve Randall: TPLan-A Notation for Expressing Test Purposes. TestCom/FATES 2007: 292-304
2006
27EEGeoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81
26EEAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures CoRR abs/cs/0604054: (2006)
25EEThomas 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)
24EEStephan Schulz, Geoff Sutcliffe, Tanel Tammet: Preface. International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006)
23EEBernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
22EEBernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)
2005
21EEMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
20EEAlessandro 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
19EEMarco 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
18EEMarco 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
17EEStephan Schulz: System Description: E 0.81. IJCAR 2004: 223-228
16EEStephan Schulz: Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols. TestCom 2004: 177-192
2002
15EEStephan 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
12EEStephan 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
9EEStephan Schulz: System Abstract: E 0.61. IJCAR 2001: 370-375
8EEStephan Schulz: Learning Search Control Knowledge for Equational Theorem Proving. KI/ÖGAI 2001: 320-334
7EEStephan 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
5EEStephan 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
2EEJö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)

Coauthor Index

1Alessandro Armando [20] [26] [35]
2Maria Paola Bonacina [20] [26] [35]
3Marco Bozzano [18] [19] [21]
4Felix Brandt [4]
5Roberto Bruttomesso [18] [19] [21]
6Alessandro Cimatti [18] [19] [21]
7Koen Claessen [27]
8Thomas Deiß [25]
9Jörg Denzinger [1] [2] [3] [6]
10Joachim Draeger [11]
11Bernd Fischer [22] [23]
12Allen Van Gelder [27]
13Jukka Honkola [29]
14Antti Huima [29]
15Tommi A. Junttila [18] [19] [21]
16Boris Konev [32] [33]
17Martin Kronenburg [3]
18Andreas Johan Nyberg [25]
19Steve Randall [28]
20Silvio Ranise [20] [26] [35]
21Peter van Rossum [18] [19] [21]
22Piotr Rudnicki [32]
23Renate A. Schmidt [32] [33] [34]
24Roberto Sebastiani [18] [19] [21]
25Geoff Sutcliffe [15] [22] [23] [24] [27] [30] [32] [34]
26Tanel Tammet [24]
27Risto Teittinen [25]
28Josef Urban [30]
29Theofanis Vassiliou-Gioles [13]
30Anthony Wiles [28]
31Colin Willcock [25]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)