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 a result from a Dagstuhl Seminar.

Legend

 Book    Special Issue    Technical Report    Article   


Dagstuhl Seminar 17471, 19.11.17-24.11.17

Evolving Mario Levels in the Latent Space of a Deep Convolutional Generative Adversarial Network : article in GECCO ’18, July 15 - 19, 2018, Kyoto, Japan

Volz, Vanessa; Schrum, Jacob; Liu, Jialin; Lucas, Simon M.; Smith, Adam; Risi, Sebastian. - New York : ACM, 2018. - 8 pp.
Link
 

Dagstuhl Seminar 17462, 12.11.17-15.11.17

A Taxonomy for Classifying Runtime Verification Tools

Falcone, Ylies; Krstic, Srdan; Reger, Giles; Traytel, Dmitriy. - HAL Inria, 2018. - 19 pp.
Link
 

Dagstuhl Seminar 17461, 12.11.17-17.11.17

Evaluating Visual Data Analysis Systems : A Discussion Report

Battle, Leilani; Angelini, Marco; Eichmann, Philipp; Sedlmair, Michael; Willett, Wesley; Santucci, Giuseppe; Fekete, Jean-Daniel; Catarci, Tiziana; Binnig, Carsten. - HAL Inria, 2018
Link
 

Dagstuhl Seminar 17461, 12.11.17-17.11.17

Evaluating Visual Data Analysis Systems : A Discussion Report : article in HILDA'18 Proceedings of the Workshop on Human-In-the-Loop Data Analytics

Battle, Leilani; Angelini, Marco; Binnig, Carsten; Catarci, Tiziana; Eichmann, Philipp; Willett, Wesley; Sedlmair, Michael; Santucci, Giuseppe; Fekete, Jean-Daniel. - New York : ACM, 2018. - 6 pp.
Link
 

Dagstuhl Seminar 17442, 29.10.17-03.11.17

The Dagstuhl Perspectives Workshop on Performance Modeling and Prediction : article

Ferro, Nicola; Fuhr, Norbert; Zobel, Justin; Shapira, Bracha; Nie, Jian-Yun; Magnini, Bernardo; Kuflik, Tsvi; Gonzalo, Julio; Geyer, Werner; Ekstrand, Michael D.; Declerck, Thierry; Konstan, Joseph A.; Grefenstette, Gregory; Perego, Raffaele; Soboroff, Ian; Tintarev, Nava; Verspoor, Karin; Willemsen, Martijn C.. - New York : ACM, 2018. - pp. 91-101. - (Sigir forum ; 52. 2018, 1)
Link
 

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Streams and Tables : Two Sides of the Same Coin : article in BIRTE '18 Proceedings of the International Workshop on Real-Time Business Intelligence and Analytics

Sax, Matthias J.; Wang, Guozhang; Weidlich, Matthias; Freytag, Johann-Christoph. - New York : ACM, 2018. - 11 pp.
Link
 

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Stream Processing Languages in the Big Data Era

Hirzel, Martin; Baudart, Guillaume; Bonifati, Angela; Della Valle, Emanuele; Sakr, Sherif; Vlachou, Akrivi. - New York : ACM, 2018. - pp. 29-40. - (SIGMOD record ; 47. 2018, 2)
Link
 

Dagstuhl Seminar 17421, 15.10.17-20.10.17

Expanding the Use of Spectral Libraries in Proteomics : article

Deutsch, Eric W; Perez-Riverol, Yasset; Chalkley, Robert J. Chalkley; Wilhelm, Mathias; Tate, Stephen; Sachsenberg, Timo; Walzer, Mathias; Käll, Lukas; Schymanski, Emma L.; Kuster, Bernhard; Neumann, Steffen; Lam, Henry; Böcker, Sebastian; Delanghe, Bernard ; Wilmes, Paul ; Dorfer, Viktoria ; Volders, Pieter-Jan ; Jehmlich, Nico ; Vissers, Johannes P. C. ; Wolan, Dennis W. ; Wang, Ana Y. ; Mendoza, Luis ; Shofstahl, Jim ; Dowsey, Andrew W. ; Griss, Johannes ; Salek, Reza M. ; Binz, Pierre-Alain ; Vizcaino, Juan Antonio ; Bandeira, Nuno ; Röst, Hannes. - Washington, D.C. : American Chemical Society, 2018. - 10 pp.
Link
 

