SOFSEM 2017: Theory and Practice of Computer Science

43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

  • Bernhard Steffen
  • Christel Baier
  • Mark van den Brand
  • Johann Eder
  • Mike Hinchey
  • Tiziana Margaria
Conference proceedings SOFSEM 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Foundations in Computer Science

    1. Front Matter
      Pages 1-1
    2. Kim Guldstrand Larsen
      Pages 3-10
    3. Igor Walukiewicz
      Pages 11-14
    4. Othon Michail, Paul G. Spirakis
      Pages 15-34
  3. Semantics, Specification and Compositionality

    1. Front Matter
      Pages 35-35
    2. Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
      Pages 37-48
  4. Theory of Mobile and Distributed Systems

    1. Front Matter
      Pages 77-77
    2. Evangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, Felipe Ramírez
      Pages 79-90
    3. Petr Jančar
      Pages 91-102
    4. Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
      Pages 103-115
  5. Verification and Automated System Analysis

    1. Front Matter
      Pages 117-117
    2. Zhaowei Xu, Wenhui Zhang, Yuefei Sui
      Pages 119-131
    3. Eike Best, Nataliya Gribovskaya, Irina Virbitskaite
      Pages 132-146
    4. Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
      Pages 147-160
  6. Petri Nets, Games and Relaxed Data Structures

    1. Front Matter
      Pages 161-161
    2. Eike Best, Raymond Devillers, Uli Schlachter
      Pages 163-175
    3. Dimitris Fotakis, Laurent Gourvès, Jérôme Monnot
      Pages 176-187
    4. Chao Wang, Yi Lv, Peng Wu
      Pages 188-202
  7. Graph Theory and Scheduling Algorithms

    1. Front Matter
      Pages 203-203
    2. Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi
      Pages 217-228
    3. Leszek Gąsieniec, Ralf Klasing, Christos Levcopoulos, Andrzej Lingas, Jie Min, Tomasz Radzik
      Pages 229-240
  8. Quantum and Matrix Algorithms

    1. Front Matter
      Pages 241-241
    2. Andris Ambainis, Jānis Iraids, Daniel Nagaj
      Pages 243-255
    3. Nikolajs Nahimovs, Raqueline A. M. Santos
      Pages 256-267
    4. Sang-Ki Ko, Igor Potapov
      Pages 268-279
  9. Planar and Molecular Graphs

    1. Front Matter
      Pages 281-281
    2. Therese Biedl, Martin Derka
      Pages 283-294
    3. Thomas Bläsius, Marcel Radermacher, Ignaz Rutter
      Pages 295-308
    4. Andre Droschinsky, Nils Kriege, Petra Mutzel
      Pages 309-321
  10. Coloring and Vertex Covers

    1. Front Matter
      Pages 323-323
    2. R. Krithika, Ashutosh Rai, Saket Saurabh, Prafullkumar Tale
      Pages 336-349
    3. Vahan Mkrtchyan, Ojas Parekh, Danny Segev, K. Subramani
      Pages 350-360
  11. Algorithms for Strings and Formal Languages

    1. Front Matter
      Pages 361-361
    2. Yohei Ueki, Diptarama, Masatoshi Kurihara, Yoshiaki Matsuoka, Kazuyuki Narisawa, Ryo Yoshinaka et al.
      Pages 363-374
    3. Shintaro Narisada, Diptarama, Kazuyuki Narisawa, Shunsuke Inenaga, Ayumi Shinohara
      Pages 375-386
    4. Yo-Sub Han, Sang-Ki Ko
      Pages 387-401
  12. Data, Information and Knowledge Engineering

    1. Front Matter
      Pages 403-403
    2. Julian Alarte, David Insa, Josep Silva
      Pages 411-422
    3. Athanasios Kokkos, Theodoros Tzouramanis, Yannis Manolopoulos
      Pages 423-435
    4. Selma Bouarar, Ladjel Bellatreche, Amine Roukh
      Pages 436-449
  13. Software Engineering: Methods, Tools, Applications

    1. Front Matter
      Pages 451-451
    2. Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
      Pages 453-463
    3. Jana Št’astná, Martin Tomášek
      Pages 473-484

About these proceedings


This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.


approximation computational complexity distributed programming dynamic programming machine learning algorithms bisimilarity cloud migration combinatorial problems data similarity decidability general graphs information retrieval malware analysis mobile agents model-driven engineering quantum search social network synchronization system synthesis

Editors and affiliations

  • Bernhard Steffen
    • 1
  • Christel Baier
    • 2
  • Mark van den Brand
    • 3
  • Johann Eder
    • 4
  • Mike Hinchey
    • 5
  • Tiziana Margaria
    • 6
  1. 1.TU Dortmund DortmundGermany
  2. 2.TU Dresden DresdenGermany
  3. 3.Eindhoven University of Technology EindhovenThe Netherlands
  4. 4.Alpen Adria University Klagenfurt KlagenfurtAustria
  5. 5.Lero - Irish Software Research Center LimerickIreland
  6. 6.Lero - Irish Software Research Center LimerickIreland

Bibliographic information