GSC 209:  Saarbrücken Graduate School of Computer Science

• Subject Area: Computer Science
• Term: from 2007 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 39071815

• Final Report Year: 2020

Final Report Abstract

The Saarbrücken Graduate School of Computer Science encompasses all doctoral training and research in computer science on the Saarbrücken university campus. The school currently involves over 350 doctoral students working with about 80 advisors and some 120 other early-career computer science researchers spread over several large, interconnected and closely cooperating research institutions all located next to each other on the campus. The school set out with the ambitious goal of aiming to provide doctoral training of such quality and to attract students of such caliber so that it is competitive with the top ten computer science doctoral programs in the world in the long run. We have installed a PhD program that includes many traits common to top North American programs: entry directly after a Bachelor’s degree; a competitive central admission procedure; a preparatory phase of coursework preceding the dissertation phase; continual monitoring of students’ progress and supervision; guaranteed financial support during the entire program. All our doctoral candidates go through this program. Depending on their exact academic background and qualifications, parts or all of the preparatory phase may be waived. Passing a qualifying exam is compulsory for all candidates in order to enter the classical dissertation phase. The working language is English. The Graduate School has implemented a shift away from the traditional German frame of mind where doctoral education in all its aspects (recruitment, scientific preparation, research training, advising, quality control, financing, networking, etc.) is the sole responsibility of each professor. Doctoral education is now viewed as a common undertaking of the entire faculty and each of its aspects is taken as a particular combination of joint and individual responsibility. We have found the shift in the frame of mind rewarding, sometimes challenging, and remain convinced of the overall approach. It has brought many talented students to Saarbrücken seeking the kind of PhD education afforded by it. During the overall funding period, 510 doctoral dissertations were submitted. The Graduate School is now a permanent structure at the university. It will continue to adapt, incorporating lessons learned and meeting new challenges. Given the high quality of research in Saarbrücken computer science and the great concentration and wealth of talent as represented in all its research institutes, we are optimistic that we can become even more competitive with our combined efforts as we keep striving towards our original goal.

Publications

• “Apparent Greyscale: A Simple and Fast Conversion to Perceptually Accurate Images and Video”. In: Comput. Graph. Forum 27.2 (2008), pp. 193–200
  Kaleigh Smith, Pierre-Edouard Landes, Joëlle Thollot, and Karol Myszkowski
  
• “Crossover can provably be useful in evolutionary computation”. In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008. Ed. by Conor Ryan and Maarten Keijzer. ACM, 2008, pp. 539–546
  Benjamin Doerr, Edda Happ, and Christian Klein
  
• “Estimating Crossing Fibers: A Tensor Decomposition Approach”. In: IEEE Trans. Vis. Comput. Graph. 14.6 (2008), pp. 1635–1642
  Thomas Schultz and Hans-Peter Seidel
  
• “Fast liveness checking for ssa-form programs”. In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA. 2008, pp. 35–44
  Benoit Boissinot, Sebastian Hack, Daniel Grund, Benot Dupont de Dinechin, and Fabrice Rastello
  
• “LTL Path Checking Is Efficiently Parallelizable”. In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II. 2009, pp. 235–246.
  Lars Kuhtz and Bernd Finkbeiner
  
• “PhotoMap: using spontaneously taken images of public maps for pedestrian navigation tasks on mobile devices”. In: Proceedings of the 11th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2009, Bonn, Germany, September 15-18, 2009. Ed. by Reinhard Oppermann, Markus Eisenhauer, Matthias Jarke, and Volker Wulf. ACM International Conference Proceeding Series. ACM, 2009
  Johannes Schöning, Antonio Krüger, Keith Cheverst, Michael Rohs, Markus Löchtefeld, and Faisal Taher
  
• “From Box Filtering to Fast Explicit Diffusion”. In: Pattern Recognition - 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings. 2010, pp. 533–542
  Sven Grewenig, Joachim Weickert, and Andrés Bruhn
  
• “MENTA: inducing multilingual taxonomies from wikipedia”. In: Proceedings of the 19th ACM Conference on Information and Knowledge Management, CIKM 2010, Toronto, Ontario, Canada, October 26-30, 2010. 2010, pp. 1099–1108
  Gerard de Melo and Gerhard Weikum
  
