Gert Smolka: Curriculum Vitae

Programming Systems

Gert Smolka

Teaching

Publications

Academic Activities

Curriculum Vitae

Doctoral Students

Selected Recent Publications

• Gert Smolka (guest editor), Selected Papers of the European Symposium on Programming (ESOP'2000) Nordic Journal of Computing, Vol. 7, No. 4, Winter 2000.
• Gert Smolka (editor), Programming Languages and Systems, Lecture Notes in Computer Science, Volume 1782, Springer Verlag, Berlin, 2000.
• Gert Smolka (guest editor), Special Issue on CP97. Constraints, an International Journal, Vol. 5, No. 1-2, January 2000.
• Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, and Gert Smolka. Efficient Logic Variables for Distributed Computing. ACM Transactions on Programming Languages and Systems, Vol. 21, No. 3, May 1999, Pages 569-626.
• Gert Smolka (guest editor), Special Issue on Order-sorted Rewriting. Journal of Symbolic Computation, Vol. 25, No. 4, April 1998.
• Gert Smolka. Concurrent Constraint Programming Based on Functional Programming. In Chris Hankin, editor, Programming Languages and Systems, Lecture Notes in Computer Science, vol. 1381, Springer-Verlag, Berlin, 1998.
• Seif Haridi, Peter Van Roy, and Gert Smolka. An Overview of the Design of Distributed Oz. In Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO '97), pages 176-187, ACM Press, 1997.
• Gert Smolka (editor), Principles and Practice of Constraint Programming---CP97. Lecture Notes in Computer Science, Volume 1330, Springer Verlag, Berlin, 1997.
• Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, and Ralf Scheidhauer. Efficient Logic Variables for Distributed Computing. ACM Transactions on Programming Languages and Systems, Vol. 19, No. 5, September 1997, Pages 804-851.
• Andreas Podelski and Gert Smolka. Situated Simplification. Theoretical Computer Science, 173:209-233, February 1997.
• Gert Smolka. Constraints in Oz. ACM Computing Surveys, Vol. 28, No. 4es (Dec. 1996), Article 75 (Article in Electronic Section of Issue 4).
• Martin Müller and Gert Smolka. Oz: Nebenläufige Programmierung mit Constraints. KI - Künstliche Intelligenz, Themenheft Logische Programmierung. pages 55-61, September 1996.
• Rolf Backofen and Gert Smolka. A complete and recursive feature theory. Theoretical Computer Science, 146(1-2):243-268, July 1995.
• Gert Smolka. The Oz Programming Model. In Jan van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science, vol 1000, pages 324-343. Springer-Verlag, Berlin, 1995.
• Gert Smolka. The Definition of Kernel Oz. In Maurice Nivat and Andreas Podelski, editors, Constraints: Basics and Trends, Lecture Notes in Computer Science, vol. 910, pages 251-292. Springer-Verlag, Berlin, 1995.
• Martin Henz, Gert Smolka, and Jörg Würtz. Object-oriented concurrent constraint programming in Oz. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 2, pages 29-48. The MIT Press, Cambridge, MA, 1995.
• Andreas Podelski and Gert Smolka. Situated Simplification. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, vol. 976, pages 328-344, Springer-Verlag, Berlin, 1995.
• Andreas Podelski and Gert Smolka. Operational semantics of constraint logic programs with coroutining. In Proceedings of the 1995 International Conference on Logic Programming, pages 449-463, The MIT Press, Cambridge, MA, 1995.