A. Riazanov

Most-cited papers

The design and implementation of VAMPIRE
A. Riazanov, A. Voronkov
2002AI Communications554 citations
Semantic Scholar
Vampire 1.1 (System Description)
A. Riazanov, A. Voronkov
2001International Joint Conference on Automated Reasoning110 citations
Semantic Scholar
Using Vampire to Reason with OWL
Dmitry Tsarkov, A. Riazanov, S. Bechhofer, Ian Horrocks
2004International Workshop on the Semantic Web96 citations
Semantic Scholar
Limited resource strategy in resolution theorem proving
A. Riazanov, A. Voronkov
2003Journal of symbolic computation87 citations Open access
Semantic Scholar
Splitting Without Backtracking
A. Riazanov, A. Voronkov
2001International Joint Conference on Artificial Intelligence85 citations
Semantic Scholar
On the Evaluation of Indexing Techniques for Theorem Proving
R. Nieuwenhuis, T. Hillenbrand, A. Riazanov, A. Voronkov
2001International Joint Conference on Automated Reasoning55 citations
Semantic Scholar
TeMP: A Temporal Monodic Prover
U. Hustadt, B. Konev, A. Riazanov, A. Voronkov
2004International Joint Conference on Automated Reasoning49 citations
Semantic Scholar
Algorithms and semantic infrastructure for mutation impact extraction and grounding
J. B. Laurila, Nona Naderi, René Witte, A. Riazanov +2 more
2010BMC Genomics38 citations Open access
Semantic Scholar
Linking DNA Metabarcoding and Text Mining to Create Network-Based Biomonitoring Tools: A Case Study on Boreal Wetland Macroinvertebrate Communities
Z. Compson, W. Monk, C. Curry, D. Gravel +10 more
201832 citations
Semantic Scholar
Implementing an Efficient Theorem Prover
A. Riazanov
200330 citations
Semantic Scholar
Semantic querying of relational data for clinical intelligence: a semantic web services-based approach
A. Riazanov, Artjom Klein, Arash Shaban-Nejad, G. Rose +3 more
2013Journal of Biomedical Semantics23 citations Open access
Semantic Scholar
Prototype semantic infrastructure for automated small molecule classification and annotation in lipidomics
L. Chepelev, A. Riazanov, A. Kouznetsov, H. Low +2 more
2011BMC Bioinformatics22 citations Open access
Semantic Scholar
From Cues to Nudge: A Knowledge-Based Framework for Surveillance of Healthcare-Associated Infections
Arash Shaban-Nejad, H. Mamiya, A. Riazanov, A. Forster +3 more
2015Journal of medical systems20 citations
Semantic Scholar
Deploying mutation impact text-mining software with the SADI Semantic Web Services framework
A. Riazanov, J. B. Laurila, Christopher J. O. Baker
2011BMC Bioinformatics17 citations Open access
Semantic Scholar
Partially Adaptive Code Trees
A. Riazanov, A. Voronkov
2000European Conference on Logics in Artificial Intelligence15 citations
Semantic Scholar
Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data
A. Riazanov, G. Rose, Artjom Klein, A. Forster +3 more
2011Workshop on Semantic Web Applications and Tools for Life Sciences12 citations
Semantic Scholar
Efficient instance retrieval with standard and relational path indexing
A. Riazanov, A. Voronkov
2005Information and Computation10 citations Open access
Semantic Scholar
Efficient Checking of Term Ordering Constraints
A. Riazanov, A. Voronkov
2004International Joint Conference on Automated Reasoning10 citations
Semantic Scholar
PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes
Mohammad Sadnan Al Manir, A. Riazanov, H. Boley, Christopher J. O. Baker
2012International Web Rule Symposium9 citations Open access
Semantic Scholar
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners
Gen Zou, Reuben Peter-Paul, H. Boley, A. Riazanov
2012International Web Rule Symposium9 citations Open access
Semantic Scholar
Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases
Mohammad Sadnan Al Manir, A. Riazanov, H. Boley, Artjom Klein +1 more
2016International Database Engineering and Applications Symposium7 citations
Semantic Scholar
Incremental Query Rewriting with Resolution
A. Riazanov, Marcelo A. T. Aragão
20107 citations
Semantic Scholar
Benchmarking infrastructure for mutation text mining
Artjom Klein, A. Riazanov, M. Hindle, Christopher J. O. Baker
2014Journal of Biomedical Semantics6 citations Open access
Semantic Scholar
HAIKU: A Semantic Framework for Surveillance of Healthcare-Associated Infections
Arash Shaban-Nejad, A. Riazanov, K. Charland, G. Rose +4 more
2012ANT/MobiWIS6 citations Open access
Semantic Scholar
Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection
Arash Shaban-Nejad, G. Rose, Anya Okhmatovskaia, A. Riazanov +4 more
2011Medical Informatics Europe6 citations
Semantic Scholar
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers
Gen Zou, Reuben Peter-Paul, H. Boley, A. Riazanov
2012International Web Rule Symposium5 citations
Semantic Scholar
Adaptive Saturation-Based Reasoning
A. Riazanov, A. Voronkov
2001Ershov Memorial Conference5 citations
Semantic Scholar
Automated generation of SADI semantic web services for clinical intelligence
Mohammad Sadnan Al Manir, A. Riazanov, H. Boley, Artjom Klein +1 more
2016SBD '163 citations
Semantic Scholar
Ecotoxicology Data Federation with SADI Semantic Web Services
A. Riazanov, M. Hindle, E. Goudreau, C. Martyniuk +1 more
2012Workshop on Semantic Web Applications and Tools for Life Sciences3 citations
Semantic Scholar
Leveraging SADI Semantic Web Services to Exploit Fish Ecotoxicology Data
M. Hindle, A. Riazanov, E. Goudreau, C. Martyniuk +1 more
2011China Semantic Web Symposium3 citations
Semantic Scholar
Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings
Mohammad Sadnan Al Manir, A. Riazanov, H. Boley, Artjom Klein +1 more
2015Workshop on Semantic Web Applications and Tools for Life Sciences2 citations
Semantic Scholar
Generating Semantic Web Services from Declarative Descriptions
Mohammad Sadnan Al Manir, A. Riazanov, H. Boley, Christopher J. O. Baker
2013China Semantic Web Symposium2 citations
Semantic Scholar
System Description: Vampire 1.0
A. Riazanov, A. Voronkov
2000Workshop on Automated Reasoning1 citations
Semantic Scholar
System Description: Vampire 1.0
A. Riazanov, Andrei VoronkovUniversity
2000Workshop on Automated Reasoning1 citations
Semantic Scholar
NRC Publications
Mohammad Sadnan Al Manir, A. Riazanov, H. Boley, Christopher J. O. Baker
20200 citations
Semantic Scholar
Benchmarking infrastructure for mutation text
A. Riazanov, M. Hindle, Christopher J. O. Baker
20140 citations
Semantic Scholar
Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note
A. Riazanov
2009arXiv.org0 citations
Semantic Scholar
New Implementation Framework for Saturation-Based Reasoning
A. Riazanov
2008arXiv.org0 citations
Semantic Scholar
On the Evaluation of Indexing Te hniques forTheorem
P. Nieuwenhuis, T. Hillenbrand, A. Riazanov, A. Voronkov
20070 citations
Semantic Scholar
Programming Logics Group
U. Furbach, A. Riazanov, A. Voronkov, K. Iwanuma +2 more
20010 citations
Semantic Scholar
[Ribosome and the secret of longevity].
A. Riazanov
2001Молекулярная биология0 citations
Semantic Scholar
Vampire
A. Riazanov, Andrei Voronkov
1999CADE0 citations
Semantic Scholar
[Organization of enzymes on subcellular structures: relay at the surface].
A. Riazanov, A. Spirin
1989Биохимия0 citations
Semantic Scholar
[Effect of phosphorylation of elongation factor 2 on its activity in a cell-free translation system].
E. Shestakova, A. Riazanov
1987Doklady Akademii nauk SSSR0 citations
Semantic Scholar
[Threonyl-tRNA synthase from rabbit reticulocytes: a reversible transition from the RNA-non-binding to the RNA-binding form].
A. Fedorov, A. Riazanov, L. Ovchinnikov
1986Биохимия0 citations
Semantic Scholar
Chapter 1 Incremental Query Rewriting with Resolution
A. Riazanov, Marcelo A. T. Aragão
0 citations
Semantic Scholar