Bromberger, M.; Sturm, T.; Weidenbach, C.: Linear Integer Arithmetic Revisited. (2015), 34 S.

Teucke, A.; Weidenbach, C.: First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. (2015), 16 S.

Metzler, S.; Miettinen, P.: On Defining SPARQL with Boolean Tensor Algebra. (2015)

Alagi, G.; Weidenbach, C.: NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. (2015), 43 S.

Blanchette, J. C.; Popescu, A.; Traytel, D.: Foundational Extensible Corecursion. (2015), 12 S.

Barkatou, M. A.; Jaroschek, M.; Maddah, S. S.: Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. (2015), 31 S.

Boissonnat, J.-D.; Dyer, R.; Ghosh, A.: A Probabilistic Approach to Reducing the Algebraic Complexity of Computing Delaunay Triangulations. (2015), 24 pages S.

Censor-Hillel, K.; Kaski, P.; Korhonen, J. H.; Lenzen, C.; Paz, A.; Suomela, J.: Algebraic Methods in the Congested Clique. (2015), 30 S.

Chalermsook, P.; Goswami, M.; Kozma, L.; Mehlhorn, K.; Saranurak, T.: Self-Adjusting Binary Search Trees: What Makes Them Tick? (2015), 19 S.

Chalermsook, P.; Goswami, M.; Kozma, L.; Mehlhorn, K.; Saranurak, T.: Greedy Is an Almost Optimal Deque. (2015), 15 S.

Chalermsook, P.; Goswami, M.; Kozma, L.; Mehlhorn, K.; Saranurak, T.: Pattern-avoiding Access in Binary Search Trees. (2015), To be presented at FOCS 2015 S.

Cygan, M.; Pilipczuk, M.; Pilipczuk, M.; van Leeuwen, E. J.; Wrochna, M.: Polynomial Kernelization for Removing Induced Claws and Diamonds. (2015), 17 S.

Darwish, O.; Mehlhorn, K.: Improved Balanced Flow Computation Using Parametric Flow. (2015), 6 S.

Eisenbrand, F.; Moran, S.; Pinchasi, R.; Skutella, M.: Node-balancing by Edge-increments. (2015), 10 pages S.

Friedrichs, S.; Hemmer, M.; King, J.; Schmidt, C.: The Continuous 1.5D Terrain Guarding Problem: Discretization, Optimal Solutions, and PTAS. (2015), 31 S.

Friedrichs, S.; Lenzen, C.: Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford. (2015), 36 S.

Garg, S.; Philip, G.: Raising The Bar For Vertex Cover: Fixed-parameter Tractability Above A Higher Guarantee. (2015), 20 S.

Ghaffari, M.; Karrenbauer, A.; Kuhn, F.; Lenzen, C.; Patt-Shamir, B.: Near-Optimal Distributed Maximum Flow. (2015), 34 pages, 5 figures, conference version appeared in ACM Symp. on Principles of Distributed Computing (PODC) 2015 S.

Hoeltgen, L.; Mainberger, M.; Hoffmann, S.; Weickert, J.; Tang, C. H.; Setzer, S.; Johannsen, D.; Neumann, F.; Doerr, B.: Optimising Spatial and Tonal Data for PDE-based Inpainting. (2015), 54 S.

Hosang, J.; Benenson, R.; Dollár, P.; Schiele, B.: What Makes for Effective Detection Proposals? (2015), 16 S.