TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Der Inhalt dieser Seite ist leider nur auf Englisch verfügbar.

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

Bibliothekarin

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

2017

Dagstuhl-Seminar 17511, 2017-12-17 - 2017-12-20
Article
BGP Communities : Even more Worms in the Routing Can : article in IMC '18 Proceedings of the Internet Measurement Conference 2018, Pages 279-292
Streibelt, Florian; Lichtblau, Franziska; Beverly, Robert; Pelsser, Cristel; Bush, Randy; Smaragdakis, Georgios; Feldmann, Anja – New York : ACM, 2018
Dagstuhl-Seminar 17491, 2017-12-03 - 2017-12-08
Article
Comprehensive mass spectrometry-guided plant specialized metabolite phenotyping reveals metabolic diversity in the cosmopolitan plant family Rhamnaceae : article : also accepted in The Plant Journal, 2019
Kang, Kyo Bin; Ernst, Madeleine; Hooft, Justin J. J. van der; Silva, Ricardo R. da; Park, Junha; Medema, Marnix H.; Sung, Sang Hyun; Dorrestein, Pieter C. – bioRxiv, 2018. - 26 pp.
Dagstuhl-Seminar 17491, 2017-12-03 - 2017-12-08
Article
Did a plant-herbivore arms race drive chemical diversity in Euphorbia? : article
Ernst, Madeleine; Nothias-Scaglia, Louis-Felix; Dorrestein, Pieter ; Medema, Marnix H.; Silva, Ricardo R. da; Hooft, Justin J. J. van der; Martinez-Swatson, Karen; Hassemer, Gustavo; Funez, Luis; Simonsen, Henrik T.; Staerk, Dan; Nilsson, Niclas; Lovato, Paola; Ronsted, Nina; Saslis-Lagoudakis, Louis-Felix – bioRxiv, 2018. - 15 pp.
Dagstuhl-Seminar 17491, 2017-12-03 - 2017-12-08
Article
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.
Dagstuhl-Seminar 17491, 2017-12-03 - 2017-12-08
Article
Mind the Gap : Mapping Mass Spectral Databases in Genome-Scale Metabolic Networks Reveals Poorly Covered Areas : article : 14 pp.
Frainay, Clement; Merlet, Benjamin; Salek, Reza M.; Jourdan, Fabien; Yanes, Oscar; Neumann, Steffen; Schymanski, Emma – Basel : MDPI, 2018
Dagstuhl-Seminar 17492, 2017-12-03 - 2017-12-08
Article
Multi-dimensional multi-level modeling : article
Kühne, Thomas – Berlin : Springer, 2022. - pp. 543-559 – (Software and systems modeling ; 21. 2022,2)
Dagstuhl-Seminar 17492, 2017-12-03 - 2017-12-08
Article
Multi-Level Constraints : article in MODELS-WS 2018
Clark, Tony; Frank, Ulrich – Aachen : CEUR, 2018. - pp. 103-117 – (CEUR workshop series ; 2245)
Dagstuhl-Seminar 17492, 2017-12-03 - 2017-12-08
Technical Report
The Flexible Multi-Level Modelling and Execution Language (FMMLx)
Frank, Ulrich – Duisburg : Universität , 2018. - IV, 67 pp. – (ICB Research Reports - Forschungsberichte des ICB ; 66)
Dagstuhl-Seminar 17492, 2017-12-03 - 2017-12-08
Article
Toward a Unified Conception of Multi-Level Modelling: Advanced Requirements : article
Frank, Ulrich – Aachen : CEUR, 2018. - pp. 718-727 – (CEUR workshop series ; 2245)
Dagstuhl-Seminar 17491, 2017-12-03 - 2017-12-08
Article
In Silico Optimization of Mass Spectrometry : Fragmentation Strategies in Metabolomics : article
Wandy, Joe; Davies, Vinny; Hooft, Justin J. J. van der; Weidt, Stefan; Daly, Ronan; Rogers, Simon – Basel : MPDI, 2019. - 16 pp.
Dagstuhl-Seminar 17481, 2017-11-26 - 2017-12-01
Article
Nemlineáris szimbolikus transformációk optimalizálási feladatokra : article
Csendes, Tibor; Antal, Elvira Dobjanne – SZIGMA, 2017 – (Szigma ; 48. 2017, pp. 33-46)
Dagstuhl-Seminar 17481, 2017-11-26 - 2017-12-01
Article
On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity : article in 2018 IEEE International Symposium on Circuits and Systems (ISCAS)
Galias, Zbigniew; Tucker, Warwick – Los Alamitos : IEEE, 2018. - 5 pp.
Dagstuhl-Seminar 17481, 2017-11-26 - 2017-12-01
Article
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data : article
Kawamura, Akitoshi; Lim, Donghyun; Selivanova, Svetlana; Ziegler, Martin – Cornell University : arXiv.org, 2019. - 39 pp.
Dagstuhl-Seminar 17481, 2017-11-26 - 2017-12-01
Article
Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor : article
Galias, Zbigniew; Tucker, Warwick – Amsterdam : Elsevier, 2019. - pp. 2408-2434 – (Journal of Differential Equations ; 266. 2019, 5)
Dagstuhl-Seminar 17481, 2017-11-26 - 2017-12-01
Article
Rigorous numerical computations for 1D advection equations with variable coefficients : article : 22. pp
Takayasu, Akitoshi; Yoon, Suro; Endo, Yasunori – Cornell University : arXiv.org, 2019
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
An Integrated Framework for AI Assisted Level Design in 2D Platformers : article in 2018 IEEE Games, Entertainment, Media Conference (GEM)
Aramini, Antonio Umberto; Lanzi, Pier Luca – Los Alamitos : IEEE, 2018. - pp. 79-86
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
DOOM Level Generation using Generative Adversarial Networks : article
Giacomello, Edoardo; Lanzi, Pier Luca; Loiacono, Daniele – Cornell University : arXiv.org, 2018. - 8 pp.
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
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.
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
Explainable AI for Designers : A Human-Centered Perspective on Mixed-Initiative Co-Creation : article in 2018 IEEE Conference on Computational Intelligence and Games (CIG)
Zhu, Jichen; Liapis, Antonios; Risi, Sebastian; Bidarra, Rafael; Youngblood, G. Michael – Los Alamitos : IEEE, 2018. - 8 pp.
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
Explainable PCGML via Game Design Patterns : article
Guzdial, Matthew; Reno, Joshua; Chen, Jonathan; Smith, Gillian; Riedl, Mark – Cornell University : arXiv.org, 2018. - 4 pp.
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
Infinite Art Gallery : A Game World of Interactively Evolved Artwork
Hollingsworth, Bryan; Schrum, Jacob – Georgetown : University, 2019. - 8 pp.
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
Infinite Art Gallery : a Game World of Interactively Evolved Artwork : article in 2019 IEEE Congress on Evolutionary Computation (CEC)
Hollingsworth, Bryan; Schrum, Jacob – Los Alamitos : IEEE, 2019. - 8 pp.
Dagstuhl-Seminar 17471, 2017-11-19 - 2017-11-24
Article
Traditional Wisdom and Monte Carlo Tree Search Face-to-Face in the Card Game Scopone : article
Palma, Stefano Di; Lanzi, Pier Luca – Los Alamitos : IEEE, 2018. - pp. 317-332
Dagstuhl-Seminar 17472, 2017-11-19 - 2017-11-22
Article
From hype to reality : data science enabling personalized medicine : article
Fröhlich, Holger; Balling, Rudi; Beerenwinkel, Niko; Kohlbacher, Oliver; Kumar, Santosh; Lengauer, Thomas; Maathuis, Marloes H.; Moreau, Yves; Murphy, Susan A.; Przytycka, Teresa M.; Rebhan, Michael; Röst, Hannes; Schuppert, Andreas; Schwab, Matthias; Spang, Rainer; Stekhoven, Daniel; Sun, Jimeng; Weber, Andreas; Ziemek, Daniel; Zupan, Blaz – London : BMC, 2018. - 15 pp. – (BMC Medicine ; 2018, 16:150)
Dagstuhl-Seminar 17461, 2017-11-12 - 2017-11-17
Article
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
Dagstuhl-Seminar 17461, 2017-11-12 - 2017-11-17
Article
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.
Dagstuhl-Seminar 17462, 2017-11-12 - 2017-11-15
Article
A Taxonomy for Classifying Runtime Verification Tools
Falcone, Ylies; Krstic, Srdan; Reger, Giles; Traytel, Dmitriy – HAL Inria, 2018. - 19 pp.
Dagstuhl-Seminar 17451, 2017-11-05 - 2017-11-10
Article
Object-Oriented Recovery for Non-volatile Memory : article
Cohen, Nachshon; Aksun, David T.; Larus, James R. – New York : ACM, 2018. - 11 pp. – (Proceedings of the ACM on Programming Languages ; 2. 2018 : Article 153)
Dagstuhl-Perspektiven-Workshop 17442, 2017-10-29 - 2017-11-03
Article
Causality, prediction and improvements that (don’t) add : position paper
Fuhr, Norbert – Aachen : CEUR, 2018. - 1 page
Dagstuhl-Perspektiven-Workshop 17442, 2017-10-29 - 2017-11-03
Article
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)
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
Benchmarking Distributed Stream Data Processing Systems : article in 2018 IEEE 34th International Conference on Data Engineering (ICDE)
Karimov, Jeyhun; Rabl, Tilmann; Katsifodimos, Asterios; Samarev, Roman; Heiskanen, Henri; Markl, Volker – Los Alamitos : IEEE, 2018. - pp. 1507-1518
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
Continuous Queries : article in Encyclopedia of Big Data Technologies - Berlin : Springer, 2018. - 6 pp.
Hirzel, Martin – Berlin : Springer, 2018. - 6 pp.
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
Cost-Aware Streaming Data Analysis : Industry Paper : Distributed vs Single-Thread : article in DEBS '18 Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems
Balduini, Marco; Pasupathipillai, Sivam; Valle, Emanuele Della; – New York : ACM, 2018. - pp. 160 - 170
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
Dagstuhl Seminar on Big Stream Processing : article : pp. 36-39
Sakr, Sherif; Rabl, Tilmann; Hirzel, Martin; Carbone, Paris; Strohbach, Martin – New York : ACM, 2018 – (ACM SIGMOD Record ; 47. 2018, 3)
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
Stream Processing Languages and Abstractions : article in Encyclopedia of Big Data Technologies - Berlin : Springer, 2018. - 8 pp.
Hirzel, Martin; Baudart, Guillaume – Berlin : Springer, 2018. - 8 pp.
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
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)
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
Stream Query Optimization : article in Encyclopedia of Big Data Technologies - Berlin : Springer, 2018. - 9 pp.
Hirzel, Martin; Soule, Robert; Gedik, Bugra – Berlin : Springer, 2018. - 9 pp.
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
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.
Dagstuhl-Seminar 17441, 2017-10-29 - 2017-11-03
Article
Towards Making Distributed RDF Processing FLINKer : article in 2018 4th International Conference on Big Data Innovations and Applications
Azzam, Amr; Kirrane, Sabrina; Polleres, Axel – Los Alamitos : IEEE, 2018. - pp. 9-16
Dagstuhl-Seminar 17431, 2017-10-22 - 2017-10-27
Article
Abstractions for Specifying Sparse Matrix Data Transformations : article in IMPACT 2018 : 8th International Workshop on Polyhedral Compilation Techniques
Nandy, Payal; Hall, Mary; Davis, Eddie C.; Mohammadi, Mahdi Soltan; He, Wei; Strout, Michelle – EasyChair, 2018. - 10 pp.
Dagstuhl-Seminar 17431, 2017-10-22 - 2017-10-27
Article
Heterogeneous CPU-GPU Execution of Stencil Applications : article in proceedings of the International Workshop on Performance, Portability and Productivity in HPC (P3HPC) held as part of SC18 : preprint
Siklosi, Balint; Reguly, Istvan Z.; Mudalige, Gihan R. – Warwick : University, 2018. - 10 pp.
Dagstuhl-Seminar 17421, 2017-10-15 - 2017-10-20
Article
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.
Dagstuhl-Seminar 17401, 2017-10-01 - 2017-10-06
Article
HFERP : A New Multivariate Encryption : article in PQCrypto 2018, LNCS 10786
Ikematsu, Yasuhiko; Perlner, Ray; Smith-Tone, Daniel; Takagi, Tsuyoshi; Vates, Jeremy – Berlin : Springer, 2018. - pp. 396–41 – (Lecture notes in computer science ; 10786 : article)
Dagstuhl-Seminar 17392, 2017-09-24 - 2017-09-29
Article
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)
Dagstuhl-Seminar 17382, 2017-09-17 - 2017-09-20
Article
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
Dagstuhl-Seminar 17382, 2017-09-17 - 2017-09-20
Article
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)
Dagstuhl-Seminar 17372, 2017-09-10 - 2017-09-13
Article
POTs : Protective Optimization Technologies
Overdorf, Rebekah; Kulynych, Bogdan; Balsa, Ero; Troncoso, Carmela; Gürses, Seda F. – Cornell University : arXiv.org, 2018. - 11 pp.
Dagstuhl-Seminar 17352, 2017-08-27 - 2017-08-30
Article
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
Dagstuhl-Seminar 17352, 2017-08-27 - 2017-08-30
Article
Icing : Supporting Fast-Math Style Optimizations in a Verified Compiler : article in LNCS 11561
Becker, Heiko; Darulova, Eva; Myreen, Magnus O.; Tatlock, Zachary – Berlin : Springer, 2019. - pp. 155-173 – (Lecture notes in computer science ; 11561 article)
Dagstuhl-Seminar 17341, 2017-08-20 - 2017-08-25
Article
Algorithmic Pirogov-Sinai theory
Helmuth, Tyler; Perkins, Will; Regts, Guus – Cornell University : arXiv.org, 2018. - 40 pp.
Dagstuhl-Seminar 17341, 2017-08-20 - 2017-08-25
Article
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
Dagstuhl-Seminar 17341, 2017-08-20 - 2017-08-25
Article
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
Dagstuhl-Seminar 17341, 2017-08-20 - 2017-08-25
Article
Note on “The Complexity of Counting Surjective Homomorphisms and Compactions" : article
Dell, Holger – Cornell University : arXiv.org, 2018. - 3 pp.
Dagstuhl-Seminar 17341, 2017-08-20 - 2017-08-25
Article
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)
Dagstuhl-Seminar 17332, 2017-08-13 - 2017-08-18
Article
Euler diagrams drawn with ellipsesarea?proportionally (Edeap) : article
Wybrow, Michael; Rodgers, Peter J.; Dib, Fadi K. – Berlin : Springer, 2021. - 27 pp. – (BMC Bioinformatics ; 22. 2021: 214)
Dagstuhl-Seminar 17332, 2017-08-13 - 2017-08-18
Article
Short Plane Supports for Spatial Hypergraphs
Castermans, Thom; Garderen, Mereke van; Meulemans, Wouter; Nöllenburg, Martin; Yuan, Xiaoru – Cornell University : arXiv.org, 2018. - 23 pp.
Dagstuhl-Seminar 17332, 2017-08-13 - 2017-08-18
Article
Short Plane Supports for Spatial Hypergraphs : article
Castermans, Thom; Garderen, Mereke van; Meulemans, Wouter; Nöllenburg, Martin; Yuan, Xiaoru – jgaa.info, 2019. - pp. 463-498 – (Journal of Graph Algorithms and Applications ; 23. 2019, 3 : article)
Dagstuhl-Seminar 17332, 2017-08-13 - 2017-08-18
Article
Short Plane Supports for Spatial Hypergraphs : article in LNCS 11282: Graph Drawing and Network Visualization : GD 2018
Castermans, Thom; Garderen, Mereke van; Meulemans, Wouter; Nöllenburg, Martin; Yuan, Xiaoru – Berlin : Springer, 2018. - pp. 53-66 – (Lecture notes in computer science ; 11282 : article)
Dagstuhl-Seminar 17332, 2017-08-13 - 2017-08-18
Article
Using the Metro-Map Metaphor for Drawing Hypergraphs : article in SOFSEM 2021: Theory and Practice of Computer Science
Frank, Fabian; Kaufmann, Michael; Kobourov, Stephen G.; Mchedlidze, Tamara; Pupyrev, Sergey; Ueckerdt, Torsten; Wolff, Alexander – Berlin : Springer, 2021. - pp 361-372 – (Lecture notes in computer science ; 12607 : article)
Dagstuhl-Seminar 17301, 2017-07-23 - 2017-07-28
Article
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)
Dagstuhl-Seminar 17292, 2017-07-16 - 2017-07-21
Article
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.
Dagstuhl-Seminar 17292, 2017-07-16 - 2017-07-21
Article
Robust Extraction and Simplificationof 2D Symmetric Tensor Field Topology : article
Jankowai, Jochen; Wang, Bei; Hotz, Ingrid – Aire-la-Ville : Eurographics Association, 2019. - 13 pp. – (Computer graphics forum ; 38. 2019, 3)
Dagstuhl-Seminar 17281, 2017-07-09 - 2017-07-14
Article
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)
Dagstuhl-Seminar 17282, 2017-07-09 - 2017-07-14
Article
Towards an integrated science of movement : converging research on animal movement ecology and human mobility : article
Miller, Harvey J.; Dodge, Somayeh; Miller, Jennifer A.; Bohrer, Gil – London : Taylor & Francis, 2019. - Pages 855-876 – (International Journal of Geographic Information Science ; 33. 2019, 5)
Forschungstreffen 17273, 2017-07-05 - 2017-07-07
Book
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
Dagstuhl-Seminar 17261, 2017-06-25 - 2017-06-30
Article
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.
Dagstuhl-Seminar 17231, 2017-06-05 - 2017-06-09
Article
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.
Dagstuhl-Seminar 17231, 2017-06-05 - 2017-06-09
Article
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
Dagstuhl-Seminar 17232, 2017-06-05 - 2017-06-08
Book
Computational Interaction
Oulasvirta, Antti; Kristensson, Per Ola; Bi, Xiaojun; Howes, Andrew – Oxford : Oxford University Press, 2018. - viii, 424 Seiten , ISBN: 978-0-19-879961-0 / 0-19-879961-6
Dagstuhl-Seminar 17221, 2017-05-28 - 2017-06-02
Article
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)
Dagstuhl-Seminar 17221, 2017-05-28 - 2017-06-02
Article
Computing medial axis transformations of 2D point clouds : article
Zhong, Yanjun; Chen, Falai – Amsterdam : Elsevier, 2018. - Pages 50-63 – (Graphical models ; 97. 2018 : article)
Dagstuhl-Seminar 17221, 2017-05-28 - 2017-06-02
Special Issue
Geometric Modeling : Interoperability and New Challenges : Special Collection
Chen, Falai; Dokken, Tor; Grandine, Thomas A.; Morin, Geraldine – Amsterdam : Elsevier Morgan Kaufmann, 2020 – (Graphical models ; 2020)
Dagstuhl-Seminar 17221, 2017-05-28 - 2017-06-02
Article
Improved shape for refinable surfaces with singularly parameterized irregularities : article
Karciauskas, Kestutis; Peters, Jörg – Amsterdam : Elsevier, 2018. - Pages 191-198 – (CAD ; 90. 2017)
Dagstuhl-Seminar 17221, 2017-05-28 - 2017-06-02
Article
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)
Dagstuhl-Seminar 17222, 2017-05-28 - 2017-06-02
Article
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
Dagstuhl-Seminar 17222, 2017-05-28 - 2017-06-02
Article
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)
Dagstuhl-Seminar 17222, 2017-05-28 - 2017-06-02
Article
Waves of Misery After Index Creation : article in BTW2019 : Datenbanksysteme für Business, Technologie und Web : pp. 77-96
Glombiewski, Nikolaus; Seeger, Bernhard; Graefe, Goetz – Bonn : Gesellschaft für Informatik e.V., 2019 – (Lecture notes in informatics / P ; 289 : article)
Dagstuhl-Seminar 17221, 2017-05-28 - 2017-06-02
Article
Survey on the theory and applications of μ-bases for rational curves and surfaces : article
Jia, Xiaohong; Shi, Xiaoran; Chen, Falai – Amsterdam : Elsevier, 2018. - pp. 2-23 – (Journal of computational and applied mathematics ; 329. 2018, pp. 2-23)
Dagstuhl-Seminar 17222, 2017-05-28 - 2017-06-02
Article
POLAR : Adaptive and Non-invasive Join Order Selection via Plans of Least Resistance
Justen, David; Ritter, Daniel; Lamb, Andrew; Markl, Volker; Lee, Allison; Fraser, Campbell; Tran, Nga; Bodner, Thomas; Haddad, Mhd Yamen; Zeuch, Steffen; Boehm, Matthias – Irvine : VLDB Endowment, Inc., 2024. - 14 pp
Forschungstreffen 17213, 2017-05-21 - 2017-05-24
Book
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 17202, 2017-05-14 - 2017-05-19
Article
Ad Hoc File Systems for High-Performance Computing : article
Brinkmann, Andre; Pfreundt, Franz Josef; Mohror, Kathryn; Cortes, Toni; Yu, Weikuan; Carns, Philip; Klasky, Scott A.; Miranda, Alberto; Ross, Robert B.; Vef, Marc-André – Berlin : Springer, 2020. - pp. 4-26 – (Journal of Computer Science and Technology ; 35. 2020, 1)
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
A General Dichotomy of Evolutionary Algorithms on Monotone Functions : article
Lengler, Johannes – Cornell University : arXiv.org, 2018. - 41 pp.
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
A General Dichotomy of Evolutionary Algorithms on Monotone Functions : article
Lengler, Johannes – Berlin : Springer, 2018. - pp 3-15 – (IEEE transactions on evolutionary computation ; 24. 2020, 6) Enth. u.a.: Dagstuhl Seminar 17191
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
Drift Analysis : article
Lengler, Johannes – Cornell University : arXiv.org, 2018. - 44 pp.
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
Drift Analysis : Chapter 2 in "Benjamin Doerr and Frank Neumann: Theory of Evolutionary Computation : Recent Developments in Discrete Optimization"
Lengler, Johannes – Berlin : Springer, 2020. - pp. 89-131
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
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
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
Global Linear Convergence of Evolution Strategies on More Than Smooth Strongly Convex Functions : article
Akimoto, Youhei; Auger, Anne; Glasmachers, Tobias; Morinaga, Daiki – article - Cornell University : arXiv.org, 2020.
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
Linear multi-objective drift analysis : article
Rowe, Jonathan E. – Amsterdam : Elsevier, 2018. - pp. 25-40 – (Theoretical computer science ; 736. 2018)
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
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
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
On the covariance-Hessian relation in evolution strategies : article - arXiv Version 2018
Shir, Ofer M.; Yehudayoff, Amir – Amsterdam : Elsevier, 2019. - 23 pp. – (Theoretical computer science ; 2019)
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
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.
Dagstuhl-Seminar 17191, 2017-05-07 - 2017-05-12
Article
The Benefits of Population Diversity in Evolutionary Algorithms : A Survey of Rigorous Runtime Analyses : article
Sudholt, Dirk – Cornell University : arXiv.org, 2018. - 36 pp.
Dagstuhl-Seminar 17192, 2017-05-07 - 2017-05-12
Article
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.
Dagstuhl-Seminar 17161, 2017-04-17 - 2017-04-20
Article
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.
Dagstuhl-Seminar 17161, 2017-04-17 - 2017-04-20
Article
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.
Dagstuhl-Seminar 17161, 2017-04-17 - 2017-04-20
Article
Understanding systems that are designed to support human cognition : article : Rethinking Interaction - CHI 2018 workshop
Chuang, Lewis L.; Schmidt, Albrecht – exSitu, 2018. - 5 pp.
Dagstuhl-Seminar 17162, 2017-04-17 - 2017-04-20
Article
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
Dagstuhl-Seminar 17142, 2017-04-02 - 2017-04-05
Article
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)
Dagstuhl-Seminar 17142, 2017-04-02 - 2017-04-05
Article
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)
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
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.
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
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.
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
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.
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
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
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
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
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
Robust Mixed-Criticality Systems : article
Burns, Alan; Davis, Robert I.; Baruah, Sanjoy K.; Bate, Iain – Los Alamitos : IEEE, 2018. - pp. 1478-1490 – (IEEE transactions on computers ; 67. 2018, 10)
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
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
Dagstuhl-Seminar 17131, 2017-03-26 - 2017-03-31
Article
Uniprocessor Mixed-Criticality Scheduling with Graceful Degradation by Completion Rate : article in 2018 IEEE Real-Time Systems Symposium
Guo, Zhishan; Yang, Kecheng; Vaidhun, Sudharsan; Arefin, Samsil; Das, Sajal K.; Xiong, Haoyi – Los Alamitos : IEEE, 2018. - 11 pp.
Dagstuhl-Seminar 17121, 2017-03-19 - 2017-03-24
Article
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.
Dagstuhl-Seminar 17121, 2017-03-19 - 2017-03-24
Article
Computing Hitting Set Kernels By AC0-Circuits
Bannach, Max; Tantau, Till – Cornell University : arXiv.org, 2018. - 19 pp.
Dagstuhl-Seminar 17121, 2017-03-19 - 2017-03-24
Article
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)
Dagstuhl-Seminar 17121, 2017-03-19 - 2017-03-24
Article
The Choice and Agreement Problems of a Random Function
Meir, Or; Tal, Avishay – Haifa : University, 2017. - 7 pp.
Dagstuhl-Seminar 17121, 2017-03-19 - 2017-03-24
Article
The Choice and Agreement Problems of a Random Function
Meir, Or; Tal, Avishay – Amsterdam : Elsevier, 2018 – (Information processing letters ; 133. 2018)
Dagstuhl-Seminar 17121, 2017-03-19 - 2017-03-24
Article
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.
Dagstuhl-Seminar 17112, 2017-03-12 - 2017-03-15
Article
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.
Dagstuhl-Seminar 17112, 2017-03-12 - 2017-03-15
Article
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)
Dagstuhl-Seminar 17112, 2017-03-12 - 2017-03-15
Article
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)
Dagstuhl-Seminar 17101, 2017-03-05 - 2017-03-10
Article
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.
Dagstuhl-Seminar 17101, 2017-03-05 - 2017-03-10
Article
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.
Dagstuhl-Seminar 17101, 2017-03-05 - 2017-03-10
Article
Reproducible Floating-Point Aggregation in RDBMSs
Müller, Ingo; Arteaga, Andrea; Hoefler, Torsten; Alonso, Gustavo – Cornell University : arXiv.org, 2018. - 16 pp.
Dagstuhl-Seminar 17101, 2017-03-05 - 2017-03-10
Article
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.
Dagstuhl-Seminar 17102, 2017-03-05 - 2017-03-08
Book
Rethinking Productivity in Software Engineering
Sadowski, Caitlin; Zimmermann, Thomas – Berkeley : Apress, 2019. - XXVIII, 310 S. , ISBN: 978-1-4842-4220-9
Dagstuhl-Seminar 17081, 2017-02-19 - 2017-02-24
Article
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)
Dagstuhl-Seminar 17081, 2017-02-19 - 2017-02-24
Article
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)
Dagstuhl-Seminar 17081, 2017-02-19 - 2017-02-24
Article
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)
Dagstuhl-Seminar 17081, 2017-02-19 - 2017-02-24
Article
Lowness and logical depth
Downey, Rodney Graham; MacInerney, Michael; Ng, Keng Meng – Amsterdam : Elsevier, 2017. - pp. 23-3 – (Theoretical computer science ; 702. 2017)
Dagstuhl-Seminar 17081, 2017-02-19 - 2017-02-24
Article
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)
Dagstuhl-Seminar 17081, 2017-02-19 - 2017-02-24
Article
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)
Dagstuhl-Seminar 17082, 2017-02-19 - 2017-02-22
Article
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)
Dagstuhl-Seminar 17071, 2017-02-12 - 2017-02-17
Article
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.
Dagstuhl-Seminar 17072, 2017-02-12 - 2017-02-17
Article
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)
Dagstuhl-Seminar 17072, 2017-02-12 - 2017-02-17
Article
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.
Dagstuhl-Seminar 17072, 2017-02-12 - 2017-02-17
Article
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)
Dagstuhl-Seminar 17072, 2017-02-12 - 2017-02-17
Article
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.
Dagstuhl-Seminar 17072, 2017-02-12 - 2017-02-17
Article
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)
Dagstuhl-Seminar 17072, 2017-02-12 - 2017-02-17
Article
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
Dagstuhl-Seminar 17072, 2017-02-12 - 2017-02-17
Article
Unravelling the Dodecahedral Spaces
Jonathan Spreer ; Stephan Tillmann – Cornell University : arXiv.org, 2017. - 12 pp.
Dagstuhl-Seminar 17062, 2017-02-05 - 2017-02-10
Article
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)
Dagstuhl-Seminar 17062, 2017-02-05 - 2017-02-10
Article
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)
Dagstuhl-Seminar 17051, 2017-01-29 - 2017-02-03
Article
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)
Dagstuhl-Seminar 17051, 2017-01-29 - 2017-02-03
Article
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
Dagstuhl-Seminar 17051, 2017-01-29 - 2017-02-03
Article
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
Dagstuhl-Seminar 17041, 2017-01-22 - 2017-01-27
Article
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)
Dagstuhl-Seminar 17022, 2017-01-08 - 2017-01-13
Article
Automated program repair : article
Le Goues, Claire; Pradel, Michael; Roychoudhury, Abhik – New York : ACM, 2019. - pp 56–65 – (Communications of the ACM ; 62. 2019, 12)