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

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
  • Print ISBN 978-3-319-73116-2
  • Online ISBN 978-3-319-73117-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment