Sergei Soloviev

35 papers A* 2B 1C 3Misc 2Journal 15Unranked 11

Year	Rank	Type	Title / Venue / Authors
2020	C	`conf`	Social networks bot detection using Benford's law. SIN Maksim Kalameyets, Dmitry Levshun, Sergei Soloviev, Andrey Chechulin, Igor V. Kotenko
2019	J	`jnl`	Automorphisms of types in certain type theories and representation of finite groups. Math. Struct. Comput. Sci. Sergei Soloviev
2017	C	`conf`	Dependent Event Types. WoLLIC Zhaohui Luo, Sergei Soloviev
2017	J	`jnl`	Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context. FLAP Sergei Soloviev
2017	J	`jnl`	Studies of Hilbert's epsilon-operator in the USSR. FLAP Sergei Soloviev
2015	J	`jnl`	How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency. J. Adv. Comput. Intell. Intell. Informatics Joe Lorkowski, Olga Kosheleva, Vladik Kreinovich, Sergei Soloviev
2014	—	`ed.`	Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings LACL Nicholas Asher, Sergei Soloviev
2014	—	`conf`	On Isomorphism of Dependent Products in a Typed Logical Framework. TYPES Sergei Soloviev
2013	J	`jnl`	Coercive subtyping: Theory and implementation. Inf. Comput. Zhaohui Luo, Sergei Soloviev, Tao Xue
2013	C	`conf`	Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. MODELSWARD Bertrand Boisvert, Louis Féraud, Sergei Soloviev
2012	J	`jnl`	Preface to the special issue: commutativity of algebraic diagrams. Math. Struct. Comput. Sci. Ralph Matthes, Sergei Soloviev
2011	—	`conf`	Typed lambda-terms in categorical attributed graph transformation AMMSE Bertrand Boisvert, Louis Féraud, Sergei Soloviev
2010	J	`jnl`	Attribute Computations in the DPoPb Graph Transformation Engine. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
2009	—	`conf`	Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. CEE-SET Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
2008	Misc	`conf`	A Unified Categorical Approach for Attributed Graph Rewriting. CSR Maxime Rebout, Louis Féraud, Sergei Soloviev
2008	J	`jnl`	Preface to the special issue: isomorphisms of types and invertibility of lambda terms. Math. Struct. Comput. Sci. Ralph Matthes, Sergei Soloviev
2007	J	`jnl`	Coherence in SMCCS and equivalences on derivations in IMLL with unit. Ann. Pure Appl. Log. L. Méhats, Sergei Soloviev
2006	Misc	`conf`	Inductive Type Schemas as Functors. CSR Freiric Barral, Sergei Soloviev
2005	J	`jnl`	Foreword. Math. Struct. Comput. Sci. Sergei Soloviev
2003	J	`jnl`	On categorical equivalence of Gentzen-style derivations in IMLL. Theor. Comput. Sci. Sergei Soloviev, Vladimir Orevkov
2003	—	`conf`	Remarks on isomorphisms of simple inductive types. Mathematics, Logic and Computation @ ICALP David Chemouil, Sergei Soloviev
2003	—	`conf`	Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES Sergei Soloviev, David Chemouil
2002	—	`conf`	Weak Transitivity in Coercive Subtyping. TYPES Yong Luo, Zhaohui Luo, Sergei Soloviev
2000	J	`jnl`	Coherence and transitivity of subtyping as entailment. J. Log. Comput. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
1999	—	`conf`	Dependent Coercions. CTCS Zhaohui Luo, Sergei Soloviev
1997	—	`conf`	A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log Category Theory and Computer Science Alexander E. Andreev, Sergei Soloviev
1997	J	`jnl`	Proof of a Conjecture of S. Mac Lane. Ann. Pure Appl. Log. Sergei Soloviev
1996	—	`conf`	Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES Alex P. Jones, Zhaohui Luo, Sergei Soloviev
1995	A*	`conf`	A Logic of Subtyping (Extended Abstract) LICS Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
1995	—	`conf`	Proof of a S. Mac Lane Conjecture. Category Theory and Computer Science Sergei Soloviev
1995	J	`jnl`	Reductions in Intuitionistic Linear Logic. Math. Struct. Comput. Sci. Sergei Soloviev
1993	B	`conf`	A Complete Axiom System for Isomorphism of Types in Closed Categories. LPAR Sergei Soloviev
1993	J	`jnl`	The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
1993	A*	`conf`	The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) LICS Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
1988	—	`conf`	On conditions of full coherence in biclosed categories: a new application of proof theory. Conference on Computer Logic A. A. Babaev, Sergei Soloviev