Published in: OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)
Simone Martini. The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation. In Recent Developments in the Design and Implementation of Programming Languages. Open Access Series in Informatics (OASIcs), Volume 86, pp. 8:1-8:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{martini:OASIcs.Gabbrielli.8, author = {Martini, Simone}, title = {{The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation}}, booktitle = {Recent Developments in the Design and Implementation of Programming Languages}, pages = {8:1--8:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-171-9}, ISSN = {2190-6807}, year = {2020}, volume = {86}, editor = {de Boer, Frank S. and Mauro, Jacopo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.8}, URN = {urn:nbn:de:0030-drops-132307}, doi = {10.4230/OASIcs.Gabbrielli.8}, annote = {Keywords: Semantics of programming languages, history of programming languages, mathematical theory of computation} }
Published in: Dagstuhl Reports, Volume 6, Issue 10 (2017)
Holger H. Hoos, Frank Neumann, and Heike Trautmann. Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412). In Dagstuhl Reports, Volume 6, Issue 10, pp. 33-74, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{hoos_et_al:DagRep.6.10.33, author = {Hoos, Holger H. and Neumann, Frank and Trautmann, Heike}, title = {{Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412)}}, pages = {33--74}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {10}, editor = {Hoos, Holger H. and Neumann, Frank and Trautmann, Heike}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.10.33}, URN = {urn:nbn:de:0030-drops-69569}, doi = {10.4230/DagRep.6.10.33}, annote = {Keywords: algorithm configuration, algorithm selection, features, machine learning, optimisation, performance prediction} }
Published in: Dagstuhl Seminar Proceedings, Volume 6061, Theory of Evolutionary Algorithms (2006)
Frank Neumann and Carsten Witt. Runtime Analysis of a Simple Ant Colony Optimization Algorithm. In Theory of Evolutionary Algorithms. Dagstuhl Seminar Proceedings, Volume 6061, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{neumann_et_al:DagSemProc.06061.8, author = {Neumann, Frank and Witt, Carsten}, title = {{Runtime Analysis of a Simple Ant Colony Optimization Algorithm}}, booktitle = {Theory of Evolutionary Algorithms}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6061}, editor = {Dirk V. Arnold and Thomas Jansen and Michael D. Vose and Jonathan E. Rowe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06061.8}, URN = {urn:nbn:de:0030-drops-5928}, doi = {10.4230/DagSemProc.06061.8}, annote = {Keywords: Randomized Search Heuristics, Ant Colony Optimization, Runtime Analysis} }
Feedback for Dagstuhl Publishing