Computing and Software Science

State of the Art and Perspectives

  • Bernhard Steffen
  • Gerhard Woeginger

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10000)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Computation and Complexity

    1. Front Matter
      Pages 1-1
    2. Gerhard J. Woeginger
      Pages 3-8
    3. William Cook
      Pages 27-47
    4. Haris Aziz, Felix Brandt, Edith Elkind, Piotr Skowron
      Pages 48-65
    5. Pankaj K. Agarwal, Esther Ezra, Kyle Fox
      Pages 66-84
    6. Carla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc van Kreveld et al.
      Pages 85-104
    7. Michel Mandjes, Nicos Starreveld, René Bekker, Peter Spreij
      Pages 123-140
    8. Magnús M. Halldórsson, Roger Wattenhofer
      Pages 141-160
    9. Kirk Pruhs
      Pages 161-183
    10. Wolfgang Maass, Christos H. Papadimitriou, Santosh Vempala, Robert Legenstein
      Pages 184-199
    11. Kenneth W. Regan
      Pages 200-216
    12. Gerhard Weikum, Johannes Hoffart, Fabian Suchanek
      Pages 217-235
  3. Methods, Languages and Tools for Future System Development

    1. Front Matter
      Pages 237-237
    2. Robert Chatley, Alastair Donaldson, Alan Mycroft
      Pages 250-282
    3. Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
      Pages 283-310
    4. Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria
      Pages 311-344
    5. Michael Huth, Flemming Nielson
      Pages 374-392
    6. Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg
      Pages 393-419
    7. Christel Baier, Holger Hermanns, Joost-Pieter Katoen
      Pages 420-451
    8. Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikučionis
      Pages 452-477
    9. Axel Legay, Anna Lukina, Louis Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu
      Pages 478-504
    10. Klaus Havelund, Giles Reger, Grigore Roşu
      Pages 532-562
    11. Falk Howar, Bengt Jonsson, Frits Vaandrager
      Pages 563-588
  4. Back Matter
    Pages 589-590

About this book


The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.
They are organized in two parts:
The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.
The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements.

Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via


Artificial intelligence Computer architecture Computer software selection and evaluation Hardware Internet Model checking Problem solving Program compilers Programming language Semantics Software engineering Verification

Editors and affiliations

  • Bernhard Steffen
    • 1
  • Gerhard Woeginger
    • 2
  1. 1.Technical University of DortmundDortmundGermany
  2. 2.RWTH AachenAachenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-91907-2
  • Online ISBN 978-3-319-91908-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods