The Structural Synthesis of Programs: New Means. - Alexander Sakharov (European Conference on Computer Algebra (2), 1985)

A C-to-Forth compiler. - Alexander Sakharov (FORTH, 1992)

Macro processing in high-level languages. - Alexander Sakharov (ACM SIGPLAN Notices, 1992)

Propagation of Constants and Assertions. - Alexander Sakharov (ACM SIGPLAN Notices, 1994)

Specialization of Imperative Programs Through Analysis of Relational Expressions. - Alexander Sakharov (Dagstuhl Seminar on Partial Evaluation, 1996)

Letter: Processing Recursive Data Types in Java. - Alexander Sakharov (ACM SIGPLAN Notices, 1998)

State machine specification directly in Java and C++ (poster session). - Alexander Sakharov (OOPSLA Addendum, 2000)

A Hybrid State Machine for Component Specification. - Alexander Sakharov (ACM SIGPLAN Notices, 2000)

A Transformational Decision Procedure for Non-Clausal Propositional Formulas - Alexander Sakharov (CoRR, 2003)

Intuitionistic Predicate Logic with Decidable Propositional Formulas. - Alexander Sakharov (Reports Math. Log., 2007)

Data Parsing using Tier Grammars. - Alexander Sakharov; Timothy Sakharov (KDIR, 2015)

Data Language Specification via Terminal Attribution. - Alexander Sakharov; Timothy Sakharov (CoRR, 2015)

Language Approximation With One-Counter Automata. - Alexander Sakharov (CoRR, 2017)

Input-driven regular expressions (vision paper). - Alexander Sakharov (SLE, 2018)

One-Counter Automata for Parsing and Language Approximation. - Alexander Sakharov (CIAA, 2018)

The Viterbi algorithm for subsets of stochastic context-free languages. - Alexander Sakharov; Timothy Sakharov (Inf. Process. Lett., 2018)

Hierarchical Rules for Knowledge Representation and Learning. - Alexander Sakharov (AIKE, 2019)

Hierarchical Resolution For Structured Predicate Definitions. - Alexander Sakharov (SETN, 2020)

Annotated regular expressions and input-driven languages. - Alexander Sakharov (Inf. Process. Lett., 2020)

A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations. - Alexander Sakharov (ICAART (2), 2021)

Inference From Non-Horn Clauses With Partial Predicates. - Alexander Sakharov (ICTCS, 2021)

A Logical Characterization of Evaluable Knowledge Bases. - Alexander Sakharov (ICAART (3), 2022)

Ordered Inference in Sequent Calculi for Applied Logics. - Alexander Sakharov (ICMAI, 2024)

Multi-Valued Models for Intuitionistic Logic. - Alexander Sakharov (ISMVL, 2025)