Patricia Bouyer-Decitre
Full-time researcher, CNRS
Vice-director of LSV
- My publications
- Some of my recent talks
- My curriculum vitæ [28/02/2010]
- I have defended my habilitation on January 12, 2009.
Some links on my work
- TPTL is strictly more expressive than MTL
- About a bug in the forward analysis of timed automata
- Timed automata with costs: model-checking and games
- I teach in course 2.8 of Master parisien de recherche en informatique.
Projects
Ongoing projects
 |
 |
 |
|
 |
Past projects
 |
 |
 |
|
 |
Misc
Personal links
Photography
- Some of my favorite pictures
- My stay at Oxford in pictures
- A wonderful sunset in Iceland: in large or in small format
- A nice hotel
- The burger imperialism
- A one-picture-a-day website
- Astronomy Picture of the Day
- Visit the world with Geo Magazine!
