Alt, F.; Bulling, A.; Gravanis, G.; Buschek, D.: GravitySpot: Guiding Users in Front of Public Displays Using On-Screen Visual Cues. In: UIST'15, S. 47 - 56. 28th Annual ACM Symposium on User Interface Software and Technology, Charlotte, NC, USA, 08. November 2015 - 11. November 2015. ACM, New York, NY (2015)

Alt, F.; Schneegass, S.; Shirazi, A.; Hassib, M.; Bulling, A.: Graphical Passwords in the Wild: Understanding How Users Choose Pictures and Passwords in Image-based Authentication Schemes. In: MobileHCI'15, S. 316 - 322. 17th International Conference on Human-Computer Interaction with Mobile Devices and Services, Copenhagen, Denmark, 24. August 2015 - 27. August 2015. ACM, New York, NY (2015)

Althaus, E.; Beber, B.; Kupilas, J.; Scholl, C.: Improving Interpolants for Linear Arithmetic. In: Automated Technology for Verification and Analysis, S. 48 - 63 (Hg. Finkbeiner, B.; Pu, G.; Zhang, L.). 13th International Symposium on Automated Technology for Verification and Analysis, Shanghai, China, 12. Oktober 2015 - 15. Oktober 2015. Springer, Berlin (2015)

Anagnostopoulos, A.; Becchetti, L.; Fazzone, A.; Mele, I.; Riondato, M.: The Importance of Being Expert: Efficient Max-Finding in Crowdsourcing. In: SIGMOD'15, S. 983 - 998. ACM SIGMOD International Conference on Management of Data , Melbourne, Australia, 31. Mai 2015 - 04. Juni 2015. ACM, New York, NY (2015)

Antoniadis, A.; Barcelo, N.; Nugent, M.; Pruhs, K.; Scquizzato, M.: A o(n)-Competitive Deterministic Algorithm for Online Matching on a Line. In: Approximation and Online Algorithms, S. 11 - 22. 12th Workshop on Approximation and Online Algorithms, Wrocław, Poland, 11. September 2014 - 12. September 2014. Springer, Berlin (2015)

Antoniadis, A.; Huang, C.-C.; Ott, S.: A Fully Polynomial-Time Approximation Scheme for Speed Scaling with Sleep State. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 1102 - 1113 (Hg. Indyk, P.). Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, USA, 04. Januar 2015 - 06. Januar 2015. SIAM, Philadelphia, PA (2015)

Ao, H.; Zhang, Y.; Jarabo, A.; Masia, B.; Liu, Y.; Gutierrez, D.; Dai, Q.: Light Field Editing Based on Reparameterization. In: Advances in Multimedia Information Processing -- PCM 2015, S. 601 - 610 (Hg. Ho, Y.-S.; Sang, J.; Ro, Y. M.; Kim, J.; Wu, F.). 16th Pacific-Rim Conference on Multimedia, Gwangju, South Korea, 16. September 2015 - 18. September 2015. Springer, Berlin (2015)

Azar, Y.; Hoefer, M.; Maor, I.; Reiffenhäuser, R.; Vöcking, B.: Truthful Mechanism Design via Correlated Tree Rounding. In: EC’15, S. 415 - 432. Sixteenth ACM Conference on Economics and Computation, Portland, OR, USA, 15. Juni 2015 - 19. Juni 2015. ACM, New York, NY (2015)

Babenko, M.; Gawrychowski, P.; Kociumaka, T.; Starikovskaya, T.: Wavelet Trees Meet Suffix Trees. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 572 - 591 (Hg. Indyk, P.). Twenty-Sixth ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, USA, 04. Januar 2015 - 06. Januar 2015. SIAM, Philadelphia, PA (2015)

Bachynskyi, M.: Physical Ergonomics of Tablet Interaction while Sitting. In: Abstracts of the 39th Annual Meeting of the American Society of Biomechanics, S. 232 - 233. 39th Annual Meeting of the American Society of Biomechanics, Columbus, OH, USA, 05. August 2015 - 08. August 2015. (2015)

