Schiele, B.; Crowley, J. L.: Object Recognition Using Multidimensional Receptive Field Histograms. In: Computer Vision - ECCV '96, pp. 610 - 619 (Eds. Buxton, B.; Cipolla, R.). 4th European Conference on Computer Vision , Cambridge, UK, April 15, 1996 - April 18, 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, pp. 7 - 12. 5èmes Journées Orasis, Clermont-Ferrand, France, May 20, 1996 - May 24, 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, pp. 1249 - 1255. IEEE RSJ International Conference on Intelligent Robots and Systems, Osaka, Japan, November 04, 1996 - November 08, 1996. IEEE, Piscataway, NJ (1996)

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

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

Slusallek, P.; Seidel, H.-P.: Towards an Open Rendering Kernel for Image Synthesis. In: Rendering Techniques ’96, pp. 51 - 60 (Eds. Pueyo, X.; Schröder, P.). Eurographics Workshop on Rendering Techniques, Porto, Portugal, June 17, 1996 - June 19, 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, pp. 6 - 15. 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Georgia, USA, January 28, 1996 - January 30, 1996. SIAM, Philadelphia, PA (1996)

Stuber, J.: Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. In: Rewriting Techniques and Applications, pp. 33 - 47 (Ed. Ganzinger, H.). 7th International Conference on Rewriting Techniques and Applications, New Brunswick, NJ, USA, July 27, 1996 - July 30, 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, pp. 183 - 194 (Eds. Ferreira, A.; Rolim, J.; Saad, Y.; Yang, T.). 3rd International Workshop on Parallel Algorithms for Irregularly Structured Problems, Santa Barbara, CA, USA, August 19, 1996 - August 21, 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), pp. 275 - 287 (Eds. 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, pp. 152 - 161 (Eds. Jaffar, J.; Yap, R. H. C.). Second Asian Computing Science Conference, Singapore, December 02, 1996 - December 05, 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, pp. 67 - 76 (Eds. 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), pp. 343 - 357 (Eds. McRobbie, M. A.; Slaney, J. K.). 13th International Conference on Automated Deduction, New Brunswick, USA, July 30, 1996 - August 03, 1996. Springer, Berlin, Germany (1996)

Weidenbach, C.: Unification in Sort Theories. In: Proceedings of the 10th International Workshop on Unification, UNIF'96, pp. 16 - 25 (Eds. 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, pp. 141 - 145 (Eds. McRobbie, M. A.; Slaney, J. K.). 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996 - August 03, 1996. Springer, Berlin, Germany (1996)

Weydert, E.: Default Quantifier Logic. In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems (Ed. 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, pp. 637 - 649 (Eds. Gabbay, D.; Ohlbach, H. J.). International Conference on Formal and Applied Practical Reasoning, Bonn, Germany, June 03, 1996 - June 07, 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)