Skip to main content
SpringerLink
Log in
Book cover

SOFSEM 2016: Theory and Practice of Computer Science

42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Rūsiņš Mārtiņš Freivalds

    1. University of Latvia, Riga, Latvia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gregor Engels

    1. University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Barbara Catania

    1. University of Genoa, Genoa, Italy

    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 9587)

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

Included in the following conference series:

Conference proceedings info: SOFSEM 2016.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (50 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Foundations of Computer Science (Invited Talks)

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Cryptography in a Quantum World

      • Gilles Brassard
      Pages 3-16

    3. Relating Sublinear Space Computability Among Graph Connectivity and Related Problems

      • Tatsuya Imai, Osamu Watanabe
      Pages 17-28

    4. Learning Automatic Families of Languages

      • Sanjay Jain, Frank Stephan
      Pages 29-40

  3. Software Engineering: Methods, Tools, Applications (Invited Talks)

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. From ESSENCE to Theory Oriented Software Engineering

      • Sebastian Holtappels, Michael Striewe, Michael Goedicke
      Pages 43-50

    3. Incremental Queries and Transformations: From Concepts to Industrial Applications

      • Dániel Varró
      Pages 51-59

  4. Data, Information, and Knowledge Engineering (Invited Talks)

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Big Sequence Management: A glimpse of the Past, the Present, and the Future

      • Themis Palpanas
      Pages 63-80

    3. Pay-as-you-go Data Integration: Experiences and Recurring Themes

      • Norman W. Paton, Khalid Belhajjame, Suzanne M. Embury, Alvaro A. A. Fernandes, Ruhaila Maskat
      Pages 81-92

  5. Foundations of Computer Science (Regular Papers)

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Robust Recoverable Path Using Backup Nodes

      • Marjan van den Akker, Hans L. Bodlaender, Thomas C. van Dijk, Han Hoogeveen, Erik van Ommeren
      Pages 95-106

    3. On Contact Graphs with Cubes and Proportional Boxes

      • M. Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov
      Pages 107-120

    4. Orthogonal Layout with Optimal Face Complexity

      • M. Jawaherul Alam, Stephen G. Kobourov, Debajyoti Mondal
      Pages 121-133

    5. L-Drawings of Directed Graphs

      • Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli et al.
      Pages 134-147

    6. A Combinatorial Model of Two-Sided Search

      • Harout Aydinian, Ferdinando Cicalese, Christian Deppe, Vladimir Lebedev
      Pages 148-160

    7. On the Power of Laconic Advice in Communication Complexity

      • Kfir Barhum, Juraj Hromkovič
      Pages 161-170

    8. Using Attribute Grammars to Model Nested Workflows with Extra Constraints

      • Roman Barták
      Pages 171-182

    9. A Natural Counting of Lambda Terms

      • Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
      Pages 183-194
Back to top

Other volumes

  1. SOFSEM 2016: Theory and Practice of Computer Science

Keywords

About this book

This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016.
The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length. 

Editors and Affiliations

  • University of Latvia, Riga, Latvia

    Rūsiņš Mārtiņš Freivalds

  • University of Paderborn, Paderborn, Germany

    Gregor Engels

  • University of Genoa, Genoa, Italy

    Barbara Catania

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation