Computer Science – Theory and Applications

13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

  • Fedor V. Fomin
  • Vladimir V. Podolskii
Conference proceedings CSR 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10846)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10846)

Table of contents

  1. Front Matter
    Pages I-XXXII
  2. Vladimir Gurvich
    Pages 1-14
  3. Niranka Banerjee, Venkatesh Raman, Srinivasa Rao Satti
    Pages 29-40
  4. Leonid Barenboim, Victor Khazanov
    Pages 41-52
  5. Laurent Bulteau, Danny Hermelin, Anthony Labarre, Stéphane Vialette
    Pages 53-64
  6. Rajesh Chitnis, Andreas Emil Feldmann
    Pages 65-77
  7. Rajesh Chitnis, Nimrod Talmon
    Pages 78-89
  8. Funda Ergün, Elena Grigorescu, Erfan Sadeqi Azer, Samson Zhou
    Pages 90-105
  9. Giuseppe F. Italiano, Yannis Manoussakis, Nguyen Kim Thang, Hong Phong Pham
    Pages 106-117
  10. Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
    Pages 118-131
  11. Viliam Geffert
    Pages 132-144
  12. Daniel Genkin, Michael Kaminski, Liat Peterfreund
    Pages 145-156
  13. Dishant Goyal, Ashwin Jacob, Kaushtubh Kumar, Diptapriyo Majumdar, Venkatesh Raman
    Pages 157-168
  14. Sören Henning, Klaus Jansen, Malin Rau, Lars Schmarje
    Pages 169-180
  15. Michal Hospodár, Galina Jirásková, Ivana Krajňáková
    Pages 181-193
  16. Pallavi Jain, Lawqueen Kanesh, Pranabendu Misra
    Pages 194-206
  17. Rahul Jain, Hartmut Klauck, Srijita Kundu, Troy Lee, Miklos Santha, Swagato Sanyal et al.
    Pages 207-219
  18. Michał Karpiński, Krzysztof Piecuch
    Pages 220-231
  19. Alexander Kozachinskiy
    Pages 232-243
  20. Jayakrishnan Madathil, Saket Saurabh, Meirav Zehavi
    Pages 244-256
  21. Etienne Moutot, Pascal Vanier
    Pages 257-268
  22. N. S. Narayanaswamy, Meghana Nasre, R. Vijayaragunathan
    Pages 269-281
  23. Artur Riazanov
    Pages 282-294
  24. A. Rubtsov, M. Vyalyi
    Pages 295-307
  25. Dominik Wojtczak
    Pages 308-320
  26. Back Matter
    Pages 335-335

About these proceedings


This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.

The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions.  The papers cover a wide range of topics such as algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems; networks; and proof theory and applications of logic to computer science.  


approximation algorithms artificial intelligence automata theory bits case based reasoning (cbr) data mining design and analysis of algorithms discrete mathematics finite automata graph theory information complexity knowledge based systems machine learning models of computation parallel computing methodologies problem solving symbolic and algebraic manipulation

Editors and affiliations

  • Fedor V. Fomin
    • 1
  • Vladimir V. Podolskii
    • 2
  1. 1.Department of InformaticsUniversity of BergenBergenNorway
  2. 2.Steklov Mathematical InstituteMoscowRussia

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-90529-7
  • Online ISBN 978-3-319-90530-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site