| 1. |
Bodirsky, Manuel ; Duchier, Denys ; Miele, Sebastian ; Niehren, Joachim
(2004)
A new algorithm for normal dominance constraints
ACM-SIAM Symposium on Discrete Algorithms (SODA04), New Orleans, January 11-13, 2004.
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
| 2. |
Althaus, Ernst ; Duchier, Denys ; Koller, Alexander ; Mehlhorn, Kurt ; Niehren, Joachim ; Thiel, Sven
(2003)
An efficient graph algorithm for dominance constraints
Journal of Algorithms, Volume 48, Issue 1, August 2003, Pages 194-219
Aufsatz
|
| 3. |
Koller, Alexander ; Niehren, Joachim ; Thater, Stefan
(2003)
Bridging the gap between underspecification formalisms : hole semantics as dominance constraints
Proceedings of the 11th Conference of the European Chapter of the Association of Computational Linguistics
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
| 4. |
Niehren, Joachim ; Thater, Stefan
(2003)
Bridging the gap between underspecification formalisms : minimal recursion semantics as dominance constraints
Proceedings of the 41st Meeting of the Association of Computational Linguistics, Sapporo, Japan, 5-13 July 2003, pp. 367-374
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
| 5. |
Niehren, Joachim ; Villaret, Mateu
(2003)
Describing lambda terms in context unification
4th International Workshop on Inference in Computational Semantics(ICoS-4), Nancy, France, 25-26 Sept.2003
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
| 6. |
Niehren, Joachim ; Priesnitz, Tim
(2003)
Non-structural subtype entailment in automata theory
Information and Computation, v.186(2003), n.2, p.319-354
Aufsatz
|
| 7. |
Erk, Katrin ; Niehren, Joachim
(2003)
Well-nested parallelism constraints for ellipsis resolution
11th Conference of the European Chapter of the Association of Computational Linguistics, Budapest, Hungary, 12-17 April 2003, pp. 115-122
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
| 8. |
Koller, Alexander ; Niehren, Joachim
(2002)
Constraint programming in computational linguistics
Barker-Plummer, Dave (ed.): Words, proofs and diagrams.- Stanford: CSLI Publ., 2002. (CSLI Lecture Notes) pp. 95-123
InBuch (Kapitel / Teil einer Monographie)
|
| 9. |
Su, Zhendong ; Aiken, Alexander ; Niehren, Joachim ; Priesnitz, Tim ; Treinen, Ralf
(2002)
First-order theory of subtyping constraints
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, 16-18 January 2002, pp.203-216
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
| 10. |
Niehren, Joachim ; Villaret, Mateu
(2002)
Parallelism and tree regular constraints
9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Tbilisi, Georgia, 14-18 October 2002, pp. 311-326 (Lecture Notes on Artificial Intelligence; 2514)
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