Dagstuhl Seminar 17392, 24.09.17-29.09.17

Body-centric computing : results from a weeklong Dagstuhl seminar in a German castle : article

Mueller, Florian 'Floyd'; Andres, Josh; Marshall, Joe; Marquez Segura, Elena; Sas, Corina; Höök, Kristina; Graham, Nicholas; Hoven, Elise van den; Martin-Niedecken, Anna Lisa; Tholander, Jakob; Gerling, Kathrin; Schraefel, Monica C.; Svanes, Dag. - New York : ACM, 2018. - Pages 34-39. - (Interactions ; 25. 2018, 4)
Link
 

Dagstuhl Seminar 17382, 17.09.17-20.09.17

Computer Models Solving Intelligence Test Problems : Progress and Implications : Extended Abstract : in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 17

Hernandez-Orallo, Jose; Martinez-Plumed, Fernando; Schmid, Ute; Siebers, Michael; Dowe, David L.. - IJCAI 17 - IJCAI, 2017. - pp. 5005-5009
Link
 

Dagstuhl Seminar 17382, 17.09.17-20.09.17

Ultra-Strong Machine Learning : comprehensibility of programs learned with ILP : article

Muggleton, Stephen H.; Schmid, Ute; Zeller, Christina; Tamaddoni-Nezhad, Alireza; Besold, Tarek R.. - Berlin : Springer, 2018. - pp. 1119-1140. - (Machine learning ; 107. 2018)
Link
 

Dagstuhl Seminar 17372, 10.09.17-13.09.17

POTs : Protective Optimization Technologies

Overdorf, Rebekah; Kulynych, Bogdan; Balsa, Ero; Troncoso, Carmela; Gürses, Seda F.. - Cornell University : arXiv.org, 2018. - 11 pp.
Link
 

Dagstuhl Seminar 17352, 27.08.17-30.08.17

Combining Tools for Optimization and Analysis of Floating-Point Computations : article in International Symposium on Formal Methods : FM 2018 : LNCS 10951

Becker, Heiko; Panchekha, Pavel; Darulova, Eva; Tatlock, Zachary. - Berlin : Springer, 2018. - pp 355-363
ISBN: https://doi.org/10.1007/978-3-319-95582-7_21
 

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Counting Hypergraph Colourings in the Local Lemma Regime : article in STOC 2018 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing

Guo, Heng; Liao, Chao; Lu, Pinyan; Zhang, Chihao. - New York : ACM, 2018. - Pages 926-939
Link
 

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Algorithmic Pirogov-Sinai theory

Helmuth, Tyler; Perkins, Will; Regts, Guus. - Cornell University : arXiv.org, 2018. - 40 pp.
Link
 

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Perfect Simulation of the Hard Disks Model by Partial Rejection Sampling : article in ICALP 2018

Guo, Heng; Jerrum, Mark R.. - Wadern : LZI, 2018. - 10 pp.. - (Leibniz International Proceedings in Informatics : 107 : article)
Link
 

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Note on “The Complexity of Counting Surjective Homomorphisms and Compactions" : article

Dell, Holger. - Cornell University : arXiv.org, 2018. - 3 pp.
Link
 

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Extensor-Coding : article in STOC 2018 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing

Brand, Cornelius; Dell, Holger; Husfeldt, Thore. - New York : ACM, 2018. - Pages 151-164
Link
 

Dagstuhl Seminar 17332, 13.08.17-18.08.17

Short Plane Supports for Spatial Hypergraphs

Castermans, Thom; Garderen, Mereke van; Meulemans, Marleen; Nöllenburg, Martin; Yuan, Xiaoru. - Cornell University : arXiv.org, 2018. - 23 pp.
Link
 

Dagstuhl Seminar 17301, 23.07.17-28.07.17

An Information Nutritional Label for Online Documents : article

