Accesso libero

An Approach of XML Query Evaluation Based Model Checking

INFORMAZIONI SU QUESTO ARTICOLO

Cita

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

eISSN:
1314-4081
Lingua:
Inglese
Frequenza di pubblicazione:
4 volte all'anno
Argomenti della rivista:
Computer Sciences, Information Technology