Paul
Gastin
Professor, ENS de Cachan
Selected Publications
Slides of some recent talks
Editor of the
Journal of Automata, Languages and Combinatorics
.
Send me your best papers!
Administration
Head of the
Computer Science Department
of
ENS Cachan
.
Co-head of the
Indo-French International Laboratory InForMeL
.
Teaching
Algorithmic
Formal Languages
Basics of Verification
Research internships
Outils / Tools
LTL2BA 1.1 : fast translation from LTL formulae to Büchi automata.
Version of 2007/08/04
gastex 2.9b8 : Graphs and Automata Simplified in TeX.
Version of 2012/07/25
JasTeX 1.1: graphical user interface in Java for GasTeX (outdated).
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