Fuhr, Norbert; Grefenstette, Gregory; Gurevich, Yuri; Liu, Yiqun; Mothe, Josiane; Nejdl, Wolfgang; Stein, Benno M.; Hanselowski, Andreas; Jarvelin, Kalervo; Jones, Rosie; Peters, Isabella; Giachanou, Anastasia. - New York : ACM, 2017. - (Sigir forum ; 51. 2017, 3 : article)
Link
 

Dagstuhl Seminar 17292, 16.07.17-21.07.17

A Kernel for Multi-Parameter Persistent Homology : article : (also published in CGWeek Young Researchers Forum 2018)

Corbet, Rene; Fugacci, Ulderico; Kerber, Michael; Landi, Claudia; Wang, Bei. - Cornell University : arXiv.org, 2018. - 22 pp.
Link
 

Dagstuhl Seminar 17281, 09.07.17-14.07.17

A survey of similarities in banking malware behaviours : article

Black, Paul; Gondal, Iqbal; Layton, Robert. - Amsterdam : Elsevier, 2018. - 43 pp.. - (Computers and security ; 77. 2018, pp. 756-772)
Link
 

Dagstuhl Event 17273, 05.07.17-07.07.17

Semantic Applications : Methodology, Technology, Corporate Use

Hoppe, Thomas; Humm, Bernhard; Reibold, Anatol. - Berlin : Springer, 2018. - xxv, 264 Seiten
ISBN: 978-3-662-55432-6 / 3-662-55432-1
Link
 

Dagstuhl Seminar 17261, 25.06.17-30.06.17

On the Complexity of Extended and Proportional Justified Representation : article in Thirty-Second AAAI Conference on Artificial Intelligence

Aziz, Haris; Elkind, Edith; Huang, Shenwei; Lackner, Martin; Sanchez-Fernandez, Luis; Skowron, Piotr. - Menlo Park : AAAI, 2018. - 8 pp.
Link
 

Dagstuhl Seminar 17231, 05.06.17-09.06.17

EFP and PG-EFP : article in Twenty-Eighth International Conference on Automated Planning and Scheduling

Le, Tiep; Fabiano, Francesco; Son, Tran Cao; Pontelli, Enrico. - Menlo Park : AAAI Press, 2018. - 10 pp.
Link
 

Dagstuhl Seminar 17231, 05.06.17-09.06.17

Game Description Language and Dynamic Epistemic Logic Compared : article in Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018)

Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael. - IJCAI, 2018. - pp. 1795-1802
Link
 

Dagstuhl Seminar 17222, 28.05.17-02.06.17

JCC-H : Adding Join Crossing Correlations with Skew to TPC-H : article in LNCS 10661: Performance Evaluation and Benchmarking for the Analytics Era

Boncz, Peter A.; Anatiotis, Angelos-Christos; Kläbe, Steffen. - Berlin : Springer, 2017. - pp. 103-119. - (Lecture notes in computer science ; 10661 : article)
Link
 

Dagstuhl Seminar 17222, 28.05.17-02.06.17

G-CORE : A Core for Future Graph Query Languages : article in Proceedings of the 2018 International Conference on Management of Data

Angles, Renzo; Arenas, Marcelo; Barcelo, Pablo; Boncz, Peter A.; Fletcher, George; Gutierrez, Claudio; Lindaaker, Tobias; Paradies, Marcus; Plantikow, Stefan; Sequeda, Juan; Rest, Oscar van; Voigt, Hannes. - New York : ACM, 2018. - Pages: 1421-1432
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

A New Class of Guided C2 Subdivision Surfaces Combining Good Shape with Nested Refinement : article

Karciauskas, Kestutis; Peters, Jörg. - Chichester : Wiley, 2018. - pp. 84-95. - (Computer graphics forum ; 37. 2018, 6)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Refinable polycube G-splines : article in Special Issue on SMI 2016

Sarov, Martin; Peters, Jörg. - Amsterdam : Elsevier, 2016. - pp. 92-101. - (Computers and graphics ; 58. 16)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

T-junctions in Spline Surfaces : article

Karciauskas, Kestutis; Panozzo, Daniele; Peters, Jörg. - New York : ACM, 2017. - 9 pp.. - (ACM transactions on graphics ; 36. 2017, 5)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Improved shape for refinable surfaces with singularly parameterized irregularities : article

Karciauskas, Kestutis; Peters, Jörg. - Amsterdam : Elsevier, 2018. - Pages 191-198. - (CAD ; 90. 2017)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Computing medial axis transformations of 2D point clouds : article

Zhong, Yanjun; Chen, Falai. - Amsterdam : Elsevier, 2018. - Pages 50-63. - (Graphical models ; 97. 2018 : article)
Link
 

Dagstuhl Event 17213, 21.05.17-24.05.17

Ausgezeichnete Informatikdissertationen 2016

Hölldobler, Steffen. - Bonn : Gesellschaft für Informatik e.V., 2018. - 328 S.. - (Lecture notes in informatics / D ; 17)
ISBN: 978-3-88579-976-4 / 3-88579-976-6
 

Dagstuhl Seminar 17192, 07.05.17-12.05.17

What Does Explainable AI Really Mean? : A New Conceptualization of Perspectives

Doran, Derek; Schulz, Sarah; Besold, Tarek R.. - Cornell University : arXiv.org, 2017. - 8 S.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Medium step sizes are harmful for the compact genetic algorithm : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference

Lengler, Johannes; Sudholt, Dirk; Witt, Carsten. - New York : ACM, 2018. - pp. 1499-1505
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

A General Dichotomy of Evolutionary Algorithms on Monotone Functions : article

Lengler, Johannes. - Cornell University : arXiv.org, 2018. - 41 pp.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

The Benefits of Population Diversity in Evolutionary Algorithms : A Survey of Rigorous Runtime Analyses : article

Sudholt, Dirk. - Cornell University : arXiv.org, 2018. - 36 pp.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Linear multi-objective drift analysis : article

Rowe, Jonathan E.. - Amsterdam : Elsevier, 2018. - pp. 25-40. - (Theoretical computer science ; 736. 2018)
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Drift theory in continuous search spaces : expected hitting time of the (1 + 1)-ES with 1/5 success rule : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference

Akimoto, Youhei; Auger, Anne; Glasmachers, Tobias. - New York : ACM, 2018. - pp. 801-808
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Drift Analysis : article

Lengler, Johannes. - Cornell University : arXiv.org, 2018. - 44 pp.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Quality Gain Analysis of the Weighted Recombination Evolution Strategy on General Convex Quadratic Functions

Akimoto, Youhei; Auger, Anne; Hansen, Nikolaus. - HAL Inria, 2018. - 29 pp.
Link
 

Dagstuhl Seminar 17162, 17.04.17-20.04.17

Hiding in the Crowd : an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale : article in WWW '18, Proceedings of the 2018 World Wide Web Conference

Gomez-Boix, Alejandro; Laperdrix, Pierre; Baudry, Benoit. - New York : ACM, 2018. - pp. 309-318
Link
 

Dagstuhl Seminar 17161, 17.04.17-20.04.17

Understanding systems that are designed to support human cognition : article : Rethinking Interaction - CHI 2018 workshop

Chuang, Lewis L.; Schmidt, Albrecht. - exSitu, 2018. - 5 pp.
Link
 

Dagstuhl Seminar 17161, 17.04.17-20.04.17

Feel the Movement : Real Motion Influences Responses to Take-over Requests in Highly Automated Vehicles : article No. 246 in CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Boll, Susanne; Heuten, Wilko; Bülthoff, Heinrich H.; Chuang, Lewis L.. - New York : ACM, 2018. - 13 pp.
Link
 

Dagstuhl Seminar 17161, 17.04.17-20.04.17

A Survey of Attention Management Systems in Ubiquitous Computing Environments : Article No. 58 in Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, IMWUT

Anderson, Christoph; Hübener, Isabel; Seipp, Ann-Kathrin; Ohly, Sandra; Pejovic, Veljko; David, Klaus. - New York : ACM, 2018. - 27 pp.
Link
 

