Madden, P.: Program improvement by proof planning. In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11). Untitled Event, University of Wales, Swansea, Wales, 1995. (1995)

Madden, P.; Green, I.: A General Technique for Automatically Optimizing Programs through the Use of Proof Plans. In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, pp. 64 - 79 (Eds. Calmet, J.; Campbell, J. A.). Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence , Cambridge, UK, August 03, 1994 - August 05, 1994. Springer, Berlin, Germany (1995)

Matthews, S.: Implementing FS0 in Isabelle: Adding Structure at the Metalevel. In: Proceedings of the First Isabelle Users Workshop, pp. 20 - 239 (Ed. Paulson, L. C.). First Isabelle Users Workshop, Cambridge, UK, September 18, 1995 - September 19, 1995. University of Cambridge, Cambridge (1995)

Mehlhorn, K.: Experiences with the Implementation of Geometric Algorithms. In: Algorithms and Data Structures, p. 518 - 518 (Eds. Akl, S. G.; Dehne, F.; Sack, J.-R.; Santoro, N.). 4th International Workshop on Algorithms and Data Structures, Kingston, Canada, August 16, 1995 - August 18, 1995. Springer, Berlin, Germany (1995)

Mehlhorn, K.; Priebe, V.: On the All-Pairs Shortest Path Algorithm of Moffat and Takaoka. In: Algorithms - ESA '95, pp. 185 - 198. Third Annual European Symposium on Algorithms, Corfu, Greece, September 25, 1995 - September 27, 1995. Springer, Berlin, Germany (1995)

Meyer, U.; Sibeyn, J. F.: Simulating the Simulator: Deterministic PRAM Simulation on a Mesh Simulator. In: Eurosim '95, pp. 285 - 290 (Eds. Breitenecker, F.; Husinsky, I.). 1995 EUROSIM Conference, Vienna, Austria, September 11, 1995 - September 15, 1995. Elsevier, Amsterdam (1995)

Mutzel, P.: A Polyhedral Approach to Planar Augmentation and Related Problems. In: Algorithms - ESA '95, pp. 494 - 507 (Ed. Spirakis, P.). 3rd Annual European Symposium on Algorithms, Corfu, Greece, September 25, 1995 - September 27, 1995. Springer, Berlin, Germany (1995)

Naor, M.; Schulman, L. J.; Srinivasan, A.: Splitters and Near-optimal Derandomization. In: Proceedings of the 36th IEEE Annual Symposium on Foundations of Computer Science, pp. 182 - 191. 36th IEEE Annual Symposium on Foundations of Computer Science, Milwaukee, WI, USA , October 23, 1995 - October 25, 1995. IEEE explore, Piscataway, NJ (1995)

Ohlbach, H. J.; Schmidt, R. A.; Hustadt, U.: Symbolic Arithmetical Reasoning with Qualified Number Restrictions. In: Proceedings of International Workshop on Description Logics 1995, pp. 89 - 95 (Eds. Borgida, A.; Lenzerini, M.; Nardi, D.; Nebel, B.). International Workshop on Description Logics 1995, Rome, Italy, June 02, 1995 - June 03, 1995. Dipartimento di Informatica e Sistemistica, Univ. degli studia di Roma, Rome (1995)

Papatriantafilou, M.; Tsigas, P.: Wait-Free Consensus in "In-Phase'' Multiprocessor Systems. In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, pp. 312 - 319. Seventh IEEE Symposium on Parallel and Distributed Processing, San Antonio, TX, USA, October 25, 1995 - October 28, 1995. IEEE, Los Alamitos (1995)

Podelski, A.; Smolka, G.: Situated Simplification. In: Principles and Practice of Constraint Programming - CP '95, pp. 328 - 344 (Eds. Montanari, U.; Rossi, F.). First International Conference on Principles and Practice of Constraint Programming, Cassis, France, September 19, 1995 - September 22, 1995. Springer, Berlin, Germany (1995)

Podelski, A.; Smolka, G.: Situated Simplification. In: Logic Programming, p. 826 (Ed. Sterling, L.). 12th International Conference on Logic Programming , Tokyo, Japan, June 13, 1995 - June 16, 1995. MIT Press, Cambridge, MA, USA (1995)

Podelski, A.; Smolka, G.: Operational Semantics of Constraint Logic Programs with Coroutining. In: Logic Programming, pp. 449 - 463 (Ed. Sterling, L.). 12th International Conference on Logic Programming , Tokyo, Japan, June 13, 1995 - June 16, 1995. MIT Press, Cambridge, MA, USA (1995)

Rüb, C.: On the Average Running Time of Odd-Even Merge Sort. In: STACS 95, pp. 491 - 501 (Eds. Mayr, E. W.; Puech, C.). 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 02, 1995 - March 04, 1995. Springer, Berlin (1995)

Schiele, B.; L.Crowley, J.: Object Recognition Using Multidimensional Receptive Field Histograms and its Robustness to View Point Changes. In: Presented at 1995 Rosenon Workshop on Computational Vision. (1995)

Schiele, B.; Waibel, A.: Estimation of the Head Orientation Based on a Face‐Color‐Intensifier. In: 3rd International Symposium on Intelligent Robotic Systems, pp. 339 - 346. 3rd International Symposium on Intelligent Robotic Systems. (1995)

Schiele, B.; Waibel, A.: Gaze Tracking Based on Face‐Color. In: Proceedings of the International Workshop on Automatic Face- and Gesture-Recognition, pp. 344 - 349 (Ed. Bichsel, M.). International Workshop on Automatic Face- and Gesture-Recognition, Zurich, Switzerland, June 26, 1995 - June 28, 1995. University of Zurich Department of Computer Science Multimedia Laboratory, Zurich (1995)

Schömer, E.; Thiel, C.: Efficient Collision Detection for Moving Polyhedra. In: 11th Annual ACM Symposium on Computational Geometry (SCG95), pp. 51 - 60. Untitled Event, Vancouver, British Columbia, Canada, 1995. acm-Press, New York (1995)

Seidel, H.-P.: Triangular B-Splines. In: Graphics and Robotics, pp. 149 - 162 (Eds. Straßer, W.; Wahl, F. M.). International Workshop on Graphics and Robotics, Schloss Dagstuhl, FRG, April 19, 1993 - April 22, 1993. Springer, Berlin (1995)

Sibeyn, J. F.: Sample Sort on Meshes. In: Proceedings of Computing Science in the Netherlands, SION, pp. 217 - 228. Untitled Event, -, 1995. -, - (1995)