[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

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
  • © 2018

Overview

Editors:
  1. A Min Tjoa

    1. Vienna University of Technology , Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ladjel Bellatreche

    1. ISAE-ENSMA, Chasseneuil-du-Poitou, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Stefan Biffl

    1. Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jan van Leeuwen

    1. Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Jiří Wiedermann

    1. Academy of Sciences, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFSEM 2018.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • 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

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (48 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Keynote Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    2. On Architecture Specification

      • Manfred Broy
      Pages 19-39

    3. The State of the Art in Dynamic Graph Algorithms

      • Monika Henzinger
      Pages 40-44

  4. Software Engineering: Advanced Methods, Applications, and Tools

    1. Front Matter

      Pages 45-45
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    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

    4. Target Set Selection Parameterized by Clique-Width and Maximum Threshold

      • Tim A. Hartmann
      Pages 137-149

  7. Model-Based Software Engineering

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    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
Back to top

Other volumes

  1. SOFSEM 2018: Theory and Practice of Computer Science

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

Publish with us

Policies and ethics

Back to top

Search

Navigation