Principles of transaction-oriented database recovery
ACM Computing Surveys (CSUR)
Avoiding the state explosion problem in temporal logic model checking
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Synthesis of concurrent systems with many similar sequential processes (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Quantitative temporal reasoning
Real-Time Systems
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Serializability of Multidatabase Transactions Through Forced Local Conflicts
Proceedings of the Seventh International Conference on Data Engineering
A Multidatabase Transaction Model for InterBase
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Using Flexible Transactions to Support Multi-System Telecommunication Applications
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Relaxed transaction processing
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Transaction-oriented work-flow concepts in inter-organizational environments
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Simulation modeling within workflow technology
WSC '95 Proceedings of the 27th conference on Winter simulation
Handling uncertainties in workflow applications
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
The Carnot Heterogeneous Database Project: Implemented Applications
Distributed and Parallel Databases
Flexible specification of workflow compensation scopes
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
WebWork: METEOR_2‘s Web-Based Workflow Management System
Journal of Intelligent Information Systems - Special issue on workflow management systems
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
IEEE Transactions on Knowledge and Data Engineering
OSAM*.KBMS/P: A Parallel, Active, Object-Oriented Knowledge Base Server
IEEE Transactions on Knowledge and Data Engineering
Automating Workflows for Service Order Processing: Integrating AI and Database Technologies
IEEE Expert: Intelligent Systems and Their Applications
On the discovery of process models from their instances
Decision Support Systems
Global Predicate-Based Locks in Long-Running Transactions
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Towards a Cooperative Transaction Model - The Cooperative Activity Model
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Supporting State-Wide Immunisation Tracking Using Multi-Paradigm Workflow Technology
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Towards Flexible and High-Level Modeling and Enacting of Processes
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
The Coyote Project: Framework for Multi-party E-Commerce
ECDL '98 Proceedings of the Second European Conference on Research and Advanced Technology for Digital Libraries
Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Gaining Control over Time in Workflow Management Applications
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Effective data mining: a data warehouse-backboned architecture
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
The Dependency Manager: A Base Service for Transactional Workflow Management
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Contracting Transaction Hierarchies
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Customizing internal activity behaviour for flexible process enforcement
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
Automatic workflow verification and generation
Theoretical Computer Science
Using Fragmentation To Increase Reliability For Workflow Systems
Journal of Integrated Design & Process Science
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
ARTS: agent-oriented robust transactional system
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Analysis of organizational dependency for urbanism of information systems
International Journal of Computer Integrated Manufacturing
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Adaptive workflow scheduling under resource allocation constraints and network dynamics
Proceedings of the VLDB Endowment
Log-based transactional workflow mining
Distributed and Parallel Databases
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Emergency response workflow resource requirements modeling and analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Automated management of assets based on RFID triggered alarm messages
Information Systems Frontiers
When does a workflow complete?
Computer Standards & Interfaces
Using RFID for tracing cumulated resources and emissions in supply chain
International Journal of Ad Hoc and Ubiquitous Computing
A platform for agent behavior design and multi agent orchestration
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Dynamic workflow modeling and verification
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Reliable scheduling of advanced transactions
DBSec'05 Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security
An intuitive formal approach to dynamic workflow modeling and analysis
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Introduction to semantic web services and web process composition
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
On the completion of workflows
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Transactional Workflows in Distributed Systems
Fundamenta Informaticae
Hi-index | 0.00 |