Dagstuhl's Impact

Frequently a Dagstuhl Seminar or a Dagstuhl Event is so inspirational that the participants jointly release a publication afterwards.  These works are listed below and are presented on a special shelf in the library.

Please inform us about such publications that are a result from a Dagstuhl Seminar.

Legend

 Book    Special Issue    Technical Report    Article   


Dagstuhl Seminar 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

Incremental Bidirectional Model Transformation with eMoflon : IBeX

Weidmann, Nils; Anjorin, Anthony; Varro, Gergely; Fritsche, Lars; Schürr, Andy; Leblebici, Erhan. - Aachen : CEUR, 2020. - pp. 45-55
Link
 

Dagstuhl Seminar 18491, 02.12.18-07.12.18

Maintaining consistency in networks of models : bidirectional transformations in the large : article

Stevens, Perdita. - Berlin : Springer, 2020. - pp. 39-65. - (Software and systems modeling ; 19. 2020)
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 18371, 09.09.18-14.09.18

Knowledge Graphs

Hogan, Aidan; Zimmermann, Antoine; Staab, Steffen; Ngonga Ngomo, Axel-Cyrille; Navigli, Roberto; Polleres, Axel; Kirrane, Sabrina; Labra Gayo, Jose Emilio; Sequeda, Juan Federico; Gutierrez, Claudio; Melo, Gerard de; d'Amato, Claudia; Blomqvist, Eva. - Cornell University : arXiv.org, 2020. - 130 S.
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 18332, 12.08.18-17.08.18

Interpreted Execution of Business Process Models on Blockchain : article in 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC)

Lopez-Pintado, Orlenys; Dumas, Marlon; Garcia-Banuelos, Luciano; Weber, Ingo M.. - Los Alamitos : IEEE, 2019. - pp. 206-215
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