Alexandre Riazanov

34 papers A* 1A 6B 1C 1Misc 1Journal 10Unranked 14

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	Automated generation of SADI semantic web services for clinical intelligence. SBD@SIGMOD Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
2016	J	`jnl`	From Cues to Nudge: A Knowledge-Based Framework for Surveillance of Healthcare-Associated Infections. J. Medical Syst. Arash Shaban-Nejad, Hiroshi Mamiya, Alexandre Riazanov, Alan J. Forster, Christopher J. O. Baker, Robyn Tamblyn, David L. Buckeridge
2016	C	`conf`	Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases. IDEAS Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
2015	—	`conf`	Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings. SWAT4LS Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
2014	J	`jnl`	Benchmarking infrastructure for mutation text mining. J. Biomed. Semant. Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker
2013	—	`conf`	Generating Semantic Web Services from Declarative Descriptions. CSWS Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker
2013	J	`jnl`	Semantic querying of relational data for clinical intelligence: a semantic web services-based approach. J. Biomed. Semant. Alexandre Riazanov, Artjom Klein, Arash Shaban-Nejad, Gregory W. Rose, Alan J. Forster, David L. Buckeridge, Christopher J. O. Baker
2012	—	`conf`	Benchmarking infrastructure for mutation text mining. AIMM Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker
2012	—	`conf`	Ecotoxicology Data Federation with SADI Semantic Web Services. SWAT4LS Alexandre Riazanov, Matthew M. Hindle, E. Scott Goudreau, Chris Martyniuk, Christopher J. O. Baker
2012	—	`conf`	HAIKU: A Semantic Framework for Surveillance of Healthcare-Associated Infections. ANT/MobiWIS Arash Shaban-Nejad, Alexandre Riazanov, Katia M. L. Charland, Gregory W. Rose, Christopher J. O. Baker, Robyn Tamblyn, Alan J. Forster, David L. Buckeridge
2012	—	`conf`	PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. RuleML Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker
2012	—	`conf`	PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. RuleML Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2012	—	`conf`	PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. RuleML (2) Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2011	J	`jnl`	Deploying mutation impact text-mining software with the SADI Semantic Web Services framework. BMC Bioinform. Alexandre Riazanov, Jonas Laurila Bergman, Christopher J. O. Baker
2011	—	`conf`	Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection. MIE Arash Shaban-Nejad, Gregory W. Rose, Anya Okhmatovskaia, Alexandre Riazanov, Christopher J. O. Baker, Robyn Tamblyn, Alan J. Forster, David L. Buckeridge
2011	—	`conf`	Leveraging SADI Semantic Web Services to Exploit Fish Ecotoxicology Data. CSWS Matthew M. Hindle, Alexandre Riazanov, Edward S. Goudreau, Christopher J. Martyniuk, Christopher J. O. Baker
2011	J	`jnl`	Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics. BMC Bioinform. Leonid L. Chepelev, Alexandre Riazanov, Alexandre Kouznetsov, Hong Sang Low, Michel Dumontier, Christopher J. O. Baker
2011	—	`conf`	Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data. SWAT4LS Alexandre Riazanov, Gregory W. Rose, Artjom Klein, Alan J. Forster, Christopher J. O. Baker, Arash Shaban-Nejad, David L. Buckeridge
2009	J	`jnl`	Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note CoRR Alexandre Riazanov
2008	J	`jnl`	New Implementation Framework for Saturation-Based Reasoning CoRR Alexandre Riazanov
2005	J	`jnl`	Efficient instance retrieval with standard and relational path indexing. Inf. Comput. Alexandre Riazanov, Andrei Voronkov
2004	A	`conf`	Efficient Checking of Term Ordering Constraints. IJCAR Alexandre Riazanov, Andrei Voronkov
2004	A	`conf`	TeMP: A Temporal Monodic Prover. IJCAR Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
2004	Misc	`conf`	Using Vampire to Reason with OWL. ISWC Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
2003	A	`conf`	Efficient Instance Retrieval with Standard and Relational Path Indexing. CADE Alexandre Riazanov, Andrei Voronkov
2003	J	`jnl`	Limited resource strategy in resolution theorem proving. J. Symb. Comput. Alexandre Riazanov, Andrei Voronkov
2002	J	`jnl`	The design and implementation of VAMPIRE. AI Commun. Alexandre Riazanov, Andrei Voronkov
2001	—	`conf`	Adaptive Saturation-Based Reasoning. Ershov Memorial Conference Alexandre Riazanov, Andrei Voronkov
2001	A	`conf`	On the Evaluation of Indexing Techniques for Theorem Proving. IJCAR Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov
2001	A*	`conf`	Splitting Without Backtracking. IJCAI Alexandre Riazanov, Andrei Voronkov
2001	A	`conf`	Vampire 1.1 (System Description). IJCAR Alexandre Riazanov, Andrei Voronkov
2000	B	`conf`	Partially Adaptive Code Trees. JELIA Alexandre Riazanov, Andrei Voronkov
2000	—	`conf`	System Description: Vampire 1.0. ARW Alexandre Riazanov, Andrei Voronkov
1999	A	`conf`	Vampire. CADE Alexandre Riazanov, Andrei Voronkov