Follow
Alexandre Riazanov
Alexandre Riazanov
Software Development Engineer, Amazon Web Services
Verified email at ipsnp.com - Homepage
Title
Cited by
Cited by
Year
The design and implementation of VAMPIRE
A Riazanov, A Voronkov
AI communications 15 (2-3), 91-110, 2002
6572002
Vampire 1.1
A Riazanov, A Voronkov
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
1502001
Using Vampire to reason with OWL
D Tsarkov, A Riazanov, S Bechhofer, I Horrocks
The Semantic Web–ISWC 2004: Third International Semantic Web Conference …, 2004
1172004
Splitting without backtracking
A Riazanov, A Voronkov
IJCAI 1, 611-617, 2001
1082001
Limited resource strategy in resolution theorem proving
A Riazanov, A Voronkov
Journal of Symbolic Computation 36 (1-2), 101-115, 2003
992003
Vampire
A Riazanov, A Voronkov
Lecture notes in computer science 1632, 0292-0292, 1999
961999
TeMP: A Temporal Monodic Prover
U Hustadt, B Konev, A Riazanov, A Voronkov
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
592004
On the evaluation of indexing techniques for theorem proving
R Nieuwenhuis, T Hillenbrand, A Riazanov, A Voronkov
International Joint Conference on Automated Reasoning, 257-271, 2001
502001
Implementing an efficient theorem prover
A Riazanov
PQDT-Global, 2003
402003
Algorithms and semantic infrastructure for mutation impact extraction and grounding
JB Laurila, N Naderi, R Witte, A Riazanov, A Kouznetsov, CJO Baker
BMC genomics 11, 1-10, 2010
382010
Linking DNA metabarcoding and text mining to create network-based biomonitoring tools: A case study on boreal wetland macroinvertebrate communities
ZG Compson, WA Monk, CJ Curry, D Gravel, A Bush, CJO Baker, ...
Advances in ecological research 59, 33-74, 2018
352018
Prototype semantic infrastructure for automated small molecule classification and annotation in lipidomics
LL Chepelev, A Riazanov, A Kouznetsov, HS Low, M Dumontier, ...
BMC bioinformatics 12, 1-14, 2011
292011
From cues to nudge: a knowledge-based framework for surveillance of healthcare-associated infections
A Shaban-Nejad, H Mamiya, A Riazanov, AJ Forster, CJO Baker, ...
Journal of medical systems 40, 1-12, 2016
252016
Semantic querying of relational data for clinical intelligence: a semantic web services-based approach
A Riazanov, A Klein, A Shaban-Nejad, GW Rose, AJ Forster, ...
Journal of biomedical semantics 4, 1-19, 2013
252013
Deploying mutation impact text-mining software with the SADI Semantic Web Services framework
A Riazanov, JB Laurila, CJO Baker
BMC bioinformatics 12, 1-18, 2011
222011
Partially adaptive code trees
A Riazanov, A Voronkov
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga …, 2000
162000
Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data
A Riazanov, GW Rose, A Klein, AJ Forster, CJ Baker, A Shaban-Nejad, ...
Proceedings of the 4th International Workshop on Semantic Web Applications …, 2011
122011
Efficient checking of term ordering constraints
A Riazanov, A Voronkov
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
102004
Valet SADI: provisioning SADI web services for semantic querying of relational databases
MS Al Manir, A Riazanov, H Boley, A Klein, CJO Baker
Proceedings of the 20th international database engineering & applications …, 2016
92016
Benchmarking infrastructure for mutation text mining
A Klein, A Riazanov, MM Hindle, CJO Baker
Journal of Biomedical Semantics 5, 1-13, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20