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: Schulz:Stephan
Contributed to:
2015
201420132012
2010
200720062005
20052004
200420022002200119991996Wrote 16 papers:
- CADE-2015-KaliszykSUV
- 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.
- CADE-2013-KuhlweinSU
- E-MaLeS 1.1 (DK, SS, JU), pp. 407–413.
- IJCAR-2012-Schulz
- 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.
- TestCom-FATES-2007-SchulzWR
- 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.
- CADE-2005-BozzanoBCJRSS
- 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.
- IJCAR-2004-Schulz
- 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.
- CADE-2002-SchulzS
- 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.
- IJCAR-2001-Schulz
- System Abstract: E 0.61 (SS), pp. 370–375.
- CADE-1999-Schulz
- 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.