• “Multiplicative drift analysis”. In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010. Ed. by Martin Pelikan and Jürgen Branke. ACM, 2010, pp. 1449–1456
  Benjamin Doerr, Daniel Johannsen, and Carola Winzen
  
• “Apparent resolution enhancement for animations”. In: Spring Conference on Computer Graphics, SCCG ’11, Vininé, Slovakia, April 28-30, 2011. 2011, pp. 57–64
  Krzysztof Templin, Piotr Didyk, Tobias Ritschel, Elmar Eisemann, Karol Myszkowski, and Hans- Peter Seidel
  
• “Bounded Fairness for Probabilistic Distributed Algorithms”. In: 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. Ed. by Benot Caillaud, Josep Carmona, and Kunihiko Hiraishi. IEEE Computer Society, 2011, pp. 89–97
  Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, and Bernd Becker
  
• “Falling asleep with Angry Birds, Facebook and Kindle: a large scale study on mobile application usage”. In: Proceedings of the 13th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2011, Stockholm, Sweden, August 30 - September 2, 2011. Ed. by Markus Bylund, Oskar Juhlin, and Ylva Fernaeus. ACM, 2011, pp. 47–56
  Matthias Böhmer, Brent J. Hecht, Johannes Schöning, Antonio Krüger, and Gernot Bauer
  
• “Towards a One Size Fits All Database Architecture”. In: CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings. www.cidrdb.org, 2011, pp. 195–198
  Jens Dittrich and Alekh Jindal
  
• “YAGO2: exploring and querying world knowledge in time, space, context, and many languages”. In: Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011 (Companion Volume). 2011, pp. 229– 232
  Johannes Hoffart, Fabian M. Suchanek, Klaus Berberich, Edwin Lewis-Kelham, Gerard de Melo, and Gerhard Weikum
  
• “A kaleidoscopic approach to surround geometry and reflectance acquisition”. In: 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, Providence, RI, USA, June 16-21, 2012. 2012, pp. 29–36
  Ivo Ihrke, Ilya Reshetouski, Alkhazur Manakov, Art Tevs, Michael Wand, and Hans-Peter Seidel
  
• “Anisotropic Range Image Integration”. In: Pattern Recognition - Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings. 2012, pp. 73–82
  Christopher Schroers, Henning Zimmer, Levi Valgaerts, Andrés Bruhn, Oliver Demetz, and Joachim Weickert
  
• “Apparent stereo: the Cornsweet illusion can enhance perceived depth”. In: Human Vision and Electronic Imaging XVII, Burlingame, California, USA, January 22, 2012. 2012, 82910N
  Piotr Didyk, Tobias Ritschel, Elmar Eisemann, Karol Myszkowski, and Hans-Peter Seidel
  
• “Designing interaction with media façades: a case study”. In: Designing Interactive Systems Conference 2012, DIS ’12, Newcastle Upon Tyne, United Kingdom, June 11-15, 2012. ACM, 2012, pp. 308–317
  Alexander Wiethoff and Sven Gehring
  
• “Detection and Tracking of Occluded People”. In: British Machine Vision Conference, BMVC 2012, Surrey, UK, September 3-7, 2012. Ed. by Richard Bowden, John P. Collomosse, and Krystian Mikolajczyk. BMVA Press, 2012, pp. 1–11
  Siyu Tang, Mykhaylo Andriluka, and Bernt Schiele
  
• “PATTY: A Taxonomy of Relational Patterns with Semantic Types”. In: Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, EMNLP-CoNLL 2012, July 12-14, 2012, Jeju Island, Korea. 2012, pp. 1135–1145
  Ndapandula Nakashole, Gerhard Weikum, and Fabian M. Suchanek
  
• “Predictably reliable media transport over wireless home networks”. In: 2012 IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, NV, USA, January 14-17, 2012. IEEE, 2012, pp. 62–67
  Manuel Gorius, Yongtao Shuai, and Thorsten Herfet
  
• “Reducing the arity in unbiased black-box complexity”. In: Genetic and Evolutionary Computation Conference, GECCO ’12, Philadelphia, PA, USA, July 7-11, 2012. Ed. by Terence Soule and Jason H. Moore. ACM, 2012, pp. 1309–1316
  Benjamin Doerr and Carola Winzen
  
