Smid, M.: Dynamic Rectangular Point Location, with an Application to the Closest Pair Problem. Information and Computation 116 (1), pp. 1 - 9 (1995)

Stohr, H.; Roomp, K.; Felbor, U.; Weber, B. H.: Genomic organization of the human tissue inhibitor of metalloproteinases-3 (TIMP3). Genome Research 5 (5), pp. 483 - 7 (1995)

Träff, J. L.: An Experimental Comparison of two Distributed Singel-Source Shortest Path Algorithm. Parallel Computing 21 (9), pp. 1505 - 1532 (1995)

Weidenbach, C.: First-Order Tableaux with Sorts. Logic Journal of the IGPL 3 (6), pp. 887 - 906 (1995)

Hustadt, U.: Introducing Epistemic Operators into a Description Logic. In: Knowledge and Belief in Philosophie and Artificial Intelligence, pp. 65 - 86 (Eds. Laux, A.; Wansing, H.). Akademie Verlag, Berlin, Germany (1995)

Lenhof, H.-P.: An Algorithm for the Protein Docking Problem. In: Bioinformatics: From Nucleic Acids and Proteins to Cell Metabolism, pp. 125 - 139 (Eds. Schomburg, D.; Lessel, U.). VCH, Weinheim, Germany (1995)

Podelski, A. (Ed.): Constraint Programming: Basics and Trends (Lecture Notes in Computer Science, 910). 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16, 1994 - May 20, 1994. Springer, Berlin, Germany (1995), 328 pp.

Albers, S.: Improved randomized on-line algorithms for the list update problem. In: Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA95), pp. 412 - 419. 6th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, California, USA, 1995. ACM, New York, NY (1995)

Albers, S.; Koga, H.: Page migration with limited local memory capacity. In: Algorithms and Data Structures: 4th International Workshop (WADS95), pp. 412 - 158 (Eds. Akl, S. G.; Dehne, F.; Sack, J.-R.; Santoro, N.). Untitled Event, Kingston, Canada. Springer, Berlin (1995)

Anderson, P.; Basin, D.: Deriving and Applying Logic Program Transformers. In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), pp. 301 - 318. 1995 Asian Computing Science Conference, Pathumthani, Thailand, December 11, 1995 - December 13, 1995. Springer, Berlin (1995)

Andersson, A.; Hagerup, T.; Nilsson, S.; Raman, R.: Sorting in Linear Time? In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing, pp. 427 - 436. 27th Annual ACM Symposium on Theory of Computing, Las Vegas, Nevada, USA, May 29, 1995 - June 01, 1995. ACM, New York, NY (1995)

Arikati, S. R.; Chaudhuri, S.; Zaroliagis, C.: All-Pairs Min-Cut in Sparse Networks. In: Foundations of software technology and theoretical computer science (FSTTCS-95): 15th conference, pp. 363 - 376 (Ed. Thiagarajan, P. S.). Untitled Event, Bangalore, India, December 18, 1995 - December 20, 1995. Springer, Berlin, Germany (1995)

Arya, S.; Das, G.; Mount, D. M.; Salowe, J. S.; Smid, M.: Euclidean Spanners: Short, Thin, and Lanky. In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing (STOC95), pp. 489 - 498. 27th Annual ACM Symposium on Theory of Computing, Las Vegas, Nevada, USA, May 29, 1995 - June 01, 1995. ACM, New York, NY (1995)

Arya, S.; Mount, D. M.: Approximate Range Searching. In: Proceedings of the 11th Annual ACM Symposium on Computational Geometry, pp. 172 - 181. 11th Annual ACM Symposium on Computational Geometry, Vancouver, British Columbia, USA, June 05, 1995 - June 07, 1995. ACM, New York, NY (1995)

Arya, S.; Mount, D. M.; Narayan, O.: Accounting for Boundary Effects in Nearest Neighbor Searching. In: Proceedings of the Eleventh Annual Symposium on Computational Geometry, pp. 336 - 344. Eleventh Annual Symposium on Computational Geometry, Vancouver, British Columbia, Canada, June 05, 1995 - June 07, 1995. ACM, New York, NY (1995)

Awerbuch, B.; Azar, Y.; Grove, E.; Kao, M.-Y.; Krishnan, P.; Vitter, J. S.: Load Balancing in the Euclidean Norm. In: Proceedings of the 36th Annual Symposium on Foundations of Computer Science, pp. 383 - 391. 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, October 23, 1995 - October 25, 1995. IEEE, Los Alamitos (1995)

Ayari, A.; Basin, D. A.: Interpretation of the Deductive Tableau in HOL. In: Proceedings of the First Isabelle Users Workshop, pp. 91 - 100 (Ed. Paulson, L. C.). First Isabelle Users Workshop, Cambridge, UK, September 18, 1995 - September 19, 1995. University of Cambridge, Cambridge (1995)

Bachmair, L.; Ganzinger, H.; Stuber, J.: Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. In: Recent Trends in Data Type Specification, pp. 1 - 29 (Eds. Astesiano, E.; Reggio, G.; Tarlecki, A.). 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1995 - June 03, 1996. Springer, Berlin, Germany (1995)

Bacik, R.; Mahajan, S.: Semidefinite programming and its applications to NP problems. In: Computing and Combinatorics: 1st Annual International Conference (COCOON95), pp. 566 - 575 (Eds. Du, D.-Z.; Li, M.). Untitled Event, Xi'an, China, August 24, 1995 - August 26, 1995. Springer, Berlin, Germany (1995)

Barth, P.; Bockmayr, A.: Finite domain and cutting plane techniques in CLP (PB). In: Proceedings of the Twelfth International Conference on Logic Programming, pp. 133 - 147 (Ed. Sterling, L.). Twelfth International Conference on Logic Programming, Shonan Village Center, Hayama-Machi, Kanagawa, Japan, June 13, 1995 - June 18, 1995. MIT Press, Cambridge, USA (1995)