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 a result from a Dagstuhl Seminar.
Legend
Book 
Special Issue 
Technical Report 
Article All 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
Dagstuhl Seminar 15512, 13.12.15-18.12.15 | |
| 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) Link | |
Dagstuhl Seminar 15512, 13.12.15-18.12.15 | |
| 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) Link | |
Dagstuhl Seminar 15511, 13.12.15-18.12.15 | |
| 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) Link | |
Dagstuhl Seminar 15511, 13.12.15-18.12.15 | |
| 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. Link | |
Dagstuhl Seminar 15511, 13.12.15-18.12.15 | |
| 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) Link | |
Dagstuhl Seminar 15511, 13.12.15-18.12.15 | |
| 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) Link | |
Dagstuhl Seminar 15511, 13.12.15-18.12.15 | |
| The threshold for subgroup profiles to agree is Ω (logn) : 14 pp. |
| Wilson, James B.. - Cornell University : arXiv.org, 2016. Link | |
Dagstuhl Seminar 15511, 13.12.15-18.12.15 | |
| Cartan coherent configurations : article : pp. 525-552 |
| Ponomarenko, Ilia; Vasil’ev, Andrey. - Berlin : Springer, 2017. - (Journal of Algebraic Combinatorics : article ; 45. 2017, 2) Link | |
Dagstuhl Seminar 15482, 22.11.15-27.11.15 | |
| 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) Link | |
Dagstuhl Seminar 15481, 22.11.15-27.11.15 | |
| 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) Link | |
Dagstuhl Seminar 15481, 22.11.15-27.11.15 | |
| 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 Link | |
Dagstuhl Seminar 15481, 22.11.15-27.11.15 | |
| 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 Link | |
Dagstuhl Seminar 15471, 15.11.15-20.11.15 | |
| 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) Link | |
Dagstuhl Seminar 15471, 15.11.15-20.11.15 | |
| 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) Link | |
Dagstuhl Seminar 15451, 01.11.15-06.11.15 | |
| 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) Link | |
Dagstuhl Seminar 15451, 01.11.15-06.11.15 | |
| 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) Link | |
Dagstuhl Seminar 15442, 25.10.15-30.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15442, 25.10.15-30.10.15 | |
| 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 Link | |
Dagstuhl Seminar 15442, 25.10.15-30.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15442, 25.10.15-30.10.15 | |
| 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 Link | |
Dagstuhl Seminar 15442, 25.10.15-30.10.15 | |
| 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 Link | |
Dagstuhl Seminar 15442, 25.10.15-30.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15412, 04.10.15-09.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15412, 04.10.15-09.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15412, 04.10.15-09.10.15 | |
| Protection of flows under targeted attacks |
| Matuschke, Jannik; MacCormick, S. Thomas; Oriolo, Gianpaolo; Peis, Britta; Skutella, Martin. - Cornell University : arXiv.org, 2016. - 13 pp. Link | |
Dagstuhl Seminar 15411, 04.10.15-09.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15401, 27.09.15-02.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15401, 27.09.15-02.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15401, 27.09.15-02.10.15 | |
| 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) Link | |
Dagstuhl Seminar 15392, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15392, 20.09.15-25.09.15 | |
| Using Ramsey's Theorem Once |
| Hirst, Jeffry L.; Mummert, Carl. - Cornell University : arXiv.org, 2016. - 10 pp. Link | |
Dagstuhl Seminar 15392, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15392, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15391, 20.09.15-25.09.15 | |
| 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. Link | |
Dagstuhl Seminar 15391, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15391, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15391, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15391, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15391, 20.09.15-25.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15381, 13.09.15-18.09.15 | |
| 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 Link | |
Dagstuhl Seminar 15381, 13.09.15-18.09.15 | |
| Computing a Complete Basis for Equalities Implied by a System of LRA Constraints |
| . - CEUR-WS.org, 2016.. - (CEUR workshop series ; 1617) Link | |
Dagstuhl Seminar 15381, 13.09.15-18.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15381, 13.09.15-18.09.15 | |
| 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 Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| 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. Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| Quantum algorithms for abelian difference sets and applications to dihedral hidden subgroups |
| Rötteler, Martin. - Cornell University : arXiv.org, 2016. - 18 pp. Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| Semantic Security and Indistinguishability in the Quantum World |
| Gagliardoni, Tommaso; Hülsing, Andreas; Schaffner, Christian. - Cryptology ePrint Archive, 2016. - 37 pp. Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| Computational Security of Quantum Encryption |
| Alagic, Gorjan; Broadbent, Anne; Fefferman, Bill; Gagliardoni, Tommaso; Schaffner, Christian; St. Jules, Michael. - Cryptology ePrint Archive, 2016. - 30 pp. Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| Jetzt wappnen für den Quantenangriff : Artikel : 4 S. |
| Cesare, Chris. - Spektrum der Wissenschaft Verlagsgesellschaft, 2015. - (Spektrum der Wissenschaft ; 2015) Link | |
Dagstuhl Seminar 15371, 06.09.15-11.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15362, 30.08.15-04.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15362, 30.08.15-04.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15361, 30.08.15-04.09.15 | |
| 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) Link | |
Dagstuhl Seminar 15361, 30.08.15-04.09.15 | |
| Pattern Coding Meets Censoring : (almost) Adaptive Coding on Countable Alphabets |
| Ben-Hamou, Anna; Boucheron, Stephane; Gassiat, Elisabeth. - Cornell University : arXiv.org, 2016. - 24 pp. Link | |
Dagstuhl Seminar 15352, 23.08.15-26.08.15 | |
| 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) Link | |
Dagstuhl Seminar 15351, 23.08.15-28.08.15 | |
| 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) Link | |
Dagstuhl Seminar 15342, 16.08.15-21.08.15 | |
| 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) Link | |
Dagstuhl Seminar 15342, 16.08.15-21.08.15 | |
| 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) Link | |
Dagstuhl Seminar 15342, 16.08.15-21.08.15 | |
| 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) Link | |
Dagstuhl Seminar 15342, 16.08.15-21.08.15 | |
| 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) Link | |
Dagstuhl Seminar 15302, 19.07.15-24.07.15 | |
| 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) Link | |
Dagstuhl Seminar 15301, 19.07.15-24.07.15 | |
| Even Delta-Matroids and the Complexity of Planar Boolean CSPs |
| Kazda, Alexandr; Kolmogorov, Vladimir; Rolinek, Michal. - Cornell University : arXiv.org, 2016. - 32 pp. Link | |
Dagstuhl Seminar 15301, 19.07.15-24.07.15 | |
| 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 Link | |
Dagstuhl Event 15283, 05.07.15-10.07.15 | |
| 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 Link | |
Dagstuhl Event 15253, 14.06.15-17.06.15 | |
| 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) Link | |
Dagstuhl Seminar 15241, 07.06.15-12.06.15 | |
| 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) Link | |
Dagstuhl Seminar 15222, 25.05.15-28.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15221, 25.05.15-29.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15221, 25.05.15-29.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15221, 25.05.15-29.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| 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 Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| Example Landscapes to Support Analysis : article in LNCS 9921 |
| Jansen, Thomas; Zarges, Christine. - Berlin : Springer, 2016. - 792-802 pp. Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| 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 Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15211, 17.05.15-22.05.15 | |
| Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article : 32 pp. |
| Sudholt, Dirk; Witt, Carsten. - Cornell University : arXiv.org, 2016. Link | |
Dagstuhl Event 15202, 10.05.15-13.05.15 | |
| Ausgezeichnete Informatikdissertationen 2014 |
| Hölldobler, Steffen. - Bonn : Gesellschaft für Informatik e.V., 2015. - 310 S.. - (Lecture notes in informatics / D ; 15) Link | |
Dagstuhl Seminar 15192, 03.05.15-08.05.15 | |
| 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) Link | |
Dagstuhl Seminar 15191, 03.05.15-08.05.15 | |
| 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 Link | |
Dagstuhl Seminar 15182, 26.04.15-29.04.15 | |
| 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) Link | |
Dagstuhl Seminar 15171, 19.04.15-24.04.15 | |
| 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) Link | |
Dagstuhl Seminar 15161, 12.04.15-17.04.15 | |
| Advanced stencil-code engineering : special issue |
| Lengauer, Christian; Bolten, Matthias; Falgout, Robert D.; Schenk, Olaf. - Chichester : Wiley, 2017. - (Concurrency and computation : 29. 2017, 17) Link | |
Dagstuhl Event 15133, 22.03.15-25.03.15 | |
| 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. Link | |
Dagstuhl Seminar 15102, 01.03.15-04.03.15 | |
| Toward a Taxonomy and Attacker Model for Secure Routing Protocols : article, pp. 43-48 |
| . - New York : ACM, 2017. - (Computer communication review ; 47. 2017, 1) Link | |
Dagstuhl Seminar 15101, 01.03.15-06.03.15 | |
| The State of the Art in Integrating Machine Learning into Visual Analytics . early view article, 28 pp |
| Endert, Alex; Ribarsky, William; Turkay, Cagatay; William Wong, B. L.; Diaz Blanco, Ignacio, Rossi, Fabrice; Nabney, Ian T.. - Chichester : Wiley, 2017. - (Computer graphics forum ; early view article) Link | |
Dagstuhl Seminar 15082, 15.02.15-20.02.15 | |
| 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) Link | |
Dagstuhl Seminar 15082, 15.02.15-20.02.15 | |
| 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. Link | |
Dagstuhl Seminar 15072, 08.02.15-11.02.15 | |
| 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) Link | |
Dagstuhl Seminar 15062, 01.02.15-06.02.15 | |
| 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, 2105. - (Computer languages systems and structures : 44. 2015, Part A) Link | |
Dagstuhl Seminar 15061, 01.02.15-06.02.15 | |
| 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) Link | |
Dagstuhl Seminar 15052, 25.01.15-30.01.15 | |
| Placing Arrows in Directed Graph Drawings |
| Binucci, Carla; Chimani, Markus; Didimo, Walter; Liotta, Giuseppe; Montecchiani, Fabrizio. - arXiv, 2016. - 19 pp. Link | |
Dagstuhl Seminar 15041, 18.01.15-23.01.15 | |
| 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 Link | |
Dagstuhl Seminar 15031, 11.01.15-16.01.15 | |
| 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) Link | |
Dagstuhl Seminar 15022, 04.01.15-07.01.15 | |
| 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 Link | |
Dagstuhl Seminar 15022, 04.01.15-07.01.15 | |
| 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) Link | |
Dagstuhl Seminar 15022, 04.01.15-07.01.15 | |
| 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) Link | |
Dagstuhl Seminar 15022, 04.01.15-07.01.15 | |
| 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) Link | |
Dagstuhl Seminar 15022, 04.01.15-07.01.15 | |
| 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 Link | |
Dagstuhl Seminar 15022, 04.01.15-07.01.15 | |
| 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) Link | |
Dagstuhl Seminar 15021, 04.01.15-09.01.15 | |
| 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) Link | |
All 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