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

2013

Dagstuhl Seminar 13512, 2013-12-15 - 2013-12-19
Article
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
Dagstuhl Seminar 13511, 2013-12-15 - 2013-12-19
Book
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
Dagstuhl Seminar 13502, 2013-12-08 - 2013-12-11
Article
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)
Dagstuhl Seminar 13502, 2013-12-08 - 2013-12-11
Article
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)
Dagstuhl Seminar 13502, 2013-12-08 - 2013-12-11
Article
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)
Dagstuhl Seminar 13491, 2013-12-01 - 2013-12-06
Article
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
Dagstuhl Seminar 13481, 2013-11-24 - 2013-11-29
Special Issue
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)
Dagstuhl Seminar 13481, 2013-11-24 - 2013-11-29
Article
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)
Dagstuhl Seminar 13481, 2013-11-24 - 2013-11-29
Article
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)
Dagstuhl Seminar 13482, 2013-11-24 - 2013-11-29
Special Issue
From IT forensics to forensic computing : special issue : pp. 337-393
Freiling, Felix C. – Berlin : de Gruyter, 2015 – (Information technology : 57. 2015, 6)
Dagstuhl Seminar 13471, 2013-11-17 - 2013-11-22
Article
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
Dagstuhl Seminar 13451, 2013-11-03 - 2013-11-08
Article
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)
Dagstuhl Seminar 13452, 2013-11-03 - 2013-11-08
Article
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)
Dagstuhl Seminar 13452, 2013-11-03 - 2013-11-08
Article
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)
Dagstuhl Seminar 13452, 2013-11-03 - 2013-11-08
Article
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
Dagstuhl Seminar 13452, 2013-11-03 - 2013-11-08
Article
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.
Dagstuhl Seminar 13452, 2013-11-03 - 2013-11-08
Article
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.
Dagstuhl Seminar 13452, 2013-11-03 - 2013-11-08
Article
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
Dagstuhl Seminar 13441, 2013-10-27 - 2013-11-01
Article
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)
Dagstuhl Seminar 13441, 2013-10-27 - 2013-11-01
Article
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
Dagstuhl Seminar 13431, 2013-10-20 - 2013-10-25
Book
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
Dagstuhl Seminar 13421, 2013-10-13 - 2013-10-18
Article
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
Dagstuhl Seminar 13421, 2013-10-13 - 2013-10-18
Technical Report
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)
Dagstuhl Seminar 13421, 2013-10-13 - 2013-10-18
Article
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)
Dagstuhl Seminar 13411, 2013-10-06 - 2013-10-11
Article
Towards Conflict-Driven Learning for Virtual Substitution : article in LNCS 8660, CASC Workshop 2014
Korovin, Konstantin; Kosta, Marek; Sturm, Thomas – Berlin : Springer, 2014. - pp. 256-270 – (Lecture notes in computer science ; 8660)
Dagstuhl Seminar 13401, 2013-09-29 - 2013-10-04
Special Issue
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)
Dagstuhl Seminar 13392, 2013-09-22 - 2013-09-25
Article
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)
Dagstuhl Seminar 13382, 2013-09-15 - 2013-09-20
Special Issue
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)
Dagstuhl Seminar 13361, 2013-09-01 - 2013-09-04
Special Issue
Special issue on crowdsourcing : pp. 1-166
Hoßfeld, Tobias; Tran-Gia, Phuoc; Vukovic, Maja – Amsterdam : Elsevier, 2015 – (Computer Networks : 90. 2015)
Dagstuhl Seminar 13362, 2013-09-01 - 2013-09-04
Book
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
Dagstuhl Perspectives Workshop 13342, 2013-08-18 - 2013-08-23
Article
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)
Dagstuhl Perspectives Workshop 13342, 2013-08-18 - 2013-08-23
Article
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)
Dagstuhl Perspectives Workshop 13342, 2013-08-18 - 2013-08-23
Article
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)
Dagstuhl Perspectives Workshop 13342, 2013-08-18 - 2013-08-23
Article
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)
Research Meeting 13329, 2013-08-09 - 2013-08-17
Article
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)
Research Meeting 13329, 2013-08-09 - 2013-08-17
Article
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)
Research Meeting 13329, 2013-08-09 - 2013-08-17
Article
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)
Research Meeting 13329, 2013-08-09 - 2013-08-17
Article
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)
Research Meeting 13329, 2013-08-09 - 2013-08-17
Article
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)
Dagstuhl Seminar 13322, 2013-08-04 - 2013-08-09
Technical Report
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.
Dagstuhl Seminar 13311, 2013-07-28 - 2013-08-02
Article
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)
Dagstuhl Seminar 13312, 2013-07-28 - 2013-08-02
Article
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)
Advanced Training 13282, 2013-07-07 - 2013-07-12
Book
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
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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, 2015 – (Theoretical computer science : 605. 2015, 9)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
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)
Dagstuhl Seminar 13271, 2013-06-30 - 2013-07-05
Article
Towards improved benchmarking of black-box optimization algorithms using clustering problems : article : 15 pp.
Gallagher, Marcus – Berlin : Springer, 2016 – (Soft Computing ; 2016)
Advanced Training 13262, 2013-06-23 - 2013-06-28
Technical Report
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, 2013-06-09 - 2013-06-14
Book
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
Dagstuhl Seminar 13231, 2013-06-02 - 2013-06-07
Special Issue
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)
Dagstuhl Seminar 13231, 2013-06-02 - 2013-06-07
Article
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)
Dagstuhl Seminar 13232, 2013-06-02 - 2013-06-07
Article
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)
Dagstuhl Seminar 13232, 2013-06-02 - 2013-06-07
Article
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)
Dagstuhl Seminar 13232, 2013-06-02 - 2013-06-07
Article
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)
Dagstuhl Seminar 13201, 2013-05-12 - 2013-05-17
Book
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
Research Meeting 13193, 2013-05-05 - 2013-05-08
Book
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
Dagstuhl Seminar 13182, 2013-04-28 - 2013-05-03
Article
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.
Dagstuhl Seminar 13171, 2013-04-21 - 2013-04-26
Technical Report
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.
Dagstuhl Seminar 13151, 2013-04-07 - 2013-04-12
Article
An Algorithmic Framework for Labeling Network Maps : article
Niedermann, Benjamin; Haunert, Jan-Henrik – Berlin : Springer, 2018. - 41 pp. – (Algorithmica ; 2018)
Dagstuhl Seminar 13151, 2013-04-07 - 2013-04-12
Article
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)
Dagstuhl Seminar 13131, 2013-03-24 - 2013-03-27
Article
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)
Dagstuhl Seminar 13131, 2013-03-24 - 2013-03-27
Article
Dagstuhl Manifesto : Future Internet : pp. 65-67 : article
Crowcroft, Jon; Fidler, Markus; Nahrstedt, Klara; Steinmetz, Ralf – Berlin : Springer, 2014 – (Informatik Spektrum : 37. 2014, 1)
Dagstuhl Seminar 13131, 2013-03-24 - 2013-03-27
Article
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)
Dagstuhl Seminar 13121, 2013-03-17 - 2013-03-22
Article
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)
Dagstuhl Seminar 13121, 2013-03-17 - 2013-03-22
Technical Report
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
Dagstuhl Seminar 13111, 2013-03-10 - 2013-03-15
Article
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)
Research Meeting 13112, 2013-03-10 - 2013-03-13
Article
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)
Dagstuhl Seminar 13091, 2013-02-24 - 2013-03-01
Article
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)
Dagstuhl Seminar 13081, 2013-02-17 - 2013-02-22
Article
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)
Dagstuhl Seminar 13081, 2013-02-17 - 2013-02-22
Article
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)
Dagstuhl Seminar 13082, 2013-02-17 - 2013-02-22
Article
An upper bound for nonnegative rank : article : pp. 126-132
Shitov, Yaroslav – Amsterdam : Elsevier, 2013 – (Journal of combinatorial theory : 122)
Dagstuhl Seminar 13082, 2013-02-17 - 2013-02-22
Article
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)
Dagstuhl Seminar 13071, 2013-02-10 - 2013-02-15
Book
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