Alexandre Riazanov

Cited by

	All	Since 2019
Citations	1712	293
h-index	16	9
i10-index	18	9

140

105

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 27 27 63 56 121 99 90 98 87 71 77 99 111 76 86 62 65 70 65 57 70 44 31 26

Public access

View all

3 articles

1 article

available

not available

Based on funding mandates

Co-authors

Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk
Christopher J. O. BakerProfessor, University of New BrunswickVerified email at unb.ca
Harold BoleyPrincipal Researcher and Leader of the Semantic Web Laboratory, National Research Council CanadaVerified email at unb.ca
David L BuckeridgeMcGill UniversityVerified email at mcgill.ca
Sean BechhoferProfessor of Computer Science, Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Dmitry TsarkovSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Matthew M. HindlePostdoctoral Researcher, University of EdinburghVerified email at ed.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaVerified email at cs.upc.edu
René WitteAssociate Professor of Computer Science and Software Engineering, Concordia University, MontrealVerified email at cse.concordia.ca
Nona NaderiAssociate Professor at Université Paris-SaclayVerified email at universite-paris-saclay.fr
Michel DumontierDistinguished Professor of Data Science, Maastricht UniversityVerified email at maastrichtuniversity.nl
Anya OkhmatovskaiaMcGill UniversityVerified email at mcgill.ca
Mauno VihinenLund UniversityVerified email at med.lu.se

Alexandre Riazanov

Software Development Engineer, Amazon Web Services

Verified email at ipsnp.com - Homepage

Graph DBMS Semantic Data Management Self-Service Data Querying Software Automated Reasoning Bioinformatics and Clinical Info


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The design and implementation of VAMPIRE A Riazanov, A Voronkov AI communications 15 (2-3), 91-110, 2002	659	2002
Vampire 1.1 A Riazanov, A Voronkov Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	156	2001
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	117	2004
Splitting without backtracking A Riazanov, A Voronkov IJCAI 1, 611-617, 2001	110	2001
Limited resource strategy in resolution theorem proving A Riazanov, A Voronkov Journal of Symbolic Computation 36 (1-2), 101-115, 2003	98	2003
Vampire A Riazanov, A Voronkov Lecture notes in computer science 1632, 0292-0292, 1999	97	1999
TeMP: A Temporal Monodic Prover U Hustadt, B Konev, A Riazanov, A Voronkov Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004	62	2004
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	54	2001
Implementing an efficient theorem prover A Riazanov PQDT-Global, 2003	41	2003
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	38	2010
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	36	2018
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	28	2011
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	26	2013
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	25	2016
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	24	2011
Partially adaptive code trees A Riazanov, A Voronkov Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga …, 2000	16	2000
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	12	2011
Efficient checking of term ordering constraints A Riazanov, A Voronkov Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004	10	2004
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	9	2016
Benchmarking infrastructure for mutation text mining A Klein, A Riazanov, MM Hindle, CJO Baker Journal of Biomedical Semantics 5, 1-13, 2014	9	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors