Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Gert Smolka   Order by:   Type | Year

<< 2004 >>

1 Ralph Debusmann, Denys Duchier, Alexander Koller, Marco Kuhlmann, Gert Smolka and Stefan Thater. A Relational Syntax-Semantics Interface Based on Dependency Grammar. In Proceedings of the 20th COLING, Geneva, 2004.     google

<< 1999 >>

2 Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer and Gert Smolka. Efficient Logic Variables for Distributed Computing. In ACM Transactions on Programming Languages and Systems, Vol. 21(3):569-626, 1999. [Abstract]     google [Annote]

<< 1998 >>

3 Denys Duchier, Leif Kornstaedt, Christian Schulte and Gert Smolka. A Higher-Order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling. Technical report, Technical Report, Programming Systems Lab, DFKI and Universität des Saarlandes, Saarbrücken, 1998. [Abstract]     google [Annote] 4 Michael Mehl, Christian Schulte and Gert Smolka. Futures and By-need Synchronization. Technical report, Draft, DFKI and Universität des Saarlandes, Saarbrücken, May 1998. [Abstract]     google 5 Gert Smolka. Concurrent Constraint Programming Based on Functional Programming. In Chris Hankin editor, Programming Languages and Systems, Vol. 1381:1-11 of Lecture Notes in Computer Science, Springer, Lisbon, 1998. [Abstract]     google [Annote]

<< 1997 >>

6 Seif Haridi, Peter Van Roy and Gert Smolka. An Overview of the Design of Distributed Oz. In 2nd International Symposium on Parallel Symbolic Computation (PASCO '97), July 20-22, Pages 176-187, ACM Press, Maui, Hawaii, USA, 1997. [Abstract]     google [Annote] 7 Martin Müller, Joachim Niehren and Andreas Podelski. Ordering Constraints over Feature Trees. In Gert Smolka editor, 3rd International Conference on Principles and Practice of Constraint Programming (CP '97), October 29 - November 1, (1330):297-311, Springer, Schloss Hagenberg, Austria, 1997. [Abstract]     google [Annote] 8 Martin Müller, Joachim Niehren and Gert Smolka. Typed Concurrent Programming with Logic Variables. Technical report, Technical Report, Universität des Saarlandes, Programming Systems Lab, Saarbrücken, September 1997. [Abstract]     google [Annote] 9 Andreas Podelski and Gert Smolka. Situated Simplification. In Theoretical Computer Science, Vol. 173:209-233, 1997.     google 10 Christian Schulte. Programming Constraint Inference Engines. In Gert Smolka editor, 3rd International Conference on Principles and Practice of Constraint Programming (CP '97), October 29 - November 1, (1330):519-533, Springer, Schloß Hagenberg, Austria, 1997. [Abstract]     google [Annote] 11 Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl and Ralf Scheidhauer. Mobile Objects in Distributed Oz. In ACM Transactions on Programming Languages and Systems, Vol. 19(5):804-851, 1997. [Abstract]     google [Annote]

<< 1996 >>

12 Martin Müller and Gert Smolka. Oz: Nebenläufige Programmierung mit Constraints. In KI - Künstliche Intelligenz, Vol. 3:55-61, 1996. [Abstract]     google [Annote] 13 Gert Smolka. Problem Solving with Constraints and Programming. In ACM Computing Surveys, Vol. 28(4), 1996. [Abstract]     google [Annote]

<< 1995 >>

14 Rolf Backofen and Gert Smolka. A Complete and Recursive Feature Theory. In Theoretical Computer Science, Vol. 146(1-2):243-268, 1995.     google [Annote] 15 Andreas Podelski and Gert Smolka. Situated Simplification. In U. Montanari editor, 1st Conference on Principles and Practice of Constraint Programming, September, (976):328-344, Springer, Cassis, France, 1995. [Abstract]     google [Annote]

<< 1993 >>

16 Rolf Backofen and Gert Smolka. A Complete and Recursive Feature Theory. In 31st Annual Meeting of the Association for Computational Linguistics (ACL), June 22-26, Pages 193-200, Association for Computational Linguistics, Ohio State University Columbus, Ohio, USA, 1993.     google [Annote]

<< 1992 >>

17 Rolf Backofen and Gert Smolka. A Complete and Recursive Feature Theory. Technical report, Research Report RR-92-30, DFKI, Saarbrücken, 1992.     google [Annote]

Last modified: Thu October 16 2014 19:11:34