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

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, S. 1 - 11 (Hg. 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, S. 35 - 64 (Hg. 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, S. 88 - 99 (Hg. 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, S. 188 - 206 (Hg. 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, S. 169 - 193 (Hg. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Hillenbrand, T.; Weidenbach, C.: Superposition for Bounded Domains. In: Automated Reasoning and Mathematics, S. 68 - 100 (Hg. 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, S. 141 - 165 (Hg. 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, S. 1 - 18 (Hg. 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, S. 189 - 228 (Hg. 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, S. 22 - 45 (Hg. 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, S. 329 - 365 (Hg. Kirstein, T.). Woodhead Publishing, Philadelphia, PA (2013)

Sofronie-Stokkermans, V.: On Combinations of Local Theory Extensions. In: Programming Logics, S. 392 - 413 (Hg. 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, S. 543 - 583 (Hg. El-Nasr, . S.; Drachen, A.; Canossa, A.). Springer, New York, NY (2013)

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

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

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

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

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

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