| 2011 | ||
|---|---|---|
| 32 | 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 | |
| 31 | Stephan Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics CoRR abs/1106.0239: (2011) | |
| 2010 | ||
| 30 | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies: Local Verification of Global Invariants in Concurrent Programs. CAV 2010: 480-494 | |
| 2009 | ||
| 29 | 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 | |
| 28 | Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430 | |
| 27 | 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 | |
| 26 | 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) | |
| 2004 | ||
| 25 | Peter H. Deussen, Stephan Tobies: Formal Test Purposes and The Validity of Test Cases CoRR abs/cs/0412100: (2004) | |
| 24 | Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability CoRR abs/cs/0412101: (2004) | |
| 2002 | ||
| 23 | Peter H. Deussen, Stephan Tobies: Formal Test Purposes and the Validity of Test Cases. FORTE 2002: 114-129 | |
| 2001 | ||
| 22 | Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106 | |
| 21 | Stephan Tobies: Complexity Results and Practical Algorithms for Logics in Knowledge Representation CoRR cs.LO/0106031: (2001) | |
| 20 | Stephan Tobies: PSPACE Reasoning for Graded Modal Logics. J. Log. Comput. 11(1): 85-106 (2001) | |
| 2000 | ||
| 19 | Colin Hirsch, Stephan Tobies: A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic 2000: 257-277 | |
| 18 | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496 | |
| 17 | Ian Horrocks, Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000: 183-192 | |
| 16 | Ian Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Practice. KR 2000: 285-296 | |
| 15 | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72 | |
| 14 | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343 | |
| 13 | Stephan Tobies: PSPACE Reasoning for Graded Modal Logics CoRR cs.LO/0005009: (2000) | |
| 12 | Ian Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Pratice CoRR cs.LO/0005012: (2000) | |
| 11 | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics CoRR cs.LO/0005013: (2000) | |
| 10 | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics CoRR cs.LO/0005014: (2000) | |
| 9 | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ CoRR cs.LO/0005017: (2000) | |
| 8 | Stephan Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. J. Artif. Intell. Res. (JAIR) 12: 199-217 (2000) | |
| 7 | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): 239-263 (2000) | |
| 1999 | ||
| 6 | Stephan Tobies: A PSpace Algorithm for Graded Modal Logic. CADE 1999: 52-66 | |
| 5 | Stephan Tobies: A NExpTime-Complete Description Logic Strictly Contained in C2. CSL 1999: 292-306 | |
| 4 | Carsten Lutz, Ulrike Sattler, Stephan Tobies: A Suggestion for an n-ary Description Logic. Description Logics 1999 | |
| 3 | Stephan Tobies: On the Complexity of Counting in Description Logics. Description Logics 1999 | |
| 2 | Franz Baader, Ralf Molitor, Stephan Tobies: Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999: 480-493 | |
| 1 | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180 | |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page