| Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies LPAR 99, 161-180, 1999 | 1242* | 1999 |
| VCC: A practical system for verifying concurrent C E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, ... Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 804 | 2009 |
| Complexity results and practical algorithms for logics in knowledge representation S Tobies arXiv preprint cs/0106031, 2001 | 473 | 2001 |
| Reasoning with Individuals for the Description Logic I Horrocks, U Sattler, S Tobies Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 419 | 2000 |
| The complexity of reasoning with cardinality restrictions and nominals in expressive description logics S Tobies Journal of Artificial Intelligence Research 12, 199-217, 2000 | 234 | 2000 |
| An Introduction to TTCN-3 C Willcock, T Deiß, S Tobies, S Keil, F Engler, S Schulz An Introduction to TTCN-3, Second Edition, 2011 | 174 | 2011 |
| VCC: Contract-based modular verification of concurrent C M Dahlweid, M Moskal, T Santen, S Tobies, W Schulte 2009 31st International Conference on Software Engineering-Companion Volume …, 2009 | 119 | 2009 |
| How to decide query containment under constraints using a description logic I Horrocks, U Sattler, S Tessaris, S Tobies Logic for Programming and Automated Reasoning: 7th International Conference …, 2000 | 115 | 2000 |
| A precise yet efficient memory model for C E Cohen, M Moskal, S Tobies, W Schulte Electronic Notes in Theoretical Computer Science 254, 85-103, 2009 | 107 | 2009 |
| Reasoning with Axioms: Theory and Pratice I Horrocks, S Tobies arXiv preprint cs/0005012, 2000 | 98 | 2000 |
| Local verification of global invariants in concurrent programs E Cohen, M Moskal, W Schulte, S Tobies Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 95 | 2010 |
| PSPACE reasoning for graded modal logics S Tobies Journal of Logic and Computation 11 (1), 85-106, 2001 | 90 | 2001 |
| The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011 | 76 | 2011 |
| A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions I Horrocks, U Sattler, S Tobies | 55 | 1999 |
| Tractable and decidable fragments of conceptual graphs F Baader, R Molitor, S Tobies ICCS 1640, 480-493, 1999 | 52 | 1999 |
| The inverse method implements the automata approach for modal satisfiability F Baader, S Tobies Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001 | 46 | 2001 |
| A practical verification methodology for concurrent programs E Cohen, M Moskal, W Schulte, S Tobies Microsoft Research, 2009 | 45 | 2009 |
| A PSpace-algorithm for deciding ALCNIR+-satisfiability I Horrocks, U Sattler, S Tobies | 38 | 1998 |
| A PSPACE algorithm for graded modal logic H Ganzinger, S Tobies Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999 | 37 | 1999 |
| A Suggestion for an n-ary Description Logic. C Lutz, U Sattler, S Tobies Description Logics, 1999 | 33 | 1999 |
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
