default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVictor Vianu
Person information
- affiliation: University of California, San Diego, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j86]Arun Kumar, Alin Deutsch, Amarnath Gupta, Yannis Papakonstantinou, Babak Salimi, Victor Vianu:
Database Education at UC San Diego. SIGMOD Rec. 51(3): 43-46 (2022)- 2021
- [c82]Victor Vianu:
Datalog Unchained. PODS 2021: 57-69 - 2020
- [c81]Luc Segoufin, Victor Vianu:
Projection Views of Register Automata. PODS 2020: 299-313
2010 – 2019
- 2019
- [j85]Alin Deutsch, Yuliang Li, Victor Vianu:
Verification of Hierarchical Artifact Systems. ACM Trans. Database Syst. 44(3): 12:1-12:68 (2019) - [c80]Jianwen Su, Dirk Van Gucht, Victor Vianu:
2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2019: 47 - 2018
- [j84]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): 1-29 (2018) - [j83]Alin Deutsch, Richard Hull, Yuliang Li, Victor Vianu:
Automatic verification of database-centric systems. ACM SIGLOG News 5(2): 37-56 (2018) - [c79]Serge Abiteboul, Pierre Bourhis, Victor Vianu:
Explanations and Transparency in Collaborative Workflows. PODS 2018: 409-424 - [r2]Victor Vianu, Dirk Van Gucht:
Computationally Complete Relational Query Languages. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j82]Adrien Koutsos, Victor Vianu:
Process-centric views of data-driven business artifacts. J. Comput. Syst. Sci. 86: 82-107 (2017) - [j81]Yuliang Li, Alin Deutsch, Victor Vianu:
VERIFAS: A Practical Verifier for Artifact Systems. Proc. VLDB Endow. 11(3): 283-296 (2017) - [i10]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 abs/1701.09007 (2017) - [i9]Yuliang Li, Alin Deutsch, Victor Vianu:
A Spin-based Verifier for Artifact Systems. CoRR abs/1705.09427 (2017) - [i8]Alin Deutsch, Yuliang Li, Victor Vianu:
VERIFAS: A Practical Verifier for Artifact Systems. CoRR abs/1705.10007 (2017) - 2016
- [j80]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): 5-17 (2016) - [c78]Serge Abiteboul, Pierre Bourhis, Victor Vianu:
A Formal Study of Collaborative Access Control in Distributed Datalog. ICDT 2016: 10:1-10:17 - [c77]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: 18-36 - [c76]Alin Deutsch, Yuliang Li, Victor Vianu:
Verification of Hierarchical Artifact Systems. PODS 2016: 179-194 - [i7]Alin Deutsch, Yuliang Li, Victor Vianu:
Verification of Hierarchical Artifact Systems. CoRR abs/1604.00967 (2016) - 2015
- [j79]Victor Vianu:
Invited Articles Foreword. J. ACM 62(1): 6:1 (2015) - [j78]Victor Vianu:
Invited Article Foreword. J. ACM 62(2): 16:1 (2015) - [j77]Victor Vianu:
Invited Article Foreword. J. ACM 62(3): 24:1 (2015) - [j76]Serge Abiteboul, Pierre Bourhis, Victor Vianu:
Highly Expressive Query Languages for Unordered Data Trees. Theory Comput. Syst. 57(4): 927-966 (2015) - [c75]Victor Vianu:
Analysis of Data-Centric Workfows. AMW 2015 - [c74]Adrien Koutsos, Victor Vianu:
Process-Centric Views of Data-Driven Business Artifacts. ICDT 2015: 247-264 - 2014
- [j75]Victor Vianu:
Foreword to Invited Articles Section. J. ACM 61(1): 6:1 (2014) - [j74]Victor Vianu:
Invited Articles Foreword. J. ACM 61(4): 25:1 (2014) - [j73]Victor Vianu:
Invited article foreword. J. ACM 61(5): 31:1 (2014) - [j72]Victor Vianu:
Invited Article Foreword. J. ACM 61(6): 40:1 (2014) - [j71]Alin Deutsch, Richard Hull, Victor Vianu:
Automatic Verification of Database-Centric Systems. SIGMOD Rec. 43(3): 5-17 (2014) - [c73]Serge Abiteboul, Daniel Deutch, Victor Vianu:
Deduction with Contradictions in Datalog. ICDT 2014: 143-154 - 2013
- [j70]Moshe Y. Vardi, Victor Vianu:
What is a flagship publication? Commun. ACM 56(8): 5 (2013) - [j69]Victor Vianu:
Invited Article Foreword. J. ACM 60(1): 5:1 (2013) - [j68]Victor Vianu:
Invited article foreword. J. ACM 60(2): 14:1 (2013) - [j67]Victor Vianu:
Invited Article Foreword. J. ACM 60(3): 21:1 (2013) - [j66]Victor Vianu:
Invited articles foreword. J. ACM 60(4): 27:1 (2013) - [j65]Victor Vianu:
Editorial: JACM redux. J. ACM 60(5): 30:1-30:2 (2013) - [j64]Victor Vianu:
Invited article foreword. J. ACM 60(5): 38:1 (2013) - [c72]Serge Abiteboul, Victor Vianu:
Models for Data-Centric Workflows. In Search of Elegance in the Theory and Practice of Computation 2013: 1-12 - [c71]Serge Abiteboul, Victor Vianu:
Collaborative data-driven workflows: think global, act local. PODS 2013: 91-102 - 2012
- [j63]Victor Vianu:
Invited article foreword. J. ACM 59(1): 4:1 (2012) - [j62]Victor Vianu:
Invited article foreword. J. ACM 59(2): 9:1 (2012) - [j61]Victor Vianu:
Invited Article Foreword. J. ACM 59(3): 15:1 (2012) - [j60]Victor Vianu:
Invited Article Foreword. J. ACM 59(4): 20:1 (2012) - [j59]Victor Vianu:
Invited article foreword. J. ACM 59(5): 26:1 (2012) - [j58]Serge Abiteboul, Pierre Bourhis, Victor Vianu:
Comparing workflow specification languages: A matter of views. ACM Trans. Database Syst. 37(2): 10:1-10:59 (2012) - [j57]Elio Damaggio, Alin Deutsch, Victor Vianu:
Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37(3): 22:1-22:36 (2012) - [c70]Serge Abiteboul, Pierre Bourhis, Victor Vianu:
Highly expressive query languages for unordered data trees. ICDT 2012: 46-60 - [c69]Serge Abiteboul, Pierre Senellart, Victor Vianu:
The ERC webdam on foundations of web data management. WWW (Companion Volume) 2012: 211-214 - 2011
- [j56]Victor Vianu:
Introduction to JACM invited article. J. ACM 58(3): 12:1 (2011) - [j55]Victor Vianu:
Invited articles foreword. J. ACM 58(4): 16:1 (2011) - [j54]Victor Vianu:
Invited Articles Foreword. J. ACM 58(5): 22:1 (2011) - [j53]Victor Vianu:
Invited Article Foreword. J. ACM 58(6): 29:1 (2011) - [c68]Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu:
Automatic Verification of Data-Centric Business Processes. BPM 2011: 3-16 - [c67]Elio Damaggio, Alin Deutsch, Victor Vianu:
Artifact systems with data dependencies and arithmetic. ICDT 2011: 66-77 - [c66]Serge Abiteboul, Pierre Bourhis, Victor Vianu:
Comparing workflow specification languages: a matter of views. ICDT 2011: 78-89 - 2010
- [j52]Victor Vianu:
JACM at the start of a new decade. Commun. ACM 53(8): 5 (2010) - [j51]Victor Vianu:
Editorial: JACM at the start of a new decade. J. ACM 57(3): 12:1-12:3 (2010) - [j50]Victor Vianu:
Invited articles section foreword. J. ACM 58(1): 1:1 (2010) - [j49]Alan Nash, Luc Segoufin, Victor Vianu:
Views and queries: Determinacy and rewriting. ACM Trans. Database Syst. 35(3): 21:1-21:41 (2010)
2000 – 2009
- 2009
- [j48]Serge Abiteboul, Luc Segoufin, Victor Vianu:
Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull. 32(3): 10-15 (2009) - [j47]Victor Vianu, Jan Van den Bussche:
Introduction to PODS 2006 special section. J. ACM 56(3): 11:1 (2009) - [j46]Leonid Libkin, Victor Vianu:
Introduction to PODS 2007 special section. J. ACM 56(6): 29:1 (2009) - [j45]Serge Abiteboul, Luc Segoufin, Victor Vianu:
Static analysis of active XML systems. ACM Trans. Database Syst. 34(4): 23:1-23:44 (2009) - [c65]Victor Vianu:
Automatic verification of database-driven systems: a new frontier. ICDT 2009: 1-13 - [c64]Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu:
Automatic verification of data-centric business processes. ICDT 2009: 252-267 - [r1]Victor Vianu, Dirk Van Gucht:
Computationally Complete Relational Query Languages. Encyclopedia of Database Systems 2009: 406-411 - 2008
- [j44]Alin Deutsch, Victor Vianu:
WAVE: Automatic Verification of Data-Driven Web Services. IEEE Data Eng. Bull. 31(3): 35-39 (2008) - [j43]Victor Vianu:
Database theory column. SIGACT News 39(1): 77-79 (2008) - [c63]Serge Abiteboul, Luc Segoufin, Victor Vianu:
Static analysis of active XML systems. PODS 2008: 221-230 - [e7]Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu:
Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008. Dagstuhl Seminar Proceedings 08171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i6]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 - [i5]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 - 2007
- [j42]Alin Deutsch, Liying Sui, Victor Vianu:
Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3): 442-474 (2007) - [c62]Alan Nash, Luc Segoufin, Victor Vianu:
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. ICDT 2007: 59-73 - 2006
- [j41]Dan Suciu, Victor Vianu:
Introduction. J. ACM 53(2): 207 (2006) - [j40]Serge Abiteboul, Luc Segoufin, Victor Vianu:
Representing and querying XML with incomplete information. ACM Trans. Database Syst. 31(1): 208-254 (2006) - [c61]Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou:
Verification of communicating data-driven web services. PODS 2006: 90-99 - [c60]Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou:
A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference 2006: 772-774 - 2005
- [j39]Tova Milo, Victor Vianu:
Introduction. J. ACM 52(2): 245 (2005) - [j38]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): 5-12 (2005) - [c59]Alan Nash, Jeffrey B. Remmel, Victor Vianu:
PTIME Queries Revisited. ICDT 2005: 274-288 - [c58]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: 557-568 - [c57]Luc Segoufin, Victor Vianu:
Views and queries: determinacy and rewriting. PODS 2005: 49-60 - [c56]Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou:
A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550 - [e6]Stéphane Grumbach, Liying Sui, Victor Vianu:
Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings. Lecture Notes in Computer Science 3818, Springer 2005, ISBN 3-540-30767-2 [contents] - 2004
- [j37]Phokion G. Kolaitis, Victor Vianu:
Foreword. J. ACM 51(1): 1 (2004) - [j36]Frank Neven, Thomas Schwentick, Victor Vianu:
Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. 5(3): 403-435 (2004) - [j35]Andrey Balmin, Yannis Papakonstantinou, Victor Vianu:
Incremental validation of XML documents. ACM Trans. Database Syst. 29(4): 710-751 (2004) - [c55]Alin Deutsch, Liying Sui, Victor Vianu:
Specification and Verification of Data-driven Web Services. PODS 2004: 71-82 - 2003
- [j34]Tova Milo, Dan Suciu, Victor Vianu:
Typechecking for XML transformers. J. Comput. Syst. Sci. 66(1): 66-97 (2003) - [j33]Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu:
XML with data values: typechecking revisited. J. Comput. Syst. Sci. 66(4): 688-727 (2003) - [j32]Victor Vianu:
A Web odyssey: from codd to XML. SIGMOD Rec. 32(2): 68-77 (2003) - [j31]Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu:
Typechecking XML views of relational databases. ACM Trans. Comput. Log. 4(3): 315-354 (2003) - [c54]Yannis Papakonstantinou, Victor Vianu:
Incremental Validation of XML Documents. ICDT 2003: 47-63 - [c53]Victor Vianu:
XML: From Practice to Theory. SBBD 2003: 11-25 - [c52]Victor Vianu:
Logic as a Query Language: From Frege to XML. STACS 2003: 1-12 - 2002
- [c51]Luc Segoufin, Victor Vianu:
Validating Streaming XML Documents. PODS 2002: 53-64 - 2001
- [j30]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): 213-236 (2001) - [c50]Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu:
Typechecking XML Views of Relational Databases. LICS 2001: 421-430 - [c49]Frank Neven, Thomas Schwentick, Victor Vianu:
Towards Regular Languages over Infinite Alphabets. MFCS 2001: 560-572 - [c48]Serge Abiteboul, Luc Segoufin, Victor Vianu:
Representing and Querying XML with Incomplete Information. PODS 2001 - [c47]Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu:
XML with Data Values: Typechecking Revisited. PODS 2001 - [c46]Victor Vianu:
A Web Odyssey: From Codd to XML. PODS 2001 - [e5]Jan Van den Bussche, Victor Vianu:
Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Lecture Notes in Computer Science 1973, Springer 2001, ISBN 3-540-41456-8 [contents] - 2000
- [j29]Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha:
Relational Transducers for Electronic Commerce. J. Comput. Syst. Sci. 61(2): 236-269 (2000) - [j28]Luc Segoufin, Victor Vianu:
Querying Spatial Databases via Topological Invariants. J. Comput. Syst. Sci. 61(2): 270-301 (2000) - [j27]Stefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu:
SIGMOD Sister Societies. SIGMOD Rec. 29(1): 4-15 (2000) - [j26]Kenneth A. Ross, Christos Faloutsos, Alon Y. Levy, Patrick E. O'Neil, Eric Simon, Divesh Srivastava, Victor Vianu, Gerhard Weikum:
Reminiscences on Influential Papers. SIGMOD Rec. 29(1): 52-65 (2000) - [j25]Serge Abiteboul, Victor Vianu:
Queries and computation on the web. Theor. Comput. Sci. 239(2): 231-255 (2000) - [c45]Tova Milo, Dan Suciu, Victor Vianu:
Typechecking for XML Transformers. PODS 2000: 11-22 - [c44]Yannis Papakonstantinou, Victor Vianu:
DTD Inference for Views of XML Data. PODS 2000: 35-46 - [p2]Victor Vianu:
Finite and Infinite in Logic. Finite Versus Infinite 2000: 349-371 - [p1]Bart Kuijpers, Victor Vianu:
Topological Queries. Constraint Databases 2000: 231-273 - [e4]Victor Vianu, Georg Gottlob:
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA. ACM 2000, ISBN 1-58113-214-X [contents] - [i4]Victor Vianu:
Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digit. Rev. 2 (2000) - [i3]Victor Vianu:
Review - Hypothetical Datalog: Complexity and Expressibility. ACM SIGMOD Digit. Rev. 2 (2000) - [i2]Victor Vianu:
Review - On Instance-Completeness for Database Query Languages involving Object Creation. ACM SIGMOD Digit. Rev. 2 (2000) - [i1]Victor Vianu:
Review - Exact and Approximate Aggregation in Constraint Query. ACM SIGMOD Digit. Rev. 2 (2000)
1990 – 1999
- 1999
- [j24]Christos H. Papadimitriou, Dan Suciu, Victor Vianu:
Topological Queries in Spatial Databases. J. Comput. Syst. Sci. 58(1): 29-53 (1999) - [j23]Serge Abiteboul, Victor Vianu:
Regular Path Queries with Constraints. J. Comput. Syst. Sci. 58(3): 428-452 (1999) - [c43]Victor Vianu:
Topological Queries in Spatial Databases. CSL 1999: 1 - [e3]Victor Vianu, Christos H. Papadimitriou:
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania, USA. ACM Press 1999, ISBN 1-58113-062-7 [contents] - 1998
- [j22]Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu:
Reflective Relational Machines. Inf. Comput. 143(2): 110-136 (1998) - [j21]Philippe Picouet, Victor Vianu:
Semantics and Expressiveness Issues in Active Databases. J. Comput. Syst. Sci. 57(3): 325-355 (1998) - [j20]Sérgio Lifschitz, Victor Vianu:
A Probabilistic View of Datalog Parallelization. Theor. Comput. Sci. 190(2): 211-239 (1998) - [c42]Serge Abiteboul, Bernd Amann, Sophie Cluet, Tova Milo, Victor Vianu:
Active Views for Electronic Commerce. BDA 1998: 405-424 - [c41]