The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stephan Tobies: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Colin Hirsch, Stephan Tobies
    A Tableau Algorithm for the Clique Guarded Fragment. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2000, pp:257-277 [Conf]
  2. Franz Baader, Stephan Tobies
    The Inverse Method Implements the Automata Approach for Modal Satisfiability. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:92-106 [Conf]
  3. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Reasoning with Individuals for the Description Logic SHIQ. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:482-496 [Conf]
  4. Stephan Tobies
    A PSpace Algorithm for Graded Modal Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:52-66 [Conf]
  5. Stephan Tobies
    A NExpTime-Complete Description Logic Strictly Contained in C2. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:292-306 [Conf]
  6. Ian Horrocks, Stephan Tobies
    Optimisation of Terminological Reasoning. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:183-192 [Conf]
  7. Carsten Lutz, Ulrike Sattler, Stephan Tobies
    A Suggestion for an n-ary Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  8. Stephan Tobies
    On the Complexity of Counting in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  9. Peter H. Deussen, Stephan Tobies
    Formal Test Purposes and the Validity of Test Cases. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:114-129 [Conf]
  10. Franz Baader, Ralf Molitor, Stephan Tobies
    Tractable and Decidable Fragments of Conceptual Graphs. [Citation Graph (0, 0)][DBLP]
    ICCS, 1999, pp:480-493 [Conf]
  11. Ian Horrocks, Stephan Tobies
    Reasoning with Axioms: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:285-296 [Conf]
  12. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
    How to decide Query Containment under Constraints using a Description Logic. [Citation Graph (0, 0)][DBLP]
    KRDB, 2000, pp:59-72 [Conf]
  13. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:161-180 [Conf]
  14. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
    How to Decide Query Containment Under Constraints Using a Description Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:326-343 [Conf]
  15. Stephan Tobies
    PSPACE Reasoning for Graded Modal Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  16. Ian Horrocks, Stephan Tobies
    Reasoning with Axioms: Theory and Pratice [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  17. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Very Expressive Description Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  18. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Expressive Description Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  19. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Reasoning with Individuals for the Description Logic SHIQ [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  20. Stephan Tobies
    Complexity Results and Practical Algorithms for Logics in Knowledge Representation [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  21. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Very Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
  22. Stephan Tobies
    The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2000, v:12, n:, pp:199-217 [Journal]
  23. Stephan Tobies
    PSPACE Reasoning for Graded Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:85-106 [Journal]
  24. Peter H. Deussen, Stephan Tobies
    Formal Test Purposes and The Validity of Test Cases [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  25. Franz Baader, Stephan Tobies
    The Inverse Method Implements the Automata Approach for Modal Satisfiability [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]

  26. Local Verification of Global Invariants in Concurrent Programs. [Citation Graph (, )][DBLP]


  27. Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]


  28. VCC: Contract-based modular verification of concurrent C. [Citation Graph (, )][DBLP]


  29. VCC: A Practical System for Verifying Concurrent C. [Citation Graph (, )][DBLP]


  30. A Precise Yet Efficient Memory Model For C. [Citation Graph (, )][DBLP]


Search in 0.105secs, Finished in 0.106secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002