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


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

Dagstuhl's Impact

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

Please inform us about such publications that are the consequence of a Dagstuhl Seminar.

Also, Schloss Dagstuhl would kindly ask you to acknowledge in the publication that the publication has in some way benefited from the seminar. You are free to word the acknowledgement however you like, but we would ask you to always include the seminar's title and seminar number as well as some kind of link to the seminar's website. Nevertheless, as there have often been questions on how to word the acknowledgement, here are a few fictional example wordings for your inspiration:

  • This work has benefitted from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted substantially from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted from the second and fourth author's participation in Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • Part of this work was initiated by Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces"
  • We thank the organizers of Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces" for bringing us together. We are particularly indebted to seminar participant Jane Doe for asking a question that initiated our research.

Petra Meyer

Bibliothekarin

2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   Specials

2018

Dagstuhl-Seminar 18511, 2018-12-16 - 2018-12-21
Article
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.
Dagstuhl-Seminar 18491, 2018-12-02 - 2018-12-07
Article
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
Dagstuhl-Seminar 18491, 2018-12-02 - 2018-12-07
Article
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)
Dagstuhl-Seminar 18491, 2018-12-02 - 2018-12-07
Article
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)
Dagstuhl-Seminar 18491, 2018-12-02 - 2018-12-07
Article
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)
Dagstuhl-Seminar 18491, 2018-12-02 - 2018-12-07
Article
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)
Dagstuhl-Seminar 18482, 2018-11-25 - 2018-11-30
Article
Modelling and networks in digital humanities : chapter in Routledge Handbook for Digital Humanities Research Methods
Eide, Oyvind – London : Routledge, 2020. - pp. 91-108
Dagstuhl-Seminar 18471, 2018-11-18 - 2018-11-23
Article
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)
Dagstuhl-Seminar 18471, 2018-11-18 - 2018-11-23
Article
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)
Dagstuhl-Seminar 18471, 2018-11-18 - 2018-11-23
Article
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)
Dagstuhl-Seminar 18471, 2018-11-18 - 2018-11-23
Article
Tool Support of Formal Methods for Privacy by Design
Schupp, Sibylle – Cornell University : arXiv.org, 2019. - 22 pp.
Dagstuhl-Seminar 18471, 2018-11-18 - 2018-11-23
Article
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)
Dagstuhl-Seminar 18461, 2018-11-11 - 2018-11-16
Book
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
Dagstuhl-Seminar 18461, 2018-11-11 - 2018-11-16
Article
Responsible vulnerability disclosure in cryptocurrencies : article
Böhme, Rainer; Eckey, Lisa; Moore, Tyler W.; Narula, Neha; Ruffing, Tim; Zohar, Aviv – New York : ACM, 2020. - pp. 62-71 – (Communications of the ACM ; 63. 2020, 10)
Dagstuhl-Seminar 18462, 2018-11-11 - 2018-11-16
Special Issue
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)
Dagstuhl-Seminar 18441, 2018-10-28 - 2018-11-02
Article
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)
Dagstuhl-Seminar 18441, 2018-10-28 - 2018-11-02
Article
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. 2019, 1)
Dagstuhl-Seminar 18441, 2018-10-28 - 2018-11-02
Book
Making with Data : Physical Design and Craft in a Data-Driven World
Huron, Samuel; Nagel, Till; Oehlberg, Lora; Willett, Wesley – Wellesley : A K Peters, 2022. , ISBN: 978-1-03-218222-3 / 1-03-218222-9
Dagstuhl-Seminar 18442, 2018-10-28 - 2018-11-02
Book
Anisotropy Across Fields and Scale : open access book
– Berlin : Springer, 2021. - 280 pp. – (Mathematics and visualization) , ISBN: 978-3-030-56215-1 / 3-030-56215-8
Dagstuhl-Seminar 18442, 2018-10-28 - 2018-11-02
Article
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
Dagstuhl-Seminar 18442, 2018-10-28 - 2018-11-02
Article
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)
Dagstuhl-Seminar 18442, 2018-10-28 - 2018-11-02
Article
Optimized Response Function Estimation for Spherical Deconvolution : article in Computational Diffusion MRI : MICCAI Workshop, Shenzhen, China, October 2019
Haije, Tom Dela; Feragen, Aasa – Berlin : Springer, 2020. - pp 25-34
Dagstuhl-Seminar 18441, 2018-10-28 - 2018-11-02
Book
Making with Data : Physical Design and Craft in a Data-Driven World
Huron, Samuel; Nagel, Till; Oehlberg, Lora; Willett, Wesley – Wellesley : A K Peters, 2023. - 392 S. – (A.K. Peters visualization series) , ISBN: 978-1-03-218222-3
Dagstuhl-Seminar 18441, 2018-10-28 - 2018-11-02
Article
A Design Vocabulary for Data Physicalization : article : Just Accepted
Hornecker, Eva; Hogan, Trevor; Hinrichs, Uta; Koningsbruggen, Rosa van – New York : ACM, 2023. - 59 pp. – (ACM Transactions on Computer-Human Interaction ; 2023)
Dagstuhl-Seminar 18431, 2018-10-21 - 2018-10-26
Article
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)
Dagstuhl-Seminar 18421, 2018-10-14 - 2018-10-19
Article
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.
Dagstuhl-Seminar 18411, 2018-10-07 - 2018-10-12
Article
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)
Dagstuhl-Seminar 18411, 2018-10-07 - 2018-10-12
Article
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.
Dagstuhl-Seminar 18411, 2018-10-07 - 2018-10-12
Article
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.
Dagstuhl-Seminar 18411, 2018-10-07 - 2018-10-12
Article
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
Dagstuhl-Seminar 18412, 2018-10-07 - 2018-10-10
Article
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)
Dagstuhl-Seminar 18412, 2018-10-07 - 2018-10-10
Article
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)
Dagstuhl-Seminar 18391, 2018-09-23 - 2018-09-28
Book
Mathematical Muffin Morsels : Nobody Wants a Small Piece
Gasarch, William; Metz, Erik; Prinz, Jacob; Smolyak, Daniel – Singapore : World Scientific, 2020. - XVI, 210 S. – (Problem Solving in Mathematics and Beyond ; 16) , ISBN: 978-981-121-597-1 / 981-121-597-9
Dagstuhl-Seminar 18391, 2018-09-23 - 2018-09-28
Book
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
Fortbildung 18383, 2018-09-16 - 2018-09-21
Article
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)
Dagstuhl-Seminar 18371, 2018-09-09 - 2018-09-14
Article
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.
Dagstuhl-Seminar 18371, 2018-09-09 - 2018-09-14
Article
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 – New York : ACM, 2021. - 37 pp – (ACM computing surveys ; 54. 2021, 4 : Article 71)
Dagstuhl-Seminar 18371, 2018-09-09 - 2018-09-14
Book
Knowledge Graphs
Hogan, Aidan; Neumaier, Sebastian; Rashid, Sabbir M.; Rula, Anisa; Schmelzeisen, Lukas; Cochez, Michael; 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 – San Rafael : Morgan & Claypool Publishers, 2021. - XIX, 237 pp – (Synthesis Lectures on Data, Semantics, and Knowledge ; 22) , ISBN: 978-1-636-39235-6 / 1-636-39235-0
Dagstuhl-Seminar 18371, 2018-09-09 - 2018-09-14
Article
Knowledge graphs : article
Gutierrez, Claudio; Sequeda, Juan Federico – New York : ACM, 2021. - pp 96-104 – (Communications of the ACM ; 84. 2021. 3)
Dagstuhl-Seminar 18361, 2018-09-02 - 2018-09-07
Article
A note on the diamond operator
Westrick, Linda – Cornell University : arXiv.org, 2020. - 5 pp.
Dagstuhl-Seminar 18361, 2018-09-02 - 2018-09-07
Article
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)
Dagstuhl-Seminar 18361, 2018-09-02 - 2018-09-07
Special Issue
Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018 : Special Issue : pp. 167 - 341
Brattka, Vasco; Dzhafarov, Damir D.; Marcone, Alberto; Pauly, Arno – Amsterdam : IOS Press, 2020 – (Computability ; 9. 2020. 3/4)
Dagstuhl-Seminar 18361, 2018-09-02 - 2018-09-07
Article
Leaf management : article : 6 pp.
Hirst, Jeffry L. – Amsterdam : IOS Press, 2019 – (Computability ; Pre-Press 2019)
Dagstuhl-Seminar 18361, 2018-09-02 - 2018-09-07
Article
Searching for an analogue of ATR in the Weihrauch lattice
Kihara, Takayuki; Marcone, Alberto; Pauly, Arno – Cornell University : arXiv.org, 2018. - 35 pp.
GI-Dagstuhl-Seminar 18343, 2018-08-19 - 2018-08-24
Article
A Collective Adaptive Approach to Decentralised k-Coverage in Multi-Robot Systems : article
Pianini, Danilo; Pettinari, Federico; Casadei, Roberto; Esterle, Lukas – New York : ACM, 2022. - 38 pp. – (ACM transactions on autonomous and adaptive systems ; 2022)
GI-Dagstuhl-Seminar 18343, 2018-08-19 - 2018-08-24
Article
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
GI-Dagstuhl-Seminar 18343, 2018-08-19 - 2018-08-24
Article
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.
GI-Dagstuhl-Seminar 18343, 2018-08-19 - 2018-08-24
Article
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.
GI-Dagstuhl-Seminar 18343, 2018-08-19 - 2018-08-24
Article
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.
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
Deadlock and Noise in Self-Organized Aggregation Without Computation : article
Daymude, Joshua J.; Harasha. Noble C.; Richa, Andrea W.; Yiu, Ryan – Cornell University : arXiv.org, 2021. - 17 pp.
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
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
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
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
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
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.
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
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
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
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
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
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.
Dagstuhl-Seminar 18331, 2018-08-12 - 2018-08-17
Article
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)
Dagstuhl-Seminar 18332, 2018-08-12 - 2018-08-17
Article
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)
Dagstuhl-Seminar 18332, 2018-08-12 - 2018-08-17
Article
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)
Dagstuhl-Seminar 18332, 2018-08-12 - 2018-08-17
Article
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)
Dagstuhl-Seminar 18332, 2018-08-12 - 2018-08-17
Article
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)
Dagstuhl-Seminar 18332, 2018-08-12 - 2018-08-17
Article
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.
Dagstuhl-Seminar 18332, 2018-08-12 - 2018-08-17
Article
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.
Dagstuhl-Seminar 18332, 2018-08-12 - 2018-08-17
Article
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
Dagstuhl-Seminar 18322, 2018-08-05 - 2018-08-10
Article
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
Dagstuhl-Seminar 18322, 2018-08-05 - 2018-08-10
Book
Human–Computer Integration : Towards Integrating the Human Body with the Computational Machine
Mueller, Florian 'Floyd'; Semertzidis, Nathan; Patibanda, Rakesh; Andres, Josh; Strohmeier, Paul; Knibbe, Jarrod; Byrne, Richard; Reiterer, Harald; Grudin, Jonathan; Kunze, Kai; Marshall, Joe; Gerber, Elisabeth M.; Wolf, Katrin; Wang, Dakuo; Maes, Pattie; Obrist, Marianna; Greuter, Stefan; Li, Zhuying; Nanayakkara, Suranga; Weigel, Martin; Andres, Josh; – Boston : Now Publishers, 2022. - 68 S. – (Foundations and trends in human-computer interaction ; 16. 2022, 1) , ISBN: 978-1-63828-068-2 / 1-63828-068-1
Dagstuhl-Seminar 18281, 2018-07-08 - 2018-07-13
Article
Universal compressed text indexing
Navarro, Gonzalo; Prezza, Nicola – Cornell University : arXiv.org, 2018. - 22 pp.
GI-Dagstuhl-Seminar 18283, 2018-07-08 - 2018-07-13
Article
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.
GI-Dagstuhl-Seminar 18283, 2018-07-08 - 2018-07-13
Article
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.
Dagstuhl-Seminar 18271, 2018-07-01 - 2018-07-06
Article
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)
Dagstuhl-Perspektiven-Workshop 18262, 2018-06-24 - 2018-06-29
Article
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)
Dagstuhl-Seminar 18252, 2018-06-18 - 2018-06-21
Article
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)
Dagstuhl-Seminar 18252, 2018-06-18 - 2018-06-21
Article
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.
Dagstuhl-Seminar 18252, 2018-06-18 - 2018-06-21
Article
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.
Dagstuhl-Seminar 18252, 2018-06-18 - 2018-06-21
Article
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.
Dagstuhl-Seminar 18251, 2018-06-17 - 2018-06-22
Article
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.
Dagstuhl-Seminar 18251, 2018-06-17 - 2018-06-22
Article
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)
Dagstuhl-Seminar 18251, 2018-06-17 - 2018-06-22
Article
Waves of Misery After Index Creation : article in BTW2019 : Datenbanksysteme für Business, Technologie und Web : pp. 77-96
Glombiewski, Nikolaus; Seeger, Bernhard; Graefe, Goetz – Bonn : Gesellschaft für Informatik e.V., 2019 – (Lecture notes in informatics / P ; 289 : article)
Dagstuhl-Seminar 18242, 2018-06-10 - 2018-06-13
Article
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
Dagstuhl-Seminar 18242, 2018-06-10 - 2018-06-13
Article
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)
Dagstuhl-Seminar 18231, 2018-06-03 - 2018-06-08
Article
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
Forschungstreffen 18233, 2018-06-03 - 2018-06-06
Article
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)
Dagstuhl-Seminar 18201, 2018-05-13 - 2018-05-18
Article
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.
Dagstuhl-Seminar 18201, 2018-05-13 - 2018-05-18
Article
On the semantic expressiveness of recursive types : article in Proceedings of the ACM on Programming LanguagesJanuary 2021 Article No.: 21
Patrignani, Marco; Martin, Erik Marc; Devriese, Dominique – New York : ACM, 2021. - 29 pp.
Dagstuhl-Seminar 18202, 2018-05-13 - 2018-05-16
Article
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
Dagstuhl-Seminar 18202, 2018-05-13 - 2018-05-16
Article
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.
Dagstuhl-Seminar 18202, 2018-05-13 - 2018-05-16
Article
Emerging Trends in Vehicular Communication Networks : article in "Emerging Wireless Communication and Network Technologies"
Giordani, Marco; Zanella, Andrea; Higuchi, Takamasa; Altintas, Onur; Zorzi, Michele – Berlin : Springer, 2018. - pp 37-57
Dagstuhl-Seminar 18202, 2018-05-13 - 2018-05-16
Article
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
Forschungstreffen 18193, 2018-05-06 - 2018-05-09
Book
Ausgezeichnete Informatikdissertationen 2017
Hölldobler, Steffen – Bonn : Gesellschaft für Informatik e.V., 2018. - 290 S. – (Lecture notes in informatics / D ; 18) , ISBN: 978-3-88579-977-1 / 3-88579-977-4
Dagstuhl-Seminar 18172, 2018-04-22 - 2018-04-27
Article
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
Dagstuhl-Seminar 18172, 2018-04-22 - 2018-04-27
Article
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
Dagstuhl-Seminar 18161, 2018-04-15 - 2018-04-20
Article
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, 2019. - pp. 1225-1235 – (IEEE transactions on visualization and computer graphics ; 25. 2019, 1)
Dagstuhl-Seminar 18161, 2018-04-15 - 2018-04-20
Article
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)
Dagstuhl-Seminar 18111, 2018-03-11 - 2018-03-16
Article
A Proposal for Loop-Transformation Pragmas
Kruse, Michael; Finkel, Hal – Cornell University : arXiv.org, 2018. - 16 pp.
Dagstuhl-Seminar 18111, 2018-03-11 - 2018-03-16
Article
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.
Dagstuhl-Seminar 18111, 2018-03-11 - 2018-03-16
Article
Loop Optimization Framework
Kruse, Michael; Finkel, Hal – Cornell University : arXiv.org, 2018. - 7 pp.
Dagstuhl-Seminar 18111, 2018-03-11 - 2018-03-16
Article
User-Directed Loop-Transformations in Clang
Kruse, Michael; Finkel, Hal – Cornell University : arXiv.org, 2018. - 10 pp.
Dagstuhl-Seminar 18101, 2018-03-04 - 2018-03-09
Article
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.
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Article
Extended formulations for convex hulls of some bilinear functions : article : 30 pp.
Gupte, Akshay; Kalinowski, Thomas; Rigterink, Fabian; Waterer, Hamish – Amsterdam : Elsevier, 2020 – (Discrete Optimization ; 36. 2020, Article 100566)
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Technical Report
Intersection cuts for factorable MINLP
Serrano, Felipe – Berlin : Zuse Institut, 2018. - 15 pp. – (ZIB Report ; 18-59)
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Article
Intersection disjunctions for reverse convex sets
Towle, Eli; Luedtke, James – Cornell University : arXiv.org, 2019. - 24 pp.
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Article
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.
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Special Issue
Mixed-Integer Nonlinear Programming 2018 : Special issue
Sahinidis, Nikolaos V. – Berlin : Springer, 2019. - pp. 301-682 – (Optimization and engineering ; 20. 2019, 2)
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Technical Report
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)
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Article
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.
Dagstuhl-Seminar 18081, 2018-02-18 - 2018-02-23
Article
The running intersection relaxation of the multilinear polytope /
Pia, Alberto Del ; Khajavirad, Aida – http://www.optimization-online.org/, 2018. - 35 pp.
Dagstuhl-Seminar 18071, 2018-02-11 - 2018-02-16
Article
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.
Dagstuhl-Seminar 18071, 2018-02-11 - 2018-02-16
Article
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.
Dagstuhl-Seminar 18071, 2018-02-11 - 2018-02-16
Article
Non-Traditional Objective Functions for MDPs
Koenig, Sven; Muise, Christian; Sanner, Scott – University, 2019. - 8 pp.
Dagstuhl-Seminar 18061, 2018-02-04 - 2018-02-09
Article
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
Dagstuhl-Seminar 18061, 2018-02-04 - 2018-02-09
Article
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.
Dagstuhl-Seminar 18051, 2018-01-28 - 2018-02-02
Article
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)
Dagstuhl-Seminar 18051, 2018-01-28 - 2018-02-02
Article
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)
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
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.
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
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.
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
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
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
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)
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
Continuous Long-Term Evolution of Genetic Programming : article in ALife 2019
Langdon, William B.; Banzhaf, Wolfgang – Newcastle : University, 2019. - 8 pp.
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
Fast Generation of Big Random Binary Trees
Langdon, William B. – London : University College, 2020. - 6 pp.
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
Faster Genetic Programming GPquick via multicore and Advanced Vector Extensions : article : 18 pp.
Langdon, William B.; Banzhaf, Jürgen – Cornell University : arXiv.org, 2019
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
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
Dagstuhl-Seminar 18052, 2018-01-28 - 2018-02-02
Article
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
Dagstuhl-Seminar 18041, 2018-01-21 - 2018-01-26
Article
A Critical Analysis of the Evaluation Practice in Medical Visualization
Preim, Bernhard; Ropinski, Timo; Isenberg, Petra – HAL Inria, 2018. - 13 pp.
Dagstuhl-Seminar 18041, 2018-01-21 - 2018-01-26
Article
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, 2019. - pp. 1225-1235 – (IEEE transactions on visualization and computer graphics ; 25. 2019, 1)
Dagstuhl-Seminar 18041, 2018-01-21 - 2018-01-26
Book
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
Dagstuhl-Seminar 18041, 2018-01-21 - 2018-01-26
Article
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)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
Affine linear cryptanalysis : article
Nyberg, Kaisa – Berlin : Springer, 2019. - 11 pp. – (Cryptography and Communications ; 2019)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
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)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
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)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
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)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
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)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
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)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
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)
Dagstuhl-Seminar 18021, 2018-01-07 - 2018-01-12
Article
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)