Sergei Soloviev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1993–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SIN | Social networks bot detection using Benford's law. | Maksim Kalameyets, Dmitry Levshun, Sergei Soloviev, Andrey Chechulin, Igor V. Kotenko |
| 2017 | WoLLIC | Dependent Event Types. | Zhaohui Luo, Sergei Soloviev |
| 2013 | MODELSWARD | Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. | Bertrand Boisvert, Louis Fraud, Sergei Soloviev |
| 2008 | CSR | A Unified Categorical Approach for Attributed Graph Rewriting. | Maxime Rebout, Louis Fraud, Sergei Soloviev |
| 2006 | CSR | Inductive Type Schemas as Functors. | Freiric Barral, Sergei Soloviev |
| 1995 | LICS | A Logic of Subtyping (Extended Abstract) | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev |
| 1993 | LICS | The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev |
| 1993 | LPAR | A Complete Axiom System for Isomorphism of Types in Closed Categories. | Sergei Soloviev |