Abstract is missing.
- Computation and ComplexityGerhard J. Woeginger. 3-8 [doi]
- Some Estimated Likelihoods for Computational ComplexityR. Ryan Williams. 9-26 [doi]
- Computing in Combinatorial OptimizationWilliam Cook. 27-47 [doi]
- Computational Social Choice: The First Ten Years and BeyondHaris Aziz 0001, Felix Brandt, Edith Elkind, Piotr Skowron. 48-65 [doi]
- Geometric Optimization RevisitedPankaj K. Agarwal, Esther Ezra, Kyle Fox. 66-84 [doi]
- 10 Reasons to Get Interested in Graph DrawingCarla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc J. van Kreveld, Petra Mutzel, Marcus Schaefer, Falk Schreiber, Bettina Speckmann. 85-104 [doi]
- Sublinear-Time Algorithms for Approximating Graph ParametersDana Ron. 105-122 [doi]
- Dynamic Erdős-Rényi GraphsMichel Mandjes, Nicos J. Starreveld, René Bekker, Peter Spreij. 123-140 [doi]
- Wireless Network AlgorithmicsMagnús M. Halldórsson, Roger Wattenhofer. 141-160 [doi]
- Green Computing AlgorithmicsKirk Pruhs. 161-183 [doi]
- Brain Computation: A Computer Science PerspectiveWolfgang Maass 0001, Christos H. Papadimitriou, Santosh Vempala, Robert A. Legenstein. 184-199 [doi]
- Rating Computer Science via Chess - In Memoriam Daniel Kopec and Hans BerlinerKenneth W. Regan. 200-216 [doi]
- Knowledge Harvesting: Achievements and ChallengesGerhard Weikum, Johannes Hoffart, Fabian M. Suchanek. 217-235 [doi]
- Methods, Languages and Tools for Future System DevelopmentBernhard Steffen. 239-249 [doi]
- The Next 7000 Programming LanguagesRobert Chatley, Alastair F. Donaldson, Alan Mycroft. 250-282 [doi]
- Multi-Mode DAE Models - Challenges, Theory and ImplementationAlbert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet. 283-310 [doi]
- Language-Driven Engineering: From General-Purpose to Purpose-Specific LanguagesBernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria. 311-344 [doi]
- Deductive Software Verification: From Pen-and-Paper Proofs to Industrial ToolsReiner Hähnle, Marieke Huisman. 345-373 [doi]
- Static Analysis for Proactive SecurityMichael Huth, Flemming Nielson. 374-392 [doi]
- Software Architecture of Modern Model CheckersFabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg. 393-419 [doi]
- The 10, 000 Facets of MDP Model CheckingChristel Baier, Holger Hermanns, Joost-Pieter Katoen. 420-451 [doi]
- Continuous-Time Models for System Design and AnalysisRajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis. 452-477 [doi]
- Statistical Model CheckingAxel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu. 478-504 [doi]
- Automated Software Test Generation: Some Challenges, Solutions, and Recent AdvancesGeorge Candea, Patrice Godefroid. 505-531 [doi]
- Runtime Verification Past Experiences and Future ProjectionsKlaus Havelund, Giles Reger, Grigore Rosu. 532-562 [doi]
- Combining Black-Box and White-Box Techniques for Learning Register AutomataFalk Howar, Bengt Jonsson, Frits W. Vaandrager. 563-588 [doi]