PDL for ordered trees, Journal of Applied Non-Classical Logics, vol.15, issue.2, pp.115-135, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00001206
On the analysis of queries with counting constraints, DocEng '09: Proceedings of the 9th ACM symposium on Document engineering, pp.21-24, 2009. ,
Query reasoning on trees with types, interleaving and counting, IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.718-723, 2011. ,
CDuce: An XML-centric general-purpose language, ICFP '03: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pp.51-63, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00152619
Regular XPath: Constraints, query containment and view-based answering for xml documents, Proc. of the 2008 Int. Workshop on Logic in Databases, 2008. ,
An automata-theoretic approach to regular XPath, Proc. of the 12th Int. Symposium on Database Programming Languages, pp.18-35, 2009. ,
Node selection query languages for trees, 2010. ,
XML path language (XPath) version 1.0, W3C recommendation, 1999. ,
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, Workshop. LNCS Series, pp.52-71, 1981. ,
Model checking, 1999. ,
Propositional dynamic logic of regular programs, JCSS, vol.18, issue.2, pp.194-211, 1979. ,
The pgsolver collection of parity game solvers, 2009. ,
A solver for modal fixpoint logics, Electron. Notes Theor. Comput. Sci, vol.262, pp.99-111, 2010. ,
A satisfiability solver for XML and XPath, 2014. ,
A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, pp.475-502, 2006. ,
DOI : 10.1145/1185877.1185882
Efficient static analysis of XML paths and types, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp.342-351, 2007. ,
Automata logics, and infinite games: a guide to current research, 2002. ,
Early quantification and partitioned transition relations, ICCD '96: Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors, pp.12-19, 1996. ,
Regular expression types for XML, ACM Trans. Program. Lang. Syst, vol.27, issue.1, pp.46-90, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00009271
The weakness of self-complementation, Proc. 16th Symp. on Theoretical Aspects of Computer Science, pp.455-466, 1999. ,
Reasoning about xml with temporal logics and automata, LPAR '08: Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, pp.97-112, 2008. ,
Reasoning about xml with temporal logics and automata, J. Applied Logic, vol.8, issue.2, pp.210-232, 2010. ,
Containment and equivalence for a fragment of XPath, Journal of the ACM, vol.51, issue.1, pp.2-45, 2004. ,
Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005. ,
XPath: Looking forward, EDBT '02: Proceedings of the Worshop on XML-Based Data Management, pp.109-127, 2002. ,
BDD-based decision procedures for the modal logic K, Journal of Applied Non-classical Logics, vol.16, pp.1-2, 2006. ,
A decision procedure for alternation-free modal µcalculi, Advances in Modal Logic, pp.341-362, 2008. ,
A decision procedure for the alternation-free two-way modal µ-calculus, TABLEAUX 2005, pp.277-291, 2005. ,
Wikipedia dtd, 2007. ,
Full functional verification of linked data structures, pp.349-361, 2008. ,