default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexander Sakharov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c13]Alexander Sakharov
:
Ordered Inference in Sequent Calculi for Applied Logics. ICMAI 2024: 37-43- 2022
- [c12]Alexander Sakharov:
A Logical Characterization of Evaluable Knowledge Bases. ICAART (3) 2022: 681-688 - 2021
- [c11]Alexander Sakharov:
A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations. ICAART (2) 2021: 982-989 - [c10]Alexander Sakharov:
Inference From Non-Horn Clauses With Partial Predicates. ICTCS 2021: 129-134 - 2020
- [j8]Alexander Sakharov:
Annotated regular expressions and input-driven languages. Inf. Process. Lett. 159-160: 105958 (2020) - [c9]Alexander Sakharov:
Hierarchical Resolution For Structured Predicate Definitions. SETN 2020: 202-210
2010 – 2019
- 2019
- [c8]Alexander Sakharov:
Hierarchical Rules for Knowledge Representation and Learning. AIKE 2019: 167-171 - 2018
- [j7]Alexander Sakharov, Timothy Sakharov:
The Viterbi algorithm for subsets of stochastic context-free languages. Inf. Process. Lett. 135: 68-72 (2018) - [c7]Alexander Sakharov:
Input-driven regular expressions (vision paper). SLE 2018: 42-46 - [c6]Alexander Sakharov:
One-Counter Automata for Parsing and Language Approximation. CIAA 2018: 299-311 - 2017
- [i3]Alexander Sakharov:
Language Approximation With One-Counter Automata. CoRR abs/1707.07670 (2017) - 2015
- [c5]Alexander Sakharov, Timothy Sakharov:
Data Parsing using Tier Grammars. KDIR 2015: 463-468 - [i2]Alexander Sakharov, Timothy Sakharov:
Data Language Specification via Terminal Attribution. CoRR abs/1511.00909 (2015)
2000 – 2009
- 2007
- [j6]Alexander Sakharov:
Intuitionistic Predicate Logic with Decidable Propositional Formulas. Reports Math. Log. 42: 153-168 (2007) - 2003
- [i1]Alexander Sakharov:
A Transformational Decision Procedure for Non-Clausal Propositional Formulas. CoRR cs.LO/0306035 (2003) - 2000
- [j5]Alexander Sakharov:
A Hybrid State Machine for Component Specification. ACM SIGPLAN Notices 35(4): 51-56 (2000) - [c4]Alexander Sakharov:
State machine specification directly in Java and C++ (poster session). OOPSLA Addendum 2000: 103-104
1990 – 1999
- 1998
- [j4]Alexander Sakharov:
Letter: Processing Recursive Data Types in Java. ACM SIGPLAN Notices 33(12): 33 (1998) - 1996
- [c3]Alexander Sakharov:
Specialization of Imperative Programs Through Analysis of Relational Expressions. Dagstuhl Seminar on Partial Evaluation 1996: 430-445 - 1994
- [j3]Alexander Sakharov:
Propagation of Constants and Assertions. ACM SIGPLAN Notices 29(3): 28-32 (1994) - [j2]Alexander Sakharov:
Propagation of Constants and Assertions. ACM SIGPLAN Notices 29(5): 3-6 (1994) - 1992
- [j1]Alexander Sakharov:
Macro processing in high-level languages. ACM SIGPLAN Notices 27(11): 59-66 (1992) - [c2]Alexander Sakharov:
A C-to-Forth compiler. FORTH 1992: 17-18
1980 – 1989
- 1985
- [c1]Alexander Sakharov:
The Structural Synthesis of Programs: New Means. European Conference on Computer Algebra (2) 1985: 570-571
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-09-10 01:10 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:
