-
4
-
-
46749136902
-
The Active XML project: An overview
-
ABITEBOUL, S., BENJELLOUN, O., AND MILO, T. 2008a. The Active XML project: An overview. VLDB J. 17, 5, 1019-1040.
-
(2008)
VLDB J.
, vol.17
, Issue.5
, pp. 1019-1040
-
-
Abiteboul, S.1
Benjelloun, O.2
Milo, T.3
-
7
-
-
0038504807
-
XML with data values: Typechecking revisited
-
ALON, N., MILO, T., NEVEN, F., SUCIU, D., AND VIANU, V. 2003. XML with data values: Typechecking revisited. J. Comput. Syst. Sci. 66, 4, 688-727.
-
(2003)
J. Comput. Syst. Sci.
, vol.66
, Issue.4
, pp. 688-727
-
-
Alon, N.1
Milo, T.2
Neven, F.3
Suciu, D.4
Vianu, V.5
-
9
-
-
43949103102
-
Xpath satisfiability in the presence of DTDs
-
BENEDIKT, M., FAN, W., AND GEERTS, F. 2008. Xpath satisfiability in the presence of DTDs. J. ACM 55, 2, 1-79.
-
(2008)
J. ACM
, vol.55
, Issue.2
, pp. 1-79
-
-
Benedikt, M.1
Fan, W.2
Geerts, F.3
-
11
-
-
33745587348
-
Automatic composition of transition-based semantic Web services with messaging
-
BERARDI, D., CALVANESE, D., DE GIACOMO, G., HULL, R., AND MECELLA, M. 2005. Automatic composition of transition-based semantic Web services with messaging. In Proceedings of the 31st International Conference on Very Large Data Bases. 613-624.
-
(2005)
Proceedings of the 31st International Conference on Very Large Data Bases
, pp. 613-624
-
-
Berardi, D.1
Calvanese, D.2
De Giacomo, G.3
Hull, R.4
Mecella, M.5
-
12
-
-
34547260240
-
Two-variable logic on words with data
-
BOJANCZYK, M., MUSCHOLL, A., SCHWENTICK, T., SEGOUFIN, L., AND DAVID, C. 2006. Two-variable logic on words with data. In Proceedings of the 21st IEEE Symposium on Logic in Computer Science. 7-16.
-
(2006)
Proceedings of the 21st IEEE Symposium on Logic in Computer Science
, pp. 7-16
-
-
Bojanczyk, M.1
Muscholl, A.2
Schwentick, T.3
Segoufin, L.4
David, C.5
-
14
-
-
0020735797
-
On communicating finite-state machines
-
BRAND, D. AND ZAFIROPULO, P. 1983. On communicating finite-state machines. J. ACM 30, 2, 323-342.
-
(1983)
J. ACM
, vol.30
, Issue.2
, pp. 323-342
-
-
Brand, D.1
Zafiropulo, P.2
-
16
-
-
67249143974
-
LTL with the freeze quantifier and register automata
-
DEMRI, S. AND LAZÍC, R. 2009. LTL with the freeze quantifier and register automata. ACM Trans. Comput. Logic 10, 3, 1-30.
-
(2009)
ACM Trans. Comput. Logic
, vol.10
, Issue.3
, pp. 1-30
-
-
Demri, S.1
Lazíc, R.2
-
17
-
-
29844434228
-
A verifier for interactive, datadriven Web applications
-
DEUTSCH, A., MARCUS, M., SUI, L., VIANU, V., AND ZHOU, D. 2005. A verifier for interactive, datadriven Web applications. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 539-550.
-
(2005)
Proceedings of the ACM SIGMOD International Conference on Management of Data
, pp. 539-550
-
-
Deutsch, A.1
Marcus, M.2
Sui, L.3
Vianu, V.4
Zhou, D.5
-
18
-
-
33845938560
-
Specification and verification of data-driven Web applications
-
DEUTSCH, A., SUI, L., AND VIANU, V. 2007. Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73, 3, 442-474.
-
(2007)
J. Comput. Syst. Sci.
, vol.73
, Issue.3
, pp. 442-474
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
-
19
-
-
34250668466
-
Verification of communicating data-drivenWeb services
-
DEUTSCH, A., SUI, L., VIANU, V., AND ZHOU, D. 2006. Verification of communicating data-drivenWeb services. In Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. 90-99.
-
(2006)
Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
, pp. 90-99
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
Zhou, D.4
-
22
-
-
76149112752
-
Tree pattern rewriting systems
-
GENEST, B., MUSCHOLL, A., SERRE, O., AND ZEITOUN, M. 2008. Tree pattern rewriting systems. In Proceedings of the International Symposium on Automated Technology for Verification and Analysis.
-
(2008)
Proceedings of the International Symposium on Automated Technology for Verification and Analysis
-
-
Genest, B.1
Muscholl, A.2
Serre, O.3
Zeitoun, M.4
-
25
-
-
1142275496
-
E-services: A look behind the curtain
-
HULL, R., BENEDIKT, M., CHRISTOPHIDES, V., AND SU, J. 2003. E-services: A look behind the curtain. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. 1-14.
-
(2003)
Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
, pp. 1-14
-
-
Hull, R.1
Benedikt, M.2
Christophides, V.3
Su, J.4
-
27
-
-
24344444145
-
Tools for composite Web services: A short overview
-
HULL, R. AND SU, J. 2005. Tools for composite Web services: A short overview. SIGMOD Record 34, 2, 86-95.
-
(2005)
SIGMOD Record
, vol.34
, Issue.2
, pp. 86-95
-
-
Hull, R.1
Su, J.2
-
28
-
-
33746354640
-
Business processes for Web services: Principles and applications
-
KHALAF, R., KELLER, A., AND LEYMANN, F. 2006. Business processes for Web services: Principles and applications. IBM Syst. J. 45, 2.
-
(2006)
IBM Syst. J.
, vol.45
, pp. 2
-
-
Khalaf, R.1
Keller, A.2
Leymann, F.3
-
30
-
-
3142676414
-
Finite state machines for strings over infinite alphabets
-
NEVEN, F., SCHWENTICK, T., AND VIANU, V. 2004. Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Logic 5, 3, 403-435.
-
(2004)
ACM Trans. Comput. Logic
, vol.5
, Issue.3
, pp. 403-435
-
-
Neven, F.1
Schwentick, T.2
Vianu, V.3
-
31
-
-
0141940583
-
Business artifacts: An approach to operational specification
-
NIGAML, A. AND CASWELL, N. 2003. Business artifacts: An approach to operational specification. IBM Syst. J.
-
(2003)
IBM Syst. J
-
-
Nigaml, A.1
Caswell, N.2
-
32
-
-
34249886017
-
Static analysis of XML processing with data values
-
SEGOUFIN, L. 2007. Static analysis of XML processing with data values. SIGMOD Record 36, 1, 31-38.
-
(2007)
SIGMOD Record
, vol.36
, Issue.1
, pp. 31-38
-
-
Segoufin, L.1
|