Skip to main content
  • Conference proceedings
  • © 2018

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

Conference proceedings info: SOFSEM 2018.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (48 papers)

  1. Front Matter

    Pages I-XV
  2. Keynote Talk

    1. Front Matter

      Pages 1-1
    2. Swift Logic for Big Data and Knowledge Graphs

      • Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
      Pages 3-16
  3. Foundations of Computer Science

    1. Front Matter

      Pages 17-17
    2. On Architecture Specification

      • Manfred Broy
      Pages 19-39
  4. Software Engineering: Advanced Methods, Applications, and Tools

    1. Front Matter

      Pages 45-45
    2. Diversity in UML Modeling Explained: Observations, Classifications and Theorizations

      • Michel R. V. Chaudron, Ana Fernandes-Saez, Regina Hebig, Truong Ho-Quang, Rodi Jolak
      Pages 47-66
    3. Self-managing Internet of Things

      • Danny Weyns, Gowri Sankar Ramachandran, Ritesh Kumar Singh
      Pages 67-84
  5. Data, Information and Knowledge Engineering

    1. Front Matter

      Pages 85-85
    2. LARS: A Logic-Based Framework for Analytic Reasoning over Streams

      • Harald Beck, Minh Dao-Tran, Thomas Eiter
      Pages 87-93
    3. Network Analysis of the Science of Science: A Case Study in SOFSEM Conference

      • Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos
      Pages 94-108
  6. Network Science and Parameterized Complexity

    1. Front Matter

      Pages 109-109
    2. The Parameterized Complexity of Centrality Improvement in Networks

      • Clemens Hoffmann, Hendrik Molter, Manuel Sorge
      Pages 111-124
    3. Local Structure Theorems for Erdős–Rényi Graphs and Their Algorithmic Applications

      • Jan Dreier, Philipp Kuinke, Ba Le Xuan, Peter Rossmanith
      Pages 125-136
  7. Model-Based Software Engineering

    1. Front Matter

      Pages 151-151
    2. Combining Versioning and Metamodel Evolution in the ChronoSphere Model Repository

      • Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu
      Pages 153-167
    3. Automated Change Propagation from Source Code to Sequence Diagrams

      • Karol Rástočný, Andrej Mlynčár
      Pages 168-179
    4. Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models

      • Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony
      Pages 180-193

Other Volumes

  1. SOFSEM 2018: Theory and Practice of Computer Science

About this book

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; anddata model engineering.

Editors and Affiliations

  • Vienna University of Technology , Vienna, Austria

    A Min Tjoa

  • ISAE-ENSMA, Chasseneuil-du-Poitou, France

    Ladjel Bellatreche

  • Vienna University of Technology, Vienna, Austria

    Stefan Biffl

  • Utrecht University, Utrecht, The Netherlands

    Jan van Leeuwen

  • Academy of Sciences, Prague, Czech Republic

    Jiří Wiedermann

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access