Time(d) Petri Net (in english)
Stochastic Petri Net (in english)
Time and Timed Petri Nets (in english)
Timed Automata and Time(d) Petri Nets (in english)
From Stochastic Processes to Stochastic Petri Nets
(in english)
Alternative Analysis Methods for Stochastic Petri Nets
(in english)
Algorithmique 1 (L3 et M2 FESUP en français)
Calculabilité (L3 en français)
Logique et introduction à la complexité (L3 en français)
Algorithmique 2 (L3 et M2 FESUP en français)
Complexité (L3)
support de cours
(en français)
slides
(in english)
Algorithmique
(Agrégation en français)
Probabilistic Aspects of Computer Science: (M1 in english)
Systèmes temporisés probabilistes (M2 en français)
Algorithmique (L1 en français)
Algorithmique répartie (M1,M2 en français)