Index Browse   Bibliographies My selection

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

References of Andreas Podelski   Order by:   Type | Year

<< Article (Journal) >>

1 Martin Müller, Joachim Niehren and Andreas Podelski. Ordering Constraints over Feature Trees. In Constraints, an International Journal, Vol. 5(1-2):7-42, 2000. [Abstract]     google [Annote] 2 Andreas Podelski and Gert Smolka. Situated Simplification. In Theoretical Computer Science, Vol. 173:209-233, 1997.     google

<< InProceedings >>

3 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] 4 Joachim Niehren, Martin Müller and Andreas Podelski. Inclusion Constraints over Non-Empty Sets of Trees. In M. Bidoit and M. Dauchet editors, 7th International Joint Conference CAAP/ FASE. Theory and Practice of Software Development (TAPSOFT '97), April 14-18, (1214):217-231, Springer, Lille, France, 1997. [Abstract]     google [Annote] 5 Andreas Podelski, Witold Charatonik and Martin Müller. Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. In S. Doaitse Swierstra editor, 8th European Symposium of Programming (ESOP '99). Programming Languages and Systems, March 22-28, (1576):177-192, Springer, Amsterdam, The Netherlands, 1999. [Abstract]     google [Annote] 6 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]

<< TechReport >>

7 Andreas Podelski, Witold Charatonik and Martin Müller. Set-Based Error Diagnosis of Concurrent Constraint Programs. Technical report, Technical Report, Universität des Saarlandes, Saarbrücken, December 1997. [Abstract]     google [Annote]

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