Alexandre Riazanov
Publication Activity (10 Years)
Years Active: 1999-2016
Publications (10 Years): 4
Publications (10 Years): 4
Publications
- Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker
- Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker
- Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker
- Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
- Alexandre Riazanov, Jonas Laurila Bergman, Christopher J. O. Baker
- Alexandre Riazanov
- Alexandre Riazanov
- Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei Voronkov
- Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
- Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
- Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei VoronkovThe design and implementation of VAMPIRE. AI Commun. 15 (2-3) (2002)
- Alexandre Riazanov, Andrei Voronkov
- Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei Voronkov
- Alexandre Riazanov, Andrei Voronkov