• “A Quantization Framework for Smoothed Analysis of Euclidean Optimization Problems”. In: Algorithms - ESA 2013 - 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings. 2013, pp. 349–360
  Radu Curticapean and Marvin Künnemann
  
• “A simple aggregative algorithm for counting triangulations of planar point sets and related problems”. In: Symposuim on Computational Geometry 2013, SoCG ’13, Rio de Janeiro, Brazil, June 17-20, 2013. Ed. by Guilherme Dias da Fonseca, Thomas Lewiner, Luis Mariano Peñaranda, Timothy M. Chan, and Rolf Klein. ACM, 2013, pp. 1–8
  Victor Alvarez and Raimund Seidel
  
• “AMIE: association rule mining under incomplete evidence in ontological knowledge bases”. In: 22nd International World Wide Web Conference, WWW ’13, Rio de Janeiro, Brazil, May 13-17, 2013. 2013, pp. 413–422
  Luis Antonio Galárraga, Christina Teflioudi, Katja Hose, and Fabian M. Suchanek
  
• “Counting Matchings of Size k Is W[1]-Hard”. In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. 2013, pp. 352–363
  Radu Curticapean
  
• “Efficient partitioning of sporadic real-time tasks with shared resources and spin locks”. In: 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19-21, 2013. 2013, pp. 49–58
  Alexander Wieder and Björn B. Brandenburg
  
• “Is autostereoscopy useful for handheld AR?” In: 12th International Conference on Mobile and Ubiquitous Multimedia, MUM ’13, Luleå, Sweden - December 02 - 05, 2013. Ed. by Matthias Kranz, Kåre Synnes, Sebastian Boring, and Kristof Van Laerhoven. ACM, 2013, 4:1–4:4
  Frederic Kerber, Pascal Lessel, Michael Mauderer, Florian Daiber, Antti Oulasvirta, and Antonio Krüger
  
• “Robust question answering over the web of linked data”. In: 22nd ACM International Conference on Information and Knowledge Management, CIKM’13, San Francisco, CA, USA, October 27 - November 1, 2013. 2013, pp. 1107–1116
  Mohamed Yahya, Klaus Berberich, Shady Elbassuoni, and Gerhard Weikum
  
• “Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities”. In: 25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013. 2013, pp. 69–79
  Arpan Gujarati, Felipe Cerqueira, and Björn B. Brandenburg
  
• “The Complete Rank Transform: A Tool for Accurate and Morphologically Invariant Matching of Structures”. In: British Machine Vision Conference, BMVC 2013, Bristol, UK, September 9-13, 2013. 2013
  Oliver Demetz, David Hafner, and Joachim Weickert
  
• “A Compiler Optimization to Increase the Efficiency of WCET Analysis”. In: 22nd International Conference on Real-Time Networks and Systems, RTNS ’14, Versaille, France, October 8-10, 2014. 2014, p. 87
  Mohamed Abdel Maksoud and Jan Reineke
  
• “Identifying transcription factor complexes and their roles”. In: Bioinformatics 30.17 (2014), pp. 415–421
  Thorsten Will and Volkhard Helms
  
• “Interactive light scattering with principal-ordinate propagation”. In: Graphics Interface 2014, GI ’14, Montreal, QC, Canada, May 7-9, 2014. 2014, pp. 87–94
  Oskar Elek, Tobias Ritschel, Carsten Dachsbacher, and Hans-Peter Seidel
  
• “Interrupted by a phone call: exploring designs for lowering the impact of call notifications for smartphone users”. In: CHI Conference on Human Factors in Computing Systems, CHI’14, Toronto, ON, Canada - April 26 - May 01, 2014. Ed. by Matt Jones, Philippe A. Palanque, Albrecht Schmidt, and Tovi Grossman. ACM, 2014, pp. 3045–3054
  Matthias Böhmer, Christian Lander, Sven Gehring, Duncan P. Brumby, and Antonio Krüger
  
• “Pattern Search in Flows based on Similarity of Stream Line Segments”. In: VMV 2014: Vision, Modeling & Visualization, Darmstadt, Germany, 2014. Proceedings. 2014, pp. 23–30
  Zhongjie Wang, Janick Martinez Esturo, Hans-Peter Seidel, and Tino Weinkauf
  
