Prof. Dr. Denis Therien

Profil

Derzeitige StellungProfessor W-3 und Äquivalente
FachgebietTheoretische Informatik,Algebra, Zahlentheorie, Algebraische Geometrie

Aktuelle Kontaktadresse

LandKanada
OrtOutremont

Gastgeber*innen während der Förderung

Prof. Dr. Klaus-Jörn LangeWilhelm-Schickard-Institut für Informatik, Eberhard Karls Universität Tübingen, Tübingen
Beginn der ersten Förderung01.08.2000

Programm(e)

1999Forschungspreis-Programm auf Gegenseitigkeit für Wissenschaftler*innen aus dem Ausland

Publikationen (Auswahl)

2001Denis Therien, P. Bouyer, A. Petit: An Algebraic Characterization of Data and Timed Languages. In: LNCS, 2001, 248-261
2001Denis Therien, R. Gavalda Learning Expressions over Finite Monoids. In: LNCS, 2001, 283-293
2001Denis Therien, T. Schwentick, H. Vollmer: Partially Ordered Two-way Automata: a New Characterization of DA. In: DLT, 2001, 242-253
2001Denis Therien, H. Straubing: Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables. In: LNCS, 2001, 551-562
2001Denis Therien, C. Moore, P. Tesson: Satisfiability of Systems of Equations over Finite Monoids. In: LNCS, 2001, 537-547
2001Denis Therien, M. Beaudry, F. Lemieux: Star-free Open Languages and Aperiodic Loops . In: LNCS, 2001, 87-98