Graded computation tree logic, LICS, 2009. ,
DOI : 10.1145/2287718.2287725
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.8955
The complexity of enriched µ-calculi, ICALP, 2006. ,
XML path language (XPath) version 1.0, 1999. ,
Efficient asymmetric inclusion between regular expression types, Proceedings of the 12th International Conference on Database Theory, ICDT '09, 2009. ,
DOI : 10.1145/1514894.1514916
URL : https://hal.archives-ouvertes.fr/inria-00536884
A logic you can count on, POPL, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071562
Presburger Modal Logic Is PSPACE-Complete, IJCAR, 2006. ,
DOI : 10.1007/11814771_44
Succinctness of regular expressions with interleaving, intersection and counting, MFCS, 2008. ,
Regular expressions with counting: Weak versus strong determinism, MFCS, 2009. ,
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving, SIAM Journal on Computing, vol.38, issue.5, 2008. ,
DOI : 10.1137/070697367
Efficient static analysis of XML paths and types, PLDI, 2007. ,
Compiling XPath for streaming access policy, Proceedings of the 2005 ACM symposium on Document engineering , DocEng '05, 2005. ,
DOI : 10.1145/1096601.1096617
Automata-based verification of programs with tree updates, Acta Informatica, vol.24, issue.3, pp.1-31, 2010. ,
DOI : 10.1007/s00236-009-0108-5
URL : https://hal.archives-ouvertes.fr/hal-00150145
Mona: Monadic second-order logic in practice, TACAS, 1995. ,
Regular expression types for XML, ACM Transactions on Programming Languages and Systems, vol.27, issue.1, pp.46-90, 2005. ,
DOI : 10.1145/1053468.1053470
URL : https://hal.archives-ouvertes.fr/hal-00009271
One-unambiguity of regular expressions with numeric occurrence indicators, Information and Computation, vol.205, issue.6, pp.890-916, 2007. ,
DOI : 10.1016/j.ic.2006.12.003
Monadic Second-Order Logics with Cardinalities, ICALP, 2003. ,
DOI : 10.1007/3-540-45061-0_54
MONA Version 1.4 User Manual. BRICS Notes Series NS-01-1, 2001. ,
Results on the Propositional ??-Calculus, ICALP, 1982. ,
DOI : 10.7146/dpb.v11i146.7420
The complexity of the graded µ-calculus, CADE, 2002. ,
Verifying Balanced Trees, LFCS, 2007. ,
DOI : 10.1007/978-3-540-72734-7_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.1385
The equivalence problem for regular expressions with squaring requires exponential space, FOCS, 1972. ,
Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005. ,
DOI : 10.1145/1111627.1111631
The hybrid µ-calculus, IJCAR, 2001. ,
Counting in Trees for Free, ICALP, 2004. ,
DOI : 10.1007/978-3-540-27836-8_94
URL : https://hal.archives-ouvertes.fr/hal-00159525
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955. ,
DOI : 10.2140/pjm.1955.5.285
Axiomatizing the logical core of XPath 2.0. Theor, Comp. Sys, vol.44, issue.4, pp.561-589, 2009. ,
Generalized finite automata theory with an application to a decision problem of second-order logic, Mathematical Systems Theory, vol.2, issue.1, pp.57-81, 1968. ,
Reasoning about the past with two-way automata, ICALP, 1998. ,
DOI : 10.1007/BFb0055090
Full functional verification of linked data structures, PLDI, 2008. ,