default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexandre Riazanov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[j8]Arash Shaban-Nejad
, Hiroshi Mamiya, Alexandre Riazanov, Alan J. Forster, Christopher J. O. Baker, Robyn Tamblyn, David L. Buckeridge:
From Cues to Nudge: A Knowledge-Based Framework for Surveillance of Healthcare-Associated Infections. J. Medical Syst. 40(1): 23:1-23:12 (2016)- [c24]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker:
Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases. IDEAS 2016: 248-255 - [c23]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker:
Automated generation of SADI semantic web services for clinical intelligence. SBD@SIGMOD 2016: 6 - 2015
- [c22]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker:
Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings. SWAT4LS 2015: 203-204 - 2014
- [j7]Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker:
Benchmarking infrastructure for mutation text mining. J. Biomed. Semant. 5: 11 (2014) - 2013
- [j6]Alexandre Riazanov, Artjom Klein, Arash Shaban-Nejad, Gregory W. Rose, Alan J. Forster, David L. Buckeridge, Christopher J. O. Baker:
Semantic querying of relational data for clinical intelligence: a semantic web services-based approach. J. Biomed. Semant. 4: 9 (2013) - [c21]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker:
Generating Semantic Web Services from Declarative Descriptions. CSWS 2013: 33-36 - 2012
- [c20]Artjom Klein, Alexandre Riazanov, Matthew M. Hindle, Christopher J. O. Baker:
Benchmarking infrastructure for mutation text mining. AIMM 2012 - [c19]Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov:
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. RuleML 2012: 264-279 - [c18]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker:
PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. RuleML 2012: 280-288 - [c17]Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov:
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. RuleML (2) 2012 - [c16]Alexandre Riazanov, Matthew M. Hindle, E. Scott Goudreau, Chris Martyniuk, Christopher J. O. Baker:
Ecotoxicology Data Federation with SADI Semantic Web Services. SWAT4LS 2012 - [c15]Arash Shaban-Nejad, Alexandre Riazanov, Katia M. L. Charland, Gregory W. Rose, Christopher J. O. Baker, Robyn Tamblyn, Alan J. Forster, David L. Buckeridge:
HAIKU: A Semantic Framework for Surveillance of Healthcare-Associated Infections. ANT/MobiWIS 2012: 1073-1079 - 2011
- [j5]Leonid L. Chepelev, Alexandre Riazanov, Alexandre Kouznetsov, Hong Sang Low, Michel Dumontier, Christopher J. O. Baker:
Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics. BMC Bioinform. 12: 303 (2011) - [j4]Alexandre Riazanov, Jonas Laurila Bergman, Christopher J. O. Baker:
Deploying mutation impact text-mining software with the SADI Semantic Web Services framework. BMC Bioinform. 12(S-4): S6 (2011) - [c14]Matthew M. Hindle, Alexandre Riazanov, Edward S. Goudreau, Christopher J. Martyniuk, Christopher J. O. Baker:
Leveraging SADI Semantic Web Services to Exploit Fish Ecotoxicology Data. CSWS 2011: 19-33 - [c13]Arash Shaban-Nejad, Gregory W. Rose, Anya Okhmatovskaia, Alexandre Riazanov, Christopher J. O. Baker, Robyn Tamblyn, Alan J. Forster, David L. Buckeridge:
Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection. MIE 2011: 145-149 - [c12]Alexandre Riazanov, Gregory W. Rose, Artjom Klein, Alan J. Forster, Christopher J. O. Baker, Arash Shaban-Nejad, David L. Buckeridge:
Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data. SWAT4LS 2011: 106-113
2000 – 2009
- 2009
- [i2]Alexandre Riazanov:
Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note. CoRR abs/0901.0339 (2009) - 2008
- [i1]Alexandre Riazanov:
New Implementation Framework for Saturation-Based Reasoning. CoRR abs/0802.2127 (2008) - 2005
- [j3]Alexandre Riazanov, Andrei Voronkov:
Efficient instance retrieval with standard and relational path indexing. Inf. Comput. 199(1-2): 228-252 (2005) - 2004
- [c11]Alexandre Riazanov, Andrei Voronkov:
Efficient Checking of Term Ordering Constraints. IJCAR 2004: 60-74 - [c10]Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov:
TeMP: A Temporal Monodic Prover. IJCAR 2004: 326-330 - [c9]Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks:
Using Vampire to Reason with OWL. ISWC 2004: 471-485 - 2003
- [j2]Alexandre Riazanov, Andrei Voronkov:
Limited resource strategy in resolution theorem proving. J. Symb. Comput. 36(1-2): 101-115 (2003) - [c8]Alexandre Riazanov, Andrei Voronkov:
Efficient Instance Retrieval with Standard and Relational Path Indexing. CADE 2003: 380-396 - 2002
- [j1]Alexandre Riazanov, Andrei Voronkov:
The design and implementation of VAMPIRE. AI Commun. 15(2-3): 91-110 (2002) - 2001
- [c7]Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov:
On the Evaluation of Indexing Techniques for Theorem Proving. IJCAR 2001: 257-271 - [c6]Alexandre Riazanov, Andrei Voronkov:
Vampire 1.1 (System Description). IJCAR 2001: 376-380 - [c5]Alexandre Riazanov, Andrei Voronkov:
Adaptive Saturation-Based Reasoning. Ershov Memorial Conference 2001: 95-108 - [c4]Alexandre Riazanov, Andrei Voronkov:
Splitting Without Backtracking. IJCAI 2001: 611-617 - 2000
- [c3]Alexandre Riazanov, Andrei Voronkov:
System Description: Vampire 1.0. ARW 2000 - [c2]Alexandre Riazanov, Andrei Voronkov:
Partially Adaptive Code Trees. JELIA 2000: 209-223
1990 – 1999
- 1999
- [c1]Alexandre Riazanov, Andrei Voronkov:
Vampire. CADE 1999: 292-296
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
