Concepedia

Alexandre Riazanov

AR

11

Publications

762

Citations

10

H-Index

2001

Active since

Affiliations

University of New Brunswick(Current)

University of Manchester

McGill University

University of Ottawa

Alexandre Riazanov is an author at University of New Brunswick specializing in engineering, medicine, and health informatics.

Top concepts

EngineeringMedicineSystem SoftwareComputer ScienceProof ComplexityHealth InformaticsAutomated ReasoningDesignBusinessCovid-19

Publications per year

2001–2015

11

Publications

11

The design and implementation of VAMPIRE

Alexandre Riazanov, Андрей Воронков · AI Communications · 2002 · 413 citations

Engineering, Verification, Automated Proof +21

Vampire 1.1 (System Description)

Alexandre Riazanov · Research Explorer (The University of Manchester) · 2001 · 70 citations

Vampire 1.1, Light-weight Linux Distribution, Software Versioning +2

Limited resource strategy in resolution theorem proving

Alexandre Riazanov · Journal of Symbolic Computation · 2003 · 69 citations

Mathematical Programming, Resource Constraint, Engineering +9

Splitting without backtracking

Alexandre Riazanov, Андрей Воронков · Research Explorer (The University of Manchester) · 2001 · 64 citations

Algorithms and semantic infrastructure for mutation impact extraction and grounding

Jonas Bergman Laurila, Nona Naderi, René Witte et al. · BMC Genomics · 2010 · 35 citations · Full text

Rows per page

1–5 of 11