| Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies International Conference on Logic for Programming Artificial Intelligence …, 1999 | 1243* | 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 | 851 | 2009 |
| Complexity results and practical algorithms for logics in knowledge representation S Tobies arXiv preprint cs/0106031, 2001 | 486 | 2001 |
| Reasoning with individuals for the description logic I Horrocks, U Sattler, S Tobies International Conference on Automated Deduction, 482-496, 2000 | 418 | 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 | 243 | 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 | 181 | 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 | 132 | 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 | 114 | 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 | 109 | 2009 |
| 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 | 101 | 2010 |
| Reasoning with Axioms: Theory and Pratice I Horrocks, S Tobies arXiv preprint cs/0005012, 2000 | 98 | 2000 |
| PSPACE reasoning for graded modal logics S Tobies Journal of Logic and Computation 11 (1), 85-106, 2001 | 94 | 2001 |
| The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... International Symposium on Formal Methods, 154-168, 2011 | 79 | 2011 |
| Tractable and decidable fragments of conceptual graphs F Baader, R Molitor, S Tobies International Conference on Conceptual Structures, 480-493, 1999 | 53 | 1999 |
| A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions I Horrocks, U Sattler, S Tobies | 53 | 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 | 44 | 2009 |
| A PSpace-algorithm for deciding ALCNIR+-satisfiability I Horrocks, U Sattler, S Tobies | 39 | 1998 |
| A PSPACE algorithm for graded modal logic H Ganzinger, S Tobies Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999 | 36 | 1999 |
| A Suggestion for an n-ary Description Logic. C Lutz, U Sattler, S Tobies Description Logics, 1999 | 34 | 1999 |
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
