Haptic Turk: A Motion Platform Based on People LP Cheng, P Lühne, P Lopes, C Sterz, P Baudisch Proceedings of the 32nd annual ACM conference on Human factors in computing …, 2014 | 126 | 2014 |
GravitySpace: Tracking Users and Their Poses in a Smart Room Using a Pressure-Sensing Floor A Bränzel, C Holz, D Hoffmann, D Schmidt, M Knaust, P Lühne, R Meusel, ... Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2013 | 113 | 2013 |
Lecture Video Indexing and Analysis Using Video OCR Technology H Yang, M Siebert, P Lühne, H Sack, C Meinel Signal-Image Technology and Internet-Based Systems (SITIS), 2011 Seventh …, 2011 | 66 | 2011 |
Automatic Lecture Video Indexing Using Video OCR Technology H Yang, M Siebert, P Lühne, H Sack, C Meinel Multimedia (ISM), 2011 IEEE International Symposium on, 111-116, 2011 | 61 | 2011 |
Imaginary Reality Gaming: Ball Games Without a Ball P Baudisch, H Pohl, S Reinicke, E Wittmers, P Lühne, M Knaust, S Köhler, ... Proceedings of the 26th annual ACM symposium on User interface software and …, 2013 | 56 | 2013 |
The potsdam answer set solving collection 5.0 M Gebser, R Kaminski, B Kaufmann, P Lühne, P Obermeier, M Ostrowski, ... KI-Künstliche Intelligenz 32, 181-182, 2018 | 25 | 2018 |
Verifying tight logic programs with Anthem and Vampire J Fandinno, V Lifschitz, P Lühne, T Schaub Theory and Practice of Logic Programming 20 (5), 735-750, 2020 | 23 | 2020 |
plasp 3: Towards effective ASP planning Y Dimopoulos, M Gebser, P Lühne, J Romero, T Schaub Theory and Practice of Logic Programming 19 (3), 477-504, 2019 | 21 | 2019 |
Verifying Strong Equivalence of Programs in the Input Language of gringo V Lifschitz, P Lühne, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 18 | 2019 |
Hardware-Accelerated Attribute Mapping for Interactive Visualization of Complex 3D Trajectories S Buschmann, M Trapp, P Lühne, J Döllner 5th International Conference on Information Visualization Theory and …, 2014 | 15 | 2014 |
plasp 3: Towards Effective ASP Planning Y Dimopoulos, M Gebser, P Lühne, J Romero, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017 | 13 | 2017 |
Towards Verifying Logic Programs in the Input Language of clingo V Lifschitz, P Lühne, T Schaub Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on …, 2020 | 8 | 2020 |
anthem: Transforming gringo programs into first-order theories (preliminary report) V Lifschitz, P Lühne, T Schaub arXiv preprint arXiv:1810.00453, 2018 | 8 | 2018 |
Imaginary Reality Basketball: A Ball Game Without a Ball P Baudisch, H Pohl, S Reinicke, E Wittmers, P Lühne, M Knaust, S Köhler, ... CHI'14 Extended Abstracts on Human Factors in Computing Systems, 575-578, 2014 | 6 | 2014 |
Answer Set Solving with Generalized Learned Constraints M Gebser, R Kaminski, B Kaufmann, P Lühne, J Romero, T Schaub Technical Communications of the 32nd International Conference on Logic …, 2016 | 5 | 2016 |
Discovering and Proving Invariants in Answer Set Programming and Planning P Lühne | 1* | |
anthem: Transforming gringo Programs into First-Order Theories V Lifschitz, P Lühne, T Schaub | | |