Victor Vianu - RankMe

189 papers A* 42A 22B 4Journal 93Unranked 20

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Database Education at UC San Diego. SIGMOD Rec. Arun Kumar, Alin Deutsch, Amarnath Gupta, Yannis Papakonstantinou, Babak Salimi, Victor Vianu
2021	A*	`conf`	Datalog Unchained. PODS Victor Vianu
2020	A*	`conf`	Projection Views of Register Automata. PODS Luc Segoufin, Victor Vianu
2019	A*	`conf`	2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS Jianwen Su, Dirk Van Gucht, Victor Vianu
2019	J	`jnl`	Verification of Hierarchical Artifact Systems. ACM Trans. Database Syst. Alin Deutsch, Yuliang Li, Victor Vianu
2018	J	`jnl`	Automatic verification of database-centric systems. ACM SIGLOG News Alin Deutsch, Richard Hull, Yuliang Li, Victor Vianu
2018	—	`ch.`	Computationally Complete Relational Query Languages. Encyclopedia of Database Systems (2nd ed.) Victor Vianu, Dirk Van Gucht
2018	A*	`conf`	Explanations and Transparency in Collaborative Workflows. PODS Serge Abiteboul, Pierre Bourhis, Victor Vianu
2018	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 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
2017	J	`jnl`	A Spin-based Verifier for Artifact Systems. CoRR Yuliang Li, Alin Deutsch, Victor Vianu
2017	J	`jnl`	Process-centric views of data-driven business artifacts. J. Comput. Syst. Sci. Adrien Koutsos, Victor Vianu
2017	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR 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
2017	J	`jnl`	VERIFAS: A Practical Verifier for Artifact Systems. CoRR Alin Deutsch, Yuliang Li, Victor Vianu
2017	J	`jnl`	VERIFAS: A Practical Verifier for Artifact Systems. Proc. VLDB Endow. Yuliang Li, Alin Deutsch, Victor Vianu
2016	A	`conf`	A Formal Study of Collaborative Access Control in Distributed Datalog. ICDT Serge Abiteboul, Pierre Bourhis, Victor Vianu
2016	J	`jnl`	Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 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
2016	A	`conf`	Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes. ICSOC Richard Hull, Vishal S. Batra, Yi-min Chen, Alin Deutsch, Fenno F. Terry Heath III, Victor Vianu
2016	A*	`conf`	Verification of Hierarchical Artifact Systems. PODS Alin Deutsch, Yuliang Li, Victor Vianu
2016	J	`jnl`	Verification of Hierarchical Artifact Systems. CoRR Alin Deutsch, Yuliang Li, Victor Vianu
2015	—	`conf`	Analysis of Data-Centric Workfows. AMW Victor Vianu
2015	J	`jnl`	Highly Expressive Query Languages for Unordered Data Trees. Theory Comput. Syst. Serge Abiteboul, Pierre Bourhis, Victor Vianu
2015	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2015	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2015	J	`jnl`	Invited Articles Foreword. J. ACM Victor Vianu
2015	A	`conf`	Process-Centric Views of Data-Driven Business Artifacts. ICDT Adrien Koutsos, Victor Vianu
2014	J	`jnl`	Automatic Verification of Database-Centric Systems. SIGMOD Rec. Alin Deutsch, Richard Hull, Victor Vianu
2014	A	`conf`	Deduction with Contradictions in Datalog. ICDT Serge Abiteboul, Daniel Deutch, Victor Vianu
2014	J	`jnl`	Foreword to Invited Articles Section. J. ACM Victor Vianu
2014	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2014	J	`jnl`	Invited Articles Foreword. J. ACM Victor Vianu
2014	J	`jnl`	Invited article foreword. J. ACM Victor Vianu
2013	A*	`conf`	Collaborative data-driven workflows: think global, act local. PODS Serge Abiteboul, Victor Vianu
2013	J	`jnl`	Editorial: JACM redux. J. ACM Victor Vianu
2013	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2013	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2013	J	`jnl`	Invited article foreword. J. ACM Victor Vianu
2013	J	`jnl`	Invited article foreword. J. ACM Victor Vianu
2013	J	`jnl`	Invited articles foreword. J. ACM Victor Vianu
2013	—	`conf`	Models for Data-Centric Workflows. In Search of Elegance in the Theory and Practice of Computation Serge Abiteboul, Victor Vianu
2013	J	`jnl`	What is a flagship publication? Commun. ACM Moshe Y. Vardi, Victor Vianu
2012	J	`jnl`	Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. Elio Damaggio, Alin Deutsch, Victor Vianu
2012	J	`jnl`	Comparing workflow specification languages: A matter of views. ACM Trans. Database Syst. Serge Abiteboul, Pierre Bourhis, Victor Vianu
2012	A	`conf`	Highly expressive query languages for unordered data trees. ICDT Serge Abiteboul, Pierre Bourhis, Victor Vianu
2012	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2012	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2012	J	`jnl`	Invited article foreword. J. ACM Victor Vianu
2012	J	`jnl`	Invited article foreword. J. ACM Victor Vianu
2012	J	`jnl`	Invited article foreword. J. ACM Victor Vianu
2012	—	`conf`	The ERC webdam on foundations of web data management. WWW (Companion Volume) Serge Abiteboul, Pierre Senellart, Victor Vianu
2011	A	`conf`	Artifact systems with data dependencies and arithmetic. ICDT Elio Damaggio, Alin Deutsch, Victor Vianu
2011	A	`conf`	Automatic Verification of Data-Centric Business Processes. BPM Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu
2011	A	`conf`	Comparing workflow specification languages: a matter of views. ICDT Serge Abiteboul, Pierre Bourhis, Victor Vianu
2011	J	`jnl`	Introduction to J. ACM Victor Vianu
2011	J	`jnl`	Invited Article Foreword. J. ACM Victor Vianu
2011	J	`jnl`	Invited Articles Foreword. J. ACM Victor Vianu
2011	J	`jnl`	Invited articles foreword. J. ACM Victor Vianu
2010	J	`jnl`	Editorial: JACM at the start of a new decade. J. ACM Victor Vianu
2010	J	`jnl`	Invited articles section foreword. J. ACM Victor Vianu
2010	J	`jnl`	Views and queries: Determinacy and rewriting. ACM Trans. Database Syst. Alan Nash, Luc Segoufin, Victor Vianu
2009	A	`conf`	Automatic verification of data-centric business processes. ICDT Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu
2009	A	`conf`	Automatic verification of database-driven systems: a new frontier. ICDT Victor Vianu
2009	—	`ch.`	Computationally Complete Relational Query Languages. Encyclopedia of Database Systems Victor Vianu, Dirk Van Gucht
2009	J	`jnl`	Introduction to PODS 2006 special section. J. ACM Victor Vianu, Jan Van den Bussche
2009	J	`jnl`	Introduction to PODS 2007 special section. J. ACM Leonid Libkin, Victor Vianu
2009	J	`jnl`	Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull. Serge Abiteboul, Luc Segoufin, Victor Vianu
2009	J	`jnl`	Static analysis of active XML systems. ACM Trans. Database Syst. Serge Abiteboul, Luc Segoufin, Victor Vianu
2008	—	`conf`	08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008	—	`conf`	08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008	—	`ed.`	Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008 Beyond the Finite: New Challenges in Verification and Semistructured Data Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008	J	`jnl`	Database theory column. SIGACT News Victor Vianu
2008	A*	`conf`	Static analysis of active XML systems. PODS Serge Abiteboul, Luc Segoufin, Victor Vianu
2008	J	`jnl`	WAVE: Automatic Verification of Data-Driven Web Services. IEEE Data Eng. Bull. Alin Deutsch, Victor Vianu
2007	A	`conf`	Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. ICDT Alan Nash, Luc Segoufin, Victor Vianu
2007	J	`jnl`	Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. Alin Deutsch, Liying Sui, Victor Vianu
2006	—	`conf`	A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
2006	J	`jnl`	Introduction. J. ACM Dan Suciu, Victor Vianu
2006	J	`jnl`	Representing and querying XML with incomplete information. ACM Trans. Database Syst. Serge Abiteboul, Luc Segoufin, Victor Vianu
2006	A*	`conf`	Verification of communicating data-driven web services. PODS Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
2005	—	`conf`	A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou
2005	—	`ed.`	Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings ASIAN Stéphane Grumbach, Liying Sui, Victor Vianu
2005	J	`jnl`	In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Rec. Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi
2005	J	`jnl`	Introduction. J. ACM Tova Milo, Victor Vianu
2005	A	`conf`	PTIME Queries Revisited. ICDT Alan Nash, Jeffrey B. Remmel, Victor Vianu
2005	B	`conf`	The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. ICWE Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu
2005	A*	`conf`	Views and queries: determinacy and rewriting. PODS Luc Segoufin, Victor Vianu
2004	J	`jnl`	Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. Frank Neven, Thomas Schwentick, Victor Vianu
2004	J	`jnl`	Foreword. J. ACM Phokion G. Kolaitis, Victor Vianu
2004	J	`jnl`	Incremental validation of XML documents. ACM Trans. Database Syst. Andrey Balmin, Yannis Papakonstantinou, Victor Vianu
2004	A*	`conf`	Specification and Verification of Data-driven Web Services. PODS Alin Deutsch, Liying Sui, Victor Vianu
2003	J	`jnl`	A Web odyssey: from codd to XML. SIGMOD Rec. Victor Vianu
2003	A	`conf`	Incremental Validation of XML Documents. ICDT Yannis Papakonstantinou, Victor Vianu
2003	A	`conf`	Logic as a Query Language: From Frege to XML. STACS Victor Vianu
2003	J	`jnl`	Typechecking XML views of relational databases. ACM Trans. Comput. Log. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2003	J	`jnl`	Typechecking for XML transformers. J. Comput. Syst. Sci. Tova Milo, Dan Suciu, Victor Vianu
2003	J	`jnl`	XML with data values: typechecking revisited. J. Comput. Syst. Sci. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2003	—	`conf`	XML: From Practice to Theory. SBBD Victor Vianu
2002	A*	`conf`	Validating Streaming XML Documents. PODS Luc Segoufin, Victor Vianu
2001	A*	`conf`	A Web Odyssey: From Codd to XML. PODS Victor Vianu
2001	A	`ed.`	Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. ICDT Jan Van den Bussche, Victor Vianu
2001	J	`jnl`	On the unusual effectiveness of logic in computer science. Bull. Symb. Log. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
2001	A*	`conf`	Representing and Querying XML with Incomplete Information. PODS Serge Abiteboul, Luc Segoufin, Victor Vianu
2001	B	`conf`	Towards Regular Languages over Infinite Alphabets. MFCS Frank Neven, Thomas Schwentick, Victor Vianu
2001	A*	`conf`	Typechecking XML Views of Relational Databases. LICS Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2001	A*	`conf`	XML with Data Values: Typechecking Revisited. PODS Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2000	A*	`conf`	DTD Inference for Views of XML Data. PODS Yannis Papakonstantinou, Victor Vianu
2000	—	`ch.`	Finite and Infinite in Logic. Finite Versus Infinite Victor Vianu
2000	A*	`ed.`	Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA Victor Vianu, Georg Gottlob
2000	J	`jnl`	Queries and computation on the web. Theor. Comput. Sci. Serge Abiteboul, Victor Vianu
2000	J	`jnl`	Querying Spatial Databases via Topological Invariants. J. Comput. Syst. Sci. Luc Segoufin, Victor Vianu
2000	J	`jnl`	Relational Transducers for Electronic Commerce. J. Comput. Syst. Sci. Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha
2000	J	`jnl`	Reminiscences on Influential Papers. SIGMOD Rec. Kenneth A. Ross, Christos Faloutsos, Alon Y. Levy, Patrick E. O'Neil, Eric Simon, Divesh Srivastava, Victor Vianu, Gerhard Weikum
2000	J	`jnl`	Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digit. Rev. Victor Vianu
2000	J	`jnl`	Review - Exact and Approximate Aggregation in Constraint Query. ACM SIGMOD Digit. Rev. Victor Vianu
2000	J	`jnl`	Review - Hypothetical Datalog: Complexity and Expressibility. ACM SIGMOD Digit. Rev. Victor Vianu
2000	J	`jnl`	Review - On Instance-Completeness for Database Query Languages involving Object Creation. ACM SIGMOD Digit. Rev. Victor Vianu
2000	J	`jnl`	SIGMOD Sister Societies. SIGMOD Rec. Stefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu
2000	—	`ch.`	Topological Queries. Constraint Databases Bart Kuijpers, Victor Vianu
2000	A*	`conf`	Typechecking for XML Transformers. PODS Tova Milo, Dan Suciu, Victor Vianu
1999	A*	`ed.`	Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania, USA Victor Vianu, Christos H. Papadimitriou
1999	J	`jnl`	Regular Path Queries with Constraints. J. Comput. Syst. Sci. Serge Abiteboul, Victor Vianu
1999	B	`conf`	Topological Queries in Spatial Databases. CSL Victor Vianu
1999	J	`jnl`	Topological Queries in Spatial Databases. J. Comput. Syst. Sci. Christos H. Papadimitriou, Dan Suciu, Victor Vianu
1998	J	`jnl`	A Probabilistic View of Datalog Parallelization. Theor. Comput. Sci. Sérgio Lifschitz, Victor Vianu
1998	—	`conf`	Active Views for Electronic Commerce. BDA Serge Abiteboul, Bernd Amann, Sophie Cluet, Tova Milo, Victor Vianu
1998	—	`conf`	Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. QL Chaitanya K. Baru, Bertram Ludäscher, Yannis Papakonstantinou, Pavel E. Velikhov, Victor Vianu
1998	A*	`conf`	Querying Spatial Databases via Topological Invariants. PODS Luc Segoufin, Victor Vianu
1998	J	`jnl`	Reflective Relational Machines. Inf. Comput. Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu
1998	A*	`conf`	Relational Transducers for Electronic Commerce. PODS Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha
1998	J	`jnl`	Semantics and Expressiveness Issues in Active Databases. J. Comput. Syst. Sci. Philippe Picouet, Victor Vianu
1997	—	`ed.`	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 CDB Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace
1997	A	`conf`	Expressiveness and Complexity of Active Databases. ICDT Philippe Picouet, Victor Vianu
1997	J	`jnl`	Fixpoint logics, relational machines, and computational complexity. J. ACM Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
1997	A	`conf`	Queries and Computation on the Web. ICDT Serge Abiteboul, Victor Vianu
1997	A*	`conf`	Regular Path Queries with Constraints. PODS Serge Abiteboul, Victor Vianu
1997	J	`jnl`	Rule-Based Languages. Ann. Math. Artif. Intell. Victor Vianu
1996	—	`conf`	Databases and Finite-Model Theory. Descriptive Complexity and Finite Models Victor Vianu
1996	—	`conf`	Modélisation Formelle des Bases de Données Actives. BDA Philippe Picouet, Victor Vianu
1996	A*	`conf`	Topological Queries in Spatial Databases. PODS Christos H. Papadimitriou, Dan Suciu, Victor Vianu
1995	A	`conf`	A Probabilistic View of Datalog Parallelization. ICDT Sérgio Lifschitz, Victor Vianu
1995	J	`jnl`	Computing with First-Order Logic. J. Comput. Syst. Sci. Serge Abiteboul, Victor Vianu
1995	J	`jnl`	Computing with Infinitary Logic. Theor. Comput. Sci. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
1995	—	`book`	Foundations of Databases. Serge Abiteboul, Richard Hull, Victor Vianu
1995	A*	`conf`	Semantics and Expressiveness Issues in Active Databases. PODS Philippe Picouet, Victor Vianu
1995	J	`jnl`	Tractable Query Languages for Complex Object Databases. J. Comput. Syst. Sci. Stéphane Grumbach, Victor Vianu
1994	A*	`ed.`	Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA Victor Vianu
1994	A*	`conf`	The Power of Reflective Relational Machines LICS Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu
1993	A*	`conf`	Computing on Structures. ICALP Serge Abiteboul, Victor Vianu
1993	A*	`conf`	Database Method Schemas and Object Creation. PODS Karl Denninghoff, Victor Vianu
1993	—	`conf`	Expressive Power of Query Languages. GULP Serge Abiteboul, Victor Vianu
1993	J	`jnl`	Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Ann. Math. Artif. Intell. Victor Vianu, Gottfried Vossen
1992	A	`conf`	Computing with Infinitary Logic. ICDT Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
1992	J	`jnl`	Conceptual Level Concurrency Control of Relational Update Transactions. Theor. Comput. Sci. Victor Vianu, Gottfried Vossen
1992	—	`conf`	Expressive Power of Query Languages. Theoretical Studies in Computer Science Serge Abiteboul, Victor Vianu
1992	—	`conf`	Fixpoint Logics, Relational Machines, and Computational Complexity. SCT Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
1992	A*	`conf`	Queries Are Easier Than You Thought (Probably). PODS Serge Abiteboul, Kevin J. Compton, Victor Vianu
1991	J	`jnl`	Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. Serge Abiteboul, Victor Vianu
1991	—	`conf`	Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL Stéphane Grumbach, Victor Vianu
1991	A*	`conf`	Generic Computation and Its Complexity STOC Serge Abiteboul, Victor Vianu
1991	J	`jnl`	Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. Serge Abiteboul, Victor Vianu
1991	J	`jnl`	Simplification Rules and Complete Axiomatization for Relational Update Transactions. ACM Trans. Database Syst. Dino Karabeg, Victor Vianu
1991	A*	`conf`	The Power of Methods With Parallel Semantics. VLDB Karl Denninghoff, Victor Vianu
1991	A*	`conf`	Tractable Query Languages for Complex Object Databases. PODS Stéphane Grumbach, Victor Vianu
1990	J	`jnl`	New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. SIGMOD Rec. Serge Abiteboul, Peter Buneman, Claude Delobel, Richard Hull, Paris C. Kanellakis, Victor Vianu
1990	A*	`conf`	Non-Deterministic Languages to Express Deterministic Transformations. PODS Serge Abiteboul, Eric Simon, Victor Vianu
1990	J	`jnl`	Parallel Update Transactions. Theor. Comput. Sci. Dino Karabeg, Victor Vianu
1990	A	`conf`	Playing Games with Objects. ICDT Stéphane Grumbach, Victor Vianu
1990	J	`jnl`	Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. Serge Abiteboul, Victor Vianu
1989	J	`jnl`	A transaction-based approach to relational database specification. J. ACM Serge Abiteboul, Victor Vianu
1989	A*	`conf`	Fixpoint Extensions of First-Order Logic and Datalog-Like Languages LICS Serge Abiteboul, Victor Vianu
1989	—	`conf`	Goal-Oriented Concurrency Control. MFDBS Victor Vianu, Gottfried Vossen
1988	J	`jnl`	A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. Victor Vianu
1988	A	`conf`	Conceptual Level Concurrency Control of Relational Update Transactions. ICDT Victor Vianu, Gottfried Vossen
1988	J	`jnl`	Database Survivability Under Dynamic Constraints. Acta Informatica Victor Vianu
1988	J	`jnl`	Equivalence and optimization of relational transactions. J. ACM Serge Abiteboul, Victor Vianu
1988	A	`conf`	Parallel Update Transactions (Extended Abstract). ICDT Dino Karabeg, Victor Vianu
1988	A*	`conf`	Procedural and Declarative Database Update Languages. PODS Serge Abiteboul, Victor Vianu
1988	J	`jnl`	Relational Translations of Semantic Models: A Case Study Based on Iris. IEEE Data Eng. Bull. Peter Lyngbæk, Victor Vianu
1988	—	`conf`	The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB Serge Abiteboul, Victor Vianu
1987	A*	`conf`	A Transcation Language Complete for Database Update and Specification. PODS Serge Abiteboul, Victor Vianu
1987	A*	`conf`	Axiomatization and Simplification Rules for Relational Transactions. PODS Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu
1987	J	`jnl`	Dynamic functional dependencies and database aging. J. ACM Victor Vianu
1987	—	`conf`	Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference Peter Lyngbæk, Victor Vianu
1986	A*	`conf`	Deciding Properties of Transactional Schemas. PODS Serge Abiteboul, Victor Vianu
1985	A*	`conf`	Transactions and Integrity Constraints. PODS Serge Abiteboul, Victor Vianu
1984	A*	`conf`	Object Projection Views in the Dynamic Relational Model. PODS Victor Vianu
1984	A*	`conf`	Transactions in Relational Databases (Preliminary Report). VLDB Serge Abiteboul, Victor Vianu
1983	A*	`conf`	Dynamic Constraints and Database Evolution. PODS Victor Vianu
1981	—	`conf`	Tableaux which Define Expression Mappings. XP2 Workshop on Relational Database Theory Tim Connors, Victor Vianu
1977	B	`conf`	The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. MFCS Victor Vianu