Victor Vianu
Affiliations: | University of California, San Diego, La Jolla, CA |
Area:
Mathematics, Computer ScienceGoogle:
"Victor Vianu"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Deutsch A, Li Y, Vianu V. (2019) Verification of Hierarchical Artifact Systems Acm Transactions On Database Systems. 44: 1-68 |
| Deutsch A, Li Y, Vianu V. (2016) Verification of hierarchical artifact systems Proceedings of the Acm Sigact-Sigmod-Sigart Symposium On Principles of Database Systems. 26: 179-194 |
| Koutsos A, Vianu V. (2015) Process-centric views of data-driven business artifacts Leibniz International Proceedings in Informatics, Lipics. 31: 247-264 |
| Abiteboul S, Bourhis P, Vianu V. (2015) Highly Expressive Query Languages for Unordered Data Trees Theory of Computing Systems. 57: 927-966 |
| Abiteboul S, Vianu V. (2013) Models for data-centric workflows Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8000: 1-12 |
| Damaggio E, Deutsch A, Vianu V. (2012) Artifact systems with data dependencies and arithmetic Acm Transactions On Database Systems. 37 |
| Abiteboul S, Bourhis P, Vianu V. (2012) Comparing workflow specification languages: A matter of Views Acm Transactions On Database Systems. 37 |
| Damaggio E, Deutsch A, Hull R, et al. (2011) Automatic verification of data-centric business processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6896: 3-16 |
| Nash A, Segoufin L, Vianu V. (2010) Views and queries: Determinacy and rewriting Acm Transactions On Database Systems. 35: 21 |
| Deutsch A, Hull R, Patrizi F, et al. (2009) Automatic verification of data-centric business processes Acm International Conference Proceeding Series. 361: 252-267 |