Dagstuhl Seminar 17142, 02.04.17-05.04.17

Composition Closure of Linear Extended Top-down Tree Transducers : article

Engelfriet, Joost; Fülöp, Zoltan; Maletti, Andreas. - Berlin : Springer, 2017. - pp. 129-171. - (Theory of computing systems ; 60. 2017 : article)
Link
 

Dagstuhl Seminar 17142, 02.04.17-05.04.17

Multiple context-free tree grammars: Lexicalization and characterization : article

Engelfriet, Joost; Maletti, Andreas; Maneth, Sebastian. - Amsterdam : Elsevier, 2018. - pp. 29-99. - (Theoretical computer science ; 728. 2018)
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Sustainability in Mixed-Criticality Scheduling : article in Real-Time Systems Symposium (RTSS), 2017 IEEE

Guo, Zhishan; Sruti, Sai; Ward, Bryan C.; Baruah, Sanjoy K.. - Los Alamitos : IEEE, 2017. - pp. 24-33
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines : article in Workshop on Mixed Criticality Systems 2017 : WMC 2017

Burns, Alan; Davis, Robert Ian. - WMC, 2017. - pp. 13-18
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

On the Existence of a Cyclic Schedule for Non-Preemptive Periodic Tasks with Release Offset : article in 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

Nasri, Mitra; Grolleau, Emmanuel. - http://www.cister.isep.ipp.pt, 2017. - 2 pp.
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

On the Meaning of pWCET Distributions and their use in Schedulability Analysis : article in 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

Davis, Robert I.; Burns, Alan; Griffin, David. - http://www.cister.isep.ipp.pt, 2017. - 4 pp.
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling : article in RTNS '17 Proceedings of the 25th International Conference on Real-Time Networks and Systems

Maxim, Dorin; Davis, Robert Ian; Cucu-Grosjean, Liliana; Easwaran, Arvind. - New York : ACM, 2017. - Pages 237-246
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Mixed Criticality Systems with Varying Context Switch Costs : article in RTAS 2018 : 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal

Davis, Robert I.; Altmeyer, Sebastian; Burns, Alan. - http://2018.rtas.org/, 2018. - 12 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Gram-Schmidt Walk : A Cure for the Banaszczyk Blues

Bansal, Nikhil; Dadush, Daniel; Garg, Shashwat; Lovett, Shachar. - Cornell University : arXiv.org, 2017. - 22 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Choice and Agreement Problems of a Random Function

Meir, Or; Tal, Avishay. - Haifa : University, 2017. - 7 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

Computing Hitting Set Kernels By AC0-Circuits

Bannach, Max; Tantau, Till. - Cornell University : arXiv.org, 2018. - 19 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

Minimum Circuit Size, Graph Isomorphism, and Related Problems : article

Allender, Eric; Grochow, Joshua A.; Melkebeek, Dieter van; Morgan, Andrew. - Philadelphia : SIAM, 2018. - pp. 1339-1372. - (SIAM journal on computing ; 47. 2018, 4)
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

A note on Graph Automorphism and Smart Reductions

Allender, Eric; Grochow, Joshua A.; Melkebeek, Dieter van; Moore, Cristopher; Morgan, Andrew. - Rehovot : Electronic Colloquium on Computational Complexity, 2018. - 6 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Choice and Agreement Problems of a Random Function

Meir, Or; Tal, Avishay. - Amsterdam : Elsevier, 2018. - (Information processing letters ; 133. 2018)
Link
 

Dagstuhl Seminar 17112, 12.03.17-15.03.17

The iLab Concept : Making Teaching Better, at Scale : article pp. 178-185

Pahl, Marc-Oliver. - Los Alamitos : IEEE, 2017. - (IEEE Communications Magazine ; 55. 2017. 11)
Link
 

Dagstuhl Seminar 17112, 12.03.17-15.03.17

