1. Volume and entropy of regular timed languages: discretization approach;Asarin,2009
2. Volume and entropy of regular timed languages: analytic approach;Asarin,2009
3. Two size measures for timed languages;Asarin,2010
4. Thin and thick timed regular languages;Basset,2011
5. Spectral gap in timed automata;Asarin,2013