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
  Kaleigh Smith, Pierre-Edouard Landes, Joëlle Thollot, and Karol Myszkowski
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter 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
  (Siehe online unter https://doi.org/10.1145/3332165.3347865)