SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handbook of theoretical computer science (vol. B)
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Semantics and expressiveness issues in active databases
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Inference rules for functional and inclusion dependencies
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Evolving databases: an application to electronic commerce
IDEAS '97 Proceedings of the 1997 International Symposium on Database Engineering & Applications
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 2001 ACM symposium on Applied computing
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Real-Time Processing in Client-Server Databases
IEEE Transactions on Computers
An agreement centric access control mechanism for business to business e-commerce
Proceedings of the 2002 ACM symposium on Applied computing
Linear time datalog and branching time logic
Logic-based artificial intelligence
Transactional Multimedia Banner as Web Access Point
Electronic Commerce Research - Special issue on agents in electronic commerce
Active Views for Electronic Commerce
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Establishing Business Rules for Inter-Enterprise Electronic Commerce
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Towards First-Order Temporal Resolution
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Realizing Network Control Policies Using Distributed Action Plans
Journal of Network and Systems Management
Proceedings of the 13th international conference on World Wide Web
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Using certified policies to regulate E-commerce transactions
ACM Transactions on Internet Technology (TOIT)
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
Efficient processing of client transactions in real-time
Distributed and Parallel Databases
Tools for composite web services: a short overview
ACM SIGMOD Record
Model-driven design and deployment of service-enabled web applications
ACM Transactions on Internet Technology (TOIT)
Integrating databases and workflow systems
ACM SIGMOD Record
Electronic negotiation of government contracts through transducers
dg.o '03 Proceedings of the 2003 annual national conference on Digital government research
Semantic email: theory and applications
Web Semantics: Science, Services and Agents on the World Wide Web
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Win-move is coordination-free (sometimes)
Proceedings of the 15th International Conference on Database Theory
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
A request oriented model for web services
AWC '13 Proceedings of the First Australasian Web Conference - Volume 144
Hi-index | 0.00 |