GSC 209:  Saarbrücker Graduiertenschule für Informatik

• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 2007 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 39071815

• Erstellungsjahr: 2020

Zusammenfassung der Projektergebnisse

Die Saarbrücker Graduiertenschule der Informatk umfasst die gesamte Doktorandenausbildung in der Informatik in Saarbrücken. Mehr als 350 Doktorandinnen und Doktoranden arbeiten zurzeit bei etwa 80 etablierten Informatikwissenschaftlerinnen und -wissenschaftlern zusammen mit weiteren 120 Nachwuchswissenschaftlerinnen und -wissenschaftlern, verteilt auf mehrere große, miteinander verknüpfte und eng kooperierende Forschungseinrichtungen, die alle direkt nebeneinander auf dem Saarbrücker Universitätscampus beheimatet sind. Unser ursprüngliches, sehr ehrgeiziges Ziel war eine wissenschaftliche Ausbildung von solcher Qualität und Attraktivität, dass unsere Graduiertenschule konkurrenzfähig mit den zehn weltbesten wissenschaftlichen Ausbildungsstätten in der Informatik wäre. Wir haben ein Promotionsprogramm eingerichtet, das viele Elemente der entsprechenden Programme an nordamerikanischen Spitzenuniversitäten enthält: Eingang bereits mit Bachelorabschluss nach einem kompetitivem, zentralen Auswahlverfahren; Vorbereitungsphase mit Lehrveranstaltungen gefolgt von Dissertationsphase; regelmäßige Fortschrittskontrolle; Finanzierungsgarantie. Alle unsere Doktorandinnen und Doktoranden absolvieren dieses Programm. Je nach akademischer Vorbereitung und Qualifikation kann ein Teil oder sogar die gesamte Vorbereitungsphase erlassen werden. Allerdings muss eine Qualifizierungsprüfung bestanden werden, um die Dissertationsphase beginnen zu dürfen. Die Arbeitssprache ist Englisch. Mit unserer Graduiertenschule haben wir den traditionellen deutschen Ansatz verlassen, Doktorandenausbildung mit allem, was dazugehört (Anwerbung, wissenschaftliche Ausbildung und Arbeit, Beratung, Qualitätskontrolle, Vernetzung), als Aufgabe des einzelnen Professors zu sehen. Unser neuer Ansatz betrachtet Doktorandenausbildung als Gemeinschaftsaufgabe, bei der einzelne Aspekte jeweils in einer besonderen Kombination von Einzel- und Gemeinschaftsverantwortung wahrgenommen werden. Diese fundamentale Änderung im Ansatz hat sich gelohnt, auch wenn sie nicht immer leicht fällt. Wir bleiben vom neuen Ansatz überzeugt. Er hat viele talentierte Studierende nach Saarbrücken gebracht und sie genau die von ihnen gesuchte wissenschaftliche Ausbildung finden lassen. Während der Förderlaufzeit der Exzellenzinitiative haben immerhin 510 Promovenden ihre Dissertation eingereicht. Die Graduiertenschule ist nun fester Bestandteil der Fakultät für Mathematik und Informatik an der Universität. Wir werden unseren Ansatz weiterentwickeln und verbessern und die Erfahrungen der letzten Jahre und die Herausforderungen der Zukunft berücksichtigen. Angesichts der herausragenden Qualität der Forschung und der groSSen Konzentration an Talent in allen beteiligten Instituten der Saarbrücker Informatik verfolgen wir weiterhin mehr als zuversichtlich unser ursprüngliches gemeinsames Ziel eines Doktorandenprogramms, das in der internationalen Spitze konkurrieren kann.

Projektbezogene Publikationen (Auswahl)

• “Apparent Greyscale: A Simple and Fast Conversion to Perceptually Accurate Images and Video”. In: Comput. Graph. Forum 27.2 (2008), pp. 193–200
  Smith, Kaleigh; Landes, Pierre‐Edouard; Thollot, Joëlle & Myszkowski, Karol
  
• “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
  Doerr, Benjamin; Happ, Edda & Klein, Christian
  
• “Estimating Crossing Fibers: A Tensor Decomposition Approach”. In: IEEE Trans. Vis. Comput. Graph. 14.6 (2008), pp. 1635–1642
  Schultz, T. & Seidel, H.-P.
  
• “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
  Boissinot, Benoit; Hack, Sebastian; Grund, Daniel; Dupont De Dine Hin, Benoît & Rastello, Fabri E
  
• “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.
  Kuhtz, Lars & Finkbeiner, Bernd
  
• “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
  Schöning, Johannes; Krüger, Antonio; Cheverst, Keith; Rohs, Michael; Löchtefeld, Markus & Taher, Faisal
  
• “From Box Filtering to Fast Explicit Diffusion”. In: Pattern Recognition - 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings. 2010, pp. 533–542
  Grewenig, Sven; Weickert, Joachim & Bruhn, Andrés
  
• “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
  de Melo, Gerard & Weikum, Gerhard
  
• “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
  Doerr, Benjamin; Johannsen, Daniel & Winzen, Carola
  
• “Apparent resolution enhancement for animations”. In: Spring Conference on Computer Graphics, SCCG ’11, Vininé, Slovakia, April 28-30, 2011. 2011, pp. 57–64
  Templin, Krzysztof; Didyk, Piotr; Ritschel, Tobias; Eisemann, Elmar; Myszkowski, Karol & Seidel, Hans-Peter
  
• “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
  Crouzen, Pepijn; Hahn, Ernst Moritz; Hermanns, Holger; Dhama, Abhishek; Theel, Oliver; Wimmer, Ralf; Braitling, Bettina & Becker, Bernd
  
• “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
  Böhmer, Matthias; Hecht, Brent; Schöning, Johannes; Krüger, Antonio & Bauer, Gernot
  
• “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
  Hoffart, Johannes; Suchanek, Fabian M.; Berberich, Klaus; Lewis-Kelham, Edwin; de Melo, Gerard & Weikum, Gerhard
  
• “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
  Ihrke, Ivo; Reshetouski, Ilya; Manakov, Alkhazur; Tevs, Art; Wand, Michael & Seidel, Hans-Peter
  
• “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
  Schroers, Christopher; Zimmer, Henning; Valgaerts, Levi; Bruhn, Andrés; Demetz, Oliver & Weickert, Joachim
  
• “Apparent stereo: the Cornsweet illusion can enhance perceived depth”. In: Human Vision and Electronic Imaging XVII, Burlingame, California, USA, January 22, 2012. 2012, 82910N
  Didyk, Piotr; Ritschel, Tobias; Eisemann, Elmar; Myszkowski, Karol & Seidel, Hans-Peter
  
• “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
  Wiethoff, Alexander & Gehring, Sven
  
• “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
  Tang, Siyu; Andriluka, Mykhaylo & Schiele, Bernt
  
• “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
  Gorius, Manuel; Shuai, Yongtao & Herfet, Thorsten
  
• “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
  Doerr, Benjamin & Winzen, Carola
  
• “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
  Curticapean, Radu & Künnemann, Marvin
  
• “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
  Alvarez, Victor & Seidel, Raimund
  
• “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
  Galárraga, Luis Antonio; Teflioudi, Christina; Hose, Katja & Suchanek, Fabian
  
• “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
  Curticapean, Radu
  
• “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
  Wieder, Alexander & Brandenburg, Bjorn B.
  
• “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
  Kerber, Frederic; Lessel, Pascal; Mauderer, Michael; Daiber, Florian; Oulasvirta, Antti & Krüger, Antonio
  
• “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
  Yahya, Mohamed; Berberich, Klaus; Elbassuoni, Shady & Weikum, Gerhard
  
• “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
  Gujarati, Arpan; Cerqueira, Felipe & Brandenburg, Bjorn B.
  
• “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
  Demetz, Oliver; Hafner, David & Weickert, Joachim
  
• “The Uncracked Pieces in Database Cracking”. In: Proc. VLDB Endow. 7.2 (2013), pp. 97–108
  Schuhknecht, Felix Martin; Jindal, Alekh & Dittrich, Jens
  
• “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
  Maksoud, Mohamed Abdel & Reineke, Jan
  
• “Identifying transcription factor complexes and their roles”. In: Bioinformatics 30.17 (2014), pp. 415–421
  Will, Thorsten & Helms, Volkhard
  
• “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
  Böhmer, Matthias; Lander, Christian; Gehring, Sven; Brumby, Duncan P. & Krüger, Antonio
  
• “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
  Olberding, Simon; Wessely, Michael & Steimle, Jürgen
  
• “Spectral Ray Differentials”. In: Comput. Graph. Forum 33.4 (2014), pp. 113–122
  Elek, Oskar; Bauszat, Pablo; Ritschel, Tobias; Magnor, Marcus & Seidel, Hans‐Peter
  
• “A transformationaware perceptual image metric”. In: Human Vision and Electronic Imaging XX, San Francisco, California, USA, February 9-12, 2015. 2015, p. 939408
  Kellnhofer, Petr; Ritschel, Tobias; Myszkowski, Karol & Seidel, Hans-Peter
  
• “An experimental evaluation and analysis of database cracking”. In: VLDB J. 25.1 (2016), pp. 27–52
  Schuhknecht, Felix Martin; Jindal, Alekh & Dittrich, Jens
  
• “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
  Lessel, Pascal; Altmeyer, Maximilian & Krüger, Antonio
  
• “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
  Curticapean, Radu
  
• “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
  Olberding, Simon; Soto Ortega, Sergio; Hildebrandt, Klaus & Steimle, Jürgen
  
• “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
  Weigel, Martin; Lu, Tong; Bailly, Gilles; Oulasvirta, Antti; Majidi, Carmel & Steimle, Jürgen
  
• “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
  Leißa, Roland; Boesche, Klaas; Hack, Sebastian; Membarth, Richard & Slusallek, Philipp
  
• “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
  Rohrbach, Anna; Rohrbach, Marcus & Schiele, Bernt
  
• “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
  Kellnhofer, Petr; Leimkühler, Thomas; Ritschel, Tobias; Myszkowski, Karol & Seidel, Hans-Peter
  
