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
2014Crossing-Free Spanning Trees in Visibility Graphs of Points between Monotone Polygonal Obstacles.Julia Schler, Andreas Spillner
2014A Parameterized Algorithm for Packing Overlapping Subgraphs.Jazmn Romero, Alejandro Lpez-Ortiz
2014Recognizing Two-Sided Contexts in Cubic Time.Max Rabkin
2014First-Order Logic on CPDA Graphs.Pawel Parys
2014Fast Approximate Computations with Cauchy Matrices, Polynomials and Rational Functions.Victor Y. Pan
2014Dynamic Complexity of Planar 3-Connected Graph Isomorphism.Jenish C. Mehta
2014Constraint Satisfaction with Counting Quantifiers 2.Barnaby Martin, Juraj Stacho
2014Processing Succinct Matrices and Vectors.Markus Lohrey, Manfred Schmidt-Schau
2014Primal Implication as Encryption.Vladimir N. Krupski
2014The Query Complexity of Witness Finding.Akinori Kawachi, Benjamin Rossman, Osamu Watanabe
2014Semiautomatic Structures.Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
2014Model Checking for String Problems.Milka Hutagalung, Martin Lange
2014Algorithmic Meta Theorems for Sparse Graph Classes.Martin Grohe
2014Space Saving by Dynamic Algebraization.Martin Frer, Huiwen Yu
2014Block Products and Nesting Negations in FO2.Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
2014On the Complexity of Computing Two Nonlinearity Measures.Magnus Gausdal Find
2014Notions of Metric Dimension of Corona Products: Combinatorial and Computational Results.Henning Fernau, Juan Alberto Rodrguez-Velzquez
2014QuickXsort: Efficient Sorting with n logn - 1.399n + o(n) Comparisons on Average.Stefan Edelkamp, Armin Wei
2014Finding All Solutions of Equations in Free Groups and Monoids with Involution.Volker Diekert, Artur Jez, Wojciech Plandowski
2014Separation Logic with One Quantified Variable.Stphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mry
2014A Fast Branching Algorithm for Cluster Vertex Deletion.Anudhyan Boral, Marek Cygan, Tomasz Kociumaka, Marcin Pilipczuk
2014Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees.Abhishek Bhrushundi, Sourav Chakraborty, Raghav Kulkarni
2014Testing Low Degree Trigonometric Polynomials.Martijn Baartse, Klaus Meer
2014On Lower Bounds for Multiplicative Circuits and Linear Circuits in Noncommutative Domains.Vikraman Arvind, S. Raja, A. V. Sreejith
2014Vertex Disjoint Paths in Upward Planar Graphs.Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz
226250 of 571← PreviousNext →