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

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

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

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

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

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 : preliminary version : Dagstuhl Seminars 13121, 13421, 14071 : 89 pp.

Pilipczuk, Marcin; Pilipczuk, Michal; Sankowski, Piotr; van Leeuwen, Erik Jan. - 2014
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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