TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl's Impact

Frequently a Dagstuhl Seminar or a Dagstuhl Event is so inspirational that the participants jointly release a publication afterwards. These works are listed below and are presented on a special shelf in the library.

Please inform us about such publications that are the consequence of a Dagstuhl Seminar.

Also, Schloss Dagstuhl would kindly ask you to acknowledge in the publication that the publication has in some way benefited from the seminar. You are free to word the acknowledgement however you like, but we would ask you to always include the seminar's title and seminar number as well as some kind of link to the seminar's website. Nevertheless, as there have often been questions on how to word the acknowledgement, here are a few fictional example wordings for your inspiration:

  • This work has benefitted from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted substantially from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted from the second and fourth author's participation in Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • Part of this work was initiated by Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces"
  • We thank the organizers of Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces" for bringing us together. We are particularly indebted to seminar participant Jane Doe for asking a question that initiated our research.

Petra Meyer

Library Manager

2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   Specials

2015

Dagstuhl Seminar 15511, 2015-12-13 - 2015-12-18
Article
A family of permutation groups with exponentially many non-conjugated regular elementary abelian subgroups : 6 pp.
Evdokimov, Sergei; Muzychuk, Mikhail; Ponomarenko, Ilia – Cornell University : arXiv.org, 2016.
Dagstuhl Seminar 15511, 2015-12-13 - 2015-12-18
Article
Cartan coherent configurations : article : pp. 525-552
Ponomarenko, Ilia; Vasil’ev, Andrey – Berlin : Springer, 2017 – (Journal of Algebraic Combinatorics : article ; 45. 2017, 2)
Dagstuhl Seminar 15511, 2015-12-13 - 2015-12-18
Article
Parameterized Complexity of Small Weight Automorphisms : 14 pp.
Arvind, Vikraman; Köbler, Johannes; Kuhnert, Sebastian; Toran, Jacobo – Potsdam : Electronic Colloquium on Computational Complexity, 2016. – (Electronic colloquium on computational complexity ; TR16-157)
Dagstuhl Seminar 15511, 2015-12-13 - 2015-12-18
Article
Report on The Graph Isomorphism Problem : Dagstuhl Seminar 15511 on the Graph Isomorphism Problem : 13 - 18 December, 2015 ; article
Dawar, Anuj – Bratislava : EATCS, 2016 – (Bulletin of the European Association for Theoretical Computer Science : 118. 2016)
Dagstuhl Seminar 15511, 2015-12-13 - 2015-12-18
Article
Solution-Graphs of Boolean Formulas and Isomorphism : article in SAT 2016: Theory and Applications of Satisfiability Testing : pp. 29-44
– Berlin : Springer, 2016 – (Lecture notes in computer science ; 9710 : article)
Dagstuhl Seminar 15511, 2015-12-13 - 2015-12-18
Article
The threshold for subgroup profiles to agree is Ω (logn) : 14 pp.
Wilson, James B. – Cornell University : arXiv.org, 2016.
Dagstuhl Seminar 15512, 2015-12-13 - 2015-12-18
Article
Computational Argumentation Quality Assessment in Natural Language : article in : Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics (EACL 17)
Wachsmuth, Henning; Naderi, Nona; Hou, Yufang; Prabhakaran, Vinodkumar; Thijm, Tim Alberdingk; Stein, Benno M.; Hirst, Graeme; Bilu, Yonatan – ICAL, 2017. - 24 pp. – (15th Conference of the European Chapter of the Association for Computational Linguistics : article)
Dagstuhl Seminar 15512, 2015-12-13 - 2015-12-18
Article
Debating Technology for Dialogical Argument : Sensemaking, Engagement, and Analytics : article
Lawrence, John; Snaith, Mark; Konat, Barbara; Budzynska, Katarzyna; Reed, Chris – New York : ACM, 2017 – (ACM transactions on internet technology ; 17. 2017, 3)
Dagstuhl Seminar 15482, 2015-11-22 - 2015-11-27
Special Issue
The Next Generation of Socio-Technical Systems : Realizing the Potential, Protecting the Value : special section : pp. 46-80
Steghöfer, Jan-Philipp; Diaconescu, Ada; Marsh, Stephen; Pitt, Jeremy V. – Los Alamitos : IEEE, 2017 – (IEEE Technology and Society Magazine ; 36. 2017, 3)
Dagstuhl Seminar 15481, 2015-11-22 - 2015-11-27
Book
Evaluation in the Crowd : Crowdsourcing and Human-Centered Experiments : Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 - 27, 2015, Revised Contributions
Archambault, Daniel; Purchase, Helen C.; Hoßfeld, Tobias – Springer, 2017. - VI, 190 S. – (Lecture notes in computer science : State-of-the-Art Survey ; 10264) , ISBN: 978-3-319-66434-7 / 3-319-66434-4
Dagstuhl Seminar 15481, 2015-11-22 - 2015-11-27
Article
Information Visualization Evaluation Using Crowdsourcing : article : EuroVis 2018
Borgo, Rita; Micallef, Luana; Bach, Benjamin; MacGee, Fintan; Lee, Bongshin – Chichester : Wiley, 2018. - 24 pp. – (Computer graphics forum ; 2018)
Dagstuhl Seminar 15481, 2015-11-22 - 2015-11-27
Article
Report on the Dagstuhl Seminar 15481 "Evaluation in the Crowd: Crowdsourcing and Human-Centred Experiments" (November 2015) : article in KuVS Newsletter PP. 13-14
Hoßfeld, Tobias; Archambault, Daniel; Purchase, Helen C. – GI Fachgruppe KuVS, 2015. - pp. 13-14
Dagstuhl Seminar 15471, 2015-11-15 - 2015-11-20
Article
SC2 : Satisfiability Checking Meets Symbolic Computation : article in LNAI 9791 "Intelligent Computer Mathematics : CICM 2016" : pp. 28-43
Abraham, Erika; Abbott, John; Bigatti, Anna M.; England, Matthew; Forrest, Stephen; Sturm, Thomas; Seiler, Werner M. ; Kroening, Daniel; Griggio, Alberto; Fontaine, Pascal; Davenport, James Harold; Cimatti, Alessandro; Buchberger, Bruno; Brain, Martin; Becker, Bernd – Berlin : Springer, 2016 – (Lecture notes in artificial intelligence ; 9791 : article)
Dagstuhl Seminar 15471, 2015-11-15 - 2015-11-20
Article
Solving Nonlinear Integer Arithmetic with MCSAT : article in LNCS 10145 "Model Checking, and Abstract Interpretation : VMCAI 2017" : pp. 330-346
Jovanovic, Dejan – Berlin : Springer, 2014 – (Lecture notes in computer science ; 10145 : article)
Dagstuhl Seminar 15451, 2015-11-01 - 2015-11-06
Article
Model Checking Spatial Logics for Closure Spaces : article : pp. 1- 51
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke – Braunschweig : Universität, 2016 – (Logical Methods in Computer Science ; 12. 2016, 4)
Dagstuhl Seminar 15451, 2015-11-01 - 2015-11-06
Article
The complexity of regular abstractions of one-counter languages : article in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : pp. 207-216
tig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Narayan Kumar, K.; Saivasan, Prakash; Zetzsche, Georg – New York : ACM, 2016 – (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : LICS 2016 ; pp. 207-216)
Dagstuhl Seminar 15442, 2015-10-25 - 2015-10-30
Article
Computer models solving intelligence test problems : Progress and implications : article, pp. 74-107
Hernandez-Orallo, Jose; Martinez-Plumed, Fernando; Schmid, Ute; Siebers, Michael; Dowe, David L. – Amsterdam : Elsevier, 2016 – (Artificial intelligence : 230. 2016, pp.74-107)
Dagstuhl Seminar 15442, 2015-10-25 - 2015-10-30
Article
General-Purpose Inductive Programming for Data Wrangling Automation : presentation at NIPS 2016 Workshop Artificial Intelligence for Data Science, AI4DataSci 2016 : 4 pp.
Contreras-Ochando, Lidia; Martinez-Plumed, Fernando; Ferri, Cesar; Hernandez-Orallo, Jose; Ramirez-Quintana, Maria Jose – NIPS, 2016
Dagstuhl Seminar 15442, 2015-10-25 - 2015-10-30
Article
Generating Tests by Example : article in LNCS 10747 : VMCAI 2018, International Conference on Verification, Model Checking, and Abstract Interpretation
Peleg, Hila; Rasin, Dan; Yahav, Eran – Berlin : Springer, 2017. - pp. 406-429 – (Lecture notes in computer science ; 10747)
Dagstuhl Seminar 15442, 2015-10-25 - 2015-10-30
Article
Historical account of computer models solving IQ test : accepted paper : "EGPAI 2016 : 1st International Workshop on Evaluating General-Purpose AI", pp. 20-21
Martinez-Plumed, Fernando; Hernandez-Orallo, Jose; Schmid, Ute; Siebers, Michael; Dowe, David L. – EGPAI, 2016 – (International Workshop on Evaluating General-Purpose AI ; 1. 2016 : accepted paper)
Dagstuhl Seminar 15442, 2015-10-25 - 2015-10-30
Article
How does Predicate Invention affect Human Comprehensibility? : article in 26th International Conference on Inductive Logic Programming (ILP), 2016
Besold, Tarek R.; Muggleton, Stephen H.; Schmid, Ute; Tamaddoni-Nezhad, Alireza; Zeller, Christina
Dagstuhl Seminar 15442, 2015-10-25 - 2015-10-30
Article
Logging Data Scientists : Collecting Evidence for Data Science Automation : presentation at NIPS 2016 Workshop Artificial Intelligence for Data Science, AI4DataSci 2016 : 3 pp.
Contreras-Ochando, Lidia; Martinez-Plumed, Fernando; Ferri, Cesar; Hernandez-Orallo, Jose; Ramirez-Quintana, Maria Jose – NIPS, 2016
Dagstuhl Seminar 15411, 2015-10-04 - 2015-10-09
Article
Grasp Quality Evaluation in Underactuated Robotic Hands : article in 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) : pp. 1946-1953
Pozzi, Maria; Sundaram, Ashok M.; Malvezzi, Monica; Prattichizzo, Domenico; Roa, Maximo A. – Los Alamitos : IEEE, 2016 – (IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2016 ; article)
Dagstuhl Seminar 15412, 2015-10-04 - 2015-10-09
Article
Competitive Packet Routing with Priority Lists : article in 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016 : pp. 1-14
Harks, Tobias; Peis, Britta; Schmand, Daniel; Vargas Koch, Laura – Wadern : LZI, 2016 – Leibniz International Proceedings in Informatics ; 58 : article)
Dagstuhl Seminar 15412, 2015-10-04 - 2015-10-09
Article
Long Term Behavior of Dynamic Equilibria in Fluid Queuing Networks : article in LNCS 10328 : IPCO 2017 - Berlin : Springer, 2017. - pp. 161-172
Cominetti, Roberto; Correa, Jose R.; Olver, Neil – Berlin : Springer, 2017. - pp. 161-172 – (Lecture notes in computer science ; 10328 : article)
Dagstuhl Seminar 15412, 2015-10-04 - 2015-10-09
Article
Protection of flows under targeted attacks
Matuschke, Jannik; MacCormick, S. Thomas; Oriolo, Gianpaolo; Peis, Britta; Skutella, Martin – Cornell University : arXiv.org, 2016. - 13 pp.
Dagstuhl Seminar 15401, 2015-09-27 - 2015-10-02
Article
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits: article in "Logic, Language, Information, and Computation" : pp 234-248
Haak, Anselm; Vollmer, Heribert – Berlin : Springer, 2016 – Lecture notes in computer science ; 9803 : article)
Dagstuhl Seminar 15401, 2015-09-27 - 2015-10-02
Article
Descriptive Complexity of #AC0 Functions : article in Computer Science Logic 2016, CSL 2016
Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert – Wadern : LZI, 2016. - pp. 1-16 – (Leibniz International Proceedings in Informatics ; 62 : article)
Dagstuhl Seminar 15401, 2015-09-27 - 2015-10-02
Article
Two-variable Logic with a Between Relation : article in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : pp. 106-115
Krebs, Andreas; Lodaya, Kamal; Pandya, Paritosh K.; Straubing, Howard – New York : ACM, 2016 – (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ; article)
Dagstuhl Seminar 15391, 2015-09-20 - 2015-09-25
Article
A linear functional strategy for regularized ranking : article pp. 26-35
Kriukova, Galina; Panasiuk, Oleksandra; Pereverzyev, Sergei V.; Tkachenko, Pavlo – Amsterdam : Elsevier, 2016 – (Neural Networks : 73. 2016)
Dagstuhl Seminar 15391, 2015-09-20 - 2015-09-25
Technical Report
Complexity of linear ill-posed problems in Hilbert space
Mathe, Peter; Pereverzyev, Sergei V. – Linz : Johann Radon Institute, 2016. - 23 pp. – (RICAM-Report ; 2016-09)
Dagstuhl Seminar 15391, 2015-09-20 - 2015-09-25
Article
Embeddings of weighted Hilbert spaces and applications to multivariate and infinite-dimensional integration . article : pp. 8-39
Gnewuch, Michael; Hefter, Mario; Hinrichs, Aicke; Ritter, Klaus – Amsterdam : Elsevier, 2017 – (Journal of Approximation Theory ; 222. 2017)
Dagstuhl Seminar 15391, 2015-09-20 - 2015-09-25
Article
Embeddings of Weighted Hilbert Spaces and Applications to Multivariate and Infinite-Dimensional Integration : article
Gnewuch, Michael; Hefter, Mario; Hinrichs, Aicke; Ritter, Klaus – ArXiv, 2016. - 35 pp.
Dagstuhl Seminar 15391, 2015-09-20 - 2015-09-25
Article
Glycemic Control Indices and Their Aggregation in the Prediction of Nocturnal Hypoglycemia From Intermittent Blood Glucose Measurements : article : pp. 1245-1250
Sampath, Sivananthan; Tkachenko, Pavlo; Renard, Eric; Pereverzev, Sergei V. – (Journal of Diabetes Science and Technology ; 10. 2016, 6) – (Journal of Diabetes Science and Technology ; 10. 2016, 6 : article)
Dagstuhl Seminar 15391, 2015-09-20 - 2015-09-25
Article
Prediction of nocturnal hypoglycemia by an aggregation of previously known prediction approaches : proof of concept for clinical application : article : pp. 179-186
Tkachenko, Pavlo; Kriukova, Galina; Aleksandrova, Marharyta; Chertov, Oleg; Renard, Eric; Pereverzyev, Sergei V. – Amsterdam : Elsevier, 2016 – (Computer Methods and Programs in Biomedicine ; 134. 2016)
Dagstuhl Seminar 15392, 2015-09-20 - 2015-09-25
Article
Dividing by Zero - How Bad Is It, Really? : article in 41st International Symposium on Mathematical Foundations of Computer Science : pp. 1-14
Kihara, Takayuki; Pauly, Arno – Wadern : LZI, 2016 – (Leibniz International Proceedings in Informatics ; 58 : article)
Dagstuhl Seminar 15392, 2015-09-20 - 2015-09-25
Article
Reverse Mathematics of Matroids : article in LNCS 10010: Computability and Complexity : pp. 143-159
Hirst, Jeffry L.; Mummert, Carl – Berlin : Springer, 2017 – (Lecture notes in computer science ; 10010 : article)
Dagstuhl Seminar 15392, 2015-09-20 - 2015-09-25
Article
The proof-theoretic strength of Ramsey's theorem for pairs and two colors : article
Patey, Ludovic; Yokoyama, Keita – Amsterdam : Elsevier, 2018. - pp. 1034-1070 – (Advances in Mathematics ; 330. 2018 : article)
Dagstuhl Seminar 15392, 2015-09-20 - 2015-09-25
Article
Using Ramsey's Theorem Once
Hirst, Jeffry L.; Mummert, Carl – Cornell University : arXiv.org, 2016. - 10 pp.
Dagstuhl Seminar 15381, 2015-09-13 - 2015-09-18
Article
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints
– CEUR-WS.org, 2016. – (CEUR workshop series ; 1617)
Dagstuhl Seminar 15381, 2015-09-13 - 2015-09-18
Article
Fast Cube Tests for LIA Constraint Solving : article in LNAI 9706: International Joint Conference on Automated Reasoning, IJCAR 2016, Automated Reasoning : pp.116-132
Bromberger, Martin; Weidenbach, Christoph – Berlin : Springer, 2016 – (Lecture notes in artificial intelligence ; 9706 : article)
Dagstuhl Seminar 15381, 2015-09-13 - 2015-09-18
Article
Linear Arithmetic Satisfiability Via Strategy Improvement : article in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) : pp. 735-743
Farzan, Azadeh; Kincaid, Zachary – Princeton : University, 2016 – Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) : article
Dagstuhl Seminar 15381, 2015-09-13 - 2015-09-18
Article
Property-Directed k-Induction : article in Formal Methods in Computer-Aided Design, FMCAD 2016 : pp. 85-92
Jovanovic, Dejan; Dutertre, Bruno – Austin : University of Texas, 2016
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Applying Grover’s Algorithm to AES : Quantum Resource Estimates : article in LNCS 9606 : pp. 29-43
Grassl, Markus; Langenberg, Brandon; Rötteler, Martin; Steinwandt, Rainer – Berlin : Springer, 2016 – (Lecture notes in computer science ; 9606 : article)
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Circuit-extension handshakes for Tor achieving forward secrecy in a quantum world : article in Proceedings on Privacy Enhancing Technologies 2016 : pp. 219–236
Schanck, John M.; Whyte, William; Zhang, Zhenfei – Berlin : de Gruyter, 2016 – (Proceedings on Privacy Enhancing Technologies 2016 ; article)
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Computational Security of Quantum Encryption
Alagic, Gorjan; Broadbent, Anne; Fefferman, Bill; Gagliardoni, Tommaso; Schaffner, Christian; St. Jules, Michael – Cryptology ePrint Archive, 2016. - 30 pp.
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Encryption faces quantum foe : Researchers urge readiness against attacks from future-generation computers : Online security braces for quantum revolution : article pp. 167-168
Cesare, Chris – Indianapolis : Macmillan Publ., 2015. – (Nature ; Vol. 525)
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
Amy, Matthew; Matteo, Olivia Di; Gheorghiu, Vlad; Mosca, Michele; Parent, Alex; Schanck, John M. – Cornell University : arXiv.org, 2016. - 21 pp.
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Jetzt wappnen für den Quantenangriff : Artikel : 4 S.
Cesare, Chris – Spektrum der Wissenschaft Verlagsgesellschaft, 2015 – (Spektrum der Wissenschaft ; 2015)
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Quantum algorithms for abelian difference sets and applications to dihedral hidden subgroups
Rötteler, Martin – Cornell University : arXiv.org, 2016. - 18 pp.
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Technical Report
Report on Post-Quantum Cryptography
Chen, Lily; Liu, Yi-Kai; Moody, Dustin; Perlner, Ray; Smith-Tone, Daniel; Peralta, Rene; Jordan, Stephen – NIST National Institute of Standards and Technology, 2016 – (NISTIR ; 8105)
Dagstuhl Seminar 15371, 2015-09-06 - 2015-09-11
Article
Semantic Security and Indistinguishability in the Quantum World
Gagliardoni, Tommaso; Hülsing, Andreas; Schaffner, Christian – Cryptology ePrint Archive, 2016. - 37 pp.
Dagstuhl Seminar 15361, 2015-08-30 - 2015-09-04
Article
On the measure of Voronoi cells : article : pp. 394-408
Devroye, Luc; Györfi, Laszlo; Lugosi, Gabor; Walk, Harro – Cambridge : Cambridge University Press, 2017 – (Journal of Applied Probability ; 54. 2017, 2)
Dagstuhl Seminar 15361, 2015-08-30 - 2015-09-04
Article
Pattern Coding Meets Censoring : (almost) Adaptive Coding on Countable Alphabets
Ben-Hamou, Anna; Boucheron, Stephane; Gassiat, Elisabeth – Cornell University : arXiv.org, 2016. - 24 pp.
Dagstuhl Perspectives Workshop 15362, 2015-08-30 - 2015-09-04
Article
Abstract Dialectical Argumentation Among Close Relatives : article in Computational Models of Argument, ISBN 978-1-61499-685-9 : pp. 127-138
Bochman, Alexander – Amsterdam : IOS Press, 2016 – (Computational Models of Argument ; pp. 127-138)
Dagstuhl Perspectives Workshop 15362, 2015-08-30 - 2015-09-04
Article
Dagstuhl Manifesto : Perspectives Workshop : Present and Future of Formal Argumentation : pp. 84-86 : article
Gabbay, Dov M.; Giacomin, Massimiliano; Liao, Beishui; Torre, Leendert van der – Berlin : Springer, 2016 – (Informatik Spektrum : 39. 2016, 1)
Dagstuhl Perspectives Workshop 15362, 2015-08-30 - 2015-09-04
Book
Handbook of Formal Argumentation
Baroni, Pietro; Gabbay, Dov M.; Giacomin, Massimiliano; Torre, Leendert van der – London : College Publications, 2018. - ix, 1016 Seiten , ISBN: 978-1-84890-275-6 / 1-84890-275-1
Dagstuhl Seminar 15352, 2015-08-23 - 2015-08-26
Article
Control-Fluidic CoDesign for Paper-Based Digital Microfluidic Biochips : article in ICCAD '16 Proceedings of the 35th International Conference on Computer-Aided Design : 8 pp.
Wang, Qin; Li, Zeyan; Cheong, Haena; Yao, Hailong; Shin, Kwanwoo; Li, Bing; Schlichtmann, Ulf; Cai, Yici; Ho, Tsung-Yi; Kwon, Oh-Sun – New York : ACM, 2016 – (Proceedings of the 35th International Conference on Computer-Aided Design 2016 ; article)
Dagstuhl Seminar 15351, 2015-08-23 - 2015-08-28
Article
Testing and Validation of Computational Methods for Mass Spectrometry : article : pp.809-814
Gatto, Laurent; Hansen, Kasper D.; Hoopmann, Michael R.; Hermjakob, Henning; Kohlbacher, Oliver; Beyer, Andreas – Washington : ACS Publications, 2016 – (Journal of Proteome Research ; 15. 2016)
Dagstuhl Perspectives Workshop 15342, 2015-08-16 - 2015-08-21
Article
A Power-Aware Cost Model for HPC Procurement : article in 2016 IEEE International Parallel and Distributed Processing Symposium Workshops : pp. 1110-1113
Gholkar, Neha; Mueller, Frank; Rountree, Barry – Los Alamitos : IEEE, 2016 – (International Parallel and Distributed Processing Symposium Workshops : article)
Dagstuhl Perspectives Workshop 15342, 2015-08-16 - 2015-08-21
Article
Dagstuhl Manifesto : Power-Bounded HPC Performance Optimization : pp. 171-174 : article
Rountree, Barry; Kranzlmüller, Dieter – Berlin : Springer, 2016 – (Informatik Spektrum : 39. 2016, 2 : article)
Dagstuhl Perspectives Workshop 15342, 2015-08-16 - 2015-08-21
Technical Report
Power Tuning for HPC Jobs under Manufacturing Variations
Gholkar, Neha; Mueller, Frank; Rountree, Barry – Raleigh : University, 2016. - 11 pp – (Technical Report, Dept. of Computer Science, North Carolina State University ; 2016-2)
Dagstuhl Perspectives Workshop 15342, 2015-08-16 - 2015-08-21
Article
Power Tuning HPC Jobs on Power-Constrained Systems : article in Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, PACT '16 : pp. 179-191
Gholkar, Neha; Mueller, Frank; Rountree, Barry – New York : ACM, 2016 – (International Conference on Parallel Architectures and Compilation, PACT '16 : article)
Dagstuhl Seminar 15301, 2015-07-19 - 2015-07-24
Article
Even Delta-Matroids and the Complexity of Planar Boolean CSPs
Kazda, Alexandr; Kolmogorov, Vladimir; Rolinek, Michal – Cornell University : arXiv.org, 2016. - 32 pp.
Dagstuhl Seminar 15301, 2015-07-19 - 2015-07-24
Article
Testing Assignments to Constraint Satisfaction Problems : article in 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) : pp. 525-534
Chen, Hubie; Valeriote, Matthew A.; Yoshida, Yuichi – Los Alamitos : IEEE, 2016
Dagstuhl Perspectives Workshop 15302, 2015-07-19 - 2015-07-24
Article
Dagstuhl Manifesto : Digital Scholarship and Open Science in Psychology and the Behavioral Sciences : pp. 572-573 : article
Castro, Alexander Garcia; Hastings, Janna; Lange, Christoph; Stevens, Robert; Weichselgartner, Erich – Berlin : Springer, 2015 – (Informatik Spektrum : 38. 2015, 6)
GI-Dagstuhl Seminar 15283, 2015-07-05 - 2015-07-10
Book
Entertainment Computing and Serious Games : International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5 - 10, 2015, Revised Selected Papers - Heidelberg : Springer, 2016. - (Lecture notes in computer science : Tutorial ; 9970)
Dörner, Ralf; Göbel, Stefan; Kickmeier-Rust, Michael; Masuch, Maic; Zweig, Katharina A. – Heidelberg : Springer, 2016 – (Lecture notes in computer science : Tutorial ; 9970) , ISBN: 978-3-319-46151-9 / 3-319-46151-6
Research Meeting 15253, 2015-06-14 - 2015-06-17
Article
Corporate Semantic Web : Applications, Technology, Methodology : Summary of the Dagstuhl Workshop 2015 : article : pp. 57-63
Hoppe, Thomas; Humm, Bernhard; Schade, Ulrich; Heuss, Timm; Hemmje, Matthias; Vogel, Tobias; Gernhardt, Benjamin – Berlin : Springer, 2016 – (Informatik Spektrum : 39. 2016, 1)
Dagstuhl Seminar 15241, 2015-06-07 - 2015-06-12
Article
Dagstuhl Manifesto : Computational Social Choice : Theory and Applications : pp. 423-426 : article
Boutilier, Craig; Dorn, Britta; Maudet, Nicolas; Merlin, Vincent – Berlin : Springer, 2015 – (Informatik Spektrum : 38. 2015, 5)
Dagstuhl Seminar 15221, 2015-05-25 - 2015-05-29
Article
Normative and descriptive rationality : from nature to artifice and back : article
Besold, Tarek R.; Uckelman, Sara L. – London : Taylor & Francis, 2018. - pp. 331-344 – (Journal of experimental and theoretical artificial intelligence ; 30. 2018, 2)
Dagstuhl Seminar 15221, 2015-05-25 - 2015-05-29
Special Issue
Reasoning with Imperfect Information and Knowledge : Special Issue : pp. 1-257
Kern-Isberner, Gabriele; Douven, Igor; Knauff, Markus; Prade, Henri – Berlin : Springer, 2017 – (Minds and Machines : 27. 2017, 1)
Dagstuhl Seminar 15221, 2015-05-25 - 2015-05-29
Article
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem : article in LNCS 9616 : pp. 65-82
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele – Berlin : Springer, 2016 – (Lecture notes in computer science ; 9616 : article)
Dagstuhl Seminar 15222, 2015-05-25 - 2015-05-28
Article
What does it mean to use a method? : Towards a practice theory for software engineering : article pp. 220-231
Dittrich, Yvonne – Amsterdam : Elsevier, 2016. – (Information and Software Technology ; 70. 2016 : article)
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
Artificial Immune Systems can Beat Evolutionary Algorithms in Combinatorial Optimisation : article : 8 pp
Doerr, Benjamin; Jansen, Thomas; Zarges, Christine – New York : ACM, 2016. – (Proceedings of the 18th Genetic and Evolutionary Computation Conference (GECCO 2016), AIS-BIO : article)
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
Example Landscapes to Support Analysis : article in LNCS 9921
Jansen, Thomas; Zarges, Christine – Berlin : Springer, 2016. - 792-802 pp.
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
First Steps Towards a Runtime Comparison of Natural and Artificial Evolution : article in GECCO '15 Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation : pp. 1455-1462
Paixao, Tiago; Perez Heredia, Jorge; Sudholt, Dirk; Trubenova, Barbora – New York : ACM, 2015. – (GECCO '15 Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation : article)
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
How Crossover Speeds Up Building-Block Assembly in Genetic Algorithms : article : pp. 237-274
Sudholt, Dirk – Cambridge : MIT Press, 2017 – (Evolutionary computation : 25. 2017, 2
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
Projection-Based Restricted Covariance Matrix Adaptation for High Dimension : article in GECCO 2016, Genetic and Evolutionary Computation Conference 2016, Jul 2016, Denver, United States
Akimoto, Youhei; Jansen, Nikolaus – HAL Inria, 2016. - 9 pp. – (GECCO 2016, Genetic and Evolutionary Computation Conference 2016 : article
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
Toward a unifying framework for evolutionary processes : article : pp. 28-43
Paixao, Tiago; Badkobeh, Golnaz; Barton, Nicholas H.; Corus, Dogan; Dang, Duc-Cuong; Trubenova, Barbora; Sutton, Andrew M.; Sudholt, Dirk; Lehre, Per Kristian; Friedrich, Tobias – Amsterdam : Elsevier, 2015 – (Journal of Theoretical Biology ; 383. 2015)
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article : 32 pp.
Sudholt, Dirk; Witt, Carsten – Cornell University : arXiv.org, 2016.
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article pp. 61-68
Sudholt, Dirk; Witt, Carsten – New York : ACM, 2016 – (GECCO '16 Proceedings of the Genetic and Evolutionary Computation Conference 2016 ; pp. 61-68)
Dagstuhl Seminar 15211, 2015-05-17 - 2015-05-22
Article
Upper bounds on expected hitting time of target subsets by genetic algorithm : article in Proceedings of the 6th International Conference "Optimization Problems and their Economical Applications" : pp.84-88
Dang, Duc-Cuong; Eremeev, Anton V.; Lehre, Per Kristian – Omsk, 2015. – (Proceedings of the 6th International Conference Optimization Problems and their Economical Applications : article)
Research Meeting 15202, 2015-05-10 - 2015-05-13
Book
Ausgezeichnete Informatikdissertationen 2014
Hölldobler, Steffen – Bonn : Gesellschaft für Informatik e.V., 2015. - 310 S. – (Lecture notes in informatics / D ; 15)
Dagstuhl Seminar 15191, 2015-05-03 - 2015-05-08
Article
Possible values : Exploring a concept for concurrency : article
Jones, Cliff B.; Hayes, Ian J. – Amsterdam : Elsevier, 2016. - pp. 972-984 – Journal of Logical and Algebraic Methods in Programming ; 85. 2016
Dagstuhl Seminar 15192, 2015-05-03 - 2015-05-08
Special Issue
Perception, cognition and reasoning about shadows : special issue
Santos, Paulo E.; Casati, Roberto; Cavanagh, Patrick – London : Taylor & Francis, 2018. - pp. 78-135 – (Spatial Cognition and Computation ; 18. 2018, 2)
Dagstuhl Seminar 15182, 2015-04-26 - 2015-04-29
Article
Formal Methods Tool Qualification
Wagner, Lucas G.; Cofer, Darren; Slind, Konrad; Tinelli, Cesare; Mebsout, Alain – Hampton : National Aeronautics and Space Administration, 2017 – (NASA/CR ; 2017-219371)
Dagstuhl Seminar 15171, 2015-04-19 - 2015-04-24
Technical Report
Total space in Resolution is at least width squared
Bonacina, Ilario – Potsdam : Electronic Colloquium on Computational Complexity, 2016. - 14 pp. – (Electronic Colloquium on Computational Complexity Report ; 57)
Dagstuhl Seminar 15161, 2015-04-12 - 2015-04-17
Special Issue
Advanced stencil-code engineering : special issue
Lengauer, Christian; Bolten, Matthias; Falgout, Robert D.; Schenk, Olaf – Chichester : Wiley, 2017 – (Concurrency and computation : 29. 2017, 17)
Dagstuhl Seminar 15131, 2015-03-22 - 2015-03-27
Book
Handbook of Normative Multiagent Systems
Chopra, Amit; Torre, Leendert van der; Verhagen, Harko; Villata, Serena – London : College Publications, 2018. - XIV, 408 S. , ISBN: 978-1-84890-285-9 / 1-84890-285-9
Research Meeting 15133, 2015-03-22 - 2015-03-25
Technical Report
Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XI : MBEES 2015
Riebisch, Matthias; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard – München : Fortiss GmbH, 2015. - 119 S.
Dagstuhl Seminar 15111, 2015-03-08 - 2015-03-13
Article
Improved Bounds on Information Dissemination by Manhattan Random Waypoint Model
Rezaei, Aria; Gao, Jie; Phillips, Jeff M.; Toth, Csaba D. – Cornell University : arXiv.org, 2018. - 10 pp.
Dagstuhl Seminar 15101, 2015-03-01 - 2015-03-06
Article
The State of the Art in Integrating Machine Learning into Visual Analytics : article
Endert, Alex; Ribarsky, William; Turkay, Cagatay; William Wong, B. L.; Diaz Blanco, Ignacio, Rossi, Fabrice; Nabney, Ian T. – Chichester : Wiley, 2017. - pp. 458-486 – (Computer graphics forum ; 36. 2017, 8)
Dagstuhl Seminar 15101, 2015-03-01 - 2015-03-06
Article
Visual Interaction with Dimensionality Reduction: A Structured Literature Analysis : article
Sacha, Dominik; Zhang, Leishi; Sedlmair, Michael; Lee, John A.; Peltonen, Jaakko; Keim, Daniel A.; North, Stephen A.; Weiskopf, Daniel – Los Alamitos : IEEE, 2017. - pp. 241 - 250 – (IEEE transactions on visualization and computer graphics ; 23. 2017, 1)
Dagstuhl Seminar 15102, 2015-03-01 - 2015-03-04
Article
Toward a Taxonomy and Attacker Model for Secure Routing Protocols : article, pp. 43-48
– New York : ACM, 2017 – (Computer communication review ; 47. 2017, 1)
Dagstuhl Seminar 15082, 2015-02-15 - 2015-02-20
Article
On the Linear Extension Complexity of Regular n-gons : also published in "Linear Algebra and its Applications" : article
Vandaele, Arnaud; Gillis, Nicolas; Glineur, Francois – Cornell University : arXiv.org, 2015. - 15 pp.
Dagstuhl Seminar 15082, 2015-02-15 - 2015-02-20
Article
On the Linear Extension Complexity of Regular n-gons : article
Vandaele, Arnaud; Gillis, Nicolas; Glineur, Francois – Elsevier, 2017. - pp. 217-239 – (Linear Algebra and its Applications ; 521. 2017 : article)
Dagstuhl Seminar 15072, 2015-02-08 - 2015-02-11
Article
Distributed Cloud Computing : Applications, Status Quo, and Challenges : article : pp. 38-43
Coady, Yvonne; Hohlfeld, Oliver; Kempf, James; McGeer, Patrick C.; Schmid, Stefan – New York : ACM, 2015 – (Computer communication review : 45. 2015, 2)
Dagstuhl Seminar 15062, 2015-02-01 - 2015-02-06
Article
Evaluating and comparing language workbenches : Existing results and benchmarks for the future : article pp. 24-47
Erdweg, Sebastian ; Wachsmuth, Guido; Visser, Eelco; Vergu, Vlad; Kelly, Steven; Cook William R.; Tratt, Laurence; Voelter, Markus; Storm, Tijs van der; Molina, Pedro J.; Palatnik, Martin; Pohjonen, Risto; Schindler, Eugen; Schindler, Klemens; Solmi, Riccardo; Vlist, Kevin van der; Woning, Jimi van der; Bosman, Remi; Gerritsen, Albert; Hulshout, Angelo; Loh, Alex; Konat, Gabriel – Amsterdam : Elsevier, 2015 – (Computer languages systems and structures : 44. 2015, Part A)
Dagstuhl Seminar 15061, 2015-02-01 - 2015-02-06
Article
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead : article : pp. 519-533
Klein, Felix; Zimmermann, Martin – Wadern : LZI, 2015. - pp. 519-533 – (Leibniz International Proceedings in Informatics ; 41)
Dagstuhl Seminar 15051, 2015-01-25 - 2015-01-30
Article
AI-based game design patterns : article
Treanor, Mike; Zook, Alexander; Eladhari, Mirjam P.; Togelius, Julian; Smith, Gillian; Smith, Adam; Levine, John R.; Magerko, Brian; Thompson, Tommy; Cook, Michael – Glasgow : Univ. of Strathglyde, 2015. - 9 pp.
Dagstuhl Seminar 15052, 2015-01-25 - 2015-01-30
Article
Placing Arrows in Directed Graph Drawings
Binucci, Carla; Chimani, Markus; Didimo, Walter; Liotta, Giuseppe; Montecchiani, Fabrizio – arXiv, 2016. - 19 pp.
Dagstuhl Seminar 15041, 2015-01-18 - 2015-01-23
Book
Self-Aware Computing Systems : Heidelberg : Springer, 2017. - xviii, 722 Seiten
Kounev, Samuel; Kephart, Jeffrey O.; Milenkoski, Aleksandar; Zhu, Xiaoyun – Heidelberg : Springer, 2017. - xviii, 722 Seiten , ISBN: 978-3-319-47472-4 / 3-319-47472-3
Dagstuhl Seminar 15031, 2015-01-11 - 2015-01-16
Special Issue
Special issue on understanding complexity in multiobjective optimization
Greco, Salvatore; Klamroth, Kathrin; Knowles, Joshua D.; Rudolph, Günter – Chichester : Wiley, 2017 – (Journal of Multi-Criteria Decision Analysis : JMCDA ; 24. 2017, 1/2)
Dagstuhl Seminar 15022, 2015-01-04 - 2015-01-07
Article
Dagstuhl Manifesto : Quality of Experience : from Assessment to Application : pp.315-318 : article
Moor, Katrien De; Fiedler, Markus; Reichl, Peter; Varela, Martin – Berlin : Springer, 2015 – (Informatik Spektrum : 38. 2015, 4)
Dagstuhl Seminar 15022, 2015-01-04 - 2015-01-07
Article
From Service Level Agreements (SLA) to Experience Level Agreements (ELA) : The challenges of selling QoE to the user : article in ICC'15 : IEEE ICC 2015 - Workshop on Quality of Experience-based Management for Future Internet Applications and Services (QoE-FI)
Varela, Martin; Zwickl, Patrick; Reichl, Peter; Xie, Min; Schulzrinne, Henning – Los Alamitos : IEEE, 2015. - pp. 1741-1746
Dagstuhl Seminar 15022, 2015-01-04 - 2015-01-07
Article
Impact of Perceived Quality and other Influencing Factors on Emotional Video Experience : article in QoMEX
Antons, Jan-Niklas; Arndt, Sebastian; Moor, Katrien De; Zander, Steffen – Los Alamitos : IEEE, 2015. - 6 pp. – (Proceedings of the 7th International Workshop on Quality of Multimedia Experience (QoMEX) 2015)
Dagstuhl Seminar 15022, 2015-01-04 - 2015-01-07
Article
QoE beyond the MOS : Added Value Using Quantiles and Distributions : article in QoMEX 2015
Hoßfeld, Tobias; Heegaard, Poul E.; Varela, Martin – Los Alamitos : IEEE, 2015. - 6 pp. – (Proceedings of the 7th International Workshop on Quality of Multimedia Experience (QoMEX) 2015) : article
Dagstuhl Seminar 15022, 2015-01-04 - 2015-01-07
Article
QoE beyond the MOS : an in-depth look at QoE via better metrics and their relation to MOS : article, 23 pp.
Hoßfeld, Tobias; Heegaard, Poul E.; Varela, Martin; Möller, Sebastian – Berlin : Springer, 2016 – (Quality and User Experience ; 1. 2016 : article)
Dagstuhl Seminar 15022, 2015-01-04 - 2015-01-07
Article
Towards a comprehensive framework for QOE and user behavior modelling : article in QoMEX 2015
Reichl, Peter; Egger, Sebastian; Möller, Sebastian; Kilkki, Kalevi; Fiedler, Markus; Hossfeld, Tobias; Tsiara, Christos; Asrese, Alemnew – Los Alamitos : IEEE, 2015. - 6 pp. – (Proceedings of the 7th International Workshop on Quality of Multimedia Experience (QoMEX) 2015)
Dagstuhl Seminar 15021, 2015-01-04 - 2015-01-09
Article
A simple deterministic algorithm for guaranteeing the forward progress of transactions : article : pp. 69-74
Leiserson, Charles E. – Amsterdam : Elsevier, 2016 – (Information Systems ; 57. 2016)