Using Networks to Teach About Networks : (Report on Dagstuhl Seminar #17112)

Schönwälder, Jürgen; Friedman, Timur; Pras, Aiko. - New York : ACM, 2017. - 5 pp.. - (Computer communication review ; 47. 2017, 3)
Link
 

Dagstuhl Seminar 17112, 12.03.17-15.03.17

Challenges with Reproducibility : article in Reproducibility '17 : Proceedings of the Reproducibility Workshop : Pages 1-4

Bajpai, Vaibhav; Kühlewind, Mirja; Ott, Jörg; Schönwälder, Jürgen; Trammell, Brian; Sperotto, Anna. - New York : ACM, 2017. - 4 pp.
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Adopting OpenCAPI for High Bandwidth Database Accelerators : article in Third International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC'17), At Denver, USA

Fang, Jian; Mulder, Yvo T. B.; Huang, Kangli; Qiao, Yang; Zeng, Xianwei; Lee, Jinho; Hidders, Jan; Hofstee, H. Peter. - ResearchGate, 2017. - 1 p.
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

doppioDB : A hardware accelerated database : article in 2017 27th International Conference on Field Programmable Logic and Applications (FPL)

Sidler, David; Owaida, Muhsen; Istvan, Zsolt; Kara, Kaan; Alonso, . - Los Alamitos : IEEE, 2017. - 1 p.
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Reproducible Floating-Point Aggregation in RDBMSs

Müller, Ingo; Arteaga, Andrea; Hoefler, Torsten; Alonso, Gustavo. - Cornell University : arXiv.org, 2018. - 16 pp.
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Scalable inference of decision tree ensembles : Flexible design for CPU-FPGA platforms : article in 2017 27th International Conference on Field Programmable Logic and Applications (FPL)

Owaida, Muhsen; Zhang, Hantian; Zhang, Ce; Alonso, Gustavo. - Los Alamitos : IEEE, 2018. - 8 pp.
Link
 

Dagstuhl Seminar 17082, 19.02.17-22.02.17

Grand Challenges in Shape-Changing Interface Research : article in CHI 2018 : Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Alexander, Jason; Roudaut, Anne; Steimle, Jürgen; Bruns Alonso, Miguel; Merritt, Tim; Follmer, Sean; Hornbaek, Kasper. - New York : ACM, 2018. - 14 pp. . - (Conference on Human Factors in Computing Systems ; 2018 : article)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

Lowness and logical depth

Downey, Rodney Graham; MacInerney, Michael; Ng, Keng Meng. - Amsterdam : Elsevier, 2017. - pp. 23-3. - (Theoretical computer science ; 702. 2017)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

On a question of Kalimullin

Downey, Rodney Graham; Igusa, Gregory; Melnikov, Alexander. - - Providence : American Mathematical Society, 2018. - 11 pp. . - (Proceedings of the American Mathematical Society ; 2018)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

A Friedberg enumeration of equivalence structures : article

Downey, Rodney Graham; Melnikov, Alexander; Ng, Keng Meng. - Singapore : World Scientific, 2017. - 28 pp.. - (Journal of Mathematical Logic ; 17. 2017, 2)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

A hierarchy of computably enumerable degrees

Downey, Rodney Graham; Greenberg, Noam. - Cambridge : Cambridge University Press, 2018. - pp. 53-89. - (The bulletin of symbolic logic ; 24. 2018, 1)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

On Low for Speed Oracles : article in 35th Symposium on Theoretical Aspects of Computer Science

Bienvenu, Laurent; Downey, Rodney Graham. - Wadern : LZI, 2018. - (LIPICS : 96 : article)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

Dimension 1 sequences are close to randoms

Greenberg, Noam; Miller, Joseph S.; Shen, Alexander; Westrick, Linda Brown. - Amsterdam : Elsevier, 2018. - pp. 99-112. - (Theoretical computer science ; 705. 2018)
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Unravelling the Dodecahedral Spaces

Jonathan Spreer ; Stephan Tillmann. - Cornell University : arXiv.org, 2017. - 12 pp.
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Computing Optimal Homotopies over a Spiked Plane with Polygonal Boundary : article in 25th Annual European Symposium on Algorithms

Burton, Benjamin A.; Chambers, Erin Wolf; Kreveld, Marc van; Meulemans, Wouter; Ophelders, Tim; Speckmann, Bettina. - Wadern : LZI, 2017. - (LIPICS : 87 : article)
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Convexity-Increasing Morphs of Planar Graphs

Kleist, Linda; Klemz, Boris; Lubiw, Anna; Schlipf, Lena; Strash, Darren; Staals, Frank. - Cornell University : arXiv.org, 2018. - 16 pp.
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Tightening curves on surfaces via local moves : article in SODA '18 Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms

Chang, Hsien-Chih; Erickson, Jeff; Letscher, David; Mesmay, Arnaud de; Schleimer, Saul; Tillmann, Stephan; Thurston, Dylan; Sedgwick, Eric. - New York : ACM, 2018. - Pages 121-135
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Lombardi Drawings of Knots and Links : article in LNCS 10692, GD 2017

Kindermann, Philipp; Kobourov, Stephen G.; Löffler, Maarten; Nöllenburg, Martin; Schulz, Andre; Vogtenhuber, Birgit. - Berlin : Springer, 2018. - pp. 113-126. - (Lecture notes in computer science ; 10692 : article)
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Open Problems in Computational Topology : Open Problems Column

Gasarch, William I.; Fasy, Brittany Terese; Wang, Bei. - New York : ACM, 2017. - pp. 32-36. - (SIGACT news ; 48. 2017, 3)
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

On the Topology of Walkable Environments : article in EuroCG 2018 European Workshop on Computational Geometry

Burton, Benjamin A.; Hillebrand, Arne; Löffler, Maarten; Schleimer, Saul; Thurston, Dylan; Tillmann, Stephan; Toll, Wouter van. - EuroCG, 2018. - 6 pp.
Link
 

Dagstuhl Seminar 17071, 12.02.17-17.02.17

Mining the Usage Patterns of ROS Primitives : article in 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) September 24 - 28, 2017, Vancouver, BC, Canada

