Alexander Sakharov

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 11

Top Topics

Finite Automata

Regular Languages

Knowledge Representation

Viterbi Algorithm

Top Venues

Inf. Process. Lett.

Publications

Alexander Sakharov
Ordered Inference in Sequent Calculi for Applied Logics. ICMAI (2024)
Alexander Sakharov
A Logical Characterization of Evaluable Knowledge Bases. ICAART (3) (2022)
Alexander Sakharov
A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations. ICAART (2) (2021)
Alexander Sakharov
Inference From Non-Horn Clauses With Partial Predicates. ICTCS (2021)
Alexander Sakharov
Annotated regular expressions and input-driven languages. Inf. Process. Lett. (2020)
Alexander Sakharov
Hierarchical Resolution For Structured Predicate Definitions. SETN (2020)
Alexander Sakharov
Hierarchical Rules for Knowledge Representation and Learning. AIKE (2019)
Alexander Sakharov, Timothy Sakharov
The Viterbi algorithm for subsets of stochastic context-free languages. Inf. Process. Lett. 135 (2018)
Alexander Sakharov
Input-driven regular expressions (vision paper). SLE (2018)
Alexander Sakharov
One-Counter Automata for Parsing and Language Approximation. CIAA (2018)
Alexander Sakharov
Language Approximation With One-Counter Automata. CoRR (2017)
Alexander Sakharov, Timothy Sakharov
Data Language Specification via Terminal Attribution. CoRR (2015)
Alexander Sakharov, Timothy Sakharov
Data Parsing using Tier Grammars. KDIR (2015)
Alexander Sakharov
Intuitionistic Predicate Logic with Decidable Propositional Formulas. Reports Math. Log. 42 (2007)
Alexander Sakharov
A Transformational Decision Procedure for Non-Clausal Propositional Formulas CoRR (2003)
Alexander Sakharov
State machine specification directly in Java and C++ (poster session). OOPSLA Addendum (2000)
Alexander Sakharov
A Hybrid State Machine for Component Specification. ACM SIGPLAN Notices 35 (4) (2000)
Alexander Sakharov
Letter: Processing Recursive Data Types in Java. ACM SIGPLAN Notices 33 (12) (1998)
Alexander Sakharov
Specialization of Imperative Programs Through Analysis of Relational Expressions. Dagstuhl Seminar on Partial Evaluation (1996)
Alexander Sakharov
Propagation of Constants and Assertions. ACM SIGPLAN Notices 29 (5) (1994)
Alexander Sakharov
Propagation of Constants and Assertions. ACM SIGPLAN Notices 29 (3) (1994)
Alexander Sakharov
Macro processing in high-level languages. ACM SIGPLAN Notices 27 (11) (1992)
Alexander Sakharov
A C-to-Forth compiler. FORTH (1992)
Alexander Sakharov
The Structural Synthesis of Programs: New Means. European Conference on Computer Algebra (2) (1985)