Alexandre Riazanov

Cited by

	All	Since 2018
Citations	1662	320
h-index	16	9
i10-index	18	9

120

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 27 28 57 55 118 101 88 98 86 71 76 102 112 77 84 63 64 69 65 53 68 45 20

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 BechhoferReader, School 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	641	2002
Vampire 1.1 A Riazanov, A Voronkov Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	149	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	116	2004
Splitting without backtracking A Riazanov, A Voronkov IJCAI 1, 611-617, 2001	108	2001
Limited resource strategy in resolution theorem proving A Riazanov, A Voronkov Journal of Symbolic Computation 36 (1-2), 101-115, 2003	100	2003
Vampire A Riazanov, A Voronkov Lecture notes in computer science 1632, 0292-0292, 1999	92	1999
TeMP: A Temporal Monodic Prover U Hustadt, B Konev, A Riazanov, A Voronkov Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004	58	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	50	2001
Implementing an efficient theorem prover A Riazanov PQDT-Global, 2003	39	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	31	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	29	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), 1-19, 2013	25	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	24	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	22	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