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