Author:
Damaggio Elio,Deutsch Alin,Hull Richard,Vianu Victor
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of active XML systems. ACM Trans. Database Syst. 34(4) (2009)
2. Abiteboul, S., Vianu, V., Fordham, B.S., Yesha, Y.: Relational transducers for electronic commerce. JCSS 61(2), 236–269 (2000), Extended abstract in PODS 1998
3. LNCS;B.B. Hariri,2011
4. Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal 46(4), 703–721 (2007)
5. Bhattacharya, K., et al.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal 44(1), 145–162 (2005)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mapping singly-linked rules to linear temporal logic formulas;Information Systems;2023-07
2. A Query Language for Workflow Logs;ACM Transactions on Management Information Systems;2022-06-30
3. Verification of behavioral soundness for artifact-centric business process model with synchronizations;Future Generation Computer Systems;2019-09
4. VIEW;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
5. Describing Behavior of Processes with Many-to-Many Interactions;Application and Theory of Petri Nets and Concurrency;2019