• “PrintScreen: fabricating highly customizable thin-film touch-displays”. In: The 27th Annual ACM Symposium on User Interface Software and Technology, UIST ’14, Honolulu, HI, USA, October 5-8, 2014. 2014, pp. 281–290
  Simon Olberding, Michael Wessely, and Jürgen Steimle
  
• “Spectral Ray Differentials”. In: Comput. Graph. Forum 33.4 (2014), pp. 113–122
  Oskar Elek, Pablo Bauszat, Tobias Ritschel, Marcus A. Magnor, and Hans-Peter Seidel
  
• “A transformationaware perceptual image metric”. In: Human Vision and Electronic Imaging XX, San Francisco, California, USA, February 9-12, 2015. 2015, p. 939408
  Petr Kellnhofer, Tobias Ritschel, Karol Myszkowski, and Hans-Peter Seidel
  
• “A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality”. In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. 2016, pp. 25–44
  Jasmin Christian Blanchette, Mathias Fleury, and Christoph Weidenbach
  
• “Analysis of Recycling Capabilities of Individuals and Crowds to Encourage and Educate People to Separate Their Garbage Playfully”. In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2015, Seoul, Republic of Korea, April 18-23, 2015. Ed. by Bo Begole, Jinwoo Kim, Kori Inkpen, and Woontack Woo. ACM, 2015, pp. 1095–1104
  Pascal Lessel, Maximilian Altmeyer, and Antonio Krüger
  
• “Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity”. In: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I. 2015, pp. 380–392
  Radu Curticapean
  
• “Foldio: Digital Fabrication of Interactive and Shape-Changing Objects With Foldable Printed Electronics”. In: Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, UIST 2015, Charlotte, NC, USA, November 8-11, 2015. 2015, pp. 223–232
  Simon Olberding, Sergio Soto Ortega, Klaus Hildebrandt, and Jürgen Steimle
  
• “iSkin: Flexible, Stretchable and Visually Customizable On-Body Touch Sensors for Mobile Computing”. In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2015, Seoul, Republic of Korea, April 18-23, 2015. 2015, pp. 2991–3000
  Martin Weigel, Tong Lu, Gilles Bailly, Antti Oulasvirta, Carmel Majidi, and Jürgen Steimle
  
• “Shallow embedding of DSLs via online partial evaluation”. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015. 2015, pp. 11–20
  Roland LeiSSa, Klaas Boesche, Sebastian Hack, Richard Membarth, and Philipp Slusallek
  
• “The Long-Short Story of Movie Description”. In: Pattern Recognition - 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings. Ed. by Juergen Gall, Peter V. Gehler, and Bastian Leibe. Vol. 9358. Lecture Notes in Computer Science. Springer, 2015, pp. 209–221
  Anna Rohrbach, Marcus Rohrbach, and Bernt Schiele
  
• “The Uncracked Pieces in Database Cracking”. In: Proc. VLDB Endow. 7.2 (2013), pp. 97–108
  Felix Martin Schuhknecht, Alekh Jindal, and Jens Dittrich
  
• “What makes 2D-to-3D stereo conversion perceptually plausible?” In: Proceedings of the ACM SIGGRAPH Symposium on Applied Perception, SAP ’15, Tübingen, Germany, September 13-14, 2015. 2015, pp. 59–66
  Petr Kellnhofer, Thomas Leimkühler, Tobias Ritschel, Karol Myszkowski, and Hans-Peter Seidel
  
• “A proof-of-concept framework for PDE-based video compression”. In: 2016 Picture Coding Symposium, PCS 2016, Nuremberg, Germany, December 4-7, 2016. 2016, pp. 1–5
  Sarah Andris, Pascal Peter, and Joachim Weickert
  
• “An experimental evaluation and analysis of database cracking”. In: VLDB J. 25.1 (2016), pp. 27–52
  Felix Martin Schuhknecht, Alekh Jindal, and Jens Dittrich
  
• “Cancer: Another Algorithm for Subtropical Matrix Factorization”. In: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part II. 2016, pp. 576–592
  Sanjar Karaev and Pauli Miettinen
  
