Alexandre Riazanov

发表

Matthew M. Hindle, Alexandre Riazanov, Edward S. Goudreau, 2011, CSWS.

Andrei Voronkov, Alexandre Riazanov, A. Voronkov, 2005, Inf. Comput..

Alexandre Riazanov, A. Riazanov, 2008, ArXiv.

Alan J. Forster, Arash Shaban-Nejad, David L. Buckeridge, 2015, Journal of Medical Systems.

Andrei Voronkov, Alexandre Riazanov, A. Voronkov, 2003, J. Symb. Comput..

Andrei Voronkov, Alexandre Riazanov, 2000, JELIA.

Andrei Voronkov, Alexandre Riazanov, 2003, CADE.

Alan J. Forster, Arash Shaban-Nejad, Anya Okhmatovskaia, 2011, MIE.

Harold Boley, Alexandre Riazanov, Christopher J. O. Baker, 2013, CSWS.

Harold Boley, Alexandre Riazanov, Christopher J. O. Baker, 2015, SWAT4LS.

Matthew M. Hindle, Alexandre Riazanov, Christopher J. O. Baker, 2014, AIMM.

Andrei Voronkov, Alexandre Riazanov, A. Voronkov, 2001, IJCAI.

Harold Boley, Alexandre Riazanov, Christopher J. O. Baker, 2016, SBD '16.

Jonas Laurila Bergman, Alexandre Riazanov, Christopher J. O. Baker, 2011, BMC Bioinformatics.

Alan J. Forster, Arash Shaban-Nejad, David L. Buckeridge, 2013, J. Biomed. Semant..

Andrei Voronkov, Alexandre Riazanov, 2001, IJCAR.

Andrei Voronkov, Alexandre Riazanov, 2000, ARW.

Andrei Voronkov, Alexandre Riazanov, A. Voronkov, 2004, IJCAR.

Alan J. Forster, Arash Shaban-Nejad, David L. Buckeridge, 2012, Procedia Computer Science.

Harold Boley, Alexandre Riazanov, Christopher J. O. Baker, 2012, RuleML.

Andrei Voronkov, Alexandre Riazanov, 2001, Ershov Memorial Conference.

Ian Horrocks, Sean Bechhofer, Dmitry Tsarkov, 2004, SEMWEB.

Andrei Voronkov, Alexandre Riazanov, A. Voronkov, 2002, AI Commun..

Michel Dumontier, Leonid L. Chepelev, Alexandre Riazanov, 2011, BMC Bioinformatics.

Harold Boley, Alexandre Riazanov, Christopher J. O. Baker, 2016, IDEAS.

Alexandre Riazanov, Christopher J. O. Baker, Matthew Hindle, 2014 .

Boris Konev, Andrei Voronkov, Ullrich Hustadt, 2004, IJCAR.

Matthew M. Hindle, Alexandre Riazanov, Christopher J. Martyniuk, 2012, SWAT4LS.

Andrei Voronkov, Robert Nieuwenhuis, Thomas Hillenbrand, 2001, IJCAR.

Marcelo A. T. Aragão, Alexandre Riazanov, A. Riazanov, 2010 .