Relational transducers for electronic commerce

A Web Odyssey: from Codd to XML

PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

An event-condition-action language for XML

Proceedings of the 11th international conference on World Wide Web

E-services: a look behind the curtain

Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Verification of relational transducers for electronic commerce

Journal of Computer and System Sciences - Special issue on PODS 2000

Specification and verification of data-driven web services

PODS '04 Proceedings of the twenty-third 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

Transformation and reaction rules for data on the web

ADC '05 Proceedings of the 16th Australasian database conference - Volume 39

Specification and verification of data-driven Web applications

Journal of Computer and System Sciences

Complexity and composition of synthesized web services

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database 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

On the aggregation problem for synthesized web services

Proceedings of the 13th International Conference on Database Theory

Artifact systems with data dependencies and arithmetic

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

Relational transducers for declarative networking

Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Automatic verification of data-centric business processes

BPM'11 Proceedings of the 9th international conference on Business process management

Model checking for database theoreticians

ICDT'05 Proceedings of the 10th international conference on Database Theory

Specifying and reasoning about dynamic access-control policies

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Querying schemas with access restrictions

Proceedings of the VLDB Endowment

Comparing workflow specification languages: A matter of views

ACM Transactions on Database Systems (TODS)

On the verification of security-aware E-services

Journal of Symbolic Computation

Deciding eventual consistency for a simple class of relational transducer networks

Proceedings of the 15th International Conference on Database Theory

Artifact systems with data dependencies and arithmetic

ACM Transactions on Database Systems (TODS)

Declarative distributed computing

Correct Reasoning

Multi-Level Modeling of Web Service Compositions with Transactional Properties

Journal of Database Management

Relational transducers for declarative networking

Journal of the ACM (JACM)

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