Presentations
Conferences
Place-Boundedness for VASS with one zero-test
(FSTTCS, 16 decembre 2010)
Ordinal Theory for Expressiveness of Well-Structured Transition Systems
(FOSSACS, 28 mars 2011)
The reachability problem for VAS with one zero-test
(MFCS, 25 aout 2011)
LTL Model-Checking for VAS with one zero-test
(RP, 30 septembre 2011)
Seminaires externes
Forward Analysis for WSTS : Beyond Regular Accelerations
(LaBRI, 5 avril 2012)
Reachability for VAS with one zero-test
(
v1
, ULB, 14 decembre 2011) (
v2
, LIAFA, 17 fevrier 2012)
(
v3
, Oxford, 24 fevrier 2012)
Ordinal Theory for Expressiveness of WSTS
(LIF, 26 mai 2011)
Cover of a VASS with one zero-test
(LIAFA, 9 novembre 2010)
Seminaires internes
Forward Analysis for WSTS : Beyond Regular Accelerations
(GdT INFINI, 10 avril 2012)
Reachability for Vector Addition Systems with one zero-test
(GdT INFINI, 3 mai 2011)
Ordinal Theory for Expressiveness of Well-Structured Transition Systems
(GdT INFINI, 25 janvier 2011)
State-based comparison of WSTS
(Barbizon, 17 juin 2010)
Cover of a VASS with one zero-test
(GdT INFINI, 11 mai 2010)
Data Nets and Communicating Affine Nets
(GdT INFINI, 17 novembre 2009).
Autres presentations
Well-structured Petri Net extensions with data
(Soutenance EPFL, 14 avril 2010).
À propos du
LSV
Actualités
Membres
Recherche
Séminaires
Enseignement
Contact
École Normale Supérieure de Cachan
Centre National de la Recherche Scientifique
Pages privées
Page maintenue par
Webmaster
.