Scientific Publications

Albers, S.; von Stengel, B.; Wechner, R.: A Combined BIT and TIMESTAMP Algorithm for the List Update Problem. Information Processing Letters 56 (3), pp. 135 - 139 (1995)

Baader, F.; Ohlbach, H. J.: A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics 5 (2), pp. 153 - 198 (1995)

Bachmair, L.; Ganzinger, H.; Lynch, C.; Snyder, W.: Basic Paramodulation. Information and Computation 121 (2), pp. 172 - 192 (1995)

Barth, P.; Bockmayr, A.: Pseudo-Boolean Constraint Logic Programming. Computational logic 2 (2), pp. 52 - 53 (1995)

Bast, H.; Hagerup, T.: Fast Parallel Space Allocation, Estimation, and Integer Sorting. Information and Computation 123 (1), pp. 72 - 110 (1995)

Ben-Asher, Y.; Schuster, A.; Sibeyn, J. F.: Load balancing: A programmer's approach or the impact of task-length parameter on the load balancing performance of parallel programs. International Journal on High-Speed Computing 7 (2), pp. 303 - 326 (1995)

Bockmayr, A.; Krischer, S.; Werner, A.: Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundamenta Informaticae 24 (1-2), pp. 125 - 155 (1995)

Cheriyan, J.; Hagerup, T.: A Randomized Maximum-Flow Algorithm. SIAM Journal on Computing 24 (2), pp. 203 - 226 (1995)

Cole, R.; Hariharan, R.; Paterson, M.; Zwick, U.: Tighter Lower Bounds on the Exact Complexity of String Matching. SIAM Journal on Computing 24 (1), pp. 30 - 45 (1995)

Datta, A.; Lenhof, H.-P.; Schwarz, C.; Smid, M.: Static and Dynamic Algorithms for k-point Clustering Problems. Journal of Algorithms 19 (3), pp. 474 - 503 (1995)

DeSimone, C.; Diehl, M.; Jünger, M.; Mutzel, P.; Reinelt, G.; Rinaldi, G.: Exact Ground States of Ising Spin Glasses: New Experimental Results With a Branch and Cut Algorithm. Journal of Statistical Physics 80 (1-2), pp. 487 - 496 (1995)

Dietz, P.; Mehlhorn, K.; Raman, R.; Uhrig, C.: Lower Bounds for Set Intersection Queries. Algorithmica 14 (2), pp. 154 - 168 (1995)

Dubhashi, D.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: The Fourth Moment in Luby's Distribution. Theoretical computer science 148 (1), pp. 133 - 140 (1995)

Fleischer, R.; Jung, H.; Mehlhorn, K.: A Communication-randomness Tradeoff for Two-processor Systems. Information and Computation 116 (2), pp. 155 - 161 (1995)

Garg, N.; Vazirani, V. V.: A Polyhedron with all s-t Cuts as Vertices, and Adjacency of Cuts. Mathematical Programming / A 70 (1), pp. 17 - 25 (1995)

Golin, M. J.; Raman, R.; Schwarz, C.; Smid, M.: Simple Randomized Algorithms for Closest Pair Problems. Nordic Journal of Computing 2 (1), pp. 3 - 27 (1995)

Greiner, G.; Kolb, A.; Pfeifle, R.; Seidel, H.-P.; Slusallek, P.; Encarnação, M.; Klein, R.: A Platform for Visualizing Curves and Surfaces. Computer Aided Design 27 (7), pp. 559 - 566 (1995)

Gupta, P.; Janardan, R.; Smid, M.: Further Results on Generalized Intersection Searching Problems: Counting, Reporting, and Dynamization. Journal of Algorithms 19 (2), pp. 282 - 317 (1995)

Hagerup, T.: A Lower Bound for the Emulation of PRAM Memories on Processor Networks. Information and Computation 119 (1), pp. 124 - 128 (1995)

Hagerup, T.: Fast Deterministic Processor Allocation. Journal of Algorithms 18 (3), pp. 629 - 649 (1995)