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
2016Algorithmic Statistics: Normal Objects and Universal Models.Alexey Milovanov
2016Sums of Read-Once Formulas: How Many Summands Suffice?Meena Mahajan, Anuj Tawari
2016Some Complete and Intermediate Polynomials in Algebraic Complexity Theory.Meena Mahajan, Nitin Saurabh
2016On High-Quality Synthesis.Orna Kupferman
2016The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract).Manfred Kufleitner, Jan Philipp Wchter
2016Level Two of the Quantifier Alternation Hierarchy over Infinite Words.Manfred Kufleitner, Tobias Walter
2016On Slepian-Wolf Theorem with Interaction.Alexander Kozachinskiy
2016Graph Editing to a Given Degree Sequence.Petr A. Golovach, George B. Mertzios
2016On Approximating (Connected) 2-Edge Dominating Set by a Tree.Toshihiro Fujito, Tomoaki Shimoda
2016Affine Computation and Affine Automaton.Alejandro Daz-Caro, Abuzer Yakaryilmaz
2016Online Bounded Analysis.Joan Boyar, Leah Epstein, Lene M. Favrholdt, Kim S. Larsen, Asaf Levin
2016Compositional Design of Stochastic Timed Automata.Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet
2016Computing and Listing st-Paths in Public Transportation Networks.Katerina Bhmov, Mats Mihalk, Tobias Prger, Gustavo Sacomoto, Marie-France Sagot
2016Max-Closed Semilinear Constraint Satisfaction.Manuel Bodirsky, Marcello Mamino
2016Completing Partial Schedules for Open Shop with Unit Processing Times and Routing.Ren van Bevern, Artem V. Pyatkin
2016Parameterizing Edge Modification Problems Above Lower Bounds.Ren van Bevern, Vincent Froese, Christian Komusiewicz
2016The Next Whisky Bar.Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer
2016Algorithmic Decidability of Engel's Property for Automaton Groups.Laurent Bartholdi
2016Subclasses of Baxter Permutations Based on Pattern Avoidance.Shankar Balachandran, Sajin Koroth
2016Sensitivity Versus Certificate Complexity of Boolean Functions.Andris Ambainis, Krisjanis Prusis, Jevgenijs Vihrovs
2015Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems.Florian Zuleger
2015Delay Games with WMSO+U Winning Conditions.Martin Zimmermann
2015Circuit Complexity Meets Ontology-Based Data Access.Vladimir V. Podolskii
2015Rewriting Higher-Order Stack Trees.Vincent Penelle
2015On the Satisfiability of Quantum Circuits of Small Treewidth.Mateus de Oliveira Oliveira
176200 of 571← PreviousNext →