Sergei Soloviev

According to our database, Sergei Soloviev authored at least 34 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Social networks bot detection using Benford's law.

Maksim Kalameyets, Dmitry Levshun, Sergei Soloviev, Andrey Chechulin, Igor V. Kotenko

Proceedings of the SIN 2020: 13th International Conference on Security of Information and Networks, 2020

2019

Automorphisms of types in certain type theories and representation of finite groups.

Sergei Soloviev

Math. Struct. Comput. Sci., 2019

2017

Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context.

Sergei Soloviev

FLAP, 2017

Studies of Hilbert's epsilon-operator in the USSR.

Sergei Soloviev

FLAP, 2017

Dependent Event Types.

Zhaohui Luo, Sergei Soloviev

Proceedings of the Logic, Language, Information, and Computation, 2017

2015

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

J. Adv. Comput. Intell. Intell. Informatics, 2015

2014

On Isomorphism of Dependent Products in a Typed Logical Framework.

Sergei Soloviev

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2013

Coercive subtyping: Theory and implementation.

Zhaohui Luo, Sergei Soloviev, Tao Xue

Inf. Comput., 2013

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification.

Bertrand Boisvert, Louis Féraud, Sergei Soloviev

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

2012

Preface to the special issue: commutativity of algebraic diagrams.

Ralph Matthes, Sergei Soloviev

Math. Struct. Comput. Sci., 2012

2011

Typed lambda-terms in categorical attributed graph transformation

Bertrand Boisvert, Louis Féraud, Sergei Soloviev

Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

2010

Attribute Computations in the DPoPb Graph Transformation Engine.

Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach.

Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev

Proceedings of the Advances in Software Engineering Techniques, 2009

2008

Preface to the special issue: isomorphisms of types and invertibility of lambda terms.

Ralph Matthes, Sergei Soloviev

Math. Struct. Comput. Sci., 2008

A Unified Categorical Approach for Attributed Graph Rewriting.

Maxime Rebout, Louis Féraud, Sergei Soloviev

Proceedings of the Computer Science, 2008

2007

Coherence in SMCCS and equivalences on derivations in IMLL with unit.

L. Méhats, Sergei Soloviev

Ann. Pure Appl. Log., 2007

2006

Inductive Type Schemas as Functors.

Freiric Barral, Sergei Soloviev

Proceedings of the Computer Science, 2006

2005

Foreword.

Sergei Soloviev

Math. Struct. Comput. Sci., 2005

2003

On categorical equivalence of Gentzen-style derivations in IMLL.

Sergei Soloviev, Vladimir Orevkov

Theor. Comput. Sci., 2003

Remarks on isomorphisms of simple inductive types.

David Chemouil, Sergei Soloviev

Proceedings of the Mathematics, 2003

Some Algebraic Structures in Lambda-Calculus with Inductive Types.

Sergei Soloviev, David Chemouil

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002

Weak Transitivity in Coercive Subtyping.

Yong Luo, Zhaohui Luo, Sergei Soloviev

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2000

Coherence and transitivity of subtyping as entailment.

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

J. Log. Comput., 2000

1999

Dependent Coercions.

Zhaohui Luo, Sergei Soloviev

Proceedings of the Conference on Category Theory and Computer Science, 1999

1997

Proof of a Conjecture of S. Mac Lane.

Sergei Soloviev

Ann. Pure Appl. Log., 1997

A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log²(n)).

Alexander E. Andreev, Sergei Soloviev

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.

Alex P. Jones, Zhaohui Luo, Sergei Soloviev

Proceedings of the Types for Proofs and Programs, 1996

1995

Reductions in Intuitionistic Linear Logic.

Sergei Soloviev

Math. Struct. Comput. Sci., 1995

A Logic of Subtyping (Extended Abstract)

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Proceedings of the Proceedings, 1995

Proof of a S. Mac Lane Conjecture.

Sergei Soloviev

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1993

The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Theor. Comput. Sci., 1993

A Complete Axiom System for Isomorphism of Types in Closed Categories.

Sergei Soloviev

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1988

On conditions of full coherence in biclosed categories: a new application of proof theory.

A. A. Babaev, Sergei Soloviev

Proceedings of the COLOG-88, 1988