Skip to main content
  • Conference proceedings
  • © 2016

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 info: SOFSEM 2016.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-49192-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (50 papers)

  1. Front Matter

    Pages I-XV
  2. Foundations of Computer Science (Invited Talks)

    1. Front Matter

      Pages 1-1
    2. Cryptography in a Quantum World

      • Gilles Brassard
      Pages 3-16
    3. 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
    2. From ESSENCE to Theory Oriented Software Engineering

      • Sebastian Holtappels, Michael Striewe, Michael Goedicke
      Pages 43-50
  4. Data, Information, and Knowledge Engineering (Invited Talks)

    1. Front Matter

      Pages 61-61
    2. 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
    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. A Natural Counting of Lambda Terms

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

Other Volumes

  1. 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

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. 

Keywords

  • computational complexity
  • formal languages
  • graph coloring
  • model transformations
  • quantum computation
  • aspect-oriented programming
  • association rules
  • cryptography
  • data mining
  • digital libraries
  • domain modeling
  • functional programming
  • natural language processing
  • online computation
  • parallel computation
  • integer linear programming
  • post-quantum cryptography
  • software architecture
  • Web services
  • workflows

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

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-49192-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)