default search action
Computing and Software Science 2019 - LNCS 10000
- Bernhard Steffen, Gerhard J. Woeginger:
Computing and Software Science - State of the Art and Perspectives. Lecture Notes in Computer Science 10000, Springer 2019, ISBN 978-3-319-91907-2
Computation and Complexity
- Gerhard J. Woeginger:
Computation and Complexity. 3-8 - R. Ryan Williams
:
Some Estimated Likelihoods for Computational Complexity. 9-26 - William Cook:
Computing in Combinatorial Optimization. 27-47 - Haris Aziz, Felix Brandt, Edith Elkind, Piotr Skowron
Computational Social Choice: The First Ten Years and Beyond. 48-65 - Pankaj K. Agarwal, Esther Ezra, Kyle Fox:
Geometric Optimization Revisited. 66-84 - Carla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc J. van Kreveld
10 Reasons to Get Interested in Graph Drawing. 85-104 - Dana Ron:
Sublinear-Time Algorithms for Approximating Graph Parameters. 105-122 - Michel Mandjes, Nicos J. Starreveld, René Bekker, Peter Spreij
Dynamic Erdős-Rényi Graphs. 123-140 - Magnús M. Halldórsson, Roger Wattenhofer:
Wireless Network Algorithmics. 141-160 - Kirk Pruhs:
Green Computing Algorithmics. 161-183 - Wolfgang Maass, Christos H. Papadimitriou, Santosh S. Vempala, Robert Legenstein:
Brain Computation: A Computer Science Perspective. 184-199 - Kenneth W. Regan:
Rating Computer Science via Chess - In Memoriam Daniel Kopec and Hans Berliner. 200-216 - Gerhard Weikum, Johannes Hoffart, Fabian M. Suchanek:
Knowledge Harvesting: Achievements and Challenges. 217-235
Methods, Languages and Tools for Future System Development
- Bernhard Steffen:
Methods, Languages and Tools for Future System Development. 239-249 - Robert Chatley, Alastair F. Donaldson, Alan Mycroft
The Next 7000 Programming Languages. 250-282 - Albert Benveniste, Benoît Caillaud
Multi-Mode DAE Models - Challenges, Theory and Implementation. 283-310 - Bernhard Steffen, Frederik Gossen, Stefan Naujokat
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages. 311-344 - Reiner Hähnle
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools. 345-373 - Michael Huth, Flemming Nielson
Static Analysis for Proactive Security. 374-392 - Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg:
Software Architecture of Modern Model Checkers. 393-419 - Christel Baier
The 10, 000 Facets of MDP Model Checking. 420-451 - Rajeev Alur, Mirco Giacobbe
Continuous-Time Models for System Design and Analysis. 452-477 - Axel Legay, Anna Lukina
Statistical Model Checking. 478-504 - George Candea, Patrice Godefroid:
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances. 505-531 - Klaus Havelund, Giles Reger, Grigore Rosu:
Runtime Verification Past Experiences and Future Projections. 532-562 - Falk Howar, Bengt Jonsson, Frits W. Vaandrager:
Combining Black-Box and White-Box Techniques for Learning Register Automata. 563-588
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: