Automatic Lecture Video Indexing Using Video OCR Technology. - Haojin Yang; Maria Siebert; Patrick Lühne; Harald Sack; Christoph Meinel (ISM, 2011)

Lecture Video Indexing and Analysis Using Video OCR Technology. - Haojin Yang; Maria Siebert; Patrick Lühne; Harald Sack; Christoph Meinel (SITIS, 2011)

GravitySpace: tracking users and their poses in a smart room using a pressure-sensing floor. - Alan Bränzel; Christian Holz 001; Daniel Hoffmann; Dominik Schmidt; Marius Knaust; Patrick Lühne; René Meusel; Stephan Richter 003; Patrick Baudisch (CHI Extended Abstracts, 2013)

Imaginary reality gaming: ball games without a ball. - Patrick Baudisch; Henning Pohl; Stefanie Reinicke; Emilia Wittmers; Patrick Lühne; Marius Knaust; Sven Köhler 004; Patrick Schmidt; Christian Holz 001 (UIST, 2013)

Imaginary reality basketball: a ball game without a ball. - Patrick Baudisch; Henning Pohl; Stefanie Reinicke; Emilia Wittmers; Patrick Lühne; Marius Knaust; Sven Köhler 004; Patrick Schmidt; Christian Holz 001 (CHI Extended Abstracts, 2014)

Haptic turk: a motion platform based on people. - Lung-Pan Cheng; Patrick Lühne; Pedro Lopes 001; Christoph Sterz; Patrick Baudisch (CHI Extended Abstracts, 2014)

Hardware-Accelerated Attribute Mapping for Interactive Visualization of Complex 3D Trajectories. - Stefan Buschmann; Matthias Trapp 001; Patrick Lühne; Jürgen Döllner (IVAPP, 2014)

Answer Set Solving with Generalized Learned Constraints. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Javier Romero 003; Torsten Schaub (ICLP (Technical Communications), 2016)

anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (CoRR, 2018)

The Potsdam Answer Set Solving Collection 5.0. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn; Philipp Wanko (Künstliche Intell., 2018)

Verifying Strong Equivalence of Programs in the Input Language of gringo. - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (LPNMR, 2019)

Discovering and Proving Invariants in Answer Set Programming and Planning. - Patrick Lühne (CoRR, 2019)

plasp 3: Towards Effective ASP Planning. - Yannis Dimopoulos; Martin Gebser; Patrick Lühne; Javier Romero 003; Torsten Schaub (Theory Pract. Log. Program., 2019)

Towards Verifying Logic Programs in the Input Language of clingo. - Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (Fields of Logic and Computation III, 2020)

Verifying Tight Logic Programs with anthem and vampire. - Jorge Fandinno; Vladimir Lifschitz; Patrick Lühne; Torsten Schaub (Theory Pract. Log. Program., 2020)