• “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
  Andris, Sarah; Peter, Pascal & Weickert, Joachim
  
• “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
  Blanchette, Jasmin Christian; Fleury, Mathias & Weidenbach, Christoph
  
• “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
  Karaev, Sanjar & Miettinen, Pauli
  
• “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
  Lass, Michael; Leibenger, Dominik & Sorge, Christoph
  
• “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
  Hartmanns, Arnd; Hermanns, Holger & Bungert, Michael
  
• “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
  Hafner, David; Ochs, Peter; Weickert, Joachim; Reißel, Martin & Grewenig, Sven
  
• “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
  Kerber, Frederic; Hirtz, Christoph; Gehring, Sven; Löchtefeld, Markus & Krüger, Antonio
  
• “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
  Cordts, Marius; Omran, Mohamed; Ramos, Sebastian; Rehfeld, Timo; Enzweiler, Markus; Benenson, Rodrigo; Franke, Uwe; Roth, Stefan & Schiele, Bernt
  
• “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
  Zhang, Xucong; Sugano, Yusuke & Bulling, Andreas
  
• “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
  Kerber, Frederic; Kiefer, Tobias; Löchtefeld, Markus & Krüger, Antonio
  
• “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
  Tonsen, Marc; Steil, Julian; Sugano, Yusuke & Bulling, Andreas
  
• “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
  Hariharan, Harini Priyadarshini; Lange, Tobias & Herfet, Thorsten
  
• “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
  Dunn, David; Tippets, Cary; Torell, Kent; Fuchs, Henry; Kellnhofer, Petr; Myszkowski, Karol; Didyk, Piotr; Akşit, Kaan & Luebke, David
  
• “Minimal Warping: Planning Incremental Novel-view Synthesis”. In: Comput. Graph. Forum 36.4 (2017), pp. 1–14
  Leimkühler, Thomas; Seidel, Hans‐Peter & Ritschel, Tobias
  
• “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
  Hashemi, Vahid; Turrini, Andrea; Hahn, Ernst Moritz; Hermanns, Holger & Elbassioni, Khaled
  
• “Robust and compositional verification of object capability patterns”. In: PACMPL 1.OOPSLA (2017), 89:1–89:26
  Swasey, David; Garg, Deepak & Dreyer, Derek
  
• “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
  Pohl, Daniel; Jungmann, Daniel; Taudul, Bartosz; Membarth, Richard; Hariharan, Harini; Herfet, Thorsten & Grau, Oliver
  
• “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
  Dunn, David; Tippets, Cary; Torell, Kent; Kellnhofer, Petr; Aksit, Kaan; Didyk, Piotr; Myszkowski, Karol; Luebke, David & Fuchs, Henry
  
• “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
  Hahn, Sebastian & Reineke, Jan
  
• “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
  Mandros, Panagiotis; Boley, Mario & Vreeken, Jilles
  
• “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
  Barz, Michael; Daiber, Florian; Sonntag, Daniel & Bulling, Andreas
  
• “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
  Altmeyer, Maximilian; Lessel, Pascal; Sander, Tobias & Krüger, Antonio
  
• “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
  Soliman, Mohamed; Mueller, Franziska; Hegemann, Lena; Roo, Joan Sol; Theobalt, Christian & Steimle, Jürgen
  
• “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
  Steil, Julian; Müller, Philipp; Sugano, Yusuke & Bulling, Andreas
  
• “From fine- to coarse-grained dynamic information flow control and back”. In: PACMPL 3.POPL (2019), 76:1– 76:31
  Vassena, Marco; Russo, Alejandro; Garg, Deepak; Rajani, Vineet & Stefan, Deian
  
• “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
  Ernst, Patrick; Siu, Amy & Weikum, Gerhard
  
• “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
  Butkova, Yuliya; Wimmer, Ralf & Hermanns, Holger
  
• “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
  Omran, Mohamed; Lassner, Christoph; Pons-Moll, Gerard; Gehler, Peter & Schiele, Bernt
  
• “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
  Daiber, Florian; Kosmalla, Felix; Murlowski, Christian & Krüger, Antonio
  
• “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
  Gnad, Daniel; Dubbert, Patrick; Lluch Lafuente, Alberto & Hoffmann, Jörg
  
• “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
  Rajani, Vineet & Garg, Deepak
  
• “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
  Biewer, Sebastian; D’Argenio, Pedro & Hermanns, Holger
  
• “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
  Degraen, Donald; Zenner, André & Krüger, Antonio
  
• “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
  
• “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
  Steil, Julian; Hagestedt, Inken; Huang, Michael Xuelin & Bulling, Andreas
  
• “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
  Bromberger, Martin; Fleury, Mathias; Schwarz, Simon & Weidenbach, Christoph
  
• “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
  Xu, Zheer; Wong, Pui Chung; Gong, Jun; Wu, Te-Yen; Nittala, Aditya Shekhar; Bi, Xiaojun; Steimle, Jürgen; Fu, Hongbo; Zhu, Kening & Yang, Xing-Dong