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)

Sibeyn, J. F.: List Ranking on Interconnection Networks. In: Euro-Par '96, Parallel Processing, S. 529 - 541 (Hg. Bougé, L.; Fraigniaud, P.; Mignotte, A.; Robert, Y.). Second International Euro-Par Conference, Lyon, France, 26. August 1996 - 29. August 1996. Springer, Berlin (1996)

Sibeyn, J.: Routing on Triangles, Tori and Honeycombs. In: Mathematical Foundations of Computer Science 1996, S. 529 - 541 (Hg. Penczek, W.; Szalas, A.). 21st International Symposium on Mathematical Foundations of Computer Science, Cracow, Poland, 02. September 1996 - 06. September 1996. Springer, Berlin (1996)

Slusallek, P.; Seidel, H.-P.: Towards an Open Rendering Kernel for Image Synthesis. In: Rendering Techniques ’96, S. 51 - 60 (Hg. Pueyo, X.; Schröder, P.). Eurographics Workshop on Rendering Techniques, Porto, Portugal, 17. Juni 1996 - 19. Juni 1996. Springer, Berlin (1996)

Srinivasan, A.: An Extension of the Lovász Local Lemma, and its Applications to Integer Programming. In: Proceedings of the 7th Annual ACM-SIAM Symposium on Discrete Algorithms, S. 6 - 15. 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Georgia, USA, 28. Januar 1996 - 30. Januar 1996. SIAM, Philadelphia, PA (1996)

Stuber, J.: Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. In: Rewriting Techniques and Applications, S. 33 - 47 (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)

Träff, J. L.; Zaroliagis, C.: A Simple Parallel Algorithm for the Single-Source Shortest Path Problem on Planar Digraphs. In: Parallel Algorithms for Irregularly Structured Problems, S. 183 - 194 (Hg. Ferreira, A.; Rolim, J.; Saad, Y.; Yang, T.). 3rd International Workshop on Parallel Algorithms for Irregularly Structured Problems, Santa Barbara, CA, USA, 19. August 1996 - 21. August 1996. Springer, Berlin (1996)

Vorobyov, S.: An improved lower bound for the elementary theories of trees. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), S. 275 - 287 (Hg. McRobbie, M. A.; Slaney, J. K.). Untitled Event, New Brunswick, USA, 1996. Springer, Berlin, Germany (1996)

Vorobyov, S.: On the Bounded Theories of Finite Trees. In: Concurrency and Parallelism, Programming, Networking, and Security, S. 152 - 161 (Hg. Jaffar, J.; Yap, R. H. C.). Second Asian Computing Science Conference, Singapore, 02. Dezember 1996 - 05. Dezember 1996. Springer, Berlin, Germany (1996)

Weidenbach, C.: Sorted Unification and Its Application to Automated Theorem Proving. In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, S. 67 - 76 (Hg. Hermann, M.; Salzer, G.). Untitled Event, New Brunswick, USA, 1996. Self (1996)

Weidenbach, C.: Unification in Pseudo-Linear Sort Theories is Decidable. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), S. 343 - 357 (Hg. McRobbie, M. A.; Slaney, J. K.). 13th International Conference on Automated Deduction, New Brunswick, USA, 30. Juli 1996 - 03. August 1996. Springer, Berlin, Germany (1996)

Weidenbach, C.: Unification in Sort Theories. In: Proceedings of the 10th International Workshop on Unification, UNIF'96, S. 16 - 25 (Hg. Schulz, K. U.; Kepser, S.). Untitled Event, Harsching, Germany, 1996. Universität München, München, Germany (1996)

Weidenbach, C.; Gaede, B.; Rock, G.: SPASS & FLOTTER, Version 0.42. In: Automated Deduction - CADE-13, S. 141 - 145 (Hg. McRobbie, M. A.; Slaney, J. K.). 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, 30. Juli 1996 - 03. August 1996. Springer, Berlin, Germany (1996)

Weydert, E.: Default Quantifier Logic. In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems (Hg. Niemelä, I.). Untitled Event, Budapest, Hungary, 1996. Universität Koblenz-Landau, Institut für Informatik, Koblenz-Landau, Germany (1996)

Weydert, E.: System J - Revision Entailment: Default Reasoning through Ranking Measure Updates. In: Practical Reasoning, S. 637 - 649 (Hg. Gabbay, D.; Ohlbach, H. J.). International Conference on Formal and Applied Practical Reasoning, Bonn, Germany, 03. Juni 1996 - 07. Juni 1996. Springer, Berlin, Germany (1996)

Burnikel, C.: Exact Computation of Voronoi Diagrams and Line Segment Intersections. Dissertation, Universität des Saarlandes, Saarbrücken (1996)

Fehrer, D.: A unifying logical framework for reason maintenance. Dissertation, Universität des Saarlandes, Saarbrücken (1996)