BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Ireland
2 × Estonia
2 × Italy
3 × Germany
3 × USA
3 × United Kingdom
Collaborated with:
G.Sutcliffe J.Urban A.Pease T.Vassiliou-Gioles J.Denzinger D.Kühlwein A.Wiles S.Randall M.Bozzano R.Bruttomesso A.Cimatti T.A.Junttila P.v.Rossum R.Sebastiani C.Kaliszyk J.Vyskocil K.Claessen A.V.Gelder J.Becker T.Uhle K.Einwich S.Sonntag
Talks about:
system (7) descript (3) abstract (3) test (3) protocol (2) knowledg (2) deriv (2) use (2) fingerprint (1) paramodul (1)

Person: Stephan Schulz

DBLP DBLP: Schulz:Stephan

Contributed to:

CADE 20152015
IJCAR 20142014
CADE 20132013
IJCAR 20122012
DATE 20102010
TestCom/FATES 20072007
IJCAR 20062006
CADE 20052005
TACAS 20052005
IJCAR 20042004
TestCom 20042004
CADE 20022002
TestCom 20022002
IJCAR 20012001
CADE 19991999
CADE 19961996

Wrote 16 papers:

System Description: E.T. 0.1 (CK, SS, JU, JV), pp. 389–398.
IJCAR-2014-PeaseS #information management #ontology #scalability
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0 (AP, SS), pp. 519–525.
E-MaLeS 1.1 (DK, SS, JU), pp. 407–413.
Fingerprint Indexing for Paramodulation and Rewriting (SS), pp. 477–483.
DATE-2010-SchulzBUES #modelling #transaction
Transmitting TLM transactions over analogue wire models (SS, JB, TU, KE, SS), pp. 1608–1613.
TPLan-A Notation for Expressing Test Purposes (SS, AW, SR), pp. 292–304.
IJCAR-2006-SutcliffeSCG #finite #using
Using the TPTP Language for Writing Derivations and Finite Interpretations (GS, SS, KC, AVG), pp. 67–81.
The MathSAT 3 System (MB, RB, AC, TAJ, PvR, SS, RS), pp. 315–321.
TACAS-2005-BozzanoBCJRSS #incremental #linear #logic #satisfiability
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic (MB, RB, AC, TAJ, PvR, SS, RS), pp. 317–333.
System Description: E 0.81 (SS), pp. 223–228.
TestCom-2004-Schulz #consistency #protocol #testing
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols (SS), pp. 177–192.
System Description: GrAnDe 1.0 (SS, GS), pp. 280–284.
TestCom-2002-SchulzV #implementation #using
Implementation of TTCN-3 Test Systems using the TRI (SS, TVG), pp. 425–442.
System Abstract: E 0.61 (SS), pp. 370–375.
System Abstract: E 0.3 (SS), pp. 297–301.
CADE-1996-DenzingerS #learning #proving #theorem proving
Learning Domain Knowledge to Improve Theorem Proving (JD, SS), pp. 62–76.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.