On conditions of full coherence in biclosed categories: a new application of proof theory. - A. A. Babaev; Sergei Soloviev 001 (Conference on Computer Logic, 1988)

The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (LICS, 1993)

A Complete Axiom System for Isomorphism of Types in Closed Categories. - Sergei Soloviev 001 (LPAR, 1993)

The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (Theor. Comput. Sci., 1993)

Proof of a S. Mac Lane Conjecture. - Sergei Soloviev 001 (Category Theory and Computer Science, 1995)

A Logic of Subtyping (Extended Abstract) - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (LICS, 1995)

Reductions in Intuitionistic Linear Logic. - Sergei Soloviev 001 (Math. Struct. Comput. Sci., 1995)

Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. - Alex P. Jones; Zhaohui Luo; Sergei Soloviev 001 (TYPES, 1996)

A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)). - Alexander E. Andreev; Sergei Soloviev 001 (Category Theory and Computer Science, 1997)

Proof of a Conjecture of S. Mac Lane. - Sergei Soloviev 001 (Ann. Pure Appl. Log., 1997)

Dependent Coercions. - Zhaohui Luo; Sergei Soloviev 001 (CTCS, 1999)

Coherence and transitivity of subtyping as entailment. - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (J. Log. Comput., 2000)

Weak Transitivity in Coercive Subtyping. - Yong Luo 001; Zhaohui Luo; Sergei Soloviev 001 (TYPES, 2002)

Some Algebraic Structures in Lambda-Calculus with Inductive Types. - Sergei Soloviev 001; David Chemouil (TYPES, 2003)

Remarks on isomorphisms of simple inductive types. - David Chemouil; Sergei Soloviev 001 (Mathematics, Logic and Computation @ ICALP, 2003)

On categorical equivalence of Gentzen-style derivations in IMLL. - Sergei Soloviev 001; Vladimir Orevkov (Theor. Comput. Sci., 2003)

Foreword. - Sergei Soloviev 001 (Math. Struct. Comput. Sci., 2005)

Inductive Type Schemas as Functors. - Freiric Barral; Sergei Soloviev 001 (CSR, 2006)

Coherence in SMCCS and equivalences on derivations in IMLL with unit. - L. Méhats; Sergei Soloviev 001 (Ann. Pure Appl. Log., 2007)

A Unified Categorical Approach for Attributed Graph Rewriting. - Maxime Rebout; Louis Féraud; Sergei Soloviev 001 (CSR, 2008)

Preface to the special issue: isomorphisms of types and invertibility of lambda terms. - Ralph Matthes; Sergei Soloviev 001 (Math. Struct. Comput. Sci., 2008)

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. - Maxime Rebout; Louis Féraud; Lionel Marie-Magdeleine; Sergei Soloviev 001 (CEE-SET, 2009)

Attribute Computations in the DPoPb Graph Transformation Engine. - Hanh Nhi Tran; Christian Percebois; Ali Abou Dib; Louis Féraud; Sergei Soloviev 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Typed lambda-terms in categorical attributed graph transformation - Bertrand Boisvert; Louis Féraud; Sergei Soloviev 001 (AMMSE, 2011)

Preface to the special issue: commutativity of algebraic diagrams. - Ralph Matthes; Sergei Soloviev 001 (Math. Struct. Comput. Sci., 2012)

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. - Bertrand Boisvert; Louis Féraud; Sergei Soloviev 001 (MODELSWARD, 2013)

Coercive subtyping: Theory and implementation. - Zhaohui Luo; Sergei Soloviev 001; Tao Xue (Inf. Comput., 2013)

On Isomorphism of Dependent Products in a Typed Logical Framework. - Sergei Soloviev 001 (TYPES, 2014)

How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency. - Joe Lorkowski; Olga Kosheleva; Vladik Kreinovich; Sergei Soloviev 001 (J. Adv. Comput. Intell. Intell. Informatics, 2015)

Dependent Event Types. - Zhaohui Luo; Sergei Soloviev 001 (WoLLIC, 2017)

Studies of Hilbert's epsilon-operator in the USSR. - Sergei Soloviev 001 (FLAP, 2017)

Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context. - Sergei Soloviev 001 (FLAP, 2017)

Automorphisms of types in certain type theories and representation of finite groups. - Sergei Soloviev 001 (Math. Struct. Comput. Sci., 2019)

Social networks bot detection using Benford's law. - Maksim Kalameyets; Dmitry Levshun; Sergei Soloviev 001; Andrey Chechulin; Igor V. Kotenko (SIN, 2020)