Stephan Tobies

	2009
27		Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
26		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
	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): (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

Coauthor Index

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

Colors in the list of coauthors