Alexandre Riazanov

According to our database, Alexandre Riazanov authored at least 32 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

From Cues to Nudge: A Knowledge-Based Framework for Surveillance of Healthcare-Associated Infections.

Arash Shaban-Nejad, Hiroshi Mamiya, Alexandre Riazanov, Alan J. Forster, Christopher J. O. Baker, Robyn Tamblyn, David L. Buckeridge

J. Medical Syst., 2016

Automated generation of SADI semantic web services for clinical intelligence.

Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker

Proceedings of the International Workshop on Semantic Big Data, 2016

Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases.

Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker

Proceedings of the 20th International Database Engineering & Applications Symposium, 2016

2015

Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings.

Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker

Proceedings of the 8th Semantic Web Applications and Tools for Life Sciences International Conference, 2015

2014

Benchmarking infrastructure for mutation text mining.

Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker

J. Biomed. Semant., 2014

2013

Semantic querying of relational data for clinical intelligence: a semantic web services-based approach.

Alexandre Riazanov, Artjom Klein, Arash Shaban-Nejad, Gregory W. Rose, Alan J. Forster, David L. Buckeridge, Christopher J. O. Baker

J. Biomed. Semant., 2013

Generating Semantic Web Services from Declarative Descriptions.

Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker

Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013

2012

HAIKU: A Semantic Framework for Surveillance of Healthcare-Associated Infections.

Arash Shaban-Nejad, Alexandre Riazanov, Katia M. L. Charland, Gregory W. Rose, Christopher J. O. Baker, Robyn Tamblyn, Alan J. Forster, David L. Buckeridge

Proceedings of the 3rd International Conference on Ambient Systems, 2012

Ecotoxicology Data Federation with SADI Semantic Web Services.

Alexandre Riazanov, Matthew M. Hindle, E. Scott Goudreau, Chris Martyniuk, Christopher J. O. Baker

Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences, 2012

PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers.

Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov

Proceedings of the RuleML2012@ECAI Challenge, 2012

PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners.

Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov

Proceedings of the Rules on the Web: Research and Applications, 2012

PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes.

Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker

Proceedings of the Rules on the Web: Research and Applications, 2012

2011

Deploying mutation impact text-mining software with the SADI Semantic Web Services framework.

Alexandre Riazanov, Jonas Laurila Bergman, Christopher J. O. Baker

BMC Bioinform., 2011

Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics.

Leonid L. Chepelev, Alexandre Riazanov, Alexandre Kouznetsov, Hong Sang Low, Michel Dumontier, Christopher J. O. Baker

BMC Bioinform., 2011

Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data.

Alexandre Riazanov, Gregory W. Rose, Artjom Klein, Alan J. Forster, Christopher J. O. Baker, Arash Shaban-Nejad, David L. Buckeridge

Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection.

Arash Shaban-Nejad, Gregory W. Rose, Anya Okhmatovskaia, Alexandre Riazanov, Christopher J. O. Baker, Robyn Tamblyn, Alan J. Forster, David L. Buckeridge

Proceedings of the User Centered Networked Health Care - Proceedings of MIE 2011, 2011

Leveraging SADI Semantic Web Services to Exploit Fish Ecotoxicology Data.

Matthew M. Hindle, Alexandre Riazanov, Edward S. Goudreau, Christopher J. Martyniuk, Christopher J. O. Baker

Proceedings of the 3rd Canadian Semantic Web Symposium (CSWS2011), 2011

2009

Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note

Alexandre Riazanov

CoRR, 2009

2008

New Implementation Framework for Saturation-Based Reasoning

Alexandre Riazanov

CoRR, 2008

2005

Efficient instance retrieval with standard and relational path indexing.

Alexandre Riazanov, Andrei Voronkov

Inf. Comput., 2005

2004

Using Vampire to Reason with OWL.

Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks

Proceedings of the Semantic Web, 2004

Efficient Checking of Term Ordering Constraints.

Alexandre Riazanov, Andrei Voronkov

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

TeMP: A Temporal Monodic Prover.

Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Limited resource strategy in resolution theorem proving.

Alexandre Riazanov, Andrei Voronkov

J. Symb. Comput., 2003

2002

The design and implementation of VAMPIRE.

Alexandre Riazanov, Andrei Voronkov

AI Commun., 2002

2001

Splitting Without Backtracking.

Alexandre Riazanov, Andrei Voronkov

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Adaptive Saturation-Based Reasoning.

Alexandre Riazanov, Andrei Voronkov

Proceedings of the Perspectives of System Informatics, 2001

Vampire 1.1 (System Description).

Alexandre Riazanov, Andrei Voronkov

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

On the Evaluation of Indexing Techniques for Theorem Proving.

Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Partially Adaptive Code Trees.

Alexandre Riazanov, Andrei Voronkov

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

System Description: Vampire 1.0.

Alexandre Riazanov, Andrei Voronkov

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Vampire.

Alexandre Riazanov, Andrei Voronkov

Proceedings of the Automated Deduction, 1999