Testers and Correctors
- Testers for regular trees
- Correction of XML data
- Testers on matrices
- Approximate equivalence of automata
Publications
- F. Magniez, M. de Rougemont:
Property testing for regular tree languages (ICALP 2004) (.pdf), to appear in Algorithmica.
- U. Boobna, M. de Rougemont:
Correctors for XML data (XSym 2004) (.pdf)
- E. Fischer, F. Magniez, M. de Rougemont:
Property and Equivalence Testing on strings(ECCC) (.pdf)
- K. Friedl, G. Ivanyos, M. Santha:
Efficient Testing of groups (STOC 2005)
- E. Fischer, F. Magniez, M. de Rougemont:Approximate Satisfiability and Equivalence(LICS 06)
- M. de Rougemont, A. Vieilleribière:
Approximate Data Exchange (ICDT 07)(.pdf)
Sofware development