Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
A logical characterization of data languages
Information Processing Letters
IEEE Intelligent Systems
A Framework for Optimizing Distributed Workflow Executions
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Automatic verification of recursive procedures with one integer parameter
Theoretical Computer Science - Mathematical foundations of computer science
An algebraic approach to data languages and timed languages
Information and Computation
SAINT '03 Proceedings of the 2003 Symposium on Applications and the Internet
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
Optimization Techniques for Data-Intensive Decision Flows
ICDE '00 Proceedings of the 16th International Conference on Data Engineering
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
Business artifacts: An approach to operational specification
IBM Systems Journal
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Computation: finite and infinite machines
Computation: finite and infinite machines
A system for specification and verification of interactive, data-driven web applications
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
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
Alternation-free modal mu-calculus for data trees
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Static Analysis of Business Artifact-centric Operational Models
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Artifact-centered operational modeling: lessons from customer engagements
IBM Systems Journal
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
FCT '07 Proceedings of the 16th international symposium on Fundamentals of Computation Theory
Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
On the Duality of Information-Centric and Activity-Centric Models of Business Processes
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Enforcing Constraints on Life Cycles of Business Artifacts
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Artifact-Based Transformation of IBM Global Financing
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A generic framework for reasoning about dynamic networks of infinite-state processes
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Nets with tokens which carry data
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Model checking freeze LTL over one-counter automata
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Document Engineering: Analyzing and Designing Documents for Business Informatics and Web Services
Document Engineering: Analyzing and Designing Documents for Business Informatics and Web Services
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Introducing the guard-stage-milestone approach for specifying business entity lifecycles
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Proceedings of the 5th ACM international conference on Distributed event-based system
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
BPM'11 Proceedings of the 9th international conference on Business process management
A framework for document-driven workflow systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Efficient discovery of understandable declarative process models from event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Verification of query completeness over processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
PROPOLIS: provisioned analysis of data-centric processes
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |