Victor Vianu

ORCID

Publication Activity (10 Years)

Years Active: 1977-2022
Publications (10 Years): 18

Top Venues

Publications

Arun Kumar, Alin Deutsch, Amarnath Gupta, Yannis Papakonstantinou, Babak Salimi, Victor Vianu
Database Education at UC San Diego. SIGMOD Rec. 51 (3) (2022)
Victor Vianu
Datalog Unchained. PODS (2021)
Luc Segoufin, Victor Vianu
Projection Views of Register Automata. PODS (2020)
Alin Deutsch, Yuliang Li, Victor Vianu
Verification of Hierarchical Artifact Systems. ACM Trans. Database Syst. 44 (3) (2019)
Jianwen Su, Dirk Van Gucht, Victor Vianu
2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS (2019)
Serge Abiteboul, Pierre Bourhis, Victor Vianu
Explanations and Transparency in Collaborative Workflows. PODS (2018)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7 (1) (2018)
Alin Deutsch, Richard Hull, Yuliang Li, Victor Vianu
Automatic verification of database-centric systems. ACM SIGLOG News 5 (2) (2018)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR (2017)
Alin Deutsch, Yuliang Li, Victor Vianu
VERIFAS: A Practical Verifier for Artifact Systems. CoRR (2017)
Yuliang Li, Alin Deutsch, Victor Vianu
A Spin-based Verifier for Artifact Systems. CoRR (2017)
Adrien Koutsos, Victor Vianu
Process-centric views of data-driven business artifacts. J. Comput. Syst. Sci. 86 (2017)
Yuliang Li, Alin Deutsch, Victor Vianu
VERIFAS: A Practical Verifier for Artifact Systems. Proc. VLDB Endow. 11 (3) (2017)
Serge Abiteboul, Pierre Bourhis, Victor Vianu
A Formal Study of Collaborative Access Control in Distributed Datalog. ICDT (2016)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45 (4) (2016)
Alin Deutsch, Yuliang Li, Victor Vianu
Verification of Hierarchical Artifact Systems. PODS (2016)
Alin Deutsch, Yuliang Li, Victor Vianu
Verification of Hierarchical Artifact Systems. CoRR (2016)
Richard Hull, Vishal S. Batra, Yi-Min Chen, Alin Deutsch, Fenno F. Terry Heath III, Victor Vianu
Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes. ICSOC (2016)
Serge Abiteboul, Pierre Bourhis, Victor Vianu
Highly Expressive Query Languages for Unordered Data Trees. Theory Comput. Syst. 57 (4) (2015)
Victor Vianu
Analysis of Data-Centric Workfows. AMW (2015)
Victor Vianu
Invited Articles Foreword. J. ACM 62 (1) (2015)
Adrien Koutsos, Victor Vianu
Process-Centric Views of Data-Driven Business Artifacts. ICDT (2015)
Victor Vianu
Invited Article Foreword. J. ACM 62 (2) (2015)
Victor Vianu
Invited Article Foreword. J. ACM 62 (3) (2015)
Victor Vianu
Invited Articles Foreword. J. ACM 61 (4) (2014)
Victor Vianu
Invited article foreword. J. ACM 61 (5) (2014)
Victor Vianu
Foreword to Invited Articles Section. J. ACM 61 (1) (2014)
Victor Vianu
Invited Article Foreword. J. ACM 61 (6) (2014)
Serge Abiteboul, Daniel Deutch, Victor Vianu
Deduction with Contradictions in Datalog. ICDT (2014)
Alin Deutsch, Richard Hull, Victor Vianu
Automatic Verification of Database-Centric Systems. SIGMOD Rec. 43 (3) (2014)
Victor Vianu
Invited Article Foreword. J. ACM 60 (3) (2013)
Victor Vianu
Invited article foreword. J. ACM 60 (2) (2013)
Moshe Y. Vardi, Victor Vianu
What is a flagship publication? Commun. ACM 56 (8) (2013)
Victor Vianu
Invited article foreword. J. ACM 60 (5) (2013)
Serge Abiteboul, Victor Vianu
Models for Data-Centric Workflows. In Search of Elegance in the Theory and Practice of Computation (2013)
Victor Vianu
Editorial: JACM redux. J. ACM 60 (5) (2013)
Serge Abiteboul, Victor Vianu
Collaborative data-driven workflows: think global, act local. PODS (2013)
Victor Vianu
Invited Article Foreword. J. ACM 60 (1) (2013)
Victor Vianu
Invited articles foreword. J. ACM 60 (4) (2013)
Elio Damaggio, Alin Deutsch, Victor Vianu
Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37 (3) (2012)
Victor Vianu
Invited Article Foreword. J. ACM 59 (4) (2012)
Serge Abiteboul, Pierre Bourhis, Victor Vianu
Comparing workflow specification languages: A matter of views. ACM Trans. Database Syst. 37 (2) (2012)
Victor Vianu
Invited article foreword. J. ACM 59 (2) (2012)
Victor Vianu
Invited article foreword. J. ACM 59 (5) (2012)
Serge Abiteboul, Pierre Bourhis, Victor Vianu
Highly expressive query languages for unordered data trees. ICDT (2012)
Victor Vianu
Invited article foreword. J. ACM 59 (1) (2012)
Serge Abiteboul, Pierre Senellart, Victor Vianu
The ERC webdam on foundations of web data management. WWW (Companion Volume) (2012)
Victor Vianu
Invited Article Foreword. J. ACM 59 (3) (2012)
Victor Vianu
Invited articles foreword. J. ACM 58 (4) (2011)
Serge Abiteboul, Pierre Bourhis, Victor Vianu
Comparing workflow specification languages: a matter of views. ICDT (2011)
Victor Vianu
invited article. J. ACM 58 (3) (2011)
Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu
Automatic Verification of Data-Centric Business Processes. BPM (2011)
Victor Vianu
Invited Article Foreword. J. ACM 58 (6) (2011)
Elio Damaggio, Alin Deutsch, Victor Vianu
Artifact systems with data dependencies and arithmetic. ICDT (2011)
Victor Vianu
Invited Articles Foreword. J. ACM 58 (5) (2011)
Alan Nash, Luc Segoufin, Victor Vianu
Views and queries: Determinacy and rewriting. ACM Trans. Database Syst. 35 (3) (2010)
Victor Vianu
Invited articles section foreword. J. ACM 58 (1) (2010)
Victor Vianu
Editorial: JACM at the start of a new decade. J. ACM 57 (3) (2010)
Victor Vianu
at the start of a new decade. Commun. ACM 53 (8) (2010)
Victor Vianu
Automatic verification of database-driven systems: a new frontier. ICDT (2009)
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu
Automatic verification of data-centric business processes. ICDT (2009)
Leonid Libkin, Victor Vianu
Introduction to PODS 2007 special section. J. ACM 56 (6) (2009)
Victor Vianu, Jan Van den Bussche
Introduction to PODS 2006 special section. J. ACM 56 (3) (2009)
Serge Abiteboul, Luc Segoufin, Victor Vianu
Static analysis of active XML systems. ACM Trans. Database Syst. 34 (4) (2009)
Serge Abiteboul, Luc Segoufin, Victor Vianu
Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull. 32 (3) (2009)
Victor Vianu
Database theory column. SIGACT News 39 (1) (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Alin Deutsch, Victor Vianu
WAVE: Automatic Verification of Data-Driven Web Services. IEEE Data Eng. Bull. 31 (3) (2008)
Serge Abiteboul, Luc Segoufin, Victor Vianu
Static analysis of active XML systems. PODS (2008)
Alan Nash, Luc Segoufin, Victor Vianu
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. ICDT (2007)
Alin Deutsch, Liying Sui, Victor Vianu
Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73 (3) (2007)
Dan Suciu, Victor Vianu
Introduction. J. ACM 53 (2) (2006)
Serge Abiteboul, Luc Segoufin, Victor Vianu
Representing and querying XML with incomplete information. ACM Trans. Database Syst. 31 (1) (2006)
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference (2006)
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
Verification of communicating data-driven web services. PODS (2006)
Tova Milo, Victor Vianu
Introduction. J. ACM 52 (2) (2005)
Luc Segoufin, Victor Vianu
Views and queries: determinacy and rewriting. PODS (2005)
Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi
In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Rec. 34 (1) (2005)
Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. ICWE (2005)
Alan Nash, Jeffrey B. Remmel, Victor Vianu
PTIME Queries Revisited. ICDT (2005)
Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou
A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference (2005)
Frank Neven, Thomas Schwentick, Victor Vianu
Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. 5 (3) (2004)
Phokion G. Kolaitis, Victor Vianu
Foreword. J. ACM 51 (1) (2004)
Alin Deutsch, Liying Sui, Victor Vianu
Specification and Verification of Data-driven Web Services. PODS (2004)
Andrey Balmin, Yannis Papakonstantinou, Victor Vianu
Incremental validation of XML documents. ACM Trans. Database Syst. 29 (4) (2004)
Victor Vianu
XML: From Practice to Theory. SBBD (2003)
Tova Milo, Dan Suciu, Victor Vianu
Typechecking for XML transformers. J. Comput. Syst. Sci. 66 (1) (2003)
Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
Typechecking XML views of relational databases. ACM Trans. Comput. Log. 4 (3) (2003)
Victor Vianu
Logic as a Query Language: From Frege to XML. STACS (2003)
Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
XML with data values: typechecking revisited. J. Comput. Syst. Sci. 66 (4) (2003)
Victor Vianu
A Web odyssey: from codd to XML. SIGMOD Rec. 32 (2) (2003)
Yannis Papakonstantinou, Victor Vianu
Incremental Validation of XML Documents. ICDT (2003)
Luc Segoufin, Victor Vianu
Validating Streaming XML Documents. PODS (2002)
Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
Typechecking XML Views of Relational Databases. LICS (2001)
Serge Abiteboul, Luc Segoufin, Victor Vianu
Representing and Querying XML with Incomplete Information. PODS (2001)
Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
On the unusual effectiveness of logic in computer science. Bull. Symb. Log. 7 (2) (2001)
Frank Neven, Thomas Schwentick, Victor Vianu
Towards Regular Languages over Infinite Alphabets. MFCS (2001)
Victor Vianu
A Web Odyssey: From Codd to XML. PODS (2001)
Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
XML with Data Values: Typechecking Revisited. PODS (2001)

Victor Vianu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Victor Vianu