Frequently a 
Dagstuhl Seminar or a Dagstuhl Event is so inspirational that the participants jointly release a publication afterwards. These works are listed below and are presented on a special shelf in the library.
Please 
inform us about such publications that are a result from a Dagstuhl Seminar.
Legend
Book 
Special Issue 
Technical Report 
Article 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 All
Dagstuhl Seminar 18511, 16.12.18-21.12.18 | |
| Degree Tables for Secure Distributed Matrix : article accepted to 2019 IEEE Information Theory Workshop (ITW) |
| Oliveira, Rafael G. L. D'; Rouayheb, Salim El; Heinlein, Daniel; Karpuk, David. - 2019. - 5 pp. Link | |
Dagstuhl Seminar 18491, 02.12.18-07.12.18 | |
| Multicategories of Multiary Lenses : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019 |
| Johnson, Michael; Rosebrugh, Robert. - Aachen : CEUR, 2019. - 8 pp.. - (CEUR workshop series ; 2355) Link | |
Dagstuhl Seminar 18471, 18.11.18-23.11.18 | |
| LogLInc : LoG Queries of Linked Open Data Investigator for Cube Design |
| Khouri, Selma; Lanasri. Dihia; Saidoune, Roaya; Boudoukha, Kamila; Bellatreche, Ladjel. - Berlin : Springer, 2019. - pp. 352-367. - (Lecture notes in computer science ; 11706 : article) Link | |
Dagstuhl Seminar 18471, 18.11.18-23.11.18 | |
| Intégrer les LOD dans un cube de données : Transformons une action technique en valeur organisationnelle |
| Khouri, Selma; Bellatreche, Ladjel; Ghomari, Abdessamed Réda; Aouimer, Yasmine. - editions-rnti.fR, 2019. - pp.61-76. - (Revue des Nouvelles Technologies de l'Information ; B-15. 2019) Link | |
Dagstuhl Seminar 18471, 18.11.18-23.11.18 | |
| Enhancing ER Diagrams to View Data Transformations Computed with Queriesarticle in DOLAP 2019 : Design, Optimization, Languages and Analytical Processing of Big Data |
| Ordonez, Carlos; Bellatreche, Ladjel. - Aachen : CEUR, 2019. - 5 pp.. - (CEUR Workshop Proceedings ; 2324) Link | |
Dagstuhl Seminar 18471, 18.11.18-23.11.18 | |
| Value-driven Approach for Designing Extended Data Warehouses : article in DOLAP 2019 : Design, Optimization, Languages and Analytical Processing of Big Data |
| Berkani, Nabila; Bellatreche, Ladjel; Khouri, Selma; Ordonez, Carlos. - Aachen : CEUR, 2019. - 5 pp.. - (CEUR Workshop Proceedings ; 2324) Link | |
Dagstuhl Seminar 18471, 18.11.18-23.11.18 | |
| Tool Support of Formal Methods for Privacy by Design |
| Schupp, Sibylle. - Cornell University : arXiv.org, 2019. - 22 pp. Link | |
Dagstuhl Seminar 18462, 11.11.18-16.11.18 | |
| Provenance Analysis for Sensemaking : theme section |
| Fekete, Jean-Daniel; Jankun-Kelly, T. J.; Tory, Melanie; Xu, Kai. - Los Alamitos : IEEE, 2019. - pp. 27 - 75. - (IEEE computer graphics ; 39. 2019, 6) Link | |
Dagstuhl Seminar 18461, 11.11.18-16.11.18 | |
| Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26 - 27, 2019, Proceedings |
| Perez-Sola, Cristina; Navarro-Arribas, Guillermo; Biryukov, Alex; Garcia-Alfaro, Joaquin. - Heidelberg : Springer, 2019. - xv, 398 S.. - (Lecture notes in computer science ; 11737) ISBN: 978-3-030-31499-6 / 3-030-31499-5 Link | |
Dagstuhl Seminar 18441, 28.10.18-02.11.18 | |
| Geometric problem solving with strings and pins : article |
| Freksa, Christian; Barkowsky, Thomas; Falomir, Zoe; Ven, Jasper van de. - London : Taylor & Francis, 2019. - Pages 46-68. - (Spatial Cognition and Computation ; 19. 2010, 1) Link | |
Dagstuhl Seminar 18441, 28.10.18-02.11.18 | |
| An Emotional Response to the Value of Visualization : article |
| Wang, Yun; Segal, Adrien; Keefe, Daniel F.; Hurtienne, Jörn; Barrass, Stephen; Dwyer, Tim; Hornecker, Eva; Isenberg, Petra; Klatzky, Roberta L.. - Los Alamitos : IEEE, 2019. - pp. 8-17. - (IEEE computer graphics ; 39. 2019, 5) Link | |
Dagstuhl Seminar 18442, 28.10.18-02.11.18 | |
| Deterministic Group Tractography with Local Uncertainty Quantificationchapter in "Computational Diffusion MRI" : International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019 |
| Holm, Andreas Nugaard; Feragen, Aasa; Haije, Tom Dela; Darkner, Sune. - Berlin : Springer, 2019. - pp 377-386 Link | |
Dagstuhl Seminar 18442, 28.10.18-02.11.18 | |
| Enforcing necessary non-negativity constraints for common diffusion MRI models using sum of squares programming : article |
| Haije, Tom Dela; Özarslan, Evren; Feragen, Aasa. - Amsterdam : Elsevier, 2019. - 15 pp.. - (NeuroImage : 209. 2020) Link | |
Dagstuhl Seminar 18431, 21.10.18-26.10.18 | |
| Geometry-aware scattering compensation for 3D printing : article |
| Sumin, Denis; Rittig, Tobias; Babaei, Vahid; Nindel, Thomas; Wilkie, Alexander; Krivanek, Jaroslav; Weyrich, Tim; Myszkowski, Karol; Bickel, Bernd; Didyk, Piotr. - New York : ACM, 2019. - 14 pp.. - (ACM Transactions on Graphics ; July 2019, article no. 111) Link | |
Dagstuhl Seminar 18421, 14.10.18-19.10.18 | |
| Enumerating minimal dominating sets in Kt-free graphs and variants : article |
| Bonamy, Marthe; Defrain, Oscar; Heinrich, Marc; Pilipczuk, Michal; Raymond, Jean-Florent. - Cornell University : arXiv.org, 2019. - 26 pp. Link | |
Dagstuhl Seminar 18412, 07.10.18-10.10.18 | |
| The Dagstuhl Beginners Guide to Reproducibility for Experimental Networking Research: article in ACM SIGCOMM Computer Communication Review : pp. 24-30 |
| Bajpai, Vaibhav; Brunstrom, Anna; Feldmann, Anja; Kellerer, Wolfgang; Pras, Aiko; Wehrle, Klaus; Wählisch, Matthias; Smaragdakis, Georgios; Schulzrinne, Henning. - New York : ACM, 2019. - (Computer communication review ; 49. 2019, 1) Link | |
Dagstuhl Seminar 18412, 07.10.18-10.10.18 | |
| Open collaborative hyperpapers : a call to action : article |
| Dainotti, Alberto; Holz, Ralph; Kühlewind, Mirja; Lutu, Andra; Sommers, Joel; Trammell, Brian. - New York : ACM, 2019. - Pages 31-3. - (Computer communication review ; 49. 2019, 1) Link | |
Dagstuhl Seminar 18411, 07.10.18-12.10.18 | |
| The Human User in Progressive Visual Analytics : article in EUROVIS 2019 : 5 pp. |
| Micallef, Luana; Schulz, Hans-Jörg; Angelini, Marco; Aupetit, Michael; Perer, Adam; Santucci, Giuseppe; Kohlhammer, Jörn; Chang, Remco. - Aire-la-Ville : Eurographics Association, 2020 Link | |
Dagstuhl Seminar 18411, 07.10.18-12.10.18 | |
| On Quality Indicators for Progressive Visual Analytics : article in EuroVis Workshop on Visual Analytics (2019) |
| Angelini, Marco; May, Thorsten; Santucci, Giuseppe; Schulz, Hans-Jörg. - Aire-la-Ville : Eurographics Association, 2019. - 5 pp. Link | |
Dagstuhl Seminar 18411, 07.10.18-12.10.18 | |
| A Recursive Subdivision Technique for Sampling Multi-class Scatterplots : article |
| Chen, Xin; Ge, Tong; Zhang, Jian; Fu, Chi-Wing; Wang, Yunhai; Chen, Baoquan; Deussen, Oliver. - Los Alamitos : IEEE, 2020. - pp. 729-738. - (IEEE Transactions on Visualization and Computer Graphics ; 26. 2020, 1) Link | |
Dagstuhl Seminar 18411, 07.10.18-12.10.18 | |
| Progressive Data Science : Potential and Challenges |
| Turkay, Cagatay; Pezzotti, Nicola; Binnig, Carsten; Strobelt, Hendrik; Rusu, Florin; Wang, Yunhai; Palpanas, Themis; Fekete, Jean-Daniel; Keim, Daniel A.; Hammer, Barbara. - Cornell University : arXiv.org, 2019. - 15 pp. Link | |
Dagstuhl Seminar 18391, 23.09.18-28.09.18 | |
| Problems with a Point : Exploring Math and Computer Science |
| Gasarch, William I.; Kruskal, Clyde. - Singapore : World Scientific, 2019. - xiii, 270 Seiten ISBN: 978-981-3279-97-1 / 981-3279-97-4 Link | |
Dagstuhl Event 18383, 16.09.18-21.09.18 | |
| Autumn School for Information Retrieval and Foraging 2018 article : pp. 87-91 |
| Cole, Amelia W.; Achilles, Linda. - New York : ACM, 2019. - (Sigir forum ; 52. 2018, 2) Link | |
Dagstuhl Seminar 18361, 02.09.18-07.09.18 | |
| A note on the diamond operator |
| Westrick, Linda. - Cornell University : arXiv.org, 2020. - 5 pp. Link | |
Dagstuhl Seminar 18361, 02.09.18-07.09.18 | |
| Searching for an analogue of ATR in the Weihrauch lattice |
| Kihara, Takayuki; Marcone, Alberto; Pauly, Arno. - Cornell University : arXiv.org, 2018. - 35 pp. Link | |
Dagstuhl Seminar 18361, 02.09.18-07.09.18 | |
| Leaf management : article : 6 pp. |
| Hirst, Jeffry L.. - Amsterdam : IOS Press, 2019. - (Computability ; Pre-Press 2019) Link | |
Dagstuhl Seminar 18361, 02.09.18-07.09.18 | |
| Combinatorial principles equivalent to weak induction : article : 12 pp. |
| Davis, Caleb; Hirschfeldt, Denis R.; Hirst, Jeffry L.; Jake, Pardo; Pauly, Arno; Keita, Yokoyama. - Amsterdam : IOS Press, 2019. - (Computability ; Pre-Press 2019) Link | |
Dagstuhl Event 18343, 19.08.18-24.08.18 | |
| Planning as Optimization : Dynamically Discovering Optimal Configurations for Runtime Situations |
| Fredericks, Erick M.; Gerostathopoulos, Ilias; Krupitzer, Christian; Vogel, Thomas. - Cornell University : arXiv.org, 2019. - 10 pp. Link | |
Dagstuhl Event 18343, 19.08.18-24.08.18 | |
| On Learning in Collective Self-adaptive Systems : State of Practice and a 3D Framework : article to be presented at the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) |
| D'Angelo, Mirko; Gerasimou, Simos; Ghahremani, Sona; Grohmann, Johannes; Pournaras, Evangelos; Tomforde, Sven; Nunes, Ingrid. - York : University, 2019. - 14 pp. Link | |
Dagstuhl Event 18343, 19.08.18-24.08.18 | |
| On Learning in Collective Self-adaptive Systems : State of Practice and a 3D Framework : article in 2019 IEEE / ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) |
| D'Angelo, Mirko; Gerasimou, Simos; Ghahremani, Sona; Grohmann, Johannes; Pournaras, Evangelos; Tomforde, Sven; Nunes, Ingrid. - Los Alamitos : IEEE, 2019. - pp. 13-24 Link | |
Dagstuhl Event 18343, 19.08.18-24.08.18 | |
| Software Engineering for Intelligent and Autonomous Systems : Report from the GI Dagstuhl Seminar 18343 |
| Gerasimou, Simos; Vogel, Thomas; Diaconescu, Ada. - Cornell University : arXiv.org, 2019. - 14 pp. Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Motion-planning Using RRTs for a Swarm of Robots Controlled by Global Inputs : article in 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) : pp. 1163 - 1168 |
| Joshi, Parth; Leclerc, Julien; Bao, Daniel; Becker, Aaron T.. - Los Alamitos : IEEE, 2019 Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Reshaping Particle Configurations by Collisions with Rigid Objects : article in 2019 International Conference on Robotics and Automation (ICRA) : pp. 4436 - 4443 |
| Shahrokhi, Shiva; Zhao, Haoran; Becker, Aaron T.. - Los Alamitos : IEEE, 2019 Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Robotic Harvesting of a Moving Swarm Represented by a Markov Process : article in 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) : pp. 1157-1162 |
| Bhatnagar, Shriya; Soto, Steban; Garcia, Javier; Becker, Aaron T.. - Los Alamitos : IEEE, 2019 Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Simulation of Programmable Matter Systems Using Active Tile-Based Self-Assembly : article in DNA 2019: DNA Computing and Molecular Programming : pp. 140 - 158 |
| Alumbaugh, John Calvin; Daymude, Joshua J.; Demaine, Erik D.; Patitz, Matthew J.; Richa, Andrea W.. - Berlin : Springer, 2019. - (Lecture notes in computer science ; 11648 : article) Link | |
Dagstuhl Seminar 18332, 12.08.18-17.08.18 | |
| Blockchain Support for Collaborative Business Processes : article : pp. 182-190 |
| Ciccio, Claudio Di; Cecconi, Alessio; Dumas, Marlon; Lopez-Pintado, Orlenys; Tran, An Binh; Weber, Ingo M.; Ponomarev, Alexander; Mendling, Jan; Lu, Qinghua; Garcia-Banuelos, Luciano. - Berlin : Springer, 2019. - (Informatik Spektrum ; 42. 2019, 3) Link | |
Dagstuhl Seminar 18332, 12.08.18-17.08.18 | |
| Extracting Event Logs for Process Mining from Data Stored on the Blockchain : preprint : article in Second Workshop on Security and Privacy-enhanced Business Process Management (SPBP), BPM Workshops, September 2nd, 2019, Vienna, Austria 2019 |
| Mühlberger, Roman; Bachhofner, Stefan; Ciccio, Claudio Di; Garcia-Banuelos, Luciano; Lopez-Pintado, Orlenys. - 2019. - 13 pp. Link | |
Dagstuhl Seminar 18332, 12.08.18-17.08.18 | |
| Caterpillar : A business process execution engine on the Ethereum blockchain : article |
| Lopez-Pintado, Orlenys; Garcia-Banuelos, Luciano; Dumas, Marlon; Weber, Ingo M.; Ponomarev, Alexander. - Chichester : Wiley, 2019. - (Software ; 49. 2019 : pp. 1162-1193) Link | |
Dagstuhl Seminar 18332, 12.08.18-17.08.18 | |
| Dynamic Role Binding in Blockchain-Based Collaborative Business Processes : article in CAiSE 2019 : Advanced Information Systems Engineering |
| Lopez-Pintado, Orlenys; Dumas, Marlon; Garcia-Banuelos, Luciano; Weber, Ingo M.. - Berlin : Springer, 2019. - pp. 399-414. - (Lecture notes in computer science ; 11483 : article) Link | |
Dagstuhl Seminar 18332, 12.08.18-17.08.18 | |
| Interpreted Execution of Business Process Models on Blockchain : article |
| Lopez-Pintado, Orlenys; Dumas, Marlon; Garcia-Banuelos, Luciano; Weber, Ingo M.. - Cornell University : arXiv.org, 2019. - 10 pp. Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Simulation of Programmable Matter Systems : Using Active Tile-Based Self-Assembly |
| Alumbaugh, John Calvin; Daymude, Joshua J.; Demaine, Erik D.; Patitz, Matthew J.; Richa, Andrea W.. - Cornell University : arXiv.org, 2019. - 33 pp. Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Planar Orientation Control and Torque Maximization Using a Swarm With Global Inputs : article : pp. 1980-1987 |
| Shahrokhi, Shiva; Lin, Lillian; Becker, Aaron T.. - Los Alamitos : IEEE, 2019. Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Exploiting Nonslip Wall Contacts to Position Two Particles Using the Same Control Input : article : pp. 577 - 588 |
| Shahrokhi, Shiva; Shi, Jingang; Isichei, Benedict; Becker, Aaron T.. - Los Alamitos : IEEE, 2019 Link | |
Dagstuhl Event 18283, 08.07.18-13.07.18 | |
| Enhancing Commit Graphs with Visual Runtime Clues : article in VISSOFT 2019 : preprint |
| Sandoval Alcocer, Juan Pablo; Camacho Jaimes, Harold; Costa, Diego; Bergel, Alexandre; Beck, Fabian. - Los Alamitos : IEEE, 2019. - 5 pp. Link | |
Dagstuhl Event 18283, 08.07.18-13.07.18 | |
| Visualizing systems and software performance : Report on the GI-Dagstuhl seminar for young researchers, July 9 - 13, 2018 |
| Beck, Fabian; Bergel, Alexandre; Bezemer, Cor-Paul; Isaacs, Katherine E.. - PeerJPreprints, 2018. - 12 pp. Link | |
Dagstuhl Seminar 18281, 08.07.18-13.07.18 | |
| Universal compressed text indexing |
| Navarro, Gonzalo; Prezza, Nicola. - Cornell University : arXiv.org, 2018. - 22 pp.. - (Theoretical computer science ; 762. 2019, pp. 41-50) Link | |
Dagstuhl Seminar 18271, 01.07.18-06.07.18 | |
| In Situ Visualization for Computational Science : article : pp. 76 - 85 |
| Childs, Hank; Garth, Christoph; Bennett, Janine; Hentschel, Bernd. - Los Alamitos : IEEE, 2019. - (IEEE computer graphics ; 39. 2019, 6) Link | |
Dagstuhl Seminar 18262, 24.06.18-29.06.18 | |
| Web science in Europe : beyond boundaries : article |
| Staab, Steffen; Halford, Susan; Hall, Wendy. - New York : ACM, 2019. - 6 pp.. - (Communications of the ACM ; 62. 2019, 4) Link | |
Dagstuhl Seminar 18252, 18.06.18-21.06.18 | |
| Dataset and metrics for predicting local visible differences : article |
| Wolski, Krzysztof; Steed, Anthony; Seidel, Hans-Peter; Myszkowski, Karol; Giunchi, Daniele; Ye, Nanyang; Didyk, Piotr; Mantiuk, Radoslaw; Mantiuk, Rafal K.. - Saarbrücken : MPII, 2018. - 14 pp. . - (ACM transactions on graphics ; preprint) Link | |
Dagstuhl Seminar 18252, 18.06.18-21.06.18 | |
| Differential Privacy for Eye Tracking Data : article in ETRA '19 Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications |
| Liu, Ao; Xia, Lirong; Duchowski, Andrew; Holmqvist, Kenneth; Bailey, Reynold; Jain, Eakata. - New York : ACM, 2019. - 10 pp. Link | |
Dagstuhl Seminar 18252, 18.06.18-21.06.18 | |
| EyeVEIL : degrading iris authentication in eye tracking headsets : article in ETRA '19 Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications |
| John, Brendan; Koppal, Sanjeev; Jain, Eakata. - New York : ACM, 2019. - 5 pp. Link | |
Dagstuhl Seminar 18252, 18.06.18-21.06.18 | |
| Eye tracking support for visual analytics systems : foundations, current applications, and research challenges : article in ETRA '19 Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications |
| Silva, Nelson; Blaschek, Tanja; Jianu, Radu; Rodrigues, Nils; Weiskopf, Daniel; Schreck, Tobias; Raubal, Martin. - New York : ACM, 2019. - 10 pp. Link | |
Dagstuhl Seminar 18251, 17.06.18-22.06.18 | |
| 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 18251, 17.06.18-22.06.18 | |
| DPI : The Data Processing Interface for Modern Networks : article in CIDR’19, January 13 - 16, 2019, Asilomar, California |
| Alonso, Gustavo; Binnig, Carsten; Pandis, Ippokratis; Salem, Kenneth; Skrzypczak, Jan; Stutsman, Ryan; Thostrup, Lasse; Wang, Zeke; Ziegler, Tobias; Wang, Tianzhen; . - New York : ACM, 2019. - 7 pp. Link | |
Dagstuhl Seminar 18251, 17.06.18-22.06.18 | |
| Joins on high-bandwidth memory: a new level in the memory hierarchy : article |
| Pohl, Constantin; Sattler, Kai-Uwe; Graefe, Goetz. - Berlin : Springer, 2019. - pp. 1-21. - (VLDB journal ; 2019) Link | |
Dagstuhl Seminar 18242, 10.06.18-13.06.18 | |
| Towards a Rigorous Methodology for Measuring Adoption of RPKI Route Validation and Filtering : article |
| Reuter, Andreas; Bush, Randy; Cunha, Italo; Katz-Bassett, Ethan; Schmidt, Thomas C.; Wählisch, Matthias. - New York : ACM, 2018. - pp. 20-27. - (Computer communication review ; 48. 2018, 1) Link | |
Dagstuhl Seminar 18242, 10.06.18-13.06.18 | |
| The Rise of Certificate Transparency and Its Implications on the Internet Ecosystem : article in IMC '18 Proceedings of the Internet Measurement Conference 2018 |
| Scheitle, Quirin; Gasser, Oliver; Nolte, Theodor; Amann, Johanna; Brent, Lexi; Wählisch, Matthias; Schmidt, Thomas C.; Holz, Ralph; Carle, Georg. - New York : ACM, 2019. - Pages 343-349 Link | |
Dagstuhl Seminar 18231, 03.06.18-08.06.18 | |
| Topology is relevant : (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) : Accepted for publication in the proceedings of LICS'19 |
| Bodirsky, Manuel; Mottet, Antoine; Olsak, Miroslav; Oprsal, Jakub; Pinsker, Michael; Willard Ross. - Cornell University : arXiv.org, 2019 Link | |
Dagstuhl Event 18233, 03.06.18-06.06.18 | |
| Current trends in applied machine intelligence : article |
| Humm, Bernhard G.; Bense, Hermann; Classen, Mario; Geißler, Stefan; Weichhardt, Frauke; Wenning, Rigo; Siegel, Melanie; Schäfermeier, Ralph; Paschke, Adrian; Juwig, Oliver; Hoppe, Thomas. - Berlin : Springer, 2019. - pp 28–37. - (Informatik Spektrum ; 42. 2019, 1 : article) Link | |
Dagstuhl Seminar 18201, 13.05.18-18.05.18 | |
| Journey Beyond Full Abstraction : Exploring Robust Property Preservation for Secure Compilation : article |
| Abate, Carmine; Blanco, Roberto; Garg, Deepak; Patrignani, Marco; Thibault, Jeremy; Hritcu, Catalin. - Cornell University : arXiv.org, 2019. - 70 pp. Link | |
Dagstuhl Seminar 18202, 13.05.18-16.05.18 | |
| A Framework to Assess Value of Information in Future Vehicular Networks : article in TOP-Cars '19 : Proceedings of the 1st ACM MobiHoc Workshop on Technologies, mOdels, and Protocols for Cooperative Connected Cars |
| Giordani, Marco; Higuchi, Takamasa; Zanella, Andrea; Altintas, Onur; Zorzi, Michele. - New York : ACM, 2019. - Pages 31-36 Link | |
Dagstuhl Seminar 18202, 13.05.18-16.05.18 | |
| Emerging Trends in Vehicular Communication Networks : article in "Emerging Wireless Communication and Network Technologies", ISBN 978-981-13-0395-1 |
| Giordani, Marco; Zanella, Andrea; Higuchi, Takamasa; Altintas, Onur; Zorzi, Michele. - Berlin : Springer, 2018. - pp 37-57 Link | |
Dagstuhl Seminar 18202, 13.05.18-16.05.18 | |
| A LiDAR Error Model for Cooperative Driving Simulations : article in 2018 IEEE Vehicular Networking Conference (VNC) proceedings |
| Segata, Michele; Cigno, Renato Lo; Bhadani, Rahel Kumar; Bunting, Matthew; Sprinkle, Jonathan. - Los Alamitos : IEEE, 2019. - 8 pp. Link | |
Dagstuhl Event 18193, 06.05.18-09.05.18 | |
| Ausgezeichnete Informatikdissertationen 2017 |
| Hölldobler, Steffen. - Bonn : Gesellschaft für Informatik e.V., 2018. - 290 S.. - (Lecture notes in informatics / D ; 18) Link | |
Dagstuhl Seminar 18172, 22.04.18-27.04.18 | |
| Faster Coroutine Pipelines : A Reconstruction : article in International Symposium on Practical Aspects of Declarative Languages, PADL 2019 : LNCS 11372 |
| Pieters, Ruben P.; Schrijvers, Tom. - Berlin : Springer, 2019. - pp 133-149 Link | |
Dagstuhl Seminar 18172, 22.04.18-27.04.18 | |
| Syntax and Semantics for Operations with Scopes : article in LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science |
| Pirog, Maciej; Schrijvers, Tom; Wu, Nicolas; Jaskelioff, Mauro. - New York : ACM, 2018. - Pages 809-818 Link | |
Dagstuhl Seminar 18161, 15.04.18-20.04.18 | |
| Ten simple rules to create biological network figures for communication |
| Marai, G. Elisabeta; Pinaud, Bruno; Bühler, Katja; Lex, Alexander; Morris, John H.. - article - plos.org, 2019. - 16 pp.. - (PLOS Computational Biology ; 2019) Link | |
Dagstuhl Seminar 18161, 15.04.18-20.04.18 | |
| Details-First, Show Context, Overview Last : Supporting Exploration of Viscous Fingers in Large-Scale Ensemble Simulations : article, Dagstuhl Seminar 18041 and 18161 |
| Luciani, Timothy; Burks, Andrew; Sugiyama, Cassiano; Komperdam Jonathan; Marai, Georgeta Elisabeta. - Los Alamitos : IEEE, 2018. - pp. 1225-1235. - (IEEE transactions on visualization and computer graphics ; 25. 2019, 1) Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| A study of vectorization for matrix-free finite element methods |
| Sun, Tianjiao; Mitchell, Lawrence; Kulkarni, Kaushik; Klöckner, Andreas; Ham, David A.; Kelly, Paul H. J.. - Cornell University : arXiv.org, 2019. - 14 pp. Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| Loop Optimization Framework |
| Kruse, Michael; Finkel, Hal. - Cornell University : arXiv.org, 2018. - 7 pp. Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| User-Directed Loop-Transformations in Clang |
| Kruse, Michael; Finkel, Hal. - Cornell University : arXiv.org, 2018. - 10 pp. Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| A Proposal for Loop-Transformation Pragmas |
| Kruse, Michael; Finkel, Hal. - Cornell University : arXiv.org, 2018. - 16 pp. Link | |
Dagstuhl Seminar 18101, 04.03.18-09.03.18 | |
| A general framework for handling commitment in online throughput maximization |
| Chen, Lin; Eberle, Franziska; Megow, Nicole; Schewior, Kevin; Stein, Cliff. - Cornell University : arXiv.org, 2018. - 28 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Mixed-Integer Nonlinear Programming 2018 : Special issue |
| Sahinidis, Nikolaos V.. - Berlin : Springer, 2019. - pp. 301-682. - (Optimization and engineering ; 20. 2019, 2) Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Intersection disjunctions for reverse convex sets |
| Towle, Eli; Luedtke, James. - Cornell University : arXiv.org, 2019. - 24 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Selecting cutting planes for quadratic semidefinite outer-approximation via trained neural networks |
| Baltean-Lugojan, Radu; Bonami, Pierre; Misener, Ruth; Tramontani, Andrea. - Philadelphia : Optimization Online, 2018. - 37 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded |
| Mistry, Miten; Letsios, Dimitrios; Krennrich, Gerhard; Lee, Robert M.; Misener, Ruth. - Cornell University : arXiv.org, 2018. - 35 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| The running intersection relaxation of the multilinear polytope / |
| Pia, Alberto Del ; Khajavirad, Aida. - http://www.optimization-online.org/, 2018. - 35 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Intersection cuts for factorable MINLP |
| Serrano, Felipe. - Berlin : Zuse Institut, 2018. - 15 pp.. - (ZIB Report ; 18-59) Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| On the Relation between the Extended Supporting Hyperplane Algorithm and Kelley's Cutting Plane Algorithm |
| Serrano, Felipe; Schwarz, Robert; Gleixner, Ambros M.. - Berlin : Zuse Institut, 2019. - 16 pp.. - (ZIB Report ; 19-18) Link | |
Dagstuhl Seminar 18071, 11.02.18-16.02.18 | |
| Lagrangian Decomposition for Optimal Cost Partitioning |
| Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Cambazard, Hadrien; Rousseau, Louis-Martin; Salvagnin, Domenico. - Palo Alto : AAAI.org, 2019. - 10 pp. Link | |
Dagstuhl Seminar 18071, 11.02.18-16.02.18 | |
| A Multi-Label A* Algorithm for Multi-Agent Pathfinding : article : ICAPS 2019 |
| Grenouilleau, Florian; Hoeve, Willem Jan van; Hooker, John N.. - University, 2019. - 5 pp. Link | |
Dagstuhl Seminar 18071, 11.02.18-16.02.18 | |
| Non-Traditional Objective Functions for MDPs |
| Koenig, Sven; Muise, Christian; Sanner, Scott. - University, 2019. - 8 pp. Link | |
Dagstuhl Seminar 18061, 04.02.18-09.02.18 | |
| Teaching Explicit Programming Strategies to Adolescents : article in ACM Technical Symposium on Computer Science Education (SIGCSE), Research Track |
| Ko, Andrew J.; LaToza, Thomas D.; Hull, Stephen; Ko, Ellen A.; Kwok, William; Quichocho, Jane; Akkaraju, Harshitha; Pandit, Rishin. - New York : ACM, 2019. - pp. 469-475. Link | |
Dagstuhl Seminar 18061, 04.02.18-09.02.18 | |
| Interdisciplinary programming language design : article in Onward! 2018 Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software |
| Coblenz, Michael; Aldrich, Jonathan; Myers, Brad A.; Sunshine, Joshua. - New York : ACM, 2018. - Pages 133-146 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Continuous Long-Term Evolution of Genetic Programming : article in ALife 2019 |
| Langdon, William B.; Banzhaf, Wolfgang. - Newcastle : University, 2019. - 8 pp. Link | |
Dagstuhl Seminar 18051, 28.01.18-02.02.18 | |
| Cops-Robber Games and the Resolution of Tseitin Formulas : article in SAT 2018: Theory and Applications of Satisfiability Testing |
| Galesi, Nicola; Talebanfard, Navid; Toran, Jacobo. - Berlin : Springer, 2018. - pp 311-326. - (Lecture notes in computer science ; 10929 : article) Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| In-vivo and offline optimisation of energy use in the presence of small energy signals : A case study on a popular Android library : article in MobiQuitous '18 : Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems |
| Bokhari, Mahmoud A.; Alexander, Brad; Wagner, Markus. - New York : ACM, 2018. - Pages 207-215 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Applying genetic improvement to a genetic programming library in C++ : article |
| Lopez-Lopez, Victor R.; Trujillo, Leonardo; Legrand, Pierrick. - Berlin : Springer, 2018. - pp. 1-17 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Applying genetic improvement to a genetic programming library in C++ : article |
| Lopez-Lopez, Victor R.; Trujillo, Leonardo; Legrand, Pierrick. - Berlin : Springer, 2018. - pp. 1-17. - (Soft Computing ; 2018) Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Novelty search for software improvement of a SLAM system : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference Companion |
| Lopez-Lopez, Victor R.; Trujillo, Leonardo; Legrand, Pierrick. - New York : ACM, 2018. - Pages 1598-1605 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Neutrality and Epistasis in Program Space : article in GI '18 : Proceedings of the 4th International Workshop on Genetic Improvement Workshop |
| Renzullo, Joseph; Weimer, Westley; Moses, Melanie; Forrest, Stephanie. - New York : ACM, 2018. - Pages 1-8 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Faster Genetic Programming GPquick via multicore and Advanced Vector Extensions : article : 18 pp. |
| Langdon, William B.; Banzhaf, Jürgen. - Cornell University : arXiv.org, 2019 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| A Journey Among Java Neutral Program Variants |
| Harrand, Nicolas; Allier, Simon; Rodriguez-Cancio, Marcelino; Monperrus, Martin; Baudry, Benoit. - Cornell University : arXiv.org, 2019. - 50 pp. Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Fast Generation of Big Random Binary Trees |
| Langdon, William B.. - London : University College, 2020. - 6 pp. Link | |
Dagstuhl Seminar 18051, 28.01.18-02.02.18 | |
| Short Proofs in QBF Expansion |
| Beyersdorff, Olaf; Chew, Leroy; Clymo, Judith; Mahajan, Meena. - Haifa : Electronic Colloquium on Computational Complexity, 2018. - 16 pp.. - (Electronic Colloquium on Computational Complexity Report ; 102) Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| A spoonful of DevOps helps the GI go down : article in Proceedings of the 4th International Workshop on Genetic Improvement Workshop Pages 35-36 : GI '18 |
| Baudry, Benoit; Harrand, Nicolas; Schulte, Eric; Timperley, Chris; Tan, Shin Hwei; Selakovic, Marija; Ugherughe, Emamurho. - New York : ACM, 2018. - 2 pp. Link | |
Dagstuhl Seminar 18041, 21.01.18-26.01.18 | |
| A Critical Analysis of the Evaluation Practice in Medical Visualization |
| Preim, Bernhard; Ropinski, Timo; Isenberg, Petra. - HAL Inria, 2018. - 13 pp. Link | |
Dagstuhl Seminar 18041, 21.01.18-26.01.18 | |
| Details-First, Show Context, Overview Last : Supporting Exploration of Viscous Fingers in Large-Scale Ensemble Simulations : article : Dagstuhl Seminar 18041 and 18161 |
| Luciani, Timothy; Burks, Andrew; Sugiyama, Cassiano; Komperdam Jonathan; Marai, Georgeta Elisabeta. - Los Alamitos : IEEE, 2018. - pp. 1225-1235. - (IEEE transactions on visualization and computer graphics ; 25. 2019, 1) Link | |
Dagstuhl Seminar 18041, 21.01.18-26.01.18 | |
| Inviwo : An Extensible, Multi-Purpose Visualization Framework : article in 2015 IEEE Scientific Visualization Conference (SciVis) |
| Sunden, Erik; Steneteg, Peter; Kottravel, Sathish; Jönsson, Daniel; Englund, Rickard; Ropinski, Timo; Falk, Martin. - Los Alamitos : IEEE, 2016. - 2 pp. Link | |
Dagstuhl Seminar 18041, 21.01.18-26.01.18 | |
| OpenSpace : A System for Astrographics : article |
| Bock, Alexander; Axelsson, Emil; Costa, Jonathas; Payne, Gene; Acinapura, Micah; Trakinski, Vivian; Emmart, Carter; Ynnerman, Anders; Hansen, Charles D.; Silva, Claudio. - Los Alamitos : IEEE, 2020. - pp. 633-642. - (IEEE transactions on visualization and computer graphics ; 26. 2020, 1) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Affine linear cryptanalysis : article |
| Nyberg, Kaisa. - Berlin : Springer, 2019. - 11 pp.. - (Cryptography and Communications ; 2019) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Cube Attacks on Non-Blackbox Polynomials Based on Division Property : article |
| Todo, Yosuke; Isobe, Takanori; Hao, Yonglin; Meier, Willi. - Los Alamitos : IEEE, 2019. - pp. 1720 - 1736. - (IEEE transactions on computers ; 67. 2018, 12) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Towards Low Energy Stream Ciphers : article |
| Banik, Subhadeep; Armknecht, Frederik; Isobe, Takanori; Meier, Willi; Mikhalev, Vasily; Regazzoni, Francesco; Watanabe, Yuhei; Bogdanov, Andrey. - Bochum : Universität , 2018. - 19 pp.. - (IACR Transactions on Symmetric Cryptology ; 2018, 2) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Fast Correlation Attack Revisited : Cryptanalysis on Full Grain-128a, Grain-128, and Grain-v1 : article in CRYPTO 2018 : Advances in Cryptology : CRYPTO 2018 : pp 129-159 |
| Todo, Yosuke; Isobe, Takanori; Meier, Willi; Aoki, Kazumaro; Zhang, Bin. - Berlin : Springer, 2018. - pp. 129-159. - (Lecture notes in computer science ; 10992 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly : rticle in CRYPTO 2018: Advances in Cryptology : CRYPTO 2018 |
| Wang, Qingju; Hao, Yonglin; Todo, Yosuke; Li, Chaoyun; Isobe, Takanori; Meier, Willi. - Berlin : Springer, 2019. - pp 275-305. - (Lecture notes in computer science ; 10991 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Attacks and Countermeasures for White-box Designs : article in ASIACRYPT 2018: Advances in Cryptology : ASIACRYPT 2018 |
| Biryukov, Alex; Udovenko, Aleksei. - Berlin : Springer, 2018. - pp 373-402. - (Lecture notes in computer science ; 11273 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Quantum Chosen-Ciphertext Attacks Against Feistel Ciphers : article in CT-RSA 2019: Topics in Cryptology |
| Ito, Gembu; Hosoyamada, Akinori; Matsumoto, Ryutaroh; Sasaki, Yu; Iwata, Tetsu. - Berlin : Springer, 2019. - pp 391-411. - (Lecture notes in computer science ; 11405 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Breaking Message Integrity of an End-to-End Encryption Scheme of LINE : article in European Symposium on Research in Computer Security, ESORICS 2018 : Computer Security |
| Isobe, Takanori; Minematsu, Kazuhiko. - Berlin : Springer, 2019. - pp 249-268. - (Lecture notes in computer science ; 11099 : 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 All