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)

Barth, P.; Kleine Büning, H.; Weidenbach, C.: Workshop CPL Computational Propositional Logic. In: KI-95 Activities: Workshops, Posters, Demos, S. 71 - 72 (Hg. Dreschler-Fischer, L.; Pribbenow, S.). KI-95 Activities: Workshops, Posters, Demos, Bielefeld, Germany, 11. September 1995 - 15. September 1995. Gesellschaft für Informatik, Bonn, Germany (1995)

Barve, R. D.; Grove, E.; Vitter, J. S.: An Application-Controlled Paging Algorithm for a Shared Cache. In: Proceedings of the 36th Annual Symposium on Foundations of Computer Science, S. 204 - 213. 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23. Oktober 1995 - 25. Oktober 1995. IEEE, Los Alamitos (1995)

Basin, D.; Klarlund, N.: Hardware Verification using Monadic Second‐order Logic. In: Computer Aided Verification, S. 31 - 41 (Hg. Wolper, P.). 7th International Conference on Computer Aided Verification, Liège, Belgium, 03. Juli 1995 - 05. Juli 1995. Springer, Berlin (1995)

Baumeister, H.: Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. In: TAPSOFT '95: Theory and Practice of Software Development, S. 756 - 771 (Hg. Mosses, P. D.; Nielsen, M.; Schwartzbach, M. I.). 6th Joint Conference on Theory and Practice of Software Development, Århus, Denmark, 22. Mai 1995 - 26. Mai 1995. Springer, Berlin, Germany (1995)

Berg, M. d.; Kreveld, M. v.; Schirra, S.: A new approach to subdivision simplification. In: ACSM/ASPRS Annual Convention & Exposition Technical Papers, S. 79 - 88. Untitled Event, Charlotte, North Carolina, USA, 1995. ACSM, Bethesda, USA (1995)

Berthomé, P.; Duboux, T.; Hagerup, T.; Newman, I.; Schuster, A.: Self-Simulation for the Passive Optical Star Model. In: Algorithms - ESA '95, S. 369 - 380 (Hg. Spirakis, P.). 3rd Annual European Symposium on Algorithms, Corfu, Greece, 25. September 1995 - 27. September 1995. Springer, Berlin (1995)

Bodlaender, H. L.; Hagerup, T.: Parallel Algorithms with Optimal Speedup for Bounded Treewidth. In: Automata, Languages, and Programming, S. 268 - 279 (Hg. Fülöp, Z.; Gecseg, F.). ICALP 1995, Szeged, Hungary, 10. Juli 1995 - 14. Juli 1995. Springer, Berlin (1995)

Bradford, P. G.; Choppela, V.; Rawlins, G. J.E.: Lower Bounds for the Matrix Chain Ordering Problem. In: LATIN '95: Theoretical Informatics, S. 112 - 130 (Hg. Baeza-Yates, R.; Goles, E.; Poblete, P. V.). 2nd Latin American Symposium on Theoretical Informatics, Valparaiso, Chile, 03. April 1995 - 07. April 1995. Springer, Berlin (1995)

Bradford, P. G.; Fleischer, R.: Matching nuts and bolts faster. In: Algorithms and Computation, S. 402 - 408 (Hg. Staples, J.; Eades, P.; Katoh, N.; Moffat, A.). 6th International Symposium on Algorithms and Computation, Cairns, Australia, 04. Dezember 1995 - 06. Dezember 1995. Springer, Berlin, Germany (1995)

Burnikel, C.; Könemann, J.; Mehlhorn, K.; Näher, S.; Schirra, S.; Uhrig, C.: Exact Geometric Computation in LEDA. In: Proceedings of the 11th ACM Symposium on Computational Geometry, S. C18 - C19. 11th ACM Symposium on Computational Geometry, Vancouver, British Columbia, Canada, 05. Juni 1995 - 07. Juni 1995. ACM, New York, NY (1995)

Chaudhuri, S.; Dubhashi, D.: (Probabilistic) Recurrence Relations Revisited. In: LATIN' 95: Theoretical Informatics, S. 207 - 219 (Hg. Baeza-Yates, R.; Goles, E.; Poblete, P. V.). Second Latin American Symposium, Valparaiso, Chile, 03. April 1995 - 07. April 1995. Springer, Berlin (1995)

Chaudhuri, S.; Hagerup, T.: Prefix Graphs and their Applications. In: Graph-theoretic Concepts in Computer Science, S. 206 - 218 (Hg. Mayr, E. W.; Schmidt, G.; Tinhofer, G.). 20th International Workshop on Graph-theoretic Concepts in Computer Science, Hersching, Germany, 16. Juni 1994 - 18. Juni 1994. Springer, Berlin (1995)

Chaudhuri, S.; Zaroliagis, C.: Optimal Parallel Shortest Paths in Small Treewidth Digraphs. In: Algorithms - ESA'95: 3rd Annual European Symposium, S. 31 - 45 (Hg. Spirakis, P.). Untitled Event, Corfu, Greece, 1995. Springer, Berlin (1995)