Sequentially and parallelly computable functionals. - Vladimir Yu. Sazonov (Lambda-Calculus and Computer Science Theory, 1975)

Degrees of Parallelism in Computations. - Vladimir Yu. Sazonov (MFCS, 1976)

A Logical Approach to the Problem "P=NP?". - Vladimir Yu. Sazonov (MFCS, 1980)

Polynomial Computability and Recursivity in Finite Domains. - Vladimir Yu. Sazonov (J. Inf. Process. Cybern., 1980)

On Existence of Complete Predicate Calculus in Metamathematics without Exponentiation. - Vladimir Yu. Sazonov (MFCS, 1981)

Bounded Set Theory and Polynominal Computability. - Vladimir Yu. Sazonov (FCT, 1987)

A Category of Many-Sorted Algebraic Theories Which is Equivalent to the Category of Categories with Finite Products. - Vladimir Yu. Sazonov (Logic at Botik, 1989)

A Construction of Typed Lambda Models Related to Feasible Computability. - Vladimir Yu. Sazonov; Andrei Voronkov (Kurt Gödel Colloquium, 1993)

Hereditarily-Finite Sets, Data Bases and Polynomial-Time Computability. - Vladimir Yu. Sazonov (Theor. Comput. Sci., 1993)

A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability. - Vladimir Yu. Sazonov (CSL, 1994)

On Feasible Numbers. - Vladimir Yu. Sazonov (LCC, 1994)

Delta-Languages for Sets and sub-PTIME Graphs Transformers. - Vladimir Yu. Sazonov; Alexei Lisitsa 001 (ICDT, 1995)

Bounded Hyperset Theory and Web-like Data Bases. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (Kurt Gödel Colloquium, 1997)

On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (LFCS, 1997)

Delta-Languages for Sets and LOGSPACE Computable Graph Transformers. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (Theor. Comput. Sci., 1997)

Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (Theor. Comput. Sci., 1999)

Capturing LOGSPACE over Hereditarily-Finite Sets. - Alexander Leontjev; Vladimir Yu. Sazonov (FoIKS, 2000)

Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach. - Vladimir Yu. Sazonov (Ershov Memorial Conference, 2001)

D: Set-theoretic query language capturing LOGSPACE. - Alexander Leontjev; Vladimir Yu. Sazonov (Ann. Math. Artif. Intell., 2001)

The extensional ordering of the sequential functionals. - Dag Normann; Vladimir Yu. Sazonov (Ann. Pure Appl. Log., 2012)