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




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 All
Dagstuhl Seminar 13512, 15.12.13-19.12.13 | |
![]() | Report from Dagstuhl : SocioPaths - Multimodal Door-to-Door Route planning via Social Paths : article in Proceedings of the 2nd International Workshop on Mining Urban Data (MUD2), CEUR-WS, 2015, vol. 1392 - CEUR-WS.org, 2015. - pp. 90-94 |
Liebig, Thomas; Storandt, Sabine; Sanders, Peter; Othman, Walied; Funke, Stefan. - CEUR-WS.org, 2015. - pp. 90-94 Link | |
Dagstuhl Seminar 13511, 15.12.13-19.12.13 | |
![]() | Software Engineering for Self-Adaptive Systems III : Assurances : International Seminar, Dagstuhl Castle, Germany, December 15 - 19, 2013, Revised Selected and Invited Papers |
Lemos, Rogerio de; Garlan, David; Ghezzi, Carlo; Giese, Holger. - Heidelberg : Springer, 2017. - X, 433 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 9640) ISBN: 978-3-319-74182-6 / 3-319-74182-9 Link | |
Dagstuhl Seminar 13502, 08.12.13-11.12.13 | |
![]() | Comparing Computer Models Solving Number Series Problems : article in LNAI 9205 : pp. 352-361 |
Schmid, Ute; Ragni, Marco. - Berlin : Springer, 2015. - (Lecture notes in artificial intelligence ; 9205 : article) Link | |
Dagstuhl Seminar 13502, 08.12.13-11.12.13 | |
![]() | Can Machine Intelligence be Measured in the Same Way as Human intelligence? : article : pp. 291-297 |
Besold, Tarek; Hernandez-Orallo, Jose; Schmid, Ute. - Heidelberg : Springer, 2015. - (Künstliche Intelligenz : 29. 2015, 3) Link | |
Dagstuhl Seminar 13502, 08.12.13-11.12.13 | |
![]() | Inductive programming meets the real world : article : pp. 90-99 |
Gulwani, Sumit; Hernandez-Orallo, Jose; Kitzelmann, Emanuel; Muggleton, Stephen H.; Schmid, Ute; Zorn, Benjamin. - New York : ACM, 2015.. - (Communications of the ACM : 58. 2015,11) Link | |
Dagstuhl Seminar 13491, 01.12.13-06.12.13 | |
![]() | Managing Expectations When Publishing Tools and Methods for Computational Proteomics : article : pp. 2002-2004 |
Martens, Lennart; Kohlbacher, Oliver; Weintraub, Susan T.. - Washington : American Chemical Society, 2015.. - (Journal of proteome research ; 14. 2015, 5 : pp. 2002-2004 Link | |
Dagstuhl Seminar 13481, 24.11.13-29.11.13 | |
![]() | Dagstuhl Seminar 13481 Special Issue |
Aalst, Wil M. P. van der; Damiani, Ernesto. - Los Alamitos : IEEE, 2015. - (IEEE Transactions on Services Computing : 6. 2015, 1) Link | |
Dagstuhl Seminar 13481, 24.11.13-29.11.13 | |
![]() | Lights, Camera, Action! : Business Process Movies for Online Process Discovery : article Published in Proceedings of the 3rd International Workshop on Theory and Applications of Process Visualization (TAProViz 2014) : 12 pp. |
Burratin, Andrea; Cimitile, Marta; Maggi, Fabrizio Maria. - 2014. - 12 pp. Link | |
Dagstuhl Seminar 13481, 24.11.13-29.11.13 | |
![]() | Predictive Monitoring of Business Processes : article in LNCS 8484 (Advanced Information Systems Engineering) : pp. 457-472 |
Maggi, Fabrizio Maria; Francescomarino, Chiara Di; Dumas, Marlon; Ghidini, Chiara. - Heidelberg : Springer, 2014. - pp. 457-472. - Lecture Notes in Computer Science 8484 : article) Link | |
Dagstuhl Seminar 13481, 24.11.13-29.11.13 | |
![]() | The Automated Discovery of Hybrid Processes : article in LNCS 8659 (Business Process Management) : pp 392-399 |
Maggi, Fabrizio Maria; Slaats, Tijs; Reijers, Hajo A.. - Heidelberg : Springer, 2014. - pp 392-399. - (Lecture notes in computer science 8659 : article) Link | |
Dagstuhl Seminar 13482, 24.11.13-29.11.13 | |
![]() | From IT forensics to forensic computing : special issue : pp. 337-393 |
Freiling, Felix C.. - Berlin : de Gruyter, 2015. - (Information technology : 57. 2015, 6) Link | |
Dagstuhl Seminar 13471, 17.11.13-22.11.13 | |
![]() | Time for Reactive System Modeling : Interactive Timing Analysis with Hotspot Highlighting : article in RTNS '16 : Proceedings of the 24th International Conference on Real-Time Networks and Systems |
Fuhrmann, Insa; Broman, David; Hanxleden, Reinhard von; Schulz-Rosengarten, Alexander. - New York : ACM, 2016. - pp. 289-298 Link | |
Dagstuhl Seminar 13452, 03.11.13-08.11.13 | |
![]() | HuddleLamp : Spatially-Aware Mobile Displays for Ad-hoc Around-the-Table Collaboration : article In: Proceedings of the 2014 ACM international conference on Interactive tabletops and surfaces (ITS '14) |
Rädle, Roman; Jetter, Hans-Christian; Marquardt, Nicolai; Reiterer, Harald; Rogers, Yvonne. - New York : ACM, 2014. - 10 pp. Link | |
Dagstuhl Seminar 13452, 03.11.13-08.11.13 | |
![]() | Proxemics Play: Understanding Proxemics for Designing Digital Play Experiences : article in DIS 2014 |
Mueller, Florian 'Floyd'; Stellmach, Sophie; Greenberg, Saul; Dippon, Andreas; Boll, Susanne; Garner, Jayden; Khot, Rohit; Naseem, Amani; Altimira, David. - New York : ACM, 2014. - 10 pp. Link | |
Dagstuhl Seminar 13452, 03.11.13-08.11.13 | |
![]() | Dagstuhl Seminar: Proxemics in Human-Computer Interaction : article : pp. 499-500 |
Rädle, Roman; Reiterer, Harald; Greenberg, Saul; Hornbaek, Kasper; Quigley, Aaron. - Berlin : Springer, 2014. - (Informatik Spektrum : 37. 2014, 5) Link | |
Dagstuhl Seminar 13452, 03.11.13-08.11.13 | |
![]() | Dagstuhl Manifesto : Proxemics in Human-Computer Interaction : article : pp. 500-503 |
Greenberg, Saul; Hornbaek, Kasper; Quigley, Aaron; Reiterer, Harald; Rädle, Roman. - Berlin : Springer, 2014. - (Informatik Spektrum : 37. 2014, 5) Link | |
Dagstuhl Seminar 13451, 03.11.13-08.11.13 | |
![]() | Needs and challenges in human computer interaction for processing social emotional information : article : pp. 41-51 |
Esposito, Anna; Esposito, Antonietta M.; Vogel, Carl. - Amsterdam : Elsevier, 2015. - 14 pp.. - (Pattern Recognition Letters ;66. 2015) Link | |
Dagstuhl Seminar 13452, 03.11.13-08.11.13 | |
![]() | The design of slow-motion feedback : article in "DIS '14 Proceedings of the 2014 conference on Designing interactive systems" |
Vermeulen, Jo; Luyten, Kris; Coninx, Karin; Marquardt, Nicolai. - New York : ACM, 2014. - pp. 267-269 Link | |
Dagstuhl Seminar 13452, 03.11.13-08.11.13 | |
![]() | Dark Patterns in Proxemic Interactions : article in "DIS '14 Proceedings of the 2014 conference on Designing interactive systems" |
Greenberg, Saul; Boring, Sebastian; Vermeulen, Jo; Dostal, Jakub. - New York : ACM, 2014. - pp. 523-532 Link | |
Dagstuhl Seminar 13441, 27.10.13-01.11.13 | |
![]() | System And User Centered Evaluation Approaches in Interactive Information Retrieval : SAUCE 2016 : article in CHIIR '16 : Proceedings of the 2016 ACM on Conference on Human Information Interaction and Retrieval |
O'Brien, Heather; Ferro, Nicola; Joho, Hideo; Lewandowski, Dirk; Thomas, Paul; Rijsbergen, Keith van. - New York : ACM, 2016. - Pages 337-340 Link | |
Dagstuhl Seminar 13441, 27.10.13-01.11.13 | |
![]() | Evaluation methodologies in information retrieval Dagstuhl Seminar 13341 : article : pp. 36-41 |
Agosti, Maristella; Fuhr, Norbert; Toms, Elaine; Vakkari, Pertti. - New York : ACM, 2014. - (SIGIR Forum : 48. 2014, 1) Link | |
Dagstuhl Seminar 13431, 20.10.13-25.10.13 | |
![]() | Digital Representations of the Real World : How to Capture, Model, and Render Visual Reality |
Magnor, Marcus Andreas; Grau, Oliver; Sorkine-Hornung, Olga; Theobalt, Christian. - CRC Press, 2015. - XXVI, 431 S. ISBN: 978-1-482-24381-9 / 1-482-24381-4 Link | |
Dagstuhl Seminar 13421, 13.10.13-18.10.13 | |
![]() | Network sparsification for Steiner problems on planar and bounded-genus graphs : article : Dagstuhl Seminars 13121, 13421, 14071 : 89 pp. |
Pilipczuk, Marcin; Pilipczuk, Michal; Sankowski, Piotr; van Leeuwen, Erik Jan. - New York : ACM, 2018. - 73 pp.. - (ACM transactions on algorithms ; 14. 2018, 4) Link | |
Dagstuhl Seminar 13421, 13.10.13-18.10.13 | |
![]() | Integrating and Sampling Cuts in Bounded Treewidth Graphs : article in "Advances in the Mathematical Sciences", 978-3-319-34137-8 |
Bezakova, Ivona; Chambers, Erin W.; Fox, Kyle Link | |
Dagstuhl Seminar 13421, 13.10.13-18.10.13 | |
![]() | Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs : article in FOCS 2014 : 2014 IEEE Annual Symposium on Foundations of Computer Science : pp. 276-285 |
Pilipczuk, Marcin; Pilipczuk, Michal; Sankowski, Piotr; Leeuwen, Jan van. - Los Alamitos : IEEE, 2014. - pp. 276-285. - (IEEE Annual Symposium on Foundations of Computer Science FOCS 2014) Link | |
Dagstuhl Seminar 13411, 06.10.13-11.10.13 | |
![]() | Towards Conflict-Driven Learning for Virtual Substitution : article in LNCS 8660, CASC Workshop 2014 |
Korovin, Konstantin; Kosa, Marek; Sturm, Thomas. - Berlin : Springer, 2014. - pp. 256-270. - (Lecture notes in computer science ; 8660) Link | |
Dagstuhl Seminar 13401, 29.09.13-04.10.13 | |
![]() | Special issue on automatic application tuning for HPC architectures |
Benkner, Siegfried; Franchetti, Franz; Gerndt, Hans Michael; Hollingsworth, Jeffrey Kenneth. - Amsterdam : IOS Press, 2014. - (Scientific programming ; 22. 2014, 4) Link | |
Dagstuhl Seminar 13392, 22.09.13-25.09.13 | |
![]() | Inter-vehicle communication : Quo vadis : article pp. 170-177 |
Dressler, Falko; Hartenstein, Hannes; Altintas, Onur; Tonguz, Ozan K.. - Los Alamitos : IEEE, 2014. - (IEEE Communications Magazine ; 52. 2014, 6) Link | |
Dagstuhl Seminar 13382, 15.09.13-20.09.13 | |
![]() | Live Coding in Music Education : Special Issue |
Brown, Andrew R.. - Bristol : intellect Journals, 2016. - 117 pp.. - (Journal of Music, Technology and Education ; 9. 2016, 1) Link | |
Dagstuhl Seminar 13362, 01.09.13-04.09.13 | |
![]() | Crowdsourcing : Cloud-Based Software Development |
Li, Wei; Huhns, Michael N.; Tsai, Wei-Tek; Wu, Wenjun. - Berlin : Springer, 2015. - XII, 270 S.. - (Progress in IS) ISBN: 978-3-662-47010-7 / 3-662-47010-1 Link | |
Dagstuhl Seminar 13361, 01.09.13-04.09.13 | |
![]() | Special issue on crowdsourcing : pp. 1-166 |
Hoßfeld, Tobias; Tran-Gia, Phuoc; Vukovic, Maja. - Amsterdam : Elsevier, 2015. - (Computer Networks : 90. 2015) Link | |
Dagstuhl Seminar 13342, 18.08.13-23.08.13 | |
![]() | Dagstuhl Manifesto : ICT for Bridging Biology and Medicine : pp. 566-569 : article |
Almeida, Jonas S.; Dress, Andreas; Kühne, Titus; Parida, Laxmi. - Berlin : Springer, 2013. - (Informatik Spektrum : 36. 2013, 6) Link | |
Dagstuhl Seminar 13342, 18.08.13-23.08.13 | |
![]() | Computational Pathology as the New Big Data : article : pp. 600-601 : editiorial : coming into focus |
Roth, Kevin A.; Almeida, Jonas S.. - Amsterdam : Elsevier, 2015. - pp. 600-601. - (The American Journal of Pathology ; 185. 2015, 3) Link | |
Dagstuhl Seminar 13342, 18.08.13-23.08.13 | |
![]() | Computational Pathology : A Path Ahead : article : pp. 41-50 |
Louis, David N.; Feldman, Michael; Carter, Alexis B.; Dighe, Anand S.; Pfeifer, John D.; Bry, Lynn; Almeida, Jonas S.; Saltz, Joel; Braun, Jonathan; Tomaszewski, John E.; Gilbertson, John R.; Sinard, John H.; Gerber, Georg K.; Galli, Stephen J.; Golden, Jeffrey A.; Becich, Michael J.. - Lawrence : Allen Press, 2016. - pp. 41-60. - (Archives of Pathology & Laboratory Medicine ; 140. 2016, 1) Link | |
Dagstuhl Seminar 13342, 18.08.13-23.08.13 | |
![]() | OpenHealth Platform for Interactive Contextualization of Population : article pp. 297-305 |
Almeida, Jonas S.; Hajagos, Janos; Crnosija, Ivan; Kurc, Tahsin; Saltz, Mary; Saltz, Joel. - Amia.org, 2016. - (AMIA 2015 Annual Symposium) Link | |
Dagstuhl Event 13329, 09.08.13-17.08.13 | |
![]() | Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets : book chapter |
Best, Eike; Devillers, Raymond. - Berlin : Springer, 2014. - ((Lecture notes in computer science ; 8370 : pp. 161-172) Link | |
Dagstuhl Event 13329, 09.08.13-17.08.13 | |
![]() | Synthesis and reengineering of persistent systems : article : pp. 35-60 |
Best, Eike; Devillers, Raymond. - Berlin : Springer, 2014. - (Acta informatica : 52. 2015, 1 : pp. 35-60) Link | |
Dagstuhl Event 13329, 09.08.13-17.08.13 | |
![]() | Synthesis of Persistent Systems : book chapter |
Best, Eike; Devillers, Raymond. - Berlin : Springer, 2014. - pp. 111-129. - (Lecture notes in computer science ; 8489 : pp. 111-129) Link | |
Dagstuhl Event 13329, 09.08.13-17.08.13 | |
![]() | State space axioms for T-systems : article : pp. 133-152 |
Best, Eike; Devillers, Raymond. - Berlin : Springer, 2014. - (Acta informatica : 52. 2014, 2 : pp. 132-152) Link | |
Dagstuhl Event 13329, 09.08.13-17.08.13 | |
![]() | Synthesis of Live and Bounded Persistent Systems : article : pp. 39-59 |
Best, Eike; Devillers, Raymond. - Amsterdam : IOS Press, 2015. - pp. 39-59. - (Fundamenta informaticae ; 140. 2015, 1) Link | |
Dagstuhl Seminar 13322, 04.08.13-09.08.13 | |
![]() | Understanding the importance of the Internet Infrastructure in Europe : Guidelines for enhancing the Resilience of eCommunication Networks : TLP Amber, December 2013 |
Mattioli, Rossella; Haeberlen, Thomas. - Heraklion : European Union Agency for Network and Information Security Enisa, 2013. - VII, 46 pp. Link | |
Dagstuhl Seminar 13311, 28.07.13-02.08.13 | |
![]() | The connection of skew Boolean algebras and discriminator varieties to Church algebras : article : pp. 369-390 |
Cvetko-Vah, Karin; Salibra, Antonino. - Berlin : Springer, 2015. - (Algebra Universalis ; 73. 2015, 3) Link | |
Dagstuhl Seminar 13312, 28.07.13-02.08.13 | |
![]() | Trust and Privacy in Mobile Experience Sharing : Future Challenges and Avenues for Research : article : pp. 50-55 |
Krontiris, Ioannis; Langheinrich, Marc; Shilton, Katie. - Los Alamitos : IEEE, 2014. - (IEEE Communications Magazine ; 52. 2014, 8) Link | |
Dagstuhl Event 13282, 07.07.13-12.07.13 | |
![]() | Business Intelligence : Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7 - 12, 2013, Tutorial Lectures |
Zimanyi, Esteban. - Berlin : Springer, 2014. - VI, 242 S.. - (Lecture notes in business information processing : Tutorial ; 172) ISBN: 978-3-319-05460-5 / 3-319-05460-0 Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Run-Time Analysis of Population-Based Evolutionary in Noisy Environments article in FOGA '15 Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII Proceedings : pp. 69-75 |
Prügel-Bennett, Adam; Rowe, Jonathan E.; Shapiro, Jonathan L.. - New York : ACM, 2015. - (FOGA '15 Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII Proceedings ; article) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Level-Based Analysis of Genetic Algorithms and Other Search Processes : article in LNCS 8672 : pp. 912-921 |
Corus, Dogan; Dang, Duc-Cuong; Eremeev, Anton V.; Lehre, Per Kristian. - Berlin : Springer, 2014. - (Lecture notes in computer science : 8672 ; article) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Clustering Problems for More Useful Benchmarking of Optimization Algorithms : article in SEAL 2014, LNCS 8886 : pp. 131-142 |
Gallagher, Marcus. - Berlin : Springer, 2014. - (Lecture notes in computer science : 8886 ; article) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Towards improved benchmarking of black-box optimization algorithms using clustering problems : article : 15 pp. |
Gallagher, Marcus. - Berlin : Springer, 2016. - (Soft Computing ; 2016) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Fixed Budget Performance of the (1+1) EA on Linear Functions article in FOGA 2015 : pp. 52-61 |
Lengler, Johannes; Spooner, Nick. - New York : ACM, 2015. - (FOGA '15 Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII : article) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | On the Easiest and Hardest Fitness Functions : article : pp. 295-305 |
He, Jun; Chen, Tianshi; Yao, Xin. - Los Alamitos : IEEE, 2015. - (IEEE transactions on evolutionary computation : 19. 2015, 2) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | The Dynamics of Cumulative Step Size Adaptation on the Ellipsoid Model : article : pp. 25-57 |
Beyer, Hans-Georg; Hellwig, Michael. - Cambridge : MIT Press, 2016. - (Evolutionary computation : 24. 2016, 2) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | A Fixed Budget Analysis of Randomized Search Heuristics for the Traveling Salesperson Problem : article in GECCO '14 Proceedings of the 2014 Conference on Genetic and Evolutionary Computation pp. 807-814 |
Nallaperuma, Samadhi; Neumann, Frank; Sudholt, Dirk. - New York : ACM, 2014. - pp. 807-814. - GECCO 2014 Proceedings of the 2014 Conference on Genetic and Evolutionary Computation Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Design and Analysis of Adaptive Migration Intervals in Parallel Evolutionary Algorithms : article in GECCO '14 Proceedings of the 2014 Conference on Genetic and Evolutionary Computation pp. 1047-1054 |
Mambrini, Andrea; Sudholt, Dirk. - New York : ACM, 2014. - pp. 1047-1054. - GECCO 2014 Proceedings of the 2014 Conference on Genetic and Evolutionary Computation Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Expected Fitness Gains of Randomized Search Heuristics for the Traveling Salesperson Problem : article : pp. 673-705 |
Nallaperuma, Samadhi; Neumann, Frank; Sudholt, Dirk. - Cambridge : MIT Press, 2017. - (Evolutionary computation : 25. 2017, 4) Link | |
Dagstuhl Seminar 13271, 30.06.13-05.07.13 | |
![]() | Analysis of runtime of optimization algorithms for noisy functions over discrete codomains : article : pp. 42-50 |
Akimoto, Youhei; Astete-Morales, Sandra; Teytaud, Olivier. - Amsterdam : Elsevier, 2105. - (Theoretical computer science : 605. 2015, 9) Link | |
Dagstuhl Event 13262, 23.06.13-28.06.13 | |
![]() | Computational Oncology SummerSchool : 2nd Summer School in Computational Oncology : 1st p-medicine Summer School : June 23 - 28, 2013 : Schloss Dagstuhl in Wadern, Germany : Abstract Book |
Graf, Norbert. - Computational Oncology SummerSchool, 2013. - 34 pp. | |
Dagstuhl Seminar 13241, 09.06.13-14.06.13 | |
![]() | Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9 - 14, 2013, Revised Selected Papers |
Brunnett, Guido; Coquillart, Sabine; Liere, Robert van; Welch, Greg; Vasa, Libor. - Heidelberg : Springer, 2015. - VIII, 259 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 8844) ISBN: 978-3-319-17042-8 / 3-319-17042-2 Link | |
Dagstuhl Seminar 13232, 02.06.13-07.06.13 | |
![]() | Less Space : Indexing for Queries with Wildcards : article in LNCS 8283, pp. 89-99 |
Lewenstein, Moshe; Munro, J. Ian; Raman, Venkatesh; Thankachan, Sharma V.. - Berlin : Springer, 2013. - pp. 89-99. - (Lecture notes in computer science : ARCOSS : 8283 ; pp. 89-99) Link | |
Dagstuhl Seminar 13232, 02.06.13-07.06.13 | |
![]() | Succinct Data Structures for Representing Equivalence Classes : article in LNCS 8283, pp. 502-512 |
Lewenstein, Moshe; Munro, J. Ian; Raman, Venkatesh. - Berlin : Springer, 2013. - pp. 502-512. - (Lecture notes in computer science : ARCOSS : 8283 ; pp. 502-512) Link | |
Dagstuhl Seminar 13231, 02.06.13-07.06.13 | |
![]() | Belief Change and Argumentation in Multi-Agent Scenarios : special issue |
Dix, Jürgen; Hansson, Sven Ove; Kern-Isberner, Gabriele; Simari, Guillermo R.. - Amsterdam : Elsevier, 2016. - pp. 177-360 . - (Annals of mathematics and artificial intelligence ; 78. 2016, 3/4) Link | |
Dagstuhl Seminar 13231, 02.06.13-07.06.13 | |
![]() | Constructing Argument Graphs with Deductive Arguments : A Tutorial : article pp. 5-30 |
Besnard, Philippe; Hunter, Anthony. - London : Taylor & Francis, 2014. - pp. 5-30 . - (Argument & Computation ; 5. 2014, 1) Link Link | |
Dagstuhl Seminar 13232, 02.06.13-07.06.13 | |
![]() | Ranked Document Selection : article in LNCS 8503 SWAT 2014 : pp. 344-356 |
Munro, J. Ian; Navarro, Gonzalo; Shah, Rahul; Thankachan, Sharma V.. - Berlin : Springer, 2014. - (Lecture notes in computer science : 8503 ; article) Link | |
Dagstuhl Seminar 13201, 12.05.13-17.05.13 | |
![]() | Multivariate Network Visualization : Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12 - 17, 2013, Revised Discussions - Berlin : Springer, 2014. - XV, 235 S. |
Kerren, Andreas; Purchase, Helen C.; Ward, Matthew O.. - Berlin : Springer, 2014. - XV, 235 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 8380) ISBN: 978-3-319-06792-6 Link | |
Dagstuhl Event 13193, 05.05.13-08.05.13 | |
![]() | Ausgezeichnete Informatikdissertationen 2012 |
Hölldobler, Steffen; Bernstein, Abraham; Effelsberg, Wolfgang; Lenhof, Hans-Peter; Löhr, Klaus-Peter; Süsstrunk, Sabine; Störrle, Harald; Spiliopoulou, Myra; Schweikardt, Nicole; Reischuk, Karl Rüdiger; Neumann, Gustaf; Molitor, Paul. - Bonn : Gesellschaft für Informatik e.V., 2013. - 300 S.. - (Lecture notes in informatics / D : 13) ISBN: 978-3-88579-417-2 / 3-88579-417-9 Link | |
Dagstuhl Seminar 13182, 28.04.13-03.05.13 | |
![]() | Research Questions for Validation and Verification in the Context of Model-Based Engineering : article : MoDeVVa 2013 : 10th Workshop on Model-Driven Engineering, Verification, and Validation |
Dubois, Catherine; Famelis, Michalis; Gogolla, Martin; Nobrega, Leonel; Ober, Ileana; Seidl, Martina; Völter, Markus. - CEUR-WS.org, 2013. - 10 pp. Link | |
Dagstuhl Seminar 13171, 21.04.13-26.04.13 | |
![]() | Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme IV : MBEES 2013 - München |
Giese, Holger; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard. - Fortiss GmbH, 2013. - 110 S. Link | |
Dagstuhl Seminar 13151, 07.04.13-12.04.13 | |
![]() | An Algorithmic Framework for Labeling Network Maps : article |
Niedermann, Benjamin; Haunert, Jan-Henrik. - Berlin : Springer, 2018. - 41 pp.. - (Algorithmica ; 2018) Link | |
Dagstuhl Seminar 13151, 07.04.13-12.04.13 | |
![]() | An Algorithmic Framework for Labeling Network Maps : article in LNCS 9198 COCOON 2015 : pp. 689-700 |
Haunert, Jan-Henrik; Niedermann, Benjamin. - Berlin : Springer, 2014. - Lecture notes in computer science : 9198 ; article) Link | |
Dagstuhl Seminar 13131, 24.03.13-27.03.13 | |
![]() | Adaptive scheduling algorithm for media-optimized traffic management in software defined networks : article : pp. 147-168 |
Pop, Florin; Dobre, Ciprian; Comaneci, Drages; Kolodziej, Joanna. - Wien : Springer, 2014. - (Computing : 98. 2016, 1) Link | |
Dagstuhl Seminar 13131, 24.03.13-27.03.13 | |
![]() | Is SDN the De-constraining Constraint of the Future Internet? : article : pp. 13-18 |
Crowcroft, Jon; Fidler, Markus; Nahrstedt, Klara; Steinmetz, Ralf. - New York : ACM, 2013. - (Computer communication review : 43. 2013, 5 : pp. 13-18) Link | |
Dagstuhl Seminar 13131, 24.03.13-27.03.13 | |
![]() | Dagstuhl Manifesto : Future Internet : pp. 65-67 : article |
Crowcroft, Jon; Fidler, Markus; Nahrstedt, Klara; Steinmetz, Ralf. - Berlin : Springer, 2014. - (Informatik Spektrum : 37. 2014, 1) Link | |
Dagstuhl Seminar 13121, 17.03.13-22.03.13 | |
![]() | Network sparsification for Steiner problems on planar and bounded-genus graphs : preliminary version : Dagstuhl Seminars 13121, 13421, 14071 |
Pilipczuk, Marcin; Pilipczuk, Michal; Sankowski, Piotr; van Leeuwen, Erik Jan. - 2014 Link | |
Dagstuhl Seminar 13121, 17.03.13-22.03.13 | |
![]() | Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs : article in FOCS 2014 : 2014 IEEE Annual Symposium on Foundations of Computer Science : pp. 276-285 |
Pilipczuk, Marcin; Pilipczuk, Michal; Sankowski, Piotr; Leeuwen, Jan van. - Los Alamitos : IEEE, 2014. - pp. 276-285. - (IEEE Annual Symposium on Foundations of Computer Science FOCS 2014) Link | |
Dagstuhl Event 13112, 10.03.13-13.03.13 | |
![]() | The Flip Diameter of Rectangulations and Convex Subdivisions : article in LNCS 8392 LATIN 2014 : pp. 478-489 |
Ackerman, Eyal; Allen, Michelle M.; Barequet, Gill; Löffler, Maarten; Mermelstein, Joshua; Toth, Csaba D.. - Berlin : Springer, 2014. - pp. 478-489. - (Lecture notes in computer science : 8392 ; article) Link | |
Dagstuhl Seminar 13111, 10.03.13-15.03.13 | |
![]() | Scheduling with State-Dependent Machine Speed : article in LNCS 9499: Approximation and Online Algorithms, WAOA 2015 : pp. 196-208 |
Timmermans, Veerle; Vredeveld, Tjark. - (Lecture notes in computer science ; 9499 : article). - (Lecture notes in computer science ; 9499 : article) Link | |
Dagstuhl Seminar 13091, 24.02.13-01.03.13 | |
![]() | Variational Data Structures : Exploring Tradeoffs in Computing with Variability : article in "Onward! 2014 Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software" : pp. 213-226 |
Walkingshaw, Eric; Kästner, Christian; Erwig, Martin; Apel, Sven; Bodden, Eric. - New York : ACM, 2014. - pp. 213-226. - (International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software 2014) Link | |
Dagstuhl Seminar 13081, 17.02.13-22.02.13 | |
![]() | Composition in State-based Replicated Data Types : article |
Baquero, Carlos; Almeida, Paulo Sergio; Cunha, Alcino; Ferreira, Carla. - Bratislava : EATCS, 2017. - 22 pp.. - (Bulletin of the European Association for Theoretical Computer Science ; 123) Link | |
Dagstuhl Seminar 13081, 17.02.13-22.02.13 | |
![]() | Dagstuhl Seminar Review: Consistency in Distributed Systems : article : pp. 67-89 |
Kemme, Bettina; Ramalingam, Ganesan; Schiper, Andre; Shapiro, Marc. - New York : ACM, 2014. - (SIGACT news : 45. 2014, 1) Link | |
Dagstuhl Seminar 13082, 17.02.13-22.02.13 | |
![]() | An upper bound for nonnegative rank : article : pp. 126-132 |
Shitov, Yaroslav. - Amsterdam : Elsevier, 2013. - (Journal of combinatorial theory : 122) Link | |
Dagstuhl Seminar 13082, 17.02.13-22.02.13 | |
![]() | The arctic rank of a Boolean matrix : article in "Journal of algebra" : pp. 168-182 |
Beasley, LeRoy B.; Guterman, Alexander E.; Shitov, Yaroslav. - Amsterdam : Elsevier, 2015. - pp. 168-182. - (Journal of algebra ; 433. 2015) Link | |
Dagstuhl Seminar 13071, 10.02.13-15.02.13 | |
![]() | Dependence Logic : theory and Applications |
Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert. - Heidelberg : Springer, 2016. - XIV, 276 S. ISBN: 978-3-319-31801-1 / 3-319-31801-2 Link | |
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 All