|
ROLE
 Author only
· Editor only
· Advisor only
· Other only
· All roles
AUTHOR'S COLLEAGUES
See all colleagues of this author
SUBJECT AREAS
See all subject areas
KEYWORDS
See all author supplied keywords
AUTHOR PROFILE PAGES
Project background
 Author-Izer Service
BOOKMARK & SHARE
Use the QR code to
Scan, Save, Share
this Author Page
|
|
124 results found
Export Results:
bibtex
| endnote
| acmref
| csv
Result page:
1
2
3
4
5
6
7
1
Invited Articles Foreword
Victor Vianu
November 2015
Journal of the ACM (JACM): Volume 62 Issue 5, November 2015
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 18, Downloads (12 Months): 60, Downloads (Overall): 60
Full text available:
 PDF
2
Highly Expressive Query Languages for Unordered Data Trees
October 2015
Theory of Computing Systems: Volume 57 Issue 4, November 2015
Publisher: Springer-Verlag New York, Inc.
We study highly expressive query languages for unordered data trees, using as formal vehicles Active XML and extensions of languages in the while family. All languages may be seen as adding some form of control on top of a set of basic pattern queries. The results highlight the impact and ...
Keywords:
Data trees, Query languages, Expressiveness, XML
3
Automatic Verification of Database-Centric Systems
Alin Deutsch,
Richard Hull,
Victor Vianu
December 2014
ACM SIGMOD Record: Volume 43 Issue 3, September 2014
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 5, Downloads (12 Months): 58, Downloads (Overall): 72
Full text available:
PDF
4
Invited article foreword
Victor Vianu
September 2014
Journal of the ACM (JACM): Volume 61 Issue 5, August 2014
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 21, Downloads (Overall): 146
Full text available:
PDF
5
Editorial: JACM redux
Victor Vianu
October 2013
Journal of the ACM (JACM): Volume 60 Issue 5, October 2013
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 30, Downloads (Overall): 289
Full text available:
PDF
6
Invited article foreword
Victor Vianu
October 2013
Journal of the ACM (JACM): Volume 60 Issue 5, October 2013
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2, Downloads (12 Months): 31, Downloads (Overall): 130
Full text available:
PDF
7
Invited articles foreword
Victor Vianu
September 2013
Journal of the ACM (JACM): Volume 60 Issue 4, August 2013
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 18, Downloads (Overall): 116
Full text available:
PDF
8
What is a flagship publication?
July 2013
Communications of the ACM: Volume 56 Issue 8, August 2013
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 26, Downloads (12 Months): 244, Downloads (Overall): 4,469
Full text available:
 Html PDF
9
Collaborative data-driven workflows: think global, act local
June 2013
PODS '13: Proceedings of the 32nd symposium on Principles of database systems
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 3, Downloads (12 Months): 33, Downloads (Overall): 164
Full text available:
PDF
We introduce and study a model of collaborative data-driven workflows . In a local-as-view style, each peer has a partial view of a global instance that remains purely virtual. Local updates have side effects on other peers' data, defined via the global instance. We also assume that the peers provide ...
Keywords:
monitoring, views, peers, reasoning
10
Invited article foreword
Victor Vianu
May 2013
Journal of the ACM (JACM): Volume 60 Issue 2, April 2013
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 3, Downloads (12 Months): 39, Downloads (Overall): 140
Full text available:
PDF
11
Artifact systems with data dependencies and arithmetic
Elio Damaggio,
Alin Deutsch,
Victor Vianu
September 2012
ACM Transactions on Database Systems (TODS): Volume 37 Issue 3, August 2012
Publisher: ACM
Bibliometrics:
Citation Count: 8
Downloads (6 Weeks): 4, Downloads (12 Months): 44, Downloads (Overall): 349
Full text available:
PDF
We study the static verification problem for data-centric business processes, specified in a variant of IBM's “business artifact” model. Artifacts are records of variables that correspond to business-relevant objects and are updated by a set of services equipped with pre- and postconditions, that implement business process tasks. The verification problem ...
12
Comparing workflow specification languages: A matter of views
June 2012
ACM Transactions on Database Systems (TODS): Volume 37 Issue 2, May 2012
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 6, Downloads (12 Months): 41, Downloads (Overall): 507
Full text available:
PDF
We address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. Views allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. Using this framework, we compare the expressiveness of ...
13
The ERC webdam on foundations of web data management
April 2012
WWW '12 Companion: Proceedings of the 21st International Conference on World Wide Web
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1, Downloads (12 Months): 10, Downloads (Overall): 78
Full text available:
PDF
The Webdam ERC grant is a five-year project that started in December 2008. The goal is to develop a formal model for Web data management that would open new horizons for the development of the Web in a well-principled way, enhancing its functionality, performance, and reliability. Specifically, the goal is ...
Keywords:
business artifact, probabilistic data, web data, distributed data, workflow
14
Highly expressive query languages for unordered data trees
March 2012
ICDT '12: Proceedings of the 15th International Conference on Database Theory
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 2, Downloads (12 Months): 15, Downloads (Overall): 74
Full text available:
PDF
We study highly expressive query languages for unordered data trees, using as formal vehicles Active XML and extensions of languages in the while family. All languages may be seen as adding some form of control on top of a set of basic pattern queries. The results highlight the impact and ...
Keywords:
XML, data trees, expressiveness
15
Invited article foreword
Victor Vianu
March 2012
Journal of the ACM (JACM): Volume 59 Issue 1, February 2012
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2, Downloads (12 Months): 28, Downloads (Overall): 220
Full text available:
PDF
16
Automatic verification of data-centric business processes
August 2011
BPM'11: Proceedings of the 9th international conference on Business process management
Publisher: Springer-Verlag
17
Invited articles foreword
Victor Vianu
July 2011
Journal of the ACM (JACM): Volume 58 Issue 4, July 2011
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 14, Downloads (Overall): 282
Full text available:
PDF
18
PODS 30th Anniversary Colloquium
June 2011
PODS '11: Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 4, Downloads (Overall): 100
Full text available:
 Wmv
19
Introduction to JACM invited article
Victor Vianu
June 2011
Journal of the ACM (JACM): Volume 58 Issue 3, May 2011
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 28, Downloads (Overall): 327
Full text available:
PDF
20
Comparing workflow specification languages: a matter of views
March 2011
ICDT '11: Proceedings of the 14th International Conference on Database Theory
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 1, Downloads (12 Months): 12, Downloads (Overall): 196
Full text available:
PDF
We address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. Views allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. Using this framework, we compare the expressiveness of ...
|
|
