Slusallek, P.; Schröder, M.; Stamminger, M.; Seidel, H.-P.: Smart Links and Efficient Reconstruction for Wavelet Radiosity. In: Rendering Techniques ’95, pp. 240 - 251 (Eds. Hanrahan, P.; Purgathofer, W.). Eurographics Workshop on Rendering Techniques, Dublin, Ireland, June 12, 1995 - June 14, 1995. Springer, Berlin (1995)

Slusallek, P.; Seidel, H.-P.: Object-Oriented Design for Image Synthesis. In: Programming Paradigms in Graphics, pp. 23 - 34 (Eds. Veltkamp, R. C.; Blake, E. H.). Eurographics Workshop on Programming Paradigms in Graphics, Maastricht, The Netherlands, September 02, 1995 - September 03, 1995. Springer, Berlin (1995)

Vorobyov, S.: Fa with Recursive Types: "Types-as-Propositions" Interpretations in M. Rabin's S2S. In: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs, pp. 49 - 73. Journées Francophones des Langages Applicatifs 1995, Bois d'Amont, France, 1995. INRIA, Rocquencourt, France (1995)

Vorobyov, S.: Structural Decidable Extensions of Bounded Quantification. In: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL'95), pp. 164 - 175. 22nd ACM Symposium on Principles of Programming Languages, San Francisco, CA, USA, January 23, 1995 - January 25, 1995. ACM, New York, USA (1995)

Weydert, E.: Default Entailment. A Preferential Construction Semantics for Defeasible Inference. In: KI-95: Advances in Artificial Intelligence, pp. 173 - 184 (Eds. Wachsmuth, I.; Rollinger, C.-R.; Brauer, W.). 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11, 1995 - September 13, 1995. Springer, Berlin, Germany (1995)

Weydert, E.: Defaults and Infinitesimals: Defeasible Inference by Nonarchimedean Entropy Maximization. In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 95), pp. 540 - 547 (Eds. Besnard, P.; Hanks, S.). 11th Conference on Uncertainty in Artificial Intelligence, Montréal, Canada, August 18, 1995 - August 20, 1995. Morgan Kaufmann, San Francisco, USA (1995)

Weydert, E.: Numeric Defaults. About an Expressive First-order Framework for Reasoning with Infinitesimal Probabilities. In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp. 420 - 427 (Eds. Froideveaux, C.; Kohlas, J.). European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty , Fribourg, Switzerland, July 03, 1995 - July 05, 1995. Springer, Berlin, Germany (1995)

Barth, P.: Logic-based 0-1 Constraint Solving in Constraint Logic Programming. Dissertation, iv, 187 pp., Universität des Saarlandes, Saarbrücken (1995)

Graf, P.: Term Indexing. Dissertation, xx, 238 pp., Universität des Saarlandes, Saarbrücken (1995)

Jaeger, M.: Default Reasoning about Probabilities. Dissertation, x, 166 pp., Universität des Saarlandes, Saarbrücken (1995)

Nonnengart, A.: A Resolution-Based Calculus for Temporal Logics. Dissertation, Universität des Saarlandes, Saarbrücken (1995)

Schwarzenecker, E.: Ein NP-schweres Plazierungsproblem. Dissertation, 207 pp., Universität des Saarlandes, Saarbrücken (1995)

Basin, D. A.: Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung. Habilitation, Universität des Saarlandes, Saarbrücken (1995)

Ayari, A.: A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic. Diploma, 154 pp., Universität des Saarlandes, Saarbrücken (1995)

Bremer, D.: Analyse und Simulation eines Maximum-Flow Algorithmus für das Gitter. Diploma, 106 pp., Universität des Saarlandes, Saarbrücken (1995)

Gerber, C.: Entwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache. Diploma, 165 pp., Universität des Saarlandes, Saarbrücken (1995)

Leinenbach, S.: Eine effiziente Datenstruktur für allgemeine Polyeder. Diploma, 342 pp., Universität des Saarlandes, Saarbrücken (1995)

Meyer, U.: Deterministische Simulation einer PRAM auf Gitterrechnern. Diploma, 155 pp., Universität des Saarlandes, Saarbrücken (1995)

Mohr, E.: Resolution-Based Calculi for Modal Logics. Diploma, viii, 128 pp., Universität des Saarlandes, Saarbrücken (1995)

Müller, P. S.: Ein effizienter paralleler Molekulardynamik-Simulationsalgorithmus für synthetische Polymere. Diploma, 28 pp., Universität des Saarlandes, Saarbrücken (1995)