Dagstuhl's Impact

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   


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

Symmetric c-Lenses and Symmetric d-Lenses are Not : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019

Johnson, Michael; Renaud, Francois. - Aachen : CEUR, 2019. - 5 pp.. - (CEUR workshop series ; 2355)
Link
 

Dagstuhl Seminar 18491, 02.12.18-07.12.18

Lenses and Learners : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019

Fong, Brendan; Johnson, Michael. - Aachen : CEUR, 2019. - 14 pp.. - (CEUR workshop series ; 2355)
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 18332, 12.08.18-17.08.18

Extracting Event Logs for Process Mining from Data Stored on the Blockchain : article in BPM 2019 Workshops

Mühlberger, Roman; Bachhofner, Stefan; Ciccio, Claudio Di; Garcia-Banuelos, Luciano; Lopez-Pintado, Orlenys. - Berlin : Springer, 2019. - pp. 690-703 . - (Lecture notes in business information processing ; 362 : article)
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 Seminar 18322, 05.08.18-10.08.18

Next Steps for Human-Computer Integration : article in CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, April 2020

Mueller, Florian 'Floyd'; Strohmeier, Paul; Lopes, Pedro; Seim, Caitlyn; Li, Zhuying; Delfa, Joseph; Nishida, Jun; Gerber, Elisabeth M.; Greuter, Stefan; Wang, Dakuo; Maes, Pattie; Schiphorst, Thecla; Meyer, Jochen; Wolf, Katrin; Reiterer, Harald; Marshall, Joe; Inami, Masahiko; Greenspan, Steven L.; Erickson, Thomas; Kunze, Kai; Grudin, Jonathan; Svanes, Dag; Obrist, Marianna; Nanayakkara, Suranga; Weigel, Martin; Ju, Wendy. - New York : ACM, 2020. - Pages 1–15
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

Value-Anticipating V2V Communications for Cooperative Perception : article in 2019 IEEE Intelligent Vehicles Symposium (IV)

Higuchi, Takamasa; Giordani, Marco; Zanella, Andrea; Zorzi, Michele; Altintas, Onur. - Los Alamitos : IEEE, 2019. - pp. 1947-1952
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 18041, 21.01.18-26.01.18

Foundations of Data Visualization

Chen, Min; Hauser, Helwig; Rheingans, Penny; Scheuermann, Gerik. - Berlin : Springer, 2020. - XVII, 389 S.
ISBN: 978-3-030-34443-6 / 3-030-34443-6
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