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

Sibeyn, J.; Kaufmann, M.: BSP-like External-memory Computation. In: Algorithms and Complexity, S. 229 - 240 (Hg. Bongiovanni, G.; Bovet, D. P.; Di Battista, G.). 3rd Italian Conference on Algorithms and Complexity, Rome, Italy, 12. März 1997 - 14. März 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, S. 157 (Hg. Pocock, L.; Hopkins, R.; Ebert, D. S.; Crow, J.). The 24th International Conference on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 03. August 1997 - 08. August 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, S. 80 - 89. 5th Pacific Conference on Computer Graphics and Applications, Seoul, South Korea, 13. Oktober 1997 - 16. Oktober 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), S. 128 - 141 (Hg. 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), S. 125 - 129 (Hg. 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), S. 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, S. 405 - 408 (Hg. 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, S. 254 - 268 (Hg. Comon, H.). 8th International Conference on Rewriting Techniques and Applications, Sitges, Spain, 02. Juni 1997 - 05. Juni 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), S. 294 - 305 (Hg. Winskel, G.). Untitled Event, Warsaw, Poland, 08. Juli 2003 - 12. Juli 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), S. 130 - 134 (Hg. 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), S. 209 - 225 (Hg. 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), S. 63 - 72 (Hg. 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, S. 589 - 599 (Hg. Gabbay, D.; Kruse, R.; Nonnengart, A.). 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, Bad Honnef, Germany, 09. Juni 1997 - 12. Juni 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), S. 548 - 553. Untitled Event, Miami Beach, FL, USA, 19. Oktober 1997 - 22. Oktober 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)