Santos, Andre Filipe; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; Neves dos Santos, Filipe. - Los Alamitos : IEEE, 2017. - 6 pp.
Link
 

Dagstuhl Seminar 17062, 05.02.17-10.02.17

A Dagstuhl Seminar Looks beyond Virtual and Augmented Reality : article : pp. 14-17

Henze, Niels; Kunze, Kai. - Piscataway : IEEE, 2017. - (IEEE multimedia : 24. 2017, 2)
Link
 

Dagstuhl Seminar 17062, 05.02.17-10.02.17

Superhuman Sports : pplying Human Augmentation to Physical Exercise : article : pp. 14-17

Kunze, Kai; Minamizawa, Kouta; Lukosch, Stephan; Inami, Masahiko; Rekimoto, Jun. - Los Alamitos : IEEE, 2017. - (IEEE pervasive computing ; 16. 2017, 2, pp. 14-17)
Link
 

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Microservices : A Language-Based Approach : article in "Present and Ulterior Software Engineering"

Guidi, Claudio; Lanese, Ivan; Mazzara, Manuel; Montesi, Fabrizio. - Berlin : Springer, 2017. - pp 217-225
Link
 

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Gradual Session Types : article

Igarashi, Atsushi; Thiemann, Peter; Vasconcelos, Vasco T.; Wadler, Philip. - New York : ACM, 2017. - 28 pp.. - (Proceedings of the ACM on Programming Languages ; 1. 2017 : Article No. 38)
Link
 

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Session Types with Linearity in Haskell : book chapter : Behavioural Types: from Theory to Tools, Editors: Simon Gay, Antonio Ravara, River Publishers, eBook ISBN: 9788793519817

Orchard, Dominic; Nobuko, Yoshida. - Gistrup : River Publishers, 2017. - pp. 219 - 241
Link
 

Dagstuhl Seminar 17041, 22.01.17-27.01.17

Directed Hamiltonicity and Out-Branchings via Generalized Laplacians : article in 44th International Colloquium on Automata, Languages, and Programming

Björklund, Andreas; Kaski, Petteri; Koutis, Ioannis. - Wadern : LZI, 2017. - (LIPICS : 80 : article)
Link