THIS PAGE IS NOT BEING UPDATED ANYMORE
- 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]
