The mystery of the forest of Broceliande – summer 2008

David Janin

 
Maître de conférences à l'IPB, ENSEIRB-MATMECA /
  Associate Professor at IPB, ENSEIRB-MATMECA
,

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

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

 

 

Domaine de recherche / Research Area

Hierarchical, concurrent and real-time model for high-level controled music synthesis.


Travaux disponibles / Available papers and lectures

 

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

  2. More on the descriptive complexity of bisimulation invariant 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