SOFSEM 2018: Theory and Practice of Computer Science

44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

  • A Min Tjoa
  • Ladjel Bellatreche
  • Stefan Biffl
  • Jan van Leeuwen
  • Jiří  Wiedermann
Conference proceedings SOFSEM 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Keynote Talk

    1. Front Matter
      Pages 1-1
    2. Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
      Pages 3-16
  3. Foundations of Computer Science

    1. Front Matter
      Pages 17-17
    2. Manfred Broy
      Pages 19-39
  4. Software Engineering: Advanced Methods, Applications, and Tools

    1. Front Matter
      Pages 45-45
    2. Michel R. V. Chaudron, Ana Fernandes-Saez, Regina Hebig, Truong Ho-Quang, Rodi Jolak
      Pages 47-66
    3. Danny Weyns, Gowri Sankar Ramachandran, Ritesh Kumar Singh
      Pages 67-84
  5. Data, Information and Knowledge Engineering

    1. Front Matter
      Pages 85-85
    2. Harald Beck, Minh Dao-Tran, Thomas Eiter
      Pages 87-93
    3. Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos
      Pages 94-108
  6. Network Science and Parameterized Complexity

    1. Front Matter
      Pages 109-109
    2. Clemens Hoffmann, Hendrik Molter, Manuel Sorge
      Pages 111-124
    3. Jan Dreier, Philipp Kuinke, Ba Le Xuan, Peter Rossmanith
      Pages 125-136
  7. Model-Based Software Engineering

    1. Front Matter
      Pages 151-151
    2. Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu
      Pages 153-167
    3. Karol Rástočný, Andrej Mlynčár
      Pages 168-179
    4. Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony
      Pages 180-193
  8. Computational Models and Complexity

    1. Front Matter
      Pages 195-195
    2. David Doty, Shaopeng Zhu
      Pages 212-226
  9. Software Quality Assurance and Transformation

    1. Front Matter
      Pages 239-239
    2. Shahid Khan, Osman Hasan, Atif Mashkoor
      Pages 241-254
    3. Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo
      Pages 255-268
    4. Bogumiła Hnatkowska, Paweł Woroniecki
      Pages 269-282
  10. Graph Structure and Computation

    1. Front Matter
      Pages 283-283
    2. Benjamin Momège
      Pages 285-294
    3. Maxim Babenko, Ignat Kolesnichenko
      Pages 295-304
    4. Tomasz Jurdziński, Krzysztof Nowicki
      Pages 305-318
  11. Business Processes, Protocols, and Mobile Networks

    1. Front Matter
      Pages 319-319
    2. Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
      Pages 321-336
    3. Mojgan Kamali, Massimo Merro, Alice Dal Corso
      Pages 337-350
    4. Manuel Perez Martinez, Tímea László, Norbert Pataki, Csaba Rotter, Csaba Szalai
      Pages 351-364
  12. Mobile Robots and Server Systems

    1. Front Matter
      Pages 365-365
    2. Huda Chuangpishit, Jurek Czyzowicz, Leszek Gąsieniec, Konstantinos Georgiou, Tomasz Jurdziński, Evangelos Kranakis
      Pages 367-380
    3. Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou
      Pages 381-395
    4. Elisabet Burjons, Dennis Komm, Marcel Schöngens
      Pages 396-409
  13. Automata, Complexity, Completeness

    1. Front Matter
      Pages 411-411
    2. Tomáš Masopust, Markus Krötzsch
      Pages 413-427
    3. Hellis Tamm, Margus Veanes
      Pages 428-441
  14. Recognition and Generation

    1. Front Matter
      Pages 457-457
    2. Miroslava Hrešková, Kristína Machová
      Pages 469-476
  15. Optimization, Probabilistic Analysis, and Sorting

    1. Front Matter
      Pages 477-477
    2. Jan-Hendrik Lorenz
      Pages 493-507

About these proceedings


This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.
The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software engineering: advances methods, applications, and tools; data, information and knowledge engineering; network science and parameterized complexity; model-based software engineering; computational models and complexity; software quality assurance and transformation; graph structure and computation; business processes, protocols, and mobile networks; mobile robots and server systems; automata, complexity, completeness; recognition and generation; optimization, probabilistic analysis, and sorting; filters, configurations, and picture encoding; machine learning; text searching algorithms; and data model engineering.


algorithms artificial intelligence computational complexity data mining data security databases internet machine learning problem solving programming languages programming semantics software design software engineering

Editors and affiliations

  • A Min Tjoa
    • 1
  • Ladjel Bellatreche
    • 2
  • Stefan Biffl
    • 3
  • Jan van Leeuwen
    • 4
  • Jiří  Wiedermann
    • 5
  1. 1.Vienna University of Technology ViennaAustria
  2. 2.ISAE-ENSMAChasseneuil-du-PoitouFrance
  3. 3.Vienna University of TechnologyViennaAustria
  4. 4.Utrecht UniversityUtrechtThe Netherlands
  5. 5.Academy of SciencesPragueCzech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Edizioni della Normale, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-73116-2
  • Online ISBN 978-3-319-73117-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment