Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Stephan Tobies

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11
- ask others
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
[i9]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-0239
- ask others
Stephan Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. CoRR abs/1106.0239 (2011)
2010
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/CohenMST10
- ask others
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies: Local Verification of Global Invariants in Concurrent Programs. CAV 2010: 480-494

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CohenMTS09
- ask others
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte: A Precise Yet Efficient Memory Model For C. Electr. Notes Theor. Comput. Sci. 254: 85-103 (2009)
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
- ask others
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/DahlweidMSTS09
- ask others
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/CohenDHLMSST09
- ask others
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42
2007
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ami/EertinkPBTTH07
- ask others
Henk Eertink, Remco Poortinga, Tom Broens, Stephan Tobies, Andrew Tokmakoff, Aart van Halteren: Sharing Intelligent Services between Homes. AmI Workshops 2007: 379-384
2004
[i8]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-cs-0412100
- ask others
Peter H. Deussen, Stephan Tobies: Formal Test Purposes and The Validity of Test Cases. CoRR abs/cs/0412100 (2004)
[i7]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-cs-0412101
- ask others
Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. CoRR abs/cs/0412101 (2004)
2002
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/forte/DeussenT02
- ask others
Peter H. Deussen, Stephan Tobies: Formal Test Purposes and the Validity of Test Cases. FORTE 2002: 114-129
2001
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Tobies01
- ask others
Stephan Tobies: PSPACE Reasoning for Graded Modal Logics. J. Log. Comput. 11(1): 85-106 (2001)
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/BaaderT01
- ask others
Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106
[i6]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-0106031
- ask others
Stephan Tobies: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. CoRR cs.LO/0106031 (2001)
2000
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/igpl/HorrocksST00
- ask others
Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): 239-263 (2000)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jair/Tobies00
- ask others
Stephan Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. J. Artif. Intell. Res. (JAIR) 12: 199-217 (2000)
[c12]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aiml/HirschT00
- ask others
Colin Hirsch, Stephan Tobies: A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic 2000: 257-277
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/HorrocksST00
- ask others
Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496
[c10]
- view
  - electronic edition @ RWTH-Aachen.DE
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlog/HorrocksT00a
- ask others
Ian Horrocks, Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000: 183-192
[c9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kr/HorrocksT00
- ask others
Ian Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Practice. KR 2000: 285-296
[c8]
- view
  - electronic edition @ rwth-aachen.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/krdb/HorrocksSTT00
- ask others
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/HorrocksSTT00
- ask others
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343
[i5]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-0005009
- ask others
Stephan Tobies: PSPACE Reasoning for Graded Modal Logics. CoRR cs.LO/0005009 (2000)
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-0005012
- ask others
Ian Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Pratice. CoRR cs.LO/0005012 (2000)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-0005013
- ask others
Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. CoRR cs.LO/0005013 (2000)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-0005014
- ask others
Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. CoRR cs.LO/0005014 (2000)
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-0005017
- ask others
Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CoRR cs.LO/0005017 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Tobies99
- ask others
Stephan Tobies: A PSpace Algorithm for Graded Modal Logic. CADE 1999: 52-66
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Tobies99
- ask others
Stephan Tobies: A NExpTime-Complete Description Logic Strictly Contained in C². CSL 1999: 292-306
[c4]
- view
  - electronic edition @ RWTH-Aachen.DE
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlog/LutzST99
- ask others
Carsten Lutz, Ulrike Sattler, Stephan Tobies: A Suggestion for an n-ary Description Logic. Description Logics 1999
[c3]
- view
  - electronic edition @ RWTH-Aachen.DE
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlog/Tobies99
- ask others
Stephan Tobies: On the Complexity of Counting in Description Logics. Description Logics 1999
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccs/BaaderMT99
- ask others
Franz Baader, Ralf Molitor, Stephan Tobies: Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999: 480-493
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/HorrocksST99
- ask others
Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?