• “Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension”. In: 41st IEEE Conference on Local Computer Networks, LCN 2016, Dubai, United Arab Emirates, November 7-10, 2016. 2016, pp. 1– 9
  Michael Lass, Dominik Leibenger, and Christoph Sorge
  
• “Fine-Grained Dichotomies for the Tutte Plane and Boolean #CSP”. In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark. Ed. by Jiong Guo and Danny Hermelin. Vol. 63. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, 9:1–9:14
  Cornelius Brand, Holger Dell, and Marc Roth
  
• “Flexible support for time and costs in scenario-aware dataflow”. In: 2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016. Ed. by Petru Eles and Rahul Mangharam. ACM, 2016, 3:1–3:10
  Arnd Hartmanns, Holger Hermanns, and Michael Bungert
  
• “FSI Schemes: Fast Semi-Iterative Solvers for PDEs and Optimisation Methods”. In: Pattern Recognition - 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings. 2016, pp. 91–102
  David Hafner, Peter Ochs, Joachim Weickert, Martin ReiSSel, and Sven Grewenig
  
• “Managing smartwatch notifications through filtering and ambient illumination”. In: Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016, Florence, Italy, September 6-9, 2016. Ed. by Fabio Paternò, Kaisa Väänänen, Karen Church, Jonna Häkkilä, Antonio Krüger, and Marcos Serrano. ACM, 2016, pp. 918– 923
  Frederic Kerber, Christoph Hirtz, Sven Gehring, Markus Löchtefeld, and Antonio Krüger
  
• “Perceptual Real-time 2D-to-3D Conversion Using Cue Fusion”. In: Proceedings of the 42nd Graphics Interface Conference, Victoria, BC, Canada, 1-3 June 2016. 2016, pp. 5–12
  Thomas Leimkühler, Petr Kellnhofer, Tobias Ritschel, Karol Myszkowski, and Hans-Peter Seidel
  
• “Practical Undoability Checking via Contingent Planning”. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. 2016, pp. 106–114
  Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, and Ingo Weber
  
• “The Cityscapes Dataset for Semantic Urban Scene Understanding”. In: 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016. IEEE Computer Society, 2016, pp. 3213–3223
  Marius Cordts, Mohamed Omran, Sebastian Ramos, Timo Rehfeld, Markus Enzweiler, Rodrigo Benenson, Uwe Franke, Stefan Roth, and Bernt Schiele
  
• “Counting Restricted Homomorphisms via Möbius Inversion over Matroid Lattices”. In: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria. 2017, 63:1–63:14
  Marc Roth
  
• “Everyday Eye Contact Detection Using Unsupervised Gaze Target Discovery”. In: Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology, UIST 2017, Quebec City, QC, Canada, October 22 - 25, 2017. Ed. by Krzysztof Gajos, Jennifer Mankoff, and Chris Harrison. ACM, 2017, pp. 193–203
  Xucong Zhang, Yusuke Sugano, and Andreas Bulling
  
• “Investigating current techniques for opposite-hand smartwatch interaction”. In: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017, Vienna, Austria, September 4-7, 2017. Ed. by Matt Jones, Manfred Tscheligi, Yvonne Rogers, and Roderick Murray-Smith. ACM, 2017, 24:1–24:12
  Frederic Kerber, Tobias Kiefer, Markus Löchtefeld, and Antonio Krüger
  
• “InvisibleEye: Mobile Eye Tracking Using Multiple Low-Resolution Cameras and Learning-Based Gaze Estimation”. In: Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 1.3 (2017), 106:1–106:21
  Marc Tonsen, Julian Steil, Yusuke Sugano, and Andreas Bulling
  
• “Low complexity light field compression based on pseudo-temporal circular sequencing”. In: 2017 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2017, Cagliari, Italy, June 7-9, 2017. IEEE, 2017, pp. 1–5
  Harini Priyadarshini Hariharan, Tobias Lange, and Thorsten Herfet
  
• “Membrane AR: varifocal, wide field of view augmented reality display from deformable membranes”. In: Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH ’17, Los Angeles, CA, USA, July 30 - August 03, 2017, Emerging Technologies. 2017, 15:1–15:2
  David Dunn, Cary Tippets, Kent Torell, Henry Fuchs, Petr Kellnhofer, Karol Myszkowski, Piotr Didyk, Kaan Aksit, and David Luebke
  
