| The design and implementation of VAMPIRE A Riazanov, A Voronkov AI communications 15 (2-3), 91-110, 2002 | 656 | 2002 |
| Vampire 1.1 A Riazanov, A Voronkov Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001 | 155 | 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 | 96 | 1999 |
| TeMP: A Temporal Monodic Prover U Hustadt, B Konev, A Riazanov, A Voronkov Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004 | 61 | 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 | 52 | 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 | 23 | 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 |
Andrei VoronkovThe University of Manchester; EasyChair在 cs.man.ac.uk 的电子邮件经过验证
