Lenhof, H.-P.; Smid, M.: Using persistent data structures for adding range restrictions to searching problems. RAIRO Theoretical Informatics and Applications 28 (-), pp. 25 - 49 (1994)

Mehlhorn, K.; Näher, S.; Nievergelt, J.: Introduction. Journal of Symbolic Computation 17, p. 295 - 295 (1994)

Priebe, V.: Solvability of the Navier-Stokes equations on manifolds with boundary. Manuscripta Mathematica 83, pp. 145 - 159 (1994)

Schiele, B.; Crowley, J. L.: A Comparison of Position Estimation Techniques Using Occupancy Grids. Robotics and Autonomous Systems 12 (3‐4), pp. 163 - 171 (1994)

Schirra, S.; Heffernan, P. J.: Approximate Decision Algorithms for Point Set Congruence. Computational Geometry 4 (3), pp. 137 - 156 (1994)

Schmidt, R. A.: Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract. Sigala Newsletter 2 (1), p. 27 - 27 (1994)

Schwarz, C.; Smid, M.; Snoeyink, J.: An Optimal Algorithm for the On-line Closest-pair Problem. Algorithmica 12 (1), pp. 18 - 29 (1994)

Slusallek, P.; Pflaum, T.; Seidel, H.-P.: Implementing RenderMan - Practice, Problems and Enhancements. Computer Graphics Forum 13 (3), pp. 443 - 454 (1994)

Hopf, J.; Klawonn, F.: Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm. In: Fuzzy Systems in Computer Science, pp. 63 - 74 (Eds. Kruse, R.; Palm, R.; Gebhardt, J.). Friedr. Vieweg & Sohn, Braunschweig, Germany (1994)

Matthews, S.: A Theory and its Metatheory in $FS_0$. In: What is a logical system?, pp. 329 - 354 (Ed. Gabbay, D. M.). Oxford University Press, Oxford, UK (1994)

Gabbay, D. M.; Ohlbach, H. J. (Eds.): Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic. Untitled Event, Bonn, Germany, 1994. Springer, Berlin, Germany (1994), 546 pp.

van Leeuwen, J.; Mehlhorn, K.; Reps, T. (Eds.): Report on the Dagstuhl-Seminar on Incremental Computation and Dynamic Algorithms. Dagstuhl-Seminar on Incremental Computation and Dynamic Algorithms, Wadern, Germany, May 02, 1994 - May 06, 1994. Schloss Dagstuhl, Wadern (1994)

Albers, S.: A Competitive Analysis of the List Update Problem with Lookahead. In: Mathematical Foundations of Computer Science 1994, pp. 199 - 210 (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)

Albers, S.; Koga, H.: New On-line Algorithms for the Page Replication Problem. In: Algorithms Theory - SWAT' 94, pp. 25 - 36 (Ed. Schmidt, E. M.). 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 06, 1994 - July 08, 1994. Springer, Berlin, Germany (1994)

Antoy, S.; Echahed, R.; Hanus, M.: A Needed Narrowing Strategy. In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), pp. 268 - 279. Untitled Event, Portland, USA, 1994. ACM, New York, USA (1994)

Arikati, S.; Maheshwari, A.: Realizing Degree Sequences in Parallel. In: Algorithms and Computation, pp. 261 - 269 (Eds. Du, D.-Z.; Zhang, X.-S.). 5th International Symposium on Algorithms and Computation, Beijing, China, August 25, 1994 - August 27, 1994. Springer, Berlin (1994)

Arikati, S.; Maheshwari, A.: An O(n) Algorithm for Realizing Degree Sequences. In: Foundations of Software Technology and Theoretical Computer Science, pp. 125 - 136 (Ed. Thiagarajan, P. S.). 14th Conference of the Foundations of Software Technology and Theoretical Computer Science, Madras, India, December 15, 1994 - December 17, 1994. Springer, Berlin (1994)

Arikati, S.; Maheshwari, A.; Zaroliagis, C.: Saving Bits Made Easy. In: Proceedings of the 6th Canadian Conference on Computational Geometry, pp. 140 - 146. 6th Canadian Conference on Computational Geometry, Saskatoon, Canada, August 02, 1994 - August 06, 1994. (1994)

Arya, S.; Mount, D. M.; Netanyahu, N. S.; Silverman, R.: An Optimal Algorithm for Approximate Nearest Neighbor Searching. In: Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 573 - 582. Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, January 23, 1994 - January 25, 1994. ACM / SIAM, New York, USA (1994)

Arya, S.; Mount, D. M.; Smid, M.: Randomized and Deterministic Algorithms for Geometric Spanners of Small Diameter. In: Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science, pp. 703 - 712. 35th Annual IEEE Symposium on Foundations of Computer Science, Santa Fe, NM, USA, November 20, 1994 - November 22, 1994. IEEE, New York, NY, USA (1994)