Sibeyn, J. F.; Guillaume, F.; Seidel, T.: Practical Parallel List Ranking. In: Solving Irregularly Structured Problems in Parallel, pp. 25 - 36 (Eds. Bilardi, G.; Ferreira, A.; Lüling, R.; Rolim, J.). 4th International Symposium on Solving Irregularly Structured Problems in Parallel, Paderborn, Germany, June 12, 1997 - June 13, 1997. Springer, Berlin (1997)

Sibeyn, J.; Kaufmann, M.: BSP-like External-memory Computation. In: Algorithms and Complexity, pp. 229 - 240 (Eds. Bongiovanni, G.; Bovet, D. P.; Di Battista, G.). 3rd Italian Conference on Algorithms and Complexity, Rome, Italy, March 12, 1997 - March 14, 1997. Springer, Berlin (1997)

Slusallek, P.; Stamminger, M.; Heidrich, W.; Popp, J.-C.; Seidel, H.-P.: Composite Lighting Simulations with Lighting Networks. In: The art and interdisciplinary programs of SIGGRAPH '97, p. 157 (Eds. Pocock, L.; Hopkins, R.; Ebert, D. S.; Crow, J.). The 24th International Conference on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, August 03, 1997 - August 08, 1997. ACM, New York, NY (1997)

Slusallek, P.; Stamminger, M.; Seidel, H.-P.: Hierarchical Techniques for Global Illumination Computations - Recent Trends and Developments. In: Proceedings of the 5th Pacific Conference on Computer Graphics and Applications, pp. 80 - 89. 5th Pacific Conference on Computer Graphics and Applications, Seoul, South Korea, October 13, 1997 - October 16, 1997. IEEE explore, Piscataway, NJ (1997)

Struth, G.: On the Word Problem for Free Lattices. In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), pp. 128 - 141 (Ed. Comon, H.). Untitled Event, Sitges, Spain, 1997. Springer, Berlin, Germany (1997)

Stuber, J.: Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving. In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), pp. 125 - 129 (Eds. Bonacina, M. P.; Furbach, U.). Untitled Event, Schloss Hagenberg by Linz, Austria, 1997. Johannes Kepler Universität, Linz, Austria (1997)

van der Torre, L. W. N.; Tan, Y.-H.: Distinguishing different roles in normative reasoning. In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), pp. 225 - 232. Untitled Event, Melbourne, Australia, 1997. ACM, New York, USA (1997)

van der Torre, L. W. N.; Tan, Y.-H.: Reasoning about exceptions. In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, pp. 405 - 408 (Eds. Brewka, G.; Habel, C.; Nebel, B.). Untitled Event, Freiburg, 1997. Springer, Berlin, Germany (1997)

Vorobyov, S.: The First-order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable. In: Rewriting Techniques and Applications, pp. 254 - 268 (Ed. Comon, H.). 8th International Conference on Rewriting Techniques and Applications, Sitges, Spain, June 02, 1997 - June 05, 1997. Springer, Berlin, Germany (1997)

Vorobyov, S.: The `hardest´ natural decidable theory. In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), pp. 294 - 305 (Ed. Winskel, G.). Untitled Event, Warsaw, Poland, July 08, 2003 - July 12, 2003. IEEE, New York, USA (1997)

Waldmann, U.: A Superposition Calculus for Divisible Torsion-Free Abelian Groups. In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), pp. 130 - 134 (Eds. Bonacina, M. P.; Furbach, U.). Untitled Event, Linz, Austria, 1997. Johannes Kepler Universität, Linz, Austria (1997)

Wang, Y.: Randomization and Approximation Techniques in Computer Science. In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), pp. 209 - 225 (Ed. Rolim, J.). Untitled Event, Bologna, Italy, 1997. Springer, Berlin, Germany (1997)

Weydert, E.: Qualitative Entropy Maximization - A preliminary report. In: Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97), pp. 63 - 72 (Eds. Weydert, E.; Brewka, G.; Witteveen, C.). Untitled Event, Saarbrücken, Germany, 1997. Max-Planck-Institut für Informatik, Saarbrücken, Germany (1997)

Weydert, E.: Rational Default Quantifier Logic. In: Qualitative and Quantitative Practical Reasoning, pp. 589 - 599 (Eds. Gabbay, D.; Kruse, R.; Nonnengart, A.). 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, Bad Honnef, Germany, June 09, 1997 - June 12, 1997. Springer, Heidelberg, Germany (1997)

Zosin, L.: A 2-Approximation Algorithm for the Directed Multiway Cut Problem. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS-97), pp. 548 - 553. Untitled Event, Miami Beach, FL, USA, October 19, 1997 - October 22, 1997. IEEE, Los Alamitos, USA (1997)

Finkler, U.: Design of Efficient and Correct Algorithms: Theoretical Results and Runtime Prediction of Implementations in Practice. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Schmidt, R. A.: Optimised Modal Translation and Resolution. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Viganò, L.: A Framework for Non-Classical Logics. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Waldmann, U.: Cancellative Abelian Monoids in Refutational Theorem Proving. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Zeyer, J.: Eine Beobachtungs-Logik für modulare Sprachen. Dissertation, Universität des Saarlandes, Saarbrücken (1997)