Stephan Tobies

Artificial Intelligence · 2000–2009

A researcher in the Science corpus: 4 papers; trusts 7 researchers and is trusted by 27 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 13 citations into it; #4,820 of 35,345 by trust here, #12,083 by citations
• Computer Networks and Communications — 6 citations into it; #3,255 of 9,886 by trust here, #3,753 by citations

Whom Stephan Tobies trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Ian Horrocks
2. U. Sattler
3. Dieter A. Fensel
4. Marvin Minsky
5. Frank van Harmelen
6. Franz Baader
7. Stefan Decker

Who trusts Stephan Tobies overall

1. Ian Horrocks
2. Boris Motik
3. U. Sattler
4. Franz Baader
5. Peter F. Patel-Schneider
6. Birte Glimm
7. Thomas Eiter
8. Thomas Lukasiewicz
9. Rob Shearer
10. Giovambattista Ianni

Papers from Stephan Tobies's perspective

Ordered by how strongly the researchers Stephan Tobies trusts endorse each paper. Same corpus, a different order for every researcher.

1. Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
2. Practical Reasoning for Very Expressive Description Logics (Logic Journal of the IGPL)
3. A framework for representing knowledge
4. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
6. Separation logic: a logic for shared mutable data structures
7. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)
8. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
9. OIL in a Nutshell (International Conference Knowledge Engineering and Knowledge Management)
10. A Marriage of Rely/Guarantee and Separation Logic (International Conference on Concurrency Theory)

Their papers

• VCC: A Practical System for Verifying Concurrent C (2009) — 653 citations
• Complexity results and practical algorithms for logics in knowledge representation (2001) — 436 citations
• Reasoning with Individuals for the Description Logic SHIQ (2000) — 334 citations
• Practical Reasoning for Very Expressive Description Logics (2000) — 426 citations