Paul
Gastin
Professor, ENS de Cachan
Selected Publications
Slides of some recent talks
Research internships
Editor of the
Journal of Automata, Languages and Combinatorics
.
Send me your best papers!
Administration
Head of the
Computer Science Department
of
ENS Cachan
.
Teaching
Algorithmic
Formal Languages
Basics of Verification
Outils / Tools
LTL2BA 1.1 : fast translation from LTL formulae to Büchi automata.
Version of 04/08/2007
gastex 2.7 : Graphs and Automata Simplified in TeX.
Version of 02/05/2004
JasTeX 1.1: the long-awaited graphical user interface in Java for GasTeX.
hevea 1.07 pour mac OS X
About
LSV
News
People
Research
Seminars
Teaching
Contact
École Normale Supérieure de Cachan
Centre National de la Recherche Scientifique
Private Pages
Page maintained by
Paul Gastin
.
English
Français
Contact
Address
LSV
,
CNRS
&
ENS
de Cachan
61, avenue du Président
Wilson
94235 CACHAN Cedex, France
Office
RH-B-007
Phone
+33 (0)1 47 40 75 60
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
Firstname dot Name at lsv dot guess the rest