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
  (See online at https://doi.org/10.1111/j.1467-8659.2008.01116.x)
• “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
  (See online at https://doi.org/10.1145/1389095.1389202)
• “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
  (See online at https://doi.org/10.1109/TVCG.2008.128)
• “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
  (See online at https://doi.org/10.1145/1356058.1356064)
• “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
  (See online at https://doi.org/10.1007/978-3-642-02930-1_20)
• “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
  (See online at https://doi.org/10.1145/1613858.1613876)
• “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
  (See online at https://doi.org/10.1007/978-3-642-15986-2_54)
• “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
  (See online at https://doi.org/10.1145/1871437.1871577)
• “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
  (See online at https://doi.org/10.1145/1830483.1830748)
• “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
  (See online at https://doi.org/10.1145/2461217.2461230)
• “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
  (See online at https://doi.org/10.1109/ACSD.2011.21)
• “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
  (See online at https://doi.org/10.1145/2037373.2037383)
• “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
  (See online at https://doi.org/10.1145/1963192.1963296)
• “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
  (See online at https://doi.org/10.1109/CVPRW.2012.6239347)
• “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
  (See online at https://doi.org/10.1007/978-3-642-32717-9_8)
• “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
  (See online at https://doi.org/10.1117/12.907612)
• “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
  (See online at https://doi.org/10.1145/2317956.2318004)
• “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
  (See online at https://doi.org/10.5244/C.26.9)
• “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
  (See online at https://doi.org/10.1109/CCNC.2012.6181058)
• “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
  (See online at https://doi.org/10.1145/2330163.2330345)
• “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
  (See online at https://doi.org/10.1007/978-3-642-40450-4_30)
• “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
  (See online at https://doi.org/10.1145/2462356.2462392)
• “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
  (See online at https://doi.org/10.1145/2488388.2488425)
• “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
  (See online at https://doi.org/10.1007/978-3-642-39206-1_30)
• “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
  (See online at https://doi.org/10.1109/SIES.2013.6601470)
• “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
  (See online at https://doi.org/10.1145/2541831.2541851)
• “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
  (See online at https://doi.org/10.1145/2505515.2505677)
• “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
  (See online at https://doi.org/10.1109/ECRTS.2013.18)
• “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
  (See online at https://doi.org/10.5244/C.27.50)
• “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
  (See online at https://doi.org/10.1145/2659787.2659825)
• “Identifying transcription factor complexes and their roles”. In: Bioinformatics 30.17 (2014), pp. 415–421
  Thorsten Will and Volkhard Helms
  (See online at https://doi.org/10.1093/bioinformatics/btu448)
• “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
  (See online at https://doi.org/10.1145/2556288.2557066)
• “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
  (See online at https://doi.org/10.2312/vmv.20141272)
• “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
  (See online at https://doi.org/10.1145/2642918.2647413)
• “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
  (See online at https://doi.org/10.1111/cgf.12418)
• “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
  (See online at https://doi.org/10.1117/12.2076754)
• “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
  (See online at https://doi.org/10.1007/978-3-319-40229-1_4)
• “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
  (See online at https://doi.org/10.1145/2702123.2702309)
• “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
  (See online at https://doi.org/10.1007/978-3-662-47672-7_31)
• “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
  (See online at https://doi.org/10.1145/2807442.2807494)
• “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
  (See online at https://doi.org/10.1145/2702123.2702391)
• “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
  (See online at https://doi.org/10.1145/2814204.2814208)
• “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
  (See online at https://doi.org/10.1007/978-3-319-24947-6_17)
• “The Uncracked Pieces in Database Cracking”. In: Proc. VLDB Endow. 7.2 (2013), pp. 97–108
  Felix Martin Schuhknecht, Alekh Jindal, and Jens Dittrich
  (See online at https://doi.org/10.14778/2732228.2732229)
• “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
  (See online at https://doi.org/10.1145/2804408.2804409)
• “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
  (See online at https://doi.org/10.1109/PCS.2016.7906362)
• “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
  (See online at https://doi.org/10.1007/s00778-015-0397-y)
• “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
  (See online at https://doi.org/10.1007/978-3-319-46227-1_36)
• “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
  (See online at https://doi.org/10.1109/LCN.2016.11)
• “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
  (See online at https://doi.org/10.4230/LIPIcs.IPEC.2016.9)
• “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
  (See online at https://doi.org/10.1145/2968478.2968496)
• “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
  (See online at https://doi.org/10.1007/978-3-319-45886-1_8)
• “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
  (See online at https://doi.org/10.1145/2957265.2962657)
• “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
  (See online at https://doi.org/10.20380/GI2016.02)
• “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
  (See online at https://doi.org/10.1109/CVPR.2016.350)
• “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
  (See online at https://doi.org/10.4230/LIPIcs.ESA.2017.63)
• “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
  (See online at https://doi.org/10.1145/3126594.3126614)
• “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
  (See online at https://doi.org/10.1145/3098279.3098542)
• “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
  (See online at https://doi.org/10.1145/3130971)
• “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
  (See online at https://doi.org/10.1109/BMSB.2017.7986144)
• “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
  (See online at https://doi.org/10.1145/3084822.3084846)
• “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
  (See online at https://doi.org/10.1111/cgf.13219)
• “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
  (See online at https://doi.org/10.1007/978-3-319-69483-2_2)
• “Robust and compositional verification of object capability patterns”. In: PACMPL 1.OOPSLA (2017), 89:1–89:26
  David Swasey, Deepak Garg, and Derek Dreyer
  (See online at https://doi.org/10.1145/3133913)
• “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
  (See online at https://doi.org/10.4230/LIPIcs.ECOOP.2017.17)
• “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
  (See online at https://doi.org/10.15439/2017F16)
• “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
  (See online at https://doi.org/10.1109/TVCG.2017.2657058)
• “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
  (See online at https://doi.org/10.4230/LIPIcs.ECRTS.2017.26)
• “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
  (See online at https://doi.org/10.4230/LIPIcs.IPEC.2018.24)
• “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
  (See online at https://doi.org/10.1109/RTSS.2018.00060)
• “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
  (See online at https://doi.org/10.1109/ICDM.2018.00047)
• “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
  (See online at https://doi.org/10.1145/3204493.3204536)
• “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
  (See online at https://doi.org/10.1145/3275116.3275135)
• “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
  (See online at https://doi.org/10.1145/3279778.3279799)
• “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
  (See online at https://doi.org/10.1145/3229434.3229439)
• “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
  (See online at https://doi.org/10.1145/3178876.3186000)
• “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
  (See online at https://doi.org/10.1007/978-3-319-74947-1_2)
• “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
  (See online at https://doi.org/10.1109/3DV.2018.00062)
• “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
  (See online at https://doi.org/10.1145/3267782.3274691)
• “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
  (See online at https://doi.org/10.1007/978-3-319-94111-0_6)
• “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
  (See online at https://doi.org/10.1109/CSF.2018.00024)
• “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
  (See online at https://doi.org/10.1007/978-3-030-30281-8_18)
• “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
  (See online at https://doi.org/10.1145/3290605.3300479)
• “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
  (See online at https://doi.org/10.1145/3291649)
• “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
  (See online at https://doi.org/10.4230/LIPIcs.ESA.2019.25)
• “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
  (See online at https://doi.org/10.1145/3314111.3319915)
• “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
  (See online at https://doi.org/10.1007/978-3-030-29436-6_7)
• “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
  (See online at https://doi.org/10.1145/3332165.3347865)