- aktuelle:
- Koreferenzresolution, insbes. machine-learning-basiert
- Optimierung für natürliche Sprachverarbeitung, insbes. Integer Linear Programming
- Semantische Verarbeitung, insbes. Skopusambiguitäten, semantische Konstruktion
- ehemalige: Logik (endliche Modelltheorie, theoretische Informatik)
- Deskriptive Komplexitätstheorie
- Kombinatorische Logik
- Parametrische Komplexitätstheorie
- Publikationen
- E. Ailloud, A. Durand. The expressive power of bijections over weakly arithmetized structures. Theory of Computing Systems, 39(2):297-309, 2006. [pdf]
- Glue Semantics as Dominance Constraints. Universität des Saarlandes, Mai 2007.
- Caractérisation du temps linéaire non-déterministe. Université Denis Diderot Paris 7, September 2002.
![]()
[%=content%]
[%=content%]
[%=content%]
[%=text%]
