Smid, M.: Dynamic Rectangular Point Location, with an Application to the Closest Pair Problem. Information and Computation 116 (1), S. 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), S. 483 - 7 (1995)

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

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

Hustadt, U.: Introducing Epistemic Operators into a Description Logic. In: Knowledge and Belief in Philosophie and Artificial Intelligence, S. 65 - 86 (Hg. 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, S. 125 - 139 (Hg. Schomburg, D.; Lessel, U.). VCH, Weinheim, Germany (1995)

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

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), S. 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), S. 412 - 158 (Hg. 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), S. 301 - 318. 1995 Asian Computing Science Conference, Pathumthani, Thailand, 11. Dezember 1995 - 13. Dezember 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, S. 427 - 436. 27th Annual ACM Symposium on Theory of Computing, Las Vegas, Nevada, USA, 29. Mai 1995 - 01. Juni 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, S. 363 - 376 (Hg. Thiagarajan, P. S.). Untitled Event, Bangalore, India, 18. Dezember 1995 - 20. Dezember 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), S. 489 - 498. 27th Annual ACM Symposium on Theory of Computing, Las Vegas, Nevada, USA, 29. Mai 1995 - 01. Juni 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, S. 172 - 181. 11th Annual ACM Symposium on Computational Geometry, Vancouver, British Columbia, USA, 05. Juni 1995 - 07. Juni 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, S. 336 - 344. Eleventh Annual Symposium on Computational Geometry, Vancouver, British Columbia, Canada, 05. Juni 1995 - 07. Juni 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, S. 383 - 391. 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23. Oktober 1995 - 25. Oktober 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, S. 91 - 100 (Hg. Paulson, L. C.). First Isabelle Users Workshop, Cambridge, UK, 18. September 1995 - 19. September 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, S. 1 - 29 (Hg. Astesiano, E.; Reggio, G.; Tarlecki, A.). 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, 30. Mai 1995 - 03. Juni 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), S. 566 - 575 (Hg. Du, D.-Z.; Li, M.). Untitled Event, Xi'an, China, 24. August 1995 - 26. August 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, S. 133 - 147 (Hg. Sterling, L.). Twelfth International Conference on Logic Programming, Shonan Village Center, Hayama-Machi, Kanagawa, Japan, 13. Juni 1995 - 18. Juni 1995. MIT Press, Cambridge, USA (1995)