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 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 Alle
Dagstuhl Seminar 17511, 17.12.17-20.12.17 | |
| 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 Link | |
Dagstuhl Seminar 17491, 03.12.17-08.12.17 | |
| 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 Link | |
Dagstuhl Seminar 17491, 03.12.17-08.12.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 17491, 03.12.17-08.12.17 | |
| 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. Link | |
Dagstuhl Seminar 17491, 03.12.17-08.12.17 | |
| 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. Link | |
Dagstuhl Seminar 17492, 03.12.17-08.12.17 | |
| Toward a Unified Conception of Multi-Level Modelling: Advanced Requirements : article |
| Frank, Ulrich. - Aachen : CEUR, 2018. - pp. 718-727. - (CEUR workshop series ; 2245) Link | |
Dagstuhl Seminar 17492, 03.12.17-08.12.17 | |
| Multi-Level Constraints : article in MODELS-WS 2018 |
| Clark, Tony; Frank, Ulrich. - Aachen : CEUR, 2018. - pp. 103-117. - (CEUR workshop series ; 2245) Link | |
Dagstuhl Seminar 17492, 03.12.17-08.12.17 | |
| 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) Link | |
Dagstuhl Seminar 17481, 26.11.17-01.12.17 | |
| 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) Link | |
Dagstuhl Seminar 17481, 26.11.17-01.12.17 | |
| 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. Link | |
Dagstuhl Seminar 17481, 26.11.17-01.12.17 | |
| 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. Link | |
Dagstuhl Seminar 17481, 26.11.17-01.12.17 | |
| Nemlineáris szimbolikus transformációk optimalizálási feladatokra : article |
| Csendes, Tibor; Antal, Elvira Dobjanne. - SZIGMA, 2017. - (Szigma ; 48. 2017, pp. 33-46) Link | |
Dagstuhl Seminar 17481, 26.11.17-01.12.17 | |
| Rigorous numerical computations for 1D advection equations with variable coefficients : article : 22. pp |
| Takayasu, Akitoshi; Yoon, Suro; Endo, Yasunori. - Cornell University : arXiv.org, 2019 Link | |
Dagstuhl Seminar 17471, 19.11.17-24.11.17 | |
| DOOM Level Generation using Generative Adversarial Networks : article |
| Giacomello, Edoardo; Lanzi, Pier Luca; Loiacono, Daniele. - Cornell University : arXiv.org, 2018. - 8 pp. Link | |
Dagstuhl Seminar 17471, 19.11.17-24.11.17 | |
| 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. Link | |
Dagstuhl Seminar 17471, 19.11.17-24.11.17 | |
| Explainable PCGML via Game Design Patterns : article |
| Guzdial, Matthew; Reno, Joshua; Chen, Jonathan; Smith, Gillian; Riedl, Mark. - Cornell University : arXiv.org, 2018. - 4 pp. Link | |
Dagstuhl Seminar 17472, 19.11.17-22.11.17 | |
| 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) Link | |
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 17471, 19.11.17-24.11.17 | |
| 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. Link | |
Dagstuhl Seminar 17471, 19.11.17-24.11.17 | |
| Infinite Art Gallery : A Game World of Interactively Evolved Artwork |
| Hollingsworth, Bryan; Schrum, Jacob. - Georgetown : University, 2019. - 8 pp. Link | |
Dagstuhl Seminar 17471, 19.11.17-24.11.17 | |
| 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 Link | |
Dagstuhl Seminar 17471, 19.11.17-24.11.17 | |
| 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 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 17451, 05.11.17-10.11.17 | |
| 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) Link | |
Dagstuhl Seminar 17442, 29.10.17-03.11.17 | |
| Causality, prediction and improvements that (don’t) add : position paper |
| Fuhr, Norbert. - Aachen : CEUR, 2018. - 1 page Link | |
Dagstuhl Seminar 17441, 29.10.17-03.11.17 | |
| 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 Link | |
Dagstuhl Seminar 17441, 29.10.17-03.11.17 | |
| 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. 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 | |
| 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. Link | |
Dagstuhl Seminar 17441, 29.10.17-03.11.17 | |
| Continuous Queries : article in Encyclopedia of Big Data Technologies - Berlin : Springer, 2018. - 6 pp. |
| Hirzel, Martin. - Berlin : Springer, 2018. - 6 pp. Link | |
Dagstuhl Seminar 17441, 29.10.17-03.11.17 | |
| 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 Link | |
Dagstuhl Seminar 17441, 29.10.17-03.11.17 | |
| 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 Link | |
Dagstuhl Seminar 17441, 29.10.17-03.11.17 | |
| 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) 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 17431, 22.10.17-27.10.17 | |
| 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. Link | |
Dagstuhl Seminar 17431, 22.10.17-27.10.17 | |
| 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. 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 17401, 01.10.17-06.10.17 | |
| 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) 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 | |
| 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 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 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 | |
| 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 | |
| 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 | |
| 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 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 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 17282, 09.07.17-14.07.17 | |
| 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) 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 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 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 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 | |
| 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) 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 | |
| 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 | |
| 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 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 17202, 14.05.17-19.05.17 | |
| 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) 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 | |
| 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) Link 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 | |
| Drift Analysis : article |
| Lengler, Johannes. - Cornell University : arXiv.org, 2018. - 44 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 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 | |
| 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 | |
| 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 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 | |
| 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 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 17131, 26.03.17-31.03.17 | |
| 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) 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 | |
| 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 | |
| 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 | |
| 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 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 | |
| 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 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 | |
| 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 | |
| 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 17102, 05.03.17-08.03.17 | |
| Rethinking Productivity in Software Engineering |
| Sadowski, Caitlin; Zimmermann, Thomas. - Berkeley : Apress, 2019. - XXVIII, 310 S. ISBN: 978-1-4842-4220-9 | |
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 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 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 | |
| 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 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 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 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 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 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 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 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 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 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 | |
| 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 | |
| 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 | |
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 Alle