Handbook of theoretical computer science (vol. B)
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML with data values: typechecking revisited
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
Business artifacts: An approach to operational specification
IBM Systems Journal
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XPath satisfiability in the presence of DTDs
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Computation: finite and infinite machines
Computation: finite and infinite machines
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Business processes for web services: principles and applications
IBM Systems Journal
Two-Variable Logic on Words with Data
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
LTL with the Freeze Quantifier and Register Automata
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Static analysis of XML processing with data values
ACM SIGMOD Record
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Tree Pattern Rewriting Systems
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Satisfiability and relevance for queries over active documents
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
Querying probabilistic business processes for sub-flows
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
A rule-based language for web data management
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
BPM'11 Proceedings of the 9th international conference on Business process management
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Compatibility of data-centric web services
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
Hi-index | 0.00 |