1. Improved functional flow and reachability analyses using indexed linear tree grammars;Kochems,2011
2. Over-approximating descendants by synchronized tree languages;Boichut,2013
3. Equational abstraction refinement for certified tree regular model checking;Boichut,2012
4. Decidable approximations of sets of descendants and sets of normal forms;Genet,1998
5. Rewriting for cryptographic protocol verification;Genet,2000