Recent talks

Display all talks

2012

2012/03/07Analytic CombinatoricsSéminaire des doctorants du LSV (LSV, Cachan)

2011

2011/10/13Weighted Expressions and Pebble Automata over Nested Words and TreesSéminaire Modélisation et Vérification LaBRI (Bordeaux)
2011/06/08Verification of quantitative properties and applications to XML queriesSéminaire du LSV (Pierrefonds)
2011/02/03Weighted Depth-First-Search AutomataQuasimodo Meeting (Saarbrücken)

2010

2010/11/30Parikh Images of Grammars: Complexity and ApplicationsGroupe de Travail INFINI (LSV, Cachan)
2010/09/08Propriétés quantitatives des mots et des arbres. Applications aux langages XMLSoutenance M2 MPRI (Paris)
2010/07/10Pebble weighted automata and transitive closureICALP 2010 (Bordeaux)
2010/05/07Pebble weighted automata and transitive closureWATA 2010 (Leipzig)

About LSV