An Approach of XML Query Evaluation Based Model Checking

1. Surinx, D., G.H.L. Fletcher et al. Relative Expressive Power of Navigational Querying on Graphs Using Transitive Closure. - Logic Journal of IGPL, Vol. 23, 2015, No 5, pp. 759-788.10.1093/jigpal/jzv028Search in Google Scholar

2. Zhang, X., J.V. den Bussche. On the Power of SPARQLin Expressing Navigational Queries. - The Computer Journal, Vol. 58, 2015, No 11, pp. 2841-2851.10.1093/comjnl/bxu128Search in Google Scholar

3. Antonopoulos, T., D. Hovland, W. Martens, F. Neven. Deciding Twig-Definability of Node Selecting Tree Automata. - Theory of Computing Systems, Vol. 57, 2015, No 4, pp. 967-1007.10.1007/s00224-015-9623-7Search in Google Scholar

4. Debarbieux, D., O. Gauwin et al. Early Nested Word Automata for XPath Query Answering on XML Streams. - Theoretical Computer Science, Vol. 578, 2015, pp. 100-125.10.1016/j.tcs.2015.01.017Search in Google Scholar

5. Nielandt, J., A. Bronselaer, G.de Tré. Predicate Enrichment of Aligned XPaths for Wrapper Induction. - Expert Systems with Applications, Vol. 51, 2016, pp. 259-275.10.1016/j.eswa.2015.12.040Search in Google Scholar

6. Wang, Y., B. Wang, M. Liu. A Component Retrieval Tree Matching Algorithm Based ona Faceted Classification Scheme. - Cybernetics and Information Technologies, Vol. 15, 2015, No 1, pp. 14-23.10.1515/cait-2015-0002Search in Google Scholar

7. Zheng, C., Y. Yao, S. Huang, Z. Ren. Modeling Workflow Systems Constrained by Inputs and Outputs-An Approach Based on Petri Nets. - Cybernetics and Information Technologies, Vol. 15, 2015, No 4, pp. 27-41.10.1515/cait-2015-0052Search in Google Scholar

8. Gire, F., J.-M. Talbot. Nested Sibling Tree Automata. - RAIRO - Theoretical Informatics and Applications, Vol. 43, No 2, 2009, pp. 379-402.10.1051/ita/2009006Search in Google Scholar

9. Libkin, L., C. Sirangelo. Reasoning about XMLwith Temporal Logics and Automata. - Journal of Applied Logic, Vol. 8, No 2, 2010, pp. 210-232.10.1016/j.jal.2009.09.005Search in Google Scholar

10. Kostylev, E. V., J.L. Reutter, D. Vrgoč. Static Analysis of Navigational XPath over Graph Databases. - Information Processing Letters, Vol. 116, No 7, 2016, pp. 467-474.10.1016/j.ipl.2016.03.006Search in Google Scholar

11. Salamah, S., A. Gates, V. Kreinovich. Validated Templates for Specification of Complex LTL Formulas. - Journal of Systems and Software, Vol. 85, No 8, 2012, pp. 1915-1929. 10.1016/j.jss.2012.02.041Search in Google Scholar