Vampire. - Alexandre Riazanov; Andrei Voronkov (CADE, 1999)

System Description: Vampire 1.0. - Alexandre Riazanov; Andrei Voronkov (ARW, 2000)

Partially Adaptive Code Trees. - Alexandre Riazanov; Andrei Voronkov (JELIA, 2000)

On the Evaluation of Indexing Techniques for Theorem Proving. - Robert Nieuwenhuis; Thomas Hillenbrand; Alexandre Riazanov; Andrei Voronkov (IJCAR, 2001)

Vampire 1.1 (System Description). - Alexandre Riazanov; Andrei Voronkov (IJCAR, 2001)

Adaptive Saturation-Based Reasoning. - Alexandre Riazanov; Andrei Voronkov (Ershov Memorial Conference, 2001)

Splitting Without Backtracking. - Alexandre Riazanov; Andrei Voronkov (IJCAI, 2001)

The design and implementation of VAMPIRE. - Alexandre Riazanov; Andrei Voronkov (AI Commun., 2002)

Limited resource strategy in resolution theorem proving. - Alexandre Riazanov; Andrei Voronkov (J. Symb. Comput., 2003)

TeMP: A Temporal Monodic Prover. - Ullrich Hustadt; Boris Konev; Alexandre Riazanov; Andrei Voronkov (IJCAR, 2004)

Efficient Checking of Term Ordering Constraints. - Alexandre Riazanov; Andrei Voronkov (IJCAR, 2004)

Using Vampire to Reason with OWL. - Dmitry Tsarkov; Alexandre Riazanov; Sean Bechhofer; Ian Horrocks 001 (ISWC, 2004)

Efficient instance retrieval with standard and relational path indexing. - Alexandre Riazanov; Andrei Voronkov (Inf. Comput., 2005)

New Implementation Framework for Saturation-Based Reasoning - Alexandre Riazanov (CoRR, 2008)

Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note - Alexandre Riazanov (CoRR, 2009)

Leveraging SADI Semantic Web Services to Exploit Fish Ecotoxicology Data. - Matthew M. Hindle; Alexandre Riazanov; Edward S. Goudreau; Christopher J. Martyniuk; Christopher J. O. Baker (CSWS, 2011)

Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection. - Arash Shaban-Nejad; Gregory W. Rose; Anya Okhmatovskaia; Alexandre Riazanov; Christopher J. O. Baker; Robyn Tamblyn; Alan J. Forster; David L. Buckeridge (MIE, 2011)

Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data. - Alexandre Riazanov; Gregory W. Rose; Artjom Klein; Alan J. Forster; Christopher J. O. Baker; Arash Shaban-Nejad; David L. Buckeridge (SWAT4LS, 2011)

Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics. - Leonid L. Chepelev; Alexandre Riazanov; Alexandre Kouznetsov; Hong Sang Low; Michel Dumontier; Christopher J. O. Baker (BMC Bioinform., 2011)

Deploying mutation impact text-mining software with the SADI Semantic Web Services framework. - Alexandre Riazanov; Jonas Laurila Bergman; Christopher J. O. Baker (BMC Bioinform., 2011)

PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Christopher J. O. Baker (RuleML, 2012)

PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. - Gen Zou; Reuben Peter-Paul; Harold Boley; Alexandre Riazanov (RuleML, 2012)

PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. - Gen Zou; Reuben Peter-Paul; Harold Boley; Alexandre Riazanov (RuleML (2), 2012)

Ecotoxicology Data Federation with SADI Semantic Web Services. - Alexandre Riazanov; Matthew M. Hindle; E. Scott Goudreau; Chris Martyniuk; Christopher J. O. Baker (SWAT4LS, 2012)

HAIKU: A Semantic Framework for Surveillance of Healthcare-Associated Infections. - Arash Shaban-Nejad; Alexandre Riazanov; Katia M. L. Charland; Gregory W. Rose; Christopher J. O. Baker; Robyn Tamblyn; Alan J. Forster; David L. Buckeridge (ANT/MobiWIS, 2012)

Generating Semantic Web Services from Declarative Descriptions. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Christopher J. O. Baker (CSWS, 2013)

Semantic querying of relational data for clinical intelligence: a semantic web services-based approach. - Alexandre Riazanov; Artjom Klein; Arash Shaban-Nejad; Gregory W. Rose; Alan J. Forster; David L. Buckeridge; Christopher J. O. Baker (J. Biomed. Semant., 2013)

Benchmarking infrastructure for mutation text mining. - Artjom Klein; Alexandre Riazanov; Matthew M. Hindle; Christopher J. O. Baker (J. Biomed. Semant., 2014)

Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Artjom Klein; Christopher J. O. Baker (SWAT4LS, 2015)

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 (IDEAS, 2016)

Automated generation of SADI semantic web services for clinical intelligence. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Artjom Klein; Christopher J. O. Baker (SBD@SIGMOD, 2016)

From Cues to Nudge: A Knowledge-Based Framework for Surveillance of Healthcare-Associated Infections. - Arash Shaban-Nejad; Hiroshi Mamiya; Alexandre Riazanov; Alan J. Forster; Christopher J. O. Baker; Robyn Tamblyn; David L. Buckeridge (J. Medical Syst., 2016)