The mystery of the forest of Broceliande – summer 2008

David Janin
Maître de conférences à l'ENSEIRBAssociate Professor at ENSEIRB,

Laboratoire/Research Institute
LaBRI , Université Bordeaux-1,
351, Cours de la libération
F-33 405, Talence cedex, France

Bureau : 206
Courrier / E-mail : janin@labri.fr
Téléphone /
Phone : +33 540 00 69 16 (LaBRI) 05 56 84 23 73 (ENSEIRB)
Télécopie /
Fax : +33 540 00 66 69

 

 

Domaine de recherche / Research Area

Mu-calculus and the monadic second order logic. Descriptive complexity. Parity games. Distributed games. Image analysis.


Travaux disponibles / Available papers and lectures

 

  1. On mu-calculus and logic (somehow old stuff)

  2. More on the descriptive complexity of bisimulation invriant MSO definable properties

  3. Some results in the finite graph case

  4. On parity games and permissive strategies

  5. On distributed games

  6. On many of the above