Alexandre Riazanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
1999–2016
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | IDEAS | Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases. | Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker |
| 2016 | SIGMOD | Automated generation of SADI semantic web services for clinical intelligence. | Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker |
| 2012 | ECCB | Benchmarking infrastructure for mutation text mining. | Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker |
| 2004 | CADE | TeMP: A Temporal Monodic Prover. | Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov |
| 2004 | CADE | Efficient Checking of Term Ordering Constraints. | Alexandre Riazanov, Andrei Voronkov |
| 2003 | CADE | Efficient Instance Retrieval with Standard and Relational Path Indexing. | Alexandre Riazanov, Andrei Voronkov |
| 2001 | CADE | On the Evaluation of Indexing Techniques for Theorem Proving. | Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov |
| 2001 | CADE | Vampire 1.1 (System Description). | Alexandre Riazanov, Andrei Voronkov |
| 2001 | IJCAI | Splitting Without Backtracking. | Alexandre Riazanov, Andrei Voronkov |
| 2000 | JELIA | Partially Adaptive Code Trees. | Alexandre Riazanov, Andrei Voronkov |
| 1999 | CADE | Vampire. | Alexandre Riazanov, Andrei Voronkov |