The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexandre Riazanov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
    TeMP: A Temporal Monodic Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:326-330 [Conf]
  2. Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov
    On the Evaluation of Indexing Techniques for Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:257-271 [Conf]
  3. Alexandre Riazanov, Andrei Voronkov
    Vampire 1.1 (System Description). [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:376-380 [Conf]
  4. Alexandre Riazanov, Andrei Voronkov
    Efficient Instance Retrieval with Standard and Relational Path Indexing. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:380-396 [Conf]
  5. Alexandre Riazanov, Andrei Voronkov
    Efficient Checking of Term Ordering Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:60-74 [Conf]
  6. Alexandre Riazanov, Andrei Voronkov
    Vampire. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:292-296 [Conf]
  7. Alexandre Riazanov, Andrei Voronkov
    Adaptive Saturation-Based Reasoning. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:95-108 [Conf]
  8. Alexandre Riazanov, Andrei Voronkov
    Splitting Without Backtracking. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:611-617 [Conf]
  9. Alexandre Riazanov, Andrei Voronkov
    Partially Adaptive Code Trees. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:209-223 [Conf]
  10. Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
    Using Vampire to Reason with OWL. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2004, pp:471-485 [Conf]
  11. Alexandre Riazanov, Andrei Voronkov
    The design and implementation of VAMPIRE. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2002, v:15, n:2-3, pp:91-110 [Journal]
  12. Alexandre Riazanov, Andrei Voronkov
    Efficient instance retrieval with standard and relational path indexing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:228-252 [Journal]
  13. Alexandre Riazanov, Andrei Voronkov
    Limited resource strategy in resolution theorem proving. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:101-115 [Journal]

  14. New Implementation Framework for Saturation-Based Reasoning [Citation Graph (, )][DBLP]


  15. Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note [Citation Graph (, )][DBLP]


Search in 0.132secs, Finished in 0.133secs
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