Krishna Rao, M. R. K.: Learning Prolog programs from examples. In: Knowledge Based Computer Systems, S. 19 - 30 (Hg. Anjaneyulu, K.; Sasikumar, M.; Ramani, S.). Untitled Event, Bombay, India, 1996. Narosa, New Delhi, India (1996)

Krishna Rao, M. R. K.: Modularity of Termination in Term Graph Rewriting. In: Rewriting Techniques and Applications, S. 230 - 244 (Hg. Ganzinger, H.). 7th International Conference on Rewriting Techniques and Applications, New Brunswick, NJ, USA, 27. Juli 1996 - 30. Juli 1996. Springer, Berlin, Germany (1996)

Krishna Rao, M. R. K.: Some Characteristics of Strong Innermost Normalization. In: Algebraic Methodology and Software Technology, S. 406 - 420 (Hg. Wirsing, M.; Nivat, M.). 5th International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 01. Juli 1996 - 05. Juli 1996. Springer, Berlin, Germany (1996)

Krithivasan, K.; Rema, A.; Schirra, S.; Vijaykumar, P.I.: Velocity Planning for a Robot Moving Along the Shortest Straight Line Path Among Moving Obstacles. In: Proceedings of the 8th Canadian Conference on Computational Geometry, S. 149 - 154 (Hg. Fiala, F.; Kranakis, E.; Sack, J.-R.). 8th Canadian Conference on Computational Geometry, Ottawa, Canada, 12. August 1996 - 15. August 1996. Carleton University Press, Ottawa, Canada (1996)

Matthews, S.: Implementing FS0 in Isabelle: Adding Structure at the Metalevel. In: Design and Implementation of Symbolic Computation Systems, S. 228 - 239 (Hg. Paulson, L. C.). International Symposium on Design and Implementation of Symbolic Computation Systems, Karlsruhe, Germany, 18. September 1996 - 20. September 1996. Springer, Berlin, Germany (1996)

Mehlhorn, K.: Position Paper for Panel Discussion. In: Applied Computational Geormetry, Towards Geometric Engineering, S. 51 - 52 (Hg. Lin, M. C.; Manocha, D.). FCRC'96 Workshop, WACG'96, Philadelphia, PA, USA, 27. Mai 1996 - 28. Mai 1996. Springer, Berlin, Germany (1996)

Mehlhorn, K.: The LEDA Platform of Combinatorial and Geometric Computing. In: Proceedings of Conference on Computing: The Australian Theory Symposium, S. 126 - 126. Untitled Event, Townsville, 29. Januar 1996. ??, ?? (1996)

Mehlhorn, K.; Claus, V.; Thomas, W.: Komplexitätstheorie und Algorithmik. In: Informatik: Grundlagen - Anwendungen - Perspektiven, S. 113 - 116. Untitled Event, Dagstuhl, Germany, 14. November 1994. Beck, Munich, Germany (1996)

Mehlhorn, K.; Näher, S.; Schilz, T.; Schirra, S.; Seel, M.; Seidel, R.; Uhrig, C.: Checking Geometric Programs or Verification of Geometric Structures. In: Proceedings of the 12th Annual ACM Symposium on Computational Geometry, S. 159 - 165. 12th Annual ACM Symposium on Computational Geometry, Philadelphia, PA, USA, 24. Mai 1996 - 26. Mai 1996. ACM, New York, NY (1996)

Mehlhorn, K.; Näher, S.; Uhrig, C.: The LEDA Platform for Combinatorial and Geometric Computing. In: Beherrschung von Informationssystemen: Tagungsband der Informatik '96 ; GI - 26. Jahrestagung, S. 43 - 50. Untitled Event, Klagenfurt; Österreich, 25. September 1996. Österreichische Computer Gesellschaft (OCG) / Austrian Computer Society, Wien, Austria (1996)

Mutzel, P.: An Alternative Method to Crossing Minimization on Hierarchical Graphs. In: Graph Drawing, S. 318 - 333 (Hg. North, S.). Symposium on Graph Drawing, GD '96, Berkeley, CA, USA, 18. September 1996 - 20. September 1996. Springer, Berlin, Germany (1996)

Nonnengart, A.: Resolution-Based Calculi for Modal and Temporal Logics. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), S. 598 - 612 (Hg. McRobbie, M. A.; Slaney, J. K.). Untitled Event, New Brunswick, USA, 1996. Springer, Berlin, Germany (1996)

Ohlbach, H. J.: SCAN-Elimination of Predicate Quantifiers. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), S. 161 - 165 (Hg. McRobbie, M. A.; Slaney, J. K.). Untitled Event, New Brunswick, New Jersey, USA, 1996. Springer, Berlin, Germany (1996)

Pfeifle, R.; Seidel, H.-P.: Triangular B-Splines for Blending and Filling of Polygonal Holes. In: Proceedings of Graphics Interface '96, S. 186 - 193 (Hg. Davis, W. A.; Bartels, R. H.). Graphics Interface 1996 Conference, Toronto, Canada, 22. Mai 1996 - 24. Mai 1996. Canadian Human-Computer Communications Society, Toronto (1996)

Preetham, A. J.; Krithivasan, K.; Rangan, C. P.; Sibeyn, J. F.: Parallel algorithm for maximum empty L-shaped polygon. In: 3rd Conference on High-Performance Computing. Untitled Event, -, 1996. IEEE, Los Alamitos, USA (1996)

Schiele, B.; Crowley, J. L.: Probabilistic Object Recognition using Multidimensional Receptive Field Histograms. In: Proceedings of the 13th International Conference on Pattern Recognition, S. 50 - 54. 13th International Conference on Pattern Recognition, Vienna, Austria, 25. August 1996 - 29. August 1996. IEEE Computer Society, Los Alamitos, CA (1996)

Schiele, B.; Crowley, J. L.: Object Recognition Using Multidimensional Receptive Field Histograms. In: Computer Vision - ECCV '96, S. 610 - 619 (Hg. Buxton, B.; Cipolla, R.). 4th European Conference on Computer Vision , Cambridge, UK, 15. April 1996 - 18. April 1996. Springer, Berlin (1996)

Schiele, B.; Crowley, J. L.: Reconnaissance des objets utilisant des histogrammes multidimensionnels des champs réceptive. In: Journées Orasis'96, S. 7 - 12. 5èmes Journées Orasis, Clermont-Ferrand, France, 20. Mai 1996 - 24. Mai 1996. CNRS (1996)

Schiele, B.; Crowley, J. L.: The Robustness of Object Recognition to View Point Changes Using Multidimensional Receptive Field Histograms. In: Presented at ECIS‐VAP meeting, Object Recognition Day. (1996)

Schiele, B.; Crowley, J. L.: Where to Look Next and What to Look For. In: Proceedings of the 1996 IEEE RSJ International Conference on Intelligent Robots and Systems, S. 1249 - 1255. IEEE RSJ International Conference on Intelligent Robots and Systems, Osaka, Japan, 04. November 1996 - 08. November 1996. IEEE, Piscataway, NJ (1996)