Becker, J.: Effiziente Subsumption in Deduktionssystemen. Master, Universität des Saarlandes, Saarbrücken (1994)

Piskorski, J.: Parallele Graphenalgorithmen für den Hypercube. Master, Universität des Saarlandes, Saarbrücken (1994)

Progress Report: 1991 - 1994. Max-Planck-Institut für Informatik, Saarbrücken (1994), 154 pp.

Aït-Kaci, H.; Hanus, M.; Navarro, J. J. M.: Integration of declarative paradigms: Proceedings of the ICLP'94 Post-Conference Workshop, Santa Margherita Ligure, Italy. Max-Planck-Institut für Informatik, Saarbrücken (1994), 149 pp.

Albers, S.; Hagerup, T.: Improved parallel integer sorting without concurrent writing. Max-Planck-Institut für Informatik, Saarbrücken (1994)

Albers, S.; Koga, J.: New on-line algorithms for the page replication problem. Max-Planck-Institut für Informatik, Saarbrücken (1994), 18 pp.

Arikati, S.: On the parallel complexity of degree sequence problems. Max-Planck-Institut für Informatik, Saarbrücken (1994), 12 pp.

Arikati, S.; Maheshwari, A.: Realizing degree sequences in parallel. Max-Planck-Institut für Informatik, Saarbrücken (1994), 27 pp.

Arikati, S. R.; Maheshwari, A.; Zaroliagis, C.: Efficient computation of compact representations of sparse graphs. Max-Planck-Institut für Informatik, Saarbrücken (1994), 10 pp.

Arya, S.; Mount, D.; Narayan, O.: Accounting for Boundary Effects in Nearest Neighbor Searching. Max-Planck-Institut für Informatik, Saarbrücken (1994), 15 pp.

Arya, S.; Mount, D.; Smid, M.: Dynamic algorithms for geometric spanners of small diameter: randomized solutions. Max-Planck-Institut für Informatik, Saarbrücken (1994)

Arya, S.; Smid, M.: Efficient construction of a bounded degree spanner with low weight. Max-Planck-Institut für Informatik, Saarbrücken (1994), 25 pp.

Barnes, G.: A method for implementing lock-free shared data structures. Max-Planck-Institut für Informatik, Saarbrücken (1994), 15 pp.

Barnes, G.; Edmonds, J. A.: Time-space lower bounds for directed s-t connectivity on JAG models. Max-Planck-Institut für Informatik, Saarbrücken (1994)

Barnes, G.; Feige, U.: Short random walks on graphs. Max-Planck-Institut für Informatik, Saarbrücken (1994), 14 pp.

Barth, P.: Linear 0-1 inequalities and extended clauses. Max-Planck-Institut für Informatik, Saarbrücken (1994), 53 pp.

Barth, P.; Bockmayr, A.: Finite domain and cutting plane techniques in CLP (PB). Max-Planck-Institut für Informatik, Saarbrücken (1994), 16 pp.

Basin, D. A.: Logic frameworks for logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1994), 13 pp.

Basin, D. A.; Walsh, T.: Termination orderings for rippling. Max-Planck-Institut für Informatik, Saarbrücken (1994), 15 pp.

Bockmayr, A.: Cutting planes in constraint logic programming. Max-Planck-Institut für Informatik, Saarbrücken (1994), 23 pp.