The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Computing and Software Science"( http://dblp.L3S.de/Venues/Computing_and_Software_Science )

URL (DBLP): http://dblp.uni-trier.de/db/series/lncs

Publication years (Num. hits)
2019 (26)
Publication types (Num. hits)
incollection(26)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Huth, Flemming Nielson Static Analysis for Proactive Security. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu Statistical Model Checking. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernhard Steffen Methods, Languages and Tools for Future System Development. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1R. Ryan Williams Some Estimated Likelihoods for Computational Complexity. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pankaj K. Agarwal, Esther Ezra, Kyle Fox Geometric Optimization Revisited. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haris Aziz 0001, Felix Brandt 0001, Edith Elkind, Piotr Skowron Computational Social Choice: The First Ten Years and Beyond. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert Chatley, Alastair F. Donaldson, Alan Mycroft The Next 7000 Programming Languages. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc J. van Kreveld, Petra Mutzel, Marcus Schaefer, Falk Schreiber, Bettina Speckmann 10 Reasons to Get Interested in Graph Drawing. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gerhard Weikum, Johannes Hoffart, Fabian M. Suchanek Knowledge Harvesting: Achievements and Challenges. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Falk Howar, Bengt Jonsson, Frits W. Vaandrager Combining Black-Box and White-Box Techniques for Learning Register Automata. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kenneth W. Regan Rating Computer Science via Chess - In Memoriam Daniel Kopec and Hans Berliner. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1George Candea, Patrice Godefroid Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dana Ron Sublinear-Time Algorithms for Approximating Graph Parameters. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Maass 0001, Christos H. Papadimitriou, Santosh S. Vempala, Robert A. Legenstein Brain Computation: A Computer Science Perspective. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reiner Hähnle, Marieke Huisman Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kirk Pruhs Green Computing Algorithmics. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg Software Architecture of Modern Model Checkers. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1William Cook Computing in Combinatorial Optimization. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gerhard J. Woeginger Computation and Complexity. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis Continuous-Time Models for System Design and Analysis. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christel Baier, Holger Hermanns, Joost-Pieter Katoen The 10, 000 Facets of MDP Model Checking. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Giles Reger, Grigore Rosu Runtime Verification Past Experiences and Future Projections. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet Multi-Mode DAE Models - Challenges, Theory and Implementation. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michel Mandjes, Nicos J. Starreveld, René Bekker, Peter Spreij Dynamic Erdős-Rényi Graphs. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Magnús M. Halldórsson, Roger Wattenhofer Wireless Network Algorithmics. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license