Fietzke, A. L.; Weidenbach, C.: Superposition as a Decision Procedure for Timed Automata. Mathematics in Computer Science 6 (4), S. 409 - 425 (2013)

Amor, M.; Doallo, R.; Fraguela, B. B.; Herrero, J. R.; Quintana-Orti, E. S.; Strzodka, R.: Graphics Processing Unit Computing and Exploitation of Hardware Accelerators. Concurrency and Computation: Practice and Experience 25 (8), S. 1104 - 1106 (2013)

Beggel, B.; Münk, C.; Däumer, M.; Hauck, K.; Häussinger, D.; Lengauer, T.; Ehrhardt, A.: Full Genome Ultra-deep Pyrosequencing Associates G-to-A-hypermutation of the Hepatitis B Virus Genome with the Natural Progression of Hepatitis B. Journal of Viral Hepatitis 20 (12), S. 882 - 889 (2013)

Bellot, P.; Doucet, A.; Geva, S.; Gurajada, S.; Kamps, J.; Kazai, G.; Koolen, M.; Mishra, A.; Moriceau, V.; Mothe, J. et al.; Preminger, M.; SanJuan, E.; Schenkel, R.; Tannier, X.; Theobald, M.; Trappett, M.; Trotman, A.; Sanderson, M.; Scholer, F.; Wang, Q.: Report on INEX 2013. SIGIR Forum 47 (2), S. 21 - 32 (2013)

Berberich, E.; Emeliyanenko, P.; Kobel, A.; Sagraloff, M.: Exact Symbolic-numeric Computation of Planar Algebraic Curves. Theoretical Computer Science 491, S. 1 - 32 (2013)

Bjørner, N.; Sofronie-Stokkermans, V.: Preface: Special Issue of Selected Extended Papers of CADE-23. Journal of Automated Reasoning 51 (1), S. 1 - 2 (2013)

Boissonnat, J.-D.; Dyer, R.; Ghosh, A.: The Stability of Delaunay Triangulations. International Journal of Computational Geometry and Applications 23 (4-5), S. 303 - 334 (2013)

Bringmann, K.; Friedrich, T.: Approximation Quality of the Hypervolume Indicator. Artificial Intelligence 195, S. 265 - 290 (2013)

Bringmann, K.; Friedrich, T.; Igel, C.; Voß, T.: Speeding Up Many-objective Optimization by Monte Carlo Approximations. Artificial Intelligence 204, S. 22 - 29 (2013)

Burghard, O.; Berner, A.; Wand, M.; Mitra, N. J.; Seidel, H.-P.; Klein, R.: Compact Part-based Shape Spaces for Dense Correspondences. CoRR abs/1311.7535, S. 1 - 23 (2013)

Čadík, M.; Herzog, R.; Mantiuk, R.; Mantiuk, R.; Myszkowski, K.; Seidel, H.-P.: Learning to Predict Localized Distortions in Rendered Images. Computer Graphics Forum 32 (7), S. 401 - 410 (2013)

Case, J.; Kötzing, T.: Memory-limited Non-U-shaped Learning With Solved Open Problems. Theoretical Computer Science 473, S. 100 - 123 (2013)

Chalermsook, P.; Kintali, S.; Lipton, R. J.; Nanongkai, D.: Graph Pricing Problem on Bounded Treewidth, Bounded Genus and k-Partite Graphs. Chicago Journal of Theoretical Computer Science 2013, 13, S. 1 - 19 (2013)

Chatzis, N.; Smaragdakis, G.; Feldmann, A.; Willinger, W.: There is More to IXPs than Meets the Eye. Computer Communication Review 43 (5), S. 19 - 28 (2013)

Chen, C.; Kerber, M.: An Output-sensitive Algorithm for Persistent Homology. Computational Geometry: Theory and Applications 46 (4), S. 435 - 447 (2013)

Chen, X.; Epstein, L.; Kleiman, E.; van Stee, R.: Maximizing the Minimum Load: The Cost of Selfishness. Theoretical Computer Science 482, S. 9 - 19 (2013)

Christodoulou, G.; Kovacs, A.; van Stee, R.: A Truthful Constant Approximation for Maximizing the Minimum Load on Related Machines. Theoretical Computer Science 489-490, S. 88 - 98 (2013)

Cui, Y.; Schuon, S.; Thrun, S.; Stricker, D.; Theobalt, C.: Algorithms for 3D Shape Scanning with a Depth Camera. IEEE Transaction on Pattern Analysis and Machine Intelligence 35 (5), S. 1039 - 1050 (2013)

Čulo, O.; de Melo, G.: Source-Path-Goal: Investigating the Cross-Linguistic Potential of Frame-Semantic Text Analysis. Information Technology 54 (3), S. 147 - 152 (2013)

Czumaj, A.; Elsässer, R.; Gasieniec, L.; Sauerwald, T.; Wang, X.: Fast Message Dissemination in Random Geometric Networks. Distributed Computing 26 (1), S. 1 - 24 (2013)