Skip to content

International Computer Science Symposium in Russia

CSR

National

CORE rank

CORE rank (raw)

National: Russia

Fields of research

Information and Computing Sciences (general)

Papers indexed

571

2006–2022

Papers per year

200667 peak2022

CSR papers

571 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2006Incremental Branching Programs.Anna Gl, Michal Kouck, Pierre McKenzie
2006Isolation and Reducibility Properties and the Collapse Result.Sergey M. Dudakov
2006Approximate Methods for Constrained Total Variation Minimization.Xiaogang Dong, Ilya Pollak
2006Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.Stefan S. Dantchev, Florent R. Madelaine
2006Relativisation Provides Natural Separations for Resolution-Based Proof Systems.Stefan S. Dantchev
2006Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties.Alexander L. Chistov
2006Window Subsequence Problems for Compressed Texts.Patrick Cgielski, Irne Guessarian, Yury Lifshits, Yuri V. Matiyasevich
2006Neural-Network Based Physical Fields Modeling Techniques.Konstantin Bournayev
2006The Complexity of Equality Constraint Languages.Manuel Bodirsky, Jan Kra
2006Planar Dimer Tilings.Olivier Bodini, Thomas Fernique
2006Constructive Equivalence Relations on Computable Probability Measures.Laurent Bienvenu
2006Tuples of Disjoint NP-Sets.Olaf Beyersdorff
2006Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees.Piotr Berman, Martin Frer, Alexander Zelikovsky
2006Conjugacy and Equivalence of Weighted Automata and Functional Transducers.Marie-Pierre Bal, Sylvain Lombardy, Jacques Sakarovitch
2006Unfolding Synthesis of Asynchronous Automata.Nicolas Baudru, Rmi Morin
2006Inductive Type Schemas as Functors.Freiric Barral, Sergei Soloviev
2006Non-black-box Techniques in Cryptography.Boaz Barak
2006Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure.Maxim A. Babenko
2006Canonical Decomposition of a Regular Factorial Language.Sergey V. Avgustinovich, Anna E. Frid
2006SZK Proofs for Black-Box Group Problems.Vikraman Arvind, Bireswar Das
2006Polarized Subtyping for Sized Types.Andreas Abel
551571 of 571← PreviousNext →