Voronkov, A.; Weidenbach, C. (Eds.): Programming Logics. Springer, Berlin (2013), 445 pp.

Afshani, P.; Agrawal, M.; Doerr, B.; Doerr, C.; Larsen, K. G.; Mehlhorn, K.: The Query Complexity of Finding a Hidden Permutation. In: Space-Efficient Data Structures, Streams, and Algorithms, pp. 1 - 11 (Eds. Brodnik, A.; López-Ortiz, A.; Raman, V.; Viola, A.). Springer, Berlin (2013)

Ebert, S.; Schiele, B.: Where Next in Object Recognition and how much Supervision Do We Need? In: Advanced Topics in Computer Vision, pp. 35 - 64 (Eds. Farinella, G. M.; Battiato, S.; Cipolla, R.). Springer, London (2013)

Errami, H.; Eiswirth, M.; Grigoriev, D.; Seiler, W. M.; Sturm, T.; Weber, A.: Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. In: Computer Algebra in Scientific Computing, pp. 88 - 99 (Eds. Gerdt, V. P.; Koepf, W.; Mayr, E. W.; Vorozhtsov, E. V.). Springer, Berlin (2013)

Helten, T.; Baak, A.; Müller, M.; Theobalt, C.: Full-body Human Motion Capture from Monocular Depth Images. In: Time-of-Flight and Depth Imaging, pp. 188 - 206 (Eds. Grzegorzek, M.; Theobalt, C.; Koch, R.; Kolb, A.). Springer, Berlin (2013)

Hillenbrand, T.; Piskac, R.; Waldmann, U.; Weidenbach, C.: From Search to Computation: Redundancy Criteria and Simplification at Work. In: Programming Logics, pp. 169 - 193 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Hillenbrand, T.; Weidenbach, C.: Superposition for Bounded Domains. In: Automated Reasoning and Mathematics, pp. 68 - 100 (Eds. Bonacina, M. P.; Stickel, M.). Springer, Berlin (2013)

Janoch, A.; Karayev, S.; Jia, Y.; Barron, J. T.; Fritz, M.; Saenko, K.; Darrell, T.: A Category-level 3D Object Dataset: Putting the Kinect to Work. In: Consumer Depth Cameras for Computer Vision, pp. 141 - 165 (Eds. Fossati, A.; Gall, J.; Grabner, H.; Ren, X.; Konolige, K.). Springer, London (2013)

Kapur, D.; Nieuwenhuis, R.; Voronkov, A.; Weidenbach, C.; Wilhelm, R.: Harald Ganzinger's Legacy: Contributions to Logics and Programming. In: Programming Logics, pp. 1 - 18 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Kapur, D.; Zhang, Z.; Horbach, M.; Zhao, H.; Lu, Q.; Nguyen, T.: Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. In: Automated Reasoning and Mathematics, pp. 189 - 228 (Eds. Bonacina, M. P.; Stickel, M. E.). Springer, Berlin (2013)

Lenzen, F.; Kim, K. I.; Schäfer, H.; Nair, R.; Meister, S.; Becker, F.; Garbe, C. S.; Theobalt, C.: Denoising Strategies for Time-of-Flight Data. In: Time-of-Flight and Depth Imaging, pp. 22 - 45 (Eds. Grzegorzek, M.; Theobalt, C.; Koch, R.; Kolb, A.). Springer, Berlin (2013)

Roggen, D.; Tröster, G.; Bulling, A.: Signal Processing Technologies for Activity-aware Smart Textiles. In: Multidisciplinary Know-How for Smart-Textiles Developers, 12, pp. 329 - 365 (Ed. Kirstein, T.). Woodhead Publishing, Philadelphia, PA (2013)

Sofronie-Stokkermans, V.: On Combinations of Local Theory Extensions. In: Programming Logics, pp. 392 - 413 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Sundstedt, V.; Bernhard, M.; Stavrakis, E.; Reinhard, E.; Wimmer, M.: Visual Attention and Gaze Behavior in Games: An Object-based Approach. In: Game Analytics, pp. 543 - 583 (Eds. El-Nasr, . S.; Drachen, A.; Canossa, A.). Springer, New York, NY (2013)

Doerr, B.; Hansen, N.; Shapiro, J. L.; Whitley, L. D. (Eds.): Theory of Evolutionary Algorithms (Dagstuhl Reports, 3). Dagstuhl Seminar 13271 “Theory of Evolutionary Algorithms”, Wadern, Germany, June 30, 2013 - July 05, 2013. Schloss Dagstuhl, Wadern (2013)

Cheong, O.; Mehlhorn, K.; Teillaud, M. (Eds.): Computational Geometry (Dagstuhl Reports, 3). Dagstuhl Seminar 13101 "Computational Geometry", Wadern, Germany, March 03, 2013 - March 08, 2013. Schloss Dagstuhl, Wadern (2013)

Doerr, B.; Elsässer, R.; Fraigniaud, P. (Eds.): Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Reports, 3). Dagstuhl Seminar 13042 “Epidemic Algorithms and Processes: From Theory to Applications”, Wadern, Germany, January 20, 2013 - January 25, 2013. Schloss Dagstuhl, Wadern (2013)

Mehlhorn, K.; Vardi, M. Y.; Herbstritt, M. (Eds.): Publication Culture in Computing Research (Dagstuhl Reports, 2). Dagstuhl Perspectives Workshop 12452, Wadern, Germany, November 06, 2012 - November 09, 2012. (2013)

Akoglu, L.; Müller, E.; Vreeken, J. (Eds.): Proceedings of the ACM SIGKDD Workshop on Outlier Detection and Description. ODD 2013, Chicago, IL, August 11, 2013 - August 14, 2013. ACM, New York, NY (2013), 1-57 p.

Bulling, A.; Bednarik, R. (Eds.): 3rd International Workshop on Pervasive Eye Tracking and Mobile Eye-based Interaction. PETMEI 2013, Lund, Sweden, August 13, 2013. petmei.org, [s.l.] (2013), 71 pp.