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

Slusallek, P.; Seidel, H.-P.: Object-Oriented Design for Image Synthesis. In: Programming Paradigms in Graphics, S. 23 - 34 (Hg. Veltkamp, R. C.; Blake, E. H.). Eurographics Workshop on Programming Paradigms in Graphics, Maastricht, The Netherlands, 02. September 1995 - 03. September 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, S. 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), S. 164 - 175. 22nd ACM Symposium on Principles of Programming Languages, San Francisco, CA, USA, 23. Januar 1995 - 25. Januar 1995. ACM, New York, USA (1995)

Weydert, E.: Default Entailment. A Preferential Construction Semantics for Defeasible Inference. In: KI-95: Advances in Artificial Intelligence, S. 173 - 184 (Hg. Wachsmuth, I.; Rollinger, C.-R.; Brauer, W.). 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, 11. September 1995 - 13. September 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), S. 540 - 547 (Hg. Besnard, P.; Hanks, S.). 11th Conference on Uncertainty in Artificial Intelligence, Montréal, Canada, 18. August 1995 - 20. August 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, S. 420 - 427 (Hg. Froideveaux, C.; Kohlas, J.). European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty , Fribourg, Switzerland, 03. Juli 1995 - 05. Juli 1995. Springer, Berlin, Germany (1995)

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

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

Jaeger, M.: Default Reasoning about Probabilities. Dissertation, x, 166 S., 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 S., 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. Diplom, 154 S., Universität des Saarlandes, Saarbrücken (1995)

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

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

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

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

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

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