Seidel, H.-P.: Simplex Splines, Polar Simplex Splines and Triangular B-Splines. In: Proceedings of the 6th IMA Conference on the Mathematics of Surfaces, pp. 535 - 547 (Ed. Mullineux, G.). 6th IMA Conference on the Mathematics of Surfaces, Brunel University, UK, 1994-09. Clarendon Press, New York, NY (1994)

Sibeyn, J.: Deterministic Routing and Sorting on Rings. In: Proceedings of the 8th International Parallel Processing Symposium, pp. 406 - 410 (Ed. Siegel, H. J.). 8th International Parallel Processing Symposium, Cancún, Mexico, April 26, 1994 - April 29, 1994. IEEE, Los Alamitos, CA, USA (1994)

Sibeyn, J.: Desnakification of Mesh Sorting Algorithms. In: Algorithms - ESA '94, pp. 377 - 390 (Ed. van Leeuwen, J.). Second Annual European Symposium on Algorithms, Utrecht, The Netherlands, September 26, 1994 - September 28, 1994. Springer, Berlin (1994)

Sibeyn, J.; Chlebus, B. S.; Kaufmann, M.: Shorter Queues for Permutation Routing on Meshes. In: Mathematical Foundations of Computer Science 1994, pp. 597 - 607 (Eds. Prívara, I.; Rovan, B.; Ruzicka, P.). 19th International Symposium on Mathematical Foundations of Computer Science, Kosice, Slovakia, August 22, 1994 - August 26, 1994. Springer, Berlin (1994)

Sibeyn, J.; Harris, T.: Exploiting Locality in LT-RAM Computations. In: Algorithms Theory - SWAT' 94, pp. 338 - 349 (Ed. Schmidt, E. M.). 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 06, 1994 - July 08, 1994. Springer, Berlin, Germany (1994)

Sibeyn, J.; Kaufmann, M.: Deterministic 1 -k Routing on Meshes with Applications to Worm-hole Routing. In: STACS 94, pp. 237 - 248 (Eds. Enjalbert, P.; Mayr, E. W.; Wagner, K. W.). 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24, 1994 - February 26, 1994. Springer, Berlin, Germany (1994)

Socher-Ambrosius, R.: A Refined Version of General E-Unification. In: Automated Deduction - CADE-12, pp. 665 - 677 (Ed. Bundy, A.). 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994 - July 01, 1994. Springer, Berlin, Germany (1994)

Stuber, J.: Computing Stable Models by Program Transformation. In: Logic Programming, pp. 58 - 73 (Ed. Van Hentenryck, P.). 11th International Conference on Logic Programming, Santa Margherita Ligure, Italy, 1994. MIT Press, Cambridge, USA (1994)

Weidenbach, C.: First-Order Tableaux with Sorts. In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pp. 247 - 261 (Eds. Broda; Krysia; D'Agostino; Marcello; al., e.). Untitled Event, Marseille, France, 1994. Imperial College of Science Technology and Medicine, TR-94/5 (1994)

Weidenbach, C.: Sorts, Resolution, Tableaux and Propositional Logic. In: KI-94 Workshops: Extended Abstracts, pp. 315 - 316 (Eds. Kunze, J.; Stoyan, H.). Untitled Event, Saarbrücken, Germany, 1994. Gesellschaft für Informatik, Bonn, Germany (1994)

Werner, A.; Bockmayr, A.; Krischer, S.: How to realize LSE narrowing. In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), pp. 59 - 76 (Eds. Levi, G.; Rodríguez-Artalejo, M.). Untitled Event, Madrid, Spain, 1994. Springer, Berlin, Germany (1994)

Weydert, E.: General Belief Measures. In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, pp. 575 - 582. Untitled Event, University of Washington, Seattle, WA, 1994. Morgan Kaufmann, San Mateo, CA (1994)

Weydert, E.: Hyperrational Conditionals. In: Foundations of Knowledge Representation and Reasoning, pp. 310 - 332 (Eds. Lakemeyer, G.; Nebel, B.). Springer, Berlin, Germany (1994)

Yoshida, T.; Bundy, A.; Green, I.; Walsh, T.; Basin, D. A.: Coloured Rippling: An Extension of a Theorem Proving Heuristic. In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), pp. 85 - 89 (Ed. Cohn, T.). Untitled Event, Amsterdam, Netherlands, 1994. Wiley, ? (1994)

Hanus, M.: Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration. Habilitation, Universität des Saarlandes, Saarbrücken (1994)

Busch, P.: Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp. Diploma, 76 pp., Universität des Saarlandes, Saarbrücken (1994)

Emminghaus, F.: Effiziente Sortieralgorithmen für den d-dimensionalen Würfel (Hypercube). Diploma, 94 pp., Universität des Saarlandes, Saarbrücken (1994)

Kasan, B.: Die Beschreibung der Design Features für die rechnerunterstützte Konstruktion und ihre formale Repräsentation. Diploma, 127 pp., Universität des Saarlandes, Saarbrücken (1994)

Abo-Hasna, Z.: Verdrahtung von Kanälen mit Seitenanschlüssen. Master, Universität des Saarlandes, Saarbrücken (1994)

Bast, H.: Fast Parallel Space Allocation, Estimation and Integer Sorting. Master, Universität des Saarlandes, Saarbrücken (1994)