• “Minimal Warping: Planning Incremental Novel-view Synthesis”. In: Comput. Graph. Forum 36.4 (2017), pp. 1–14
  Thomas Leimkühler, Hans-Peter Seidel, and Tobias Ritschel
  
• “Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs”. In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Ed. by Kim Guldstrand Larsen, Oleg Sokolsky, and Ji Wang. Vol. 10606. Lecture Notes in Computer Science. Springer, 2017, pp. 25– 41
  Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, and Khaled M. Elbassioni
  
• “Robust and compositional verification of object capability patterns”. In: PACMPL 1.OOPSLA (2017), 89:1–89:26
  David Swasey, Deepak Garg, and Derek Dreyer
  
• “Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris”. In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. 2017, 17:1–17:29
  Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, and Viktor Vafeiadis
  
• “The Next Generation of In-home Streaming: Light Fields, 5K, 10 GbE, and Foveated Compression”. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. Ed. by Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki. Vol. 11. Annals of Computer Science and Information Systems. 2017, pp. 663–667
  Daniel Pohl, Daniel Jungmann, Bartosz Taudul, Richard Membarth, Harini Hariharan, Thorsten Herfet, and Oliver Grau
  
• “Wide Field Of View Varifocal Near-Eye Display Using See- Through Deformable Membrane Mirrors”. In: IEEE Trans. Vis. Comput. Graph. 23.4 (2017), pp. 1322– 1331
  David Dunn, Cary Tippets, Kent Torell, Petr Kellnhofer, Kaan Aksit, Piotr Didyk, Karol Myszkowski, David Luebke, and Henry Fuchs
  
• “Write-Back Caches in WCET Analysis”. In: 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, June 27-30, 2017, Dubrovnik, Croatia. 2017, 26:1–26:22
  Tobias BlaSS, Sebastian Hahn, and Jan Reineke
  
• “Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness”. In: 13th International Symposium on Parameterized and Exact Computation, IPEC 2018, August 20-24, 2018, Helsinki, Finland. Ed. by Christophe Paul and Michal Pilipczuk. Vol. 115. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018, 24:1–24:14
  Marc Roth and Johannes Schmitt
  
• “Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core”. In: 2018 IEEE Real-Time Systems Symposium, RTSS 2018, Nashville, TN, USA, December 11-14, 2018. 2018, pp. 469–481
  Sebastian Hahn and Jan Reineke
  
• “Discovering Reliable Dependencies from Data: Hardness and Improved Algorithms”. In: IEEE International Conference on Data Mining, ICDM 2018, Singapore, November 17-20, 2018. IEEE Computer Society, 2018, pp. 317–326
  Panagiotis Mandros, Mario Boley, and Jilles Vreeken
  
• “Error-aware gaze-based interfaces for robust mobile gaze interaction”. In: Proceedings of the 2018 ACM Symposium on Eye Tracking Research & Applications, ETRA 2018, Warsaw, Poland, June 14-17, 2018. Ed. by Bonita Sharif and Krzysztof Krejtz. ACM, 2018, 24:1–24:10
  Michael Barz, Florian Daiber, Daniel Sonntag, and Andreas Bulling
  
• “Extending a Gamified Mobile App with a Public Display to Encourage Walking”. In: Proceedings of the 22nd International Academic Mindtrek Conference, Mindtrek 2018, Tampere, Finland, October 10-11, 2018. ACM, 2018, pp. 20–29
  Maximilian Altmeyer, Pascal Lessel, Tobias Sander, and Antonio Krüger
  
• “FingerInput: Capturing Expressive Single-Hand Thumb-to-Finger Microgestures”. In: Proceedings of the 2018 ACM International Conference on Interactive Surfaces and Spaces, ISS 2018, Tokyo, Japan, November 25-28, 2018. Ed. by Hideki Koike, Carlo Ratti, Yuichiro Takeuchi, Kentaro Fukuchi, Stacey Scott, and Diego Martnez Plasencia. ACM, 2018, pp. 177–187
  Mohamed Soliman, Franziska Mueller, Lena Hegemann, Joan Sol Roo, Christian Theobalt, and Jürgen Steimle
  
