Hagerup, T.; Raman, R.: Waste Makes Haste: Tight Bounds for Loose Parallel Sorting. In: Proceedings of the 33th Annual IEEE Symposium on Foundations of Computer Science, pp. 628 - 637. 33th Annual IEEE Symposium on Foundations of Computer Science, Pittsburgh, PA, USA, October 24, 1992 - October 27, 1992. IEEE, New York, NY, USA (1992)

Hanus, M.: Improving Control of Logic Programs by Using Functional Logic Languages. In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, pp. 1 - 23 (Eds. Bruynooghe, M.; Wirsing, M.). Untitled Event, Leuven, Belgium, 1992. Springer, Berlin, Germany (1992)

Hanus, M.: Incremental Rewriting in Narrowing Derivations. In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), pp. 228 - 243 (Eds. Kirchner, H.; Levi, G.). Untitled Event, Volterra, Italy, 1992. Springer, Berlin, Germany (1992)

Hanus, M.: On the Completeness of Residuation. In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, pp. 192 - 206 (Ed. Apt, K.). Untitled Event, Washington, D.C., 1992. MIT Press, Cambridge, USA (1992)

Hustadt, U.: A Complete Transformation System for Polymorphic Higher-Order Unification. In: Proceedings of Sixth International Workshop on Unification, pp. 61 - 65 (Eds. Baader, F.; Siekmann, J.; Snyder, W.). Sixth International Workshop on Unification, Wadern, Germany, July 29, 1992 - July 31, 1992. OpenBU, Boston, MA (1992)

Kaufmann, M.; Sibeyn, J. F.: Optimal Multi-packet Routing on the Torus. In: Algorithms Theory - SWAT' 92, pp. 118 - 128 (Ed. Nurmi, O.). 3th Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 08, 1992 - July 10, 1992. Springer, Berlin, Germany (1992)

Lenhof, H.-P.; Smid, M.: Enumerating the k closest pairs optimally. In: 33rd Annual Symposium on Foundations of Computer Science (FOCS92), pp. 380 - 386. Untitled Event, Pittsburgh, Pennsylvania, USA, 1992. IEEE, Los Alamitos (1992)

Lenhof, H.-P.; Smid, M.: Maintaining the visibility map of speres while moving the viewpoint on a circle at infinity. In: Algorithms Theory - SWAT'92: Third Scandinavian Workshop on Algorithm Theory, pp. 388 - 398 (Eds. Nurmi, O.; Ukkonen, E.). Untitled Event, Helsinki, Finland, July 08, 1992 - July 10, 1992. Springer, Berlin, Germany (1992)

Madden, P.: Automated Program Transformation Through Proof Transformation. In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), pp. 446 - 460 (Ed. Kapur, D.). Untitled Event, Saratoga Springs, NY, 1992. Springer, Heidelberg, Germany (1992)

Mehlhorn, K.: Recent Developments in Algorithms for the Maximum Flow Problem (Abstract). In: Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1992), p. 404 - 404. Untitled Event, New Delhi, India, December 18, 1992. Springer, Berlin, Germany (1992)

Mehlhorn, K.; Näher, S.: Algorithm Design and Software Libraries: Recent Developments in the LEDA Project. In: Information Processing '92, Volume 1, pp. 493 - 508. 12th World Computer Congress on Algorithms, Software, Architecture, Madrid, Spain, September 07, 1992 - September 11, 1992. Elsevier, Amsterdam, The Netherlands (1992)

Mehlhorn, K.; Sharir, M.; Welzl, E.: Tail Estimates for the Space Complexity of Randomised Incremental Algorithms. In: Discrete algorithms (SODA-92): 3rd annual ACM-SIAM symposium, pp. 89 - 93. Untitled Event, Orlando, FL, USA, January 27, 1992. SIAM, Philadelphia, USA (1992)

Schmidt, R. A.: Terminological Representation, Natural Language & Relation Algebra. In: GWAI-92: Advances in Artificial Inteligence, pp. 357 - 371 (Ed. Ohlbach, H. J.). 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992 - September 03, 1992. Springer, Berlin (1992)

Schwarz, C.; Smid, M.: An O(n log n log log n) Algorithm for the On-line Closes Pair Problem. In: Proceedings of the 3rd Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 280 - 285. 3rd Annual ACM-SIAM Symposium on Discrete Algorithms, Orlando, FL, USA, January 27, 1992. SIAM, Philadelphia, USA (1992)

Schwarz, C.; Smid, M.; Snoeyink, J.: An Optimal Algorithm for the On-line Closest-pair Problem. In: Proceedings of the 8th Annual Symposium on Computational Geometry, pp. 330 - 336. 8th Annual Symposium on Computational Geometry, Berlin, Germany, June 10, 1992 - June 12, 1992. ACM, New York, NY (1992)

Socher‐Ambrosius, R.: A Goal Oriented Strategy Based on Completion. In: Algebraic and Logic Programming, pp. 435 - 445 (Eds. Kirchner, H.; Levi, G.). Third International Conference on Algebraic and Logic Programming, Volterra, Italy, September 02, 1992 - September 04, 1992. Springer, Volterra, Italy (1992)

Theune, D.; Thiele, R.; Lengauer, T.; Feldmann, A.: HERO: Hierarchical EMC-constrained Routing. In: IEEE/ACM International Conference on Computer-Aided Design, pp. 468 - 472 (Eds. Trevillyan, L.; Lightner, M. R.). IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, USA, November 08, 1992 - November 12, 1992. IEEE Computer Society, Los Alamitos, CA (1992)

Graf, P.: Unification Using Dynamic Sorts. Master, Universität des Saarlandes, Saarbrücken (1992)

Albers, S.: The influence of lookahead in competitive on-line algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1992), 56 pp.

Alt, H.; Guibas, L.; Mehlhorn, K.; Karp, R.; Widgerson, A.: A Method for Obtaining Randomized Algorithms with Small Tail Probabilities. Max-Planck-Institut für Informatik, Saarbrücken (1992), 5 pp.