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]Luc Segoufin, Victor Vianu:
Querying Spatial Databases via Topological Invariants. PODS 1998: 89-98 - [c40]Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha:
Relational Transducers for Electronic Commerce. PODS 1998: 179-187 - [c39]Chaitanya K. Baru, Bertram Ludäscher, Yannis Papakonstantinou, Pavel E. Velikhov, Victor Vianu:
Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. QL 1998 - 1997
- [j19]Victor Vianu:
Rule-Based Languages. Ann. Math. Artif. Intell. 19(1-2): 215-259 (1997) - [j18]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997) - [c38]Philippe Picouet, Victor Vianu:
Expressiveness and Complexity of Active Databases. ICDT 1997: 155-172 - [c37]Serge Abiteboul, Victor Vianu:
Queries and Computation on the Web. ICDT 1997: 262-275 - [c36]Serge Abiteboul, Victor Vianu:
Regular Path Queries with Constraints. PODS 1997: 122-133 - [e2]Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace:
Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers. Lecture Notes in Computer Science 1191, Springer 1997, ISBN 3-540-62501-1 [contents] - 1996
- [c35]Philippe Picouet, Victor Vianu:
Modélisation Formelle des Bases de Données Actives. BDA 1996: 311-330 - [c34]Victor Vianu:
Databases and Finite-Model Theory. Descriptive Complexity and Finite Models 1996: 97-148 - [c33]Christos H. Papadimitriou, Dan Suciu, Victor Vianu:
Topological Queries in Spatial Databases. PODS 1996: 81-92 - 1995
- [b1]Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0 [contents] - [j17]Serge Abiteboul, Victor Vianu:
Computing with First-Order Logic. J. Comput. Syst. Sci. 50(2): 309-335 (1995) - [j16]Stéphane Grumbach, Victor Vianu:
Tractable Query Languages for Complex Object Databases. J. Comput. Syst. Sci. 51(2): 149-167 (1995) - [j15]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Computing with Infinitary Logic. Theor. Comput. Sci. 149(1): 101-128 (1995) - [c32]Sérgio Lifschitz, Victor Vianu:
A Probabilistic View of Datalog Parallelization. ICDT 1995: 294-307 - [c31]Philippe Picouet, Victor Vianu:
Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138 - 1994
- [c30]Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu:
The Power of Reflective Relational Machines. LICS 1994: 230-240 - [e1]Victor Vianu:
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA. ACM Press 1994, ISBN 0-89791-642-5 [contents] - 1993
- [j14]Victor Vianu, Gottfried Vossen:
Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Ann. Math. Artif. Intell. 7(1-4): 257-287 (1993) - [c29]Serge Abiteboul, Victor Vianu:
Expressive Power of Query Languages. GULP 1993: 441-468 - [c28]Serge Abiteboul, Victor Vianu:
Computing on Structures. ICALP 1993: 606-620 - [c27]Karl Denninghoff, Victor Vianu:
Database Method Schemas and Object Creation. PODS 1993: 265-275 - 1992
- [j13]Victor Vianu, Gottfried Vossen:
Conceptual Level Concurrency Control of Relational Update Transactions. Theor. Comput. Sci. 95(1): 1-42 (1992) - [c26]Serge Abiteboul, Victor Vianu:
Expressive Power of Query Languages. Theoretical Studies in Computer Science 1992: 207-251 - [c25]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Fixpoint Logics, Relational Machines, and Computational Complexity. SCT 1992: 156-168 - [c24]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Computing with Infinitary Logic. ICDT 1992: 113-123 - [c23]Serge Abiteboul, Kevin J. Compton, Victor Vianu:
Queries Are Easier Than You Thought (Probably). PODS 1992: 23-32 - 1991
- [j12]Serge Abiteboul, Victor Vianu:
Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. 3(2-4): 151-186 (1991) - [j11]Serge Abiteboul, Victor Vianu:
Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124 (1991) - [j10]Dino Karabeg, Victor Vianu:
Simplification Rules and Complete Axiomatization for Relational Update Transactions. ACM Trans. Database Syst. 16(3): 439-475 (1991) - [c22]Stéphane Grumbach, Victor Vianu:
Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991: 111-122 - [c21]Stéphane Grumbach, Victor Vianu:
Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327 - [c20]Serge Abiteboul, Victor Vianu:
Generic Computation and Its Complexity. STOC 1991: 209-219 - [c19]Karl Denninghoff, Victor Vianu:
The Power of Methods With Parallel Semantics. VLDB 1991: 221-232 - 1990
- [j9]Serge Abiteboul, Victor Vianu:
Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229 (1990) - [j8]Serge Abiteboul, Peter Buneman, Claude Delobel, Richard Hull, Paris C. Kanellakis, Victor Vianu:
New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. SIGMOD Rec. 19(4): 41-48 (1990) - [j7]Dino Karabeg, Victor Vianu:
Parallel Update Transactions. Theor. Comput. Sci. 76(1): 93-114 (1990) - [c18]Stéphane Grumbach, Victor Vianu:
Playing Games with Objects. ICDT 1990: 25-38 - [c17]Serge Abiteboul, Eric Simon, Victor Vianu:
Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229
1980 – 1989
- 1989
- [j6]Serge Abiteboul, Victor Vianu:
A transaction-based approach to relational database specification. J. ACM 36(4): 758-789 (1989) - [c16]Serge Abiteboul, Victor Vianu:
Fixpoint Extensions of First-Order Logic and Datalog-Like Languages. LICS 1989: 71-79 - [c15]Victor Vianu, Gottfried Vossen:
Goal-Oriented Concurrency Control. MFDBS 1989: 398-414 - 1988
- [j5]Victor Vianu:
Database Survivability Under Dynamic Constraints. Acta Informatica 25(1): 55-84 (1988) - [j4]Peter Lyngbæk, Victor Vianu:
Relational Translations of Semantic Models: A Case Study Based on Iris. IEEE Data Eng. Bull. 11(2): 13-22 (1988) - [j3]Serge Abiteboul, Victor Vianu:
Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120 (1988) - [j2]Victor Vianu:
A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13(1): 1-22 (1988) - [c14]Dino Karabeg, Victor Vianu:
Parallel Update Transactions (Extended Abstract). ICDT 1988: 307-321 - [c13]Victor Vianu, Gottfried Vossen:
Conceptual Level Concurrency Control of Relational Update Transactions. ICDT 1988: 353-367 - [c12]Serge Abiteboul, Victor Vianu:
The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988: 324-334 - [c11]Serge Abiteboul, Victor Vianu:
Procedural and Declarative Database Update Languages. PODS 1988: 240-250 - 1987
- [j1]Victor Vianu:
Dynamic functional dependencies and database aging. J. ACM 34(1): 28-59 (1987) - [c10]Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu:
Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259 - [c9]Serge Abiteboul, Victor Vianu:
A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268 - [c8]Peter Lyngbæk, Victor Vianu:
Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987: 132-142 - 1986
- [c7]Serge Abiteboul, Victor Vianu:
Deciding Properties of Transactional Schemas. PODS 1986: 235-239 - 1985
- [c6]Serge Abiteboul, Victor Vianu:
Transactions and Integrity Constraints. PODS 1985: 193-204 - 1984
- [c5]Victor Vianu:
Object Projection Views in the Dynamic Relational Model. PODS 1984: 214-220 - [c4]Serge Abiteboul, Victor Vianu:
Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56 - 1983
- [c3]Victor Vianu:
Dynamic Constraints and Database Evolution. PODS 1983: 389-399 - 1981
- [c2]Tim Connors, Victor Vianu:
Tableaux which Define Expression Mappings. XP2 Workshop on Relational Database Theory 1981
1970 – 1979
- 1977
- [c1]Victor Vianu:
The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. MFCS 1977: 537-542
Coauthor Index
[j84] [c79] [i10] [j80] [c78] [j76] [c73] [c72] [c71] [j58] [c70] [c69] [c66] [j48] [j45] [c63] [j40] [j38] [c48] [j29] [j25] [j23] [j22] [c42] [c40] [j18] [c37] [c36] [b1] [j17] [j15] [c30] [c29] [c28] [c26] [c25] [c24] [c23] [j12] [j11] [c20] [j9] [j8] [c17] [j6] [c16] [j3] [c12] [c11] [c9] [c7] [c6] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