• “Forecasting user attention during everyday mobile interactions using device-integrated and wearable sensors”. In: Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2018, Barcelona, Spain, September 03-06, 2018. Ed. by Lynne Baillie and Nuria Oliver. ACM, 2018, 1:1–1:13
  Julian Steil, Philipp Müller, Yusuke Sugano, and Andreas Bulling
  
• “HighLife: Higher-arity Fact Harvesting”. In: Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, April 23-27, 2018. 2018, pp. 1013–1022
  Patrick Ernst, Amy Siu, and Gerhard Weikum
  
• “Markov Automata on Discount!” In: Measurement, Modelling and Evaluation of Computing Systems - 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. Ed. by Reinhard German, Kai-Steffen Jens Hielscher, and Udo R. Krieger. Vol. 10740. Lecture Notes in Computer Science. Springer, 2018, pp. 19–34
  Yuliya Butkova, Ralf Wimmer, and Holger Hermanns
  
• “Neural Body Fitting: Unifying Deep Learning and Model Based Human Pose and Shape Estimation”. In: 2018 International Conference on 3D Vision, 3DV 2018, Verona, Italy, September 5-8, 2018. IEEE Computer Society, 2018, pp. 484–494
  Mohamed Omran, Christoph Lassner, Gerard Pons-Moll, Peter V. Gehler, and Bernt Schiele
  
• “Slackliner: Using Wholebody Gestures for Interactive Slackline Training”. In: Proceedings of the Symposium on Spatial User Interaction, SUI 2018, Berlin, Germany, October 13-14, 2018. ACM, 2018, p. 174
  Florian Daiber, Felix Kosmalla, Christian Murlowski, and Antonio Krüger
  
• “Star-Topology Decoupling in SPIN”. In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. 2018, pp. 103–114
  Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, and Jörg Hoffmann
  
• “Types for Information Flow Control: Labeling Granularity and Semantic Models”. In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. 2018, pp. 233–246
  Vineet Rajani and Deepak Garg
  
• “Doping Tests for Cyber-Physical Systems”. In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Ed. by David Parker and Verena Wolf. Vol. 11785. Lecture Notes in Computer Science. Springer, 2019, pp. 313–33
  Sebastian Biewer, Pedro R. D’Argenio, and Holger Hermanns
  
• “Enhancing Texture Perception in Virtual Reality Using 3D-Printed Hair Structures”. In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019. Ed. by Stephen A. Brewster, Geraldine Fitzpatrick, Anna L. Cox, and Vassilis Kostakos. ACM, 2019, p. 249
  Donald Degraen, André Zenner, and Antonio Krüger
  
• “ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK)”. In: 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019. 2019, pp. 1221–1238
  Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, and Deepak Garg
  
• “From fine- to coarse-grained dynamic information flow control and back”. In: PACMPL 3.POPL (2019), 76:1– 76:31
  Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, and Deian Stefa
  
• “Patching Colors with Tensors”. In: 27th Annual European Symposium on Algorithms, ESA 2019, September 9-11, 2019, Munich/Garching, Germany. 2019, 25:1–25:16
  Cornelius Brand
  
• “Privacy-aware eye tracking using differential privacy”. In: Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications, ETRA 2019, Denver , CO, USA, June 25-28, 2019. Ed. by Krzysztof Krejtz and Bonita Sharif. ACM, 2019, 27:1–27:97
  Julian Steil, Inken Hagestedt, Michael Xuelin Huang, and Andreas Bulling
  
• “SPASS-SATT - A CDCL(LA) Solver”. In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. 2019, pp. 111–122
  Martin Bromberger, Mathias Fleury, Simon Schwarz, and Christoph Weidenbach
  
• “TipText: Eyes-Free Text Entry on a Fingertip Keyboard”. In: Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, UIST 2019, New Orleans, LA, USA, October 20-23, 2019. Ed. by François Guimbretière, Michael Bernstein, and Katharina Reinecke. ACM, 2019, pp. 883–899
  Zheer Xu, Pui Chung Wong, Jun Gong, Te-Yen Wu, Aditya Shekhar Nittala, Xiaojun Bi, Jürgen Steimle, Hongbo Fu, Kening Zhu, and Xing-Dong Yang