Stephan Tobies Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnie 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
2004
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Deussen, Stephan Tobies: Formal Test Purposes and The Validity of Test Cases CoRR abs/cs/0412100: (2004)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability CoRR abs/cs/0412101: (2004)
2002
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Deussen, Stephan Tobies: Formal Test Purposes and the Validity of Test Cases. FORTE 2002: 114-129
2001
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Tobies: Complexity Results and Practical Algorithms for Logics in Knowledge Representation CoRR cs.LO/0106031: (2001)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Tobies: PSPACE Reasoning for Graded Modal Logics. J. Log. Comput. 11(1): 85-106 (2001)
2000
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLColin Hirsch, Stephan Tobies: A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic 2000: 257-277
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000: 183-192
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Practice. KR 2000: 285-296
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Tobies: PSPACE Reasoning for Graded Modal Logics CoRR cs.LO/0005009: (2000)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Pratice CoRR cs.LO/0005012: (2000)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics CoRR cs.LO/0005013: (2000)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics CoRR cs.LO/0005014: (2000)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ CoRR cs.LO/0005017: (2000)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. J. Artif. Intell. Res. (JAIR) 12: 199-217 (2000)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): (2000)
1999
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Tobies: A PSpace Algorithm for Graded Modal Logic. CADE 1999: 52-66
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Tobies: A NExpTime-Complete Description Logic Strictly Contained in C2. CSL 1999: 292-306
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Stephan Tobies: A Suggestion for an n-ary Description Logic. Description Logics 1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Tobies: On the Complexity of Counting in Description Logics. Description Logics 1999
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Molitor, Stephan Tobies: Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999: 480-493
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180

Coauthor Index

1Franz Baader [2] [22] [24]
2Ernie Cohen [26]
3Markus Dahlweid [26] [27]
4Peter H. Deussen [23] [25]
5Mark A. Hillebrand [26]
6Colin Hirsch [19]
7Ian Horrocks [1] [7] [9] [10] [11] [12] [14] [15] [16] [17] [18]
8Dirk Leinenbach [26]
9Carsten Lutz [4]
10Ralf Molitor [2]
11Michal Moskal [26] [27]
12Thomas Santen [26] [27]
13Ulrike Sattler [1] [4] [7] [9] [10] [11] [14] [15] [18]
14Wolfram Schulte [26] [27]
15Sergio Tessaris [14] [15]

Colors in the list of coauthors

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)