Dagstuhl's Impact

Häufig kommt es vor, dass ein Dagstuhl-Seminar oder eine Dagstuhl-Veranstaltung so inspirierend war, dass die Teilnehmer nach dem Seminar gemeinsam eine Publikation herausbringen. Diese Arbeiten sind im Folgenden aufgelistet und werden separat im Erdgeschoss der Bibliothek präsentiert. Bitte informieren Sie uns über solche Publikationen.

Legende

 Buch    Special Issue    Technischer Bericht    Artikel   


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 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 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 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

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

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

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

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 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 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

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 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 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

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

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

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 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

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 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 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

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 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 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

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 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

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 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

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

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 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

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 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 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 15361, 30.08.15-04.09.15

On the measure of Voronoi cells : article

Devroye, Luc; Györfi, Laszlo; Lugosi, Gabor; Walk, Harro. - Cambridge : Cambridge University Press, 2017. - to appear . - (Journal of Applied Probability ; to appear)
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 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

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 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

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 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

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 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 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

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

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 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 : 32 pp.

Sudholt, Dirk; Witt, Carsten. - Cornell University : arXiv.org, 2016.
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 : 39 pp.

Sudholt, Dirk. - Cambridge : MIT Press, 2015 . - (Evolutionary computation : 2015 accepted for publication)
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

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 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 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 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 : early view ; 2017

Lengauer, Christian; Bolten, Matthias; Falgout, Robert D.; Schenk, Olaf. - Chichester : Wiley, 2017. - Concurrency and computation : early view)
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 : 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 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 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 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

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

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

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

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