-
1
-
-
0004172932
-
-
Morgan Kaufmann Publishers, Los Altos, CA 94022, USA
-
S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann Publishers, Los Altos, CA 94022, USA, 2000.
-
(2000)
Data on the Web: From Relations to Semistructured Data and XML
-
-
Abiteboul, S.1
Buneman, P.2
Suciu, D.3
-
3
-
-
84957614112
-
Describing and querying semistructured data: Some expressiveness results
-
S. Embury, N. Fiddian, W. Gray, and A. Jones, editors, LNCS. Springer
-
N. Alechina and M. de Rijke. Describing and querying semistructured data: Some expressiveness results. In S. Embury, N. Fiddian, W. Gray, and A. Jones, editors, Advances in Databases, LNCS. Springer, 1998.
-
(1998)
Advances in Databases
-
-
Alechina, N.1
De Rijke, M.2
-
5
-
-
84958764557
-
Model checking the world wide web
-
G. Berry, H. Comon, and A. Finkel, editors. Springer
-
L. D. Alfaro. Model checking the world wide web. In G. Berry, H. Comon, and A. Finkel, editors, Computer Aided Verification, pages 337-349. Springer, 2001.
-
(2001)
Computer Aided Verification
, pp. 337-349
-
-
Alfaro, L.D.1
-
6
-
-
0039561477
-
Minimization of tree pattern queries
-
June
-
S. Amer-Yahia, S. Cho, L. V. S. Lakshmanan, and D. Srivastava. Minimization of tree pattern queries. SIGMOD Record (ACM Special Interest Group on Management of Data), 30(2):497-508, June 2001.
-
(2001)
SIGMOD Record (ACM Special Interest Group on Management of Data)
, vol.30
, Issue.2
, pp. 497-508
-
-
Amer-Yahia, S.1
Cho, S.2
Lakshmanan, L.V.S.3
Srivastava, D.4
-
9
-
-
35048900689
-
20 states and beyond
-
June
-
20 states and beyond. Information and Computation, 98(2): 142-170, June 1992.
-
(1992)
Information and Computation
, vol.98
, Issue.2
, pp. 142-170
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, L.J.5
-
10
-
-
0032592922
-
Representing and reasoning on XML documents: A description logic approach
-
D. Calvanese, G. D. Giacomo, and M. Lenzerini. Representing and reasoning on XML documents: A description logic approach. Journal of Logic and Computation, 9(3):295-318, 1999.
-
(1999)
Journal of Logic and Computation
, vol.9
, Issue.3
, pp. 295-318
-
-
Calvanese, D.1
Giacomo, G.D.2
Lenzerini, M.3
-
11
-
-
0012875373
-
Tree pattern aggregation for scalable XML data dissemination
-
Morgan Kaufmann Publishers
-
C. Y. Chan, W. Fan, P. Felber, M. N. Garofalakis, and R. Rastogi. Tree pattern aggregation for scalable XML data dissemination. In Proceedings of the International Conference on Very Large Data Bases (VLDB), pages 826-837. Morgan Kaufmann Publishers, 2002.
-
(2002)
Proceedings of the International Conference on Very Large Data Bases (VLDB)
, pp. 826-837
-
-
Chan, C.Y.1
Fan, W.2
Felber, P.3
Garofalakis, M.N.4
Rastogi, R.5
-
12
-
-
84937557946
-
NuSMV 2: An open-source tool for symbolic model checking
-
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV 2: An Open-Source Tool for Symbolic Model Checking. In Proceedings of the International Conference on Computer-Aided Verification, 2002.
-
(2002)
Proceedings of the International Conference on Computer-aided Verification
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, E.3
Giunchiglia, F.4
Pistore, M.5
Roveri, M.6
Sebastiani, R.7
Tacchella, A.8
-
13
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal-logic specifications
-
E. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal-logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.1
Emerson, E.A.2
Sistla, A.P.3
-
14
-
-
0003962322
-
-
The MIT Press, Cambridge, Massachusetts
-
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
15
-
-
0036051123
-
Monadic queries over tree-structured data
-
Los Alamitos, CA, USA, July 22-25 2002. IEEE Computer Society
-
G. Gottlob and C. Koch. Monadic Queries over Tree-Structured Data. In Logic in Computer Science, pages 189-202, Los Alamitos, CA, USA, July 22-25 2002. IEEE Computer Society.
-
Logic in Computer Science
, pp. 189-202
-
-
Gottlob, G.1
Koch, C.2
-
17
-
-
0035534403
-
On the unusual effectiveness of logic in computer science
-
J. Y. Halpern, R. Harper, N. Immerman, P. G. Kolaitis, M. Vardi, and V. Vianu. On the unusual effectiveness of logic in computer science. The Bulletin of Symbolic Logic, 7(2):213-236, 2001.
-
(2001)
The Bulletin of Symbolic Logic
, vol.7
, Issue.2
, pp. 213-236
-
-
Halpern, J.Y.1
Harper, R.2
Immerman, N.3
Kolaitis, P.G.4
Vardi, M.5
Vianu, V.6
-
18
-
-
84944268606
-
Efficient processing of expressive node-selecting queries on XML data in secondary storage: A tree automata-based approach
-
C.Koch. Efficient processing of expressive node-selecting queries on XML data in secondary storage: A tree automata-based approach. In Proceedings of the International Conference on Very Large Data Bases (VLDB), 2003.
-
(2003)
Proceedings of the International Conference on Very Large Data Bases (VLDB)
-
-
Koch, C.1
-
19
-
-
85012154596
-
Projecting XML documents
-
J. C. Freytag, P. C. Lockemann, S. Abiteboul, M. J. Carey, P. G. Selinger, and A. Heuer, editors. Morgan Kaufmann Publishers
-
A. Marian and J. Simeon. Projecting XML documents. In J. C. Freytag, P. C. Lockemann, S. Abiteboul, M. J. Carey, P. G. Selinger, and A. Heuer, editors, Proceedings of International Conference on Very Large Data Bases VLDB, pages 213-224. Morgan Kaufmann Publishers, 2003.
-
(2003)
Proceedings of International Conference on Very Large Data Bases VLDB
, pp. 213-224
-
-
Marian, A.1
Simeon, J.2
-
23
-
-
0037647948
-
XMark: A benchmark for XML data management
-
A. R. Schmidt, F. Waas, M. L. Kersten, M. J. Carey, I. Manolescu, and R. Busse. XMark: A Benchmark for XML Data Management. In Proceedings of the International Conference on Very Large Data Bases (VLDB), pages 974-985, 2002. URL: http://monetdb.cwi.nl/xml/.
-
(2002)
Proceedings of the International Conference on Very Large Data Bases (VLDB)
, pp. 974-985
-
-
Schmidt, A.R.1
Waas, F.2
Kersten, M.L.3
Carey, M.J.4
Manolescu, I.5
Busse, R.6
-
24
-
-
0002159070
-
Relational databases for querying XML documents: Limitations and opportunities
-
Morgan Kaufmann
-
J. Shanmugasundaram, H. Gang, K. Tufte, C. Zhang, D. J. DeWitt, and J. Naughton. Relational databases for querying XML documents: Limitations and opportunities. In Proceedings of the International Conference on Very Large Data Bases (VLDB), pages 302-314. Morgan Kaufmann, 1999.
-
(1999)
Proceedings of the International Conference on Very Large Data Bases (VLDB)
, pp. 302-314
-
-
Shanmugasundaram, J.1
Gang, H.2
Tufte, K.3
Zhang, C.4
Dewitt, D.J.5
Naughton, J.6
-
25
-
-
0344379539
-
Two semantics for XPath
-
Bell Labs
-
P. Wadler. Two semantics for XPath. Technical report, Bell Labs, 2000.
-
(2000)
Technical Report
-
-
Wadler, P.1
-
26
-
-
84877874359
-
World Wide Web consortium
-
World Wide Web Consortium. Extensible markup language (XML). URL: http://www.w3.org/XML, 1998.
-
(1998)
Extensible Markup Language (XML)
-
-
|