1 code implementation • 29 May 2017 • Yuliang Li, Alin Deutsch, Victor Vianu
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis.
Databases Logic in Computer Science
1 code implementation • 26 May 2017 • Yuliang Li, Alin Deutsch, Victor Vianu
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis.
Databases Formal Languages and Automata Theory
1 code implementation • 4 Apr 2016 • Alin Deutsch, Yuliang Li, Victor Vianu
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis.
Databases