Bonifaci, V.; Marchetti-Spaccamela, A.: Feasibility Analysis of Sporadic Real-time Multiprocessor Task Systems. Algorithmica 63 (4), pp. 763 - 780 (2012)

Bonifaci, V.; Marchetti-Spaccamela, A.; Stiller, S.: A Constant-Approximate Feasibility Test for Multiprocessor Real-Time Scheduling. Algorithmica 62 (3-4), pp. 1034 - 1049 (2012)

Bonifaci, V.; Mehlhorn, K.; Varma, G.: Physarum Can Compute Shortest Paths. Journal of Theoretical Biology 309, pp. 121 - 133 (2012)

Boros, E.; Elbassioni, K.; Gurvich, V.; Makino, K.: On Nash Equilibria and Improvement Cycles in Pure Positional Strategies for Chess-Like and Backgammon-Like n-Person Games. Discrete Mathematics 312 (4), pp. 772 - 788 (2012)

Brightwell, G.; Panagiotou, K.; Steger, A.: Extremal Subgraphs of Random Graphs. Random Structures & Algorithms 41 (2), pp. 147 - 178 (2012)

Bringmann, K.: An Improved Algorithm for Klee's Measure Problem on Fat Boxes. Computational Geometry: Theory and Applications 45 (5-6), pp. 225 - 233 (2012)

Bringmann, K.; Friedrich, T.: Approximating the Least Hypervolume Contributor: NP-hard in General, But Fast in Practice. Theoretical computer science 425, pp. 104 - 116 (2012)

Broschart, A.; Schenkel, R.: High-performance Processing of Text Queries with Tunable Pruned Term and Term Pair Indexes. Transactions on Information Systems 30 (1), pp. 5:1 - 5:32 (2012)

Bulling, A.; Ward, J. A.; Gellersen, H.: Multimodal Recognition of Reading Activity in Transit Using Body-Worn Sensors. ACM Transactions on Applied Perception 9 (1), pp. 1 - 21 (2012)

Čadík, M.; Herzog, R.; Mantiuk, R.; Myszkowski, K.; Seidel, H.-P.: New Measurements Reveal Weaknesses of Image Quality Metrics in Evaluating Graphics Artifacts. ACM Transactions on Graphics 31 (6), 147, pp. 1 - 10 (2012)

Calvanese, V.; Fernandez, A. F.; Urdinguio, R. G.; Suarez-Álvarez, B.; Mangas, C.; Pérez-García, V.; Bueno, C.; Montes, R.; Ramos-Mejía, V.; Martínez-Camblor, P. et al.; Ferrero, C.; Assenov, Y.; Bock, C.; Menendez, P.; Carrera, A. C.; Lopez-Larrea, C.; Fraga, M. F.: A Promoter DNA Demethylation Landscape of Human Hematopoietic Differentiation. Nucleic Acids Research 40 (1), pp. 116 - 131 (2012)

Carstensen, C.; Günther, D.; Rabus, H.: Mixed Finite Element Method for a Degenerate Convex Variational Problem from Topology Optimization. SIAM journal on numerical analysis 50 (2), pp. 522 - 543 (2012)

Case, J.; Kötzing, T.: Computability-theoretic Learning Complexity. Philosophical Transaction of the Royal Society A 370 (1971), pp. 3570 - 3596 (2012)

Case, J.; Kötzing, T.: Learning Secrets Interactively. Dynamic Modeling in Inductive Inference. Information and Computation 220-221, pp. 60 - 73 (2012)

Chan, H.-L.; Lam, T.-W.; Lee, L.-K.; Ting, H.-F.: Continuous Monitoring of Distributed Data Streams over a Time-Based Sliding Window. Algorithmica 62 (3-4), pp. 1088 - 1111 (2012)

Chan, H.-L.; Megow, N.; Sitters, R.; van Stee, R.: A Note on Sorting Buffers Offline. Theoretical Computer Science 423, pp. 11 - 18 (2012)

Damm, D.; Fremerey, C.; Thomas, V.; Clausen, M.; Kurth, F.; Müller, M.: A Digital Library Framework for Heterogeneous Music Collections - From Document Acquisition to Cross-Modal Interaction. International Journal on Digital Libraries 12 (2-3), pp. 53 - 71 (2012)

Damm, W.; Dierks, H.; Disch, S.; Hagemann, W.; Pigorsch, F.; Scholl, C.; Waldmann, U.; Wirtz, B.: Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces. Science of Computer Programming 77, pp. 1122 - 1150 (2012)

de Melo, G.; Weikum, G.: Constructing and Utilizing Wordnets Using Statistical Methods. Language Resources and Evaluation 46 (2), pp. 287 - 311 (2012)

De Sterck, H.: A Nonlinear GMRES Optimization Algorithm for Canonical Tensor Decomposition. SIAM Journal on Scientific Computing 34 (3), pp. A1351 - A1379 (2012)