Stephan Tobies

	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

Coauthor Index

1	Eyad Alkassar	[29] [32]
2	Rob Arthan	[32]
3	Franz Baader	[2] [22] [24]
4	Vladimir Boyarinov	[29]
5	Derek Bronish	[32]
6	Rod Chapman	[32]
7	Ernie Cohen	[26] [27] [29] [30] [32]
8	Markus Dahlweid	[27] [28] [29]
9	Ulan Degenbaev	[29]
10	Peter H. Deussen	[23] [25]
11	Mark A. Hillebrand	[27] [29] [32]
12	Colin Hirsch	[19]
13	Ian Horrocks	[1] [7] [9] [10] [11] [12] [14] [15] [16] [17] [18]
14	Bart Jacobs	[32]
15	Vladimir Klebanov	[32]
16	Bruno Langenstein	[29]
17	Gary T. Leavens	[32]
18	Dirk Leinenbach	[27] [29]
19	K. Rustan M. Leino	[32]
20	Carsten Lutz	[4]
21	Ralf Molitor	[2]
22	Rosemary Monahan	[32]
23	Michal Moskal	[26] [27] [28] [29] [30]
24	Peter Müller	[32]
25	Steven Obua	[29]
26	Wolfgang J. Paul	[29]
27	Hristo Pentchev	[29]
28	Elena Petrova	[29]
29	Frank Piessens	[32]
30	Nadia Polikarpova	[32]
31	Tom Ridge (Thomas Ridge)	[32]
32	Thomas Santen	[27] [28] [29]
33	Ulrike Sattler	[1] [4] [7] [9] [10] [11] [14] [15] [18]
34	Norbert Schirmer (Bert Schirmer)	[29]
35	Sabine Schmaltz	[29]
36	Wolfram Schulte	[26] [27] [28] [29] [30]
37	Andrey Shadrin	[29]
38	Natarajan Shankar	[32]
39	Jan Smans	[32]
40	Sergio Tessaris	[14] [15]
41	Alexandra Tsyban	[29]
42	Thomas Tuerk	[32]
43	Sergey Tverdyshev	[29]
44	Mattias Ulbrich	[32]
45	Benjamin Weiß	[32]
46	Valentin Wüstholz	[32]

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