Bachynskyi, M.; Palmas, G.; Oulasvirta, A.; Steimle, J.; Weinkauf, T.: Performance and Ergonomics of Touch Surfaces: A Comparative Study Using Biomechanical Simulation. In: CHI 2015, S. 1817 - 1826. 33rd ACM SIGCHI Conference on Human Factors in Computing Systems, Seoul, Korea, 18. April 2015 - 23. April 2015. ACM, New York, NY (2015)

Batra, J.; Garg, N.; Kumar, A.; Mömke, T.; Wiese, A.: New Approximation Schemes for Unsplittable Flow on a Path. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 47 - 58 (Hg. Indyk, P.). Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, USA, 04. Januar 2015 - 06. Januar 2015. SIAM, Philadelphia, PA (2015)

Bauer, B.; Moran, S.; Yehudayoff, A.: Internal Compression of Protocols to Entropy. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, S. 481 - 496 (Hg. Garg, N.; Jansen, K.; Rau, A.; Rolim, J. D. P.). 18th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems / 19th International Workshop on Randomization and Computation, Princeton, NJ, USA, 24. August 2015 - 26. August 2015. Schloss Dagstuhl, Wadern (2015)

Baumgartner, P.; Bax, J.; Waldmann, U.: Beagle -- A Hierarchic Superposition Theorem Prover. In: Automated Deduction -- CADE-25, S. 367 - 377 (Hg. Felty, A. P.; Middeldorp, A.). 25th International Conference on Automated Deduction, Berlin, Germany, 01. August 2015 - 07. August 2015. Springer, Berlin (2015)

Bazoobandi, H. R.; de Rooij, S.; Urbani, J.; ten Teije, A.; van Harmelen, F.; Bal, H.: A Compact In-Memory Dictionary for RDF Data. In: The Semantic Web, S. 205 - 220 (Hg. Gandon, F.; Sabou, M.; Sack, H.; d'Amato, C.; Cudré-Mauroux, P. et al.). 12th European Semantic Web Conference, Portorož, Slovenia, 31. Mai 2015 - 04. Juni 2015. Springer, Berlin (2015)

Becchetti, L.; Clementi, A.; Natale, E.; Pasquale, F.; Posta, G.: Self-Stabilizing Repeated Balls-into-Bins. In: Proceedings of the 27th ACM Symposium on Parallelism in Algorithms and Architectures, S. 332 - 339. 27th ACM Symposium on Parallelism in Algorithms and Architectures, Portland, OR, USA, 13. Juni 2015 - 15. Juni 2015. ACM, New York, NY (2015)

Becchetti, L.; Clementi, A.; Natale, E.; Pasquale, F.; Silvestri, R.: Plurality Consensus in the Gossip Model. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 371 - 390 (Hg. Indyk, P.). Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, USA, 04. Januar 2015 - 06. Januar 2015. SIAM, Philadelphia, PA (2015)

Beedkar, K.; Gemulla, R.: LASH: Large-scale Sequence Mining with Hierarchies. In: SIGMOD'15, S. 491 - 503. ACM SIGMOD International Conference on Management of Data, Melbourne, Australia, 31. Mai 2015 - 04. Juni 2015. ACM, New York, NY (2015)

Bei, X.; Chen, N.; Zhang, S.: Solving Linear Programming with Constraints Unknown. In: Automata, Languages, and Programming, S. 129 - 142 (Hg. Halldorsson, M.; Iwama, K.; Kobayashi, N.; Speckmann, B.). 42nd International Colloquium on Automata, Languages, and Programming, Kyoto, Japan, 06. Juli 2015 - 10. Juli 2015. Springer, Berlin (2015)

Belazzougui, D.; Gagie, T.; Gawrychowski, P.; Kärkäinnen, J.; Ordóñez, A.; Puglisi, S. J.; Tabei, Y.: Queries on LZ-Bounded Encodings. In: DCC 2015, S. 83 - 92. Data Compression Conference, Snowbird, UT, USA , 07. April 2015 - 09. April 2015. IEEE, Piscataway, NJ (2015)