| 2021 | PODS | Datalog Unchained. | Victor Vianu |
| 2020 | PODS | Projection Views of Register Automata. | Luc Segoufin, Victor Vianu |
| 2019 | PODS | 2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award. | Jianwen Su, Dirk Van Gucht, Victor Vianu |
| 2018 | PODS | Explanations and Transparency in Collaborative Workflows. | Serge Abiteboul, Pierre Bourhis, Victor Vianu |
| 2016 | ICDT | A Formal Study of Collaborative Access Control in Distributed Datalog. | Serge Abiteboul, Pierre Bourhis, Victor Vianu |
| 2016 | ICSOC | Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes. | Richard Hull, Vishal S. Batra, Yi-Min Chen, Alin Deutsch, Fenno F. Terry Heath III, Victor Vianu |
| 2016 | PODS | Verification of Hierarchical Artifact Systems. | Alin Deutsch, Yuliang Li, Victor Vianu |
| 2015 | ICDT | Process-Centric Views of Data-Driven Business Artifacts. | Adrien Koutsos, Victor Vianu |
| 2014 | ICDT | Deduction with Contradictions in Datalog. | Serge Abiteboul, Daniel Deutch, Victor Vianu |
| 2013 | PODS | Collaborative data-driven workflows: think global, act local. | Serge Abiteboul, Victor Vianu |
| 2012 | ICDT | Highly expressive query languages for unordered data trees. | Serge Abiteboul, Pierre Bourhis, Victor Vianu |
| 2012 | WWW | The ERC webdam on foundations of web data management. | Serge Abiteboul, Pierre Senellart, Victor Vianu |
| 2011 | BPM | Automatic Verification of Data-Centric Business Processes. | Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu |
| 2011 | ICDT | Comparing workflow specification languages: a matter of views. | Serge Abiteboul, Pierre Bourhis, Victor Vianu |
| 2011 | ICDT | Artifact systems with data dependencies and arithmetic. | Elio Damaggio, Alin Deutsch, Victor Vianu |
| 2009 | ICDT | Automatic verification of data-centric business processes. | Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu |
| 2009 | ICDT | Automatic verification of database-driven systems: a new frontier. | Victor Vianu |
| 2008 | PODS | Static analysis of active XML systems. | Serge Abiteboul, Luc Segoufin, Victor Vianu |
| 2007 | ICDT | Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. | Alan Nash, Luc Segoufin, Victor Vianu |
| 2006 | PODS | Verification of communicating data-driven web services. | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou |
| 2006 | SIGMOD | A system for specification and verification of interactive, data-driven web applications. | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou |
| 2005 | ICDT | PTIME Queries Revisited. | Alan Nash, Jeffrey B. Remmel, Victor Vianu |
| 2005 | ICWE | The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. | Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu |
| 2005 | PODS | Views and queries: determinacy and rewriting. | Luc Segoufin, Victor Vianu |
| 2005 | SIGMOD | A Verifier for Interactive, Data-Driven Web Applications. | Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou |
| 2004 | PODS | Specification and Verification of Data-driven Web Services. | Alin Deutsch, Liying Sui, Victor Vianu |
| 2003 | ICDT | Incremental Validation of XML Documents. | Yannis Papakonstantinou, Victor Vianu |
| 2003 | STACS | Logic as a Query Language: From Frege to XML. | Victor Vianu |
| 2002 | PODS | Validating Streaming XML Documents. | Luc Segoufin, Victor Vianu |
| 2001 | LICS | Typechecking XML Views of Relational Databases. | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu |
| 2001 | MFCS | Towards Regular Languages over Infinite Alphabets. | Frank Neven, Thomas Schwentick, Victor Vianu |
| 2001 | PODS | Representing and Querying XML with Incomplete Information. | Serge Abiteboul, Luc Segoufin, Victor Vianu |
| 2001 | PODS | XML with Data Values: Typechecking Revisited. | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu |
| 2001 | PODS | A Web Odyssey: From Codd to XML. | Victor Vianu |
| 2000 | PODS | Typechecking for XML Transformers. | Tova Milo, Dan Suciu, Victor Vianu |
| 2000 | PODS | DTD Inference for Views of XML Data. | Yannis Papakonstantinou, Victor Vianu |
| 1999 | CSL | Topological Queries in Spatial Databases. | Victor Vianu |
| 1998 | PODS | Relational Transducers for Electronic Commerce. | Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha |
| 1998 | PODS | Querying Spatial Databases via Topological Invariants. | Luc Segoufin, Victor Vianu |
| 1997 | ICDT | Queries and Computation on the Web. | Serge Abiteboul, Victor Vianu |
| 1997 | ICDT | Expressiveness and Complexity of Active Databases. | Philippe Picouet, Victor Vianu |
| 1997 | PODS | Regular Path Queries with Constraints. | Serge Abiteboul, Victor Vianu |
| 1996 | PODS | Topological Queries in Spatial Databases. | Christos H. Papadimitriou, Dan Suciu, Victor Vianu |
| 1995 | ICDT | A Probabilistic View of Datalog Parallelization. | Srgio Lifschitz, Victor Vianu |
| 1995 | PODS | Semantics and Expressiveness Issues in Active Databases. | Philippe Picouet, Victor Vianu |
| 1994 | LICS | The Power of Reflective Relational Machines | Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu |
| 1993 | ICALP | Computing on Structures. | Serge Abiteboul, Victor Vianu |
| 1993 | PODS | Database Method Schemas and Object Creation. | Karl Denninghoff, Victor Vianu |
| 1992 | ICDT | Computing with Infinitary Logic. | Serge Abiteboul, Moshe Y. Vardi, Victor Vianu |
| 1992 | PODS | Queries Are Easier Than You Thought (Probably). | Serge Abiteboul, Kevin J. Compton, Victor Vianu |
| 1991 | PODS | Tractable Query Languages for Complex Object Databases. | Stphane Grumbach, Victor Vianu |
| 1991 | STOC | Generic Computation and Its Complexity | Serge Abiteboul, Victor Vianu |
| 1991 | VLDB | The Power of Methods With Parallel Semantics. | Karl Denninghoff, Victor Vianu |
| 1990 | ICDT | Playing Games with Objects. | Stphane Grumbach, Victor Vianu |
| 1990 | PODS | Non-Deterministic Languages to Express Deterministic Transformations. | Serge Abiteboul, Eric Simon, Victor Vianu |
| 1989 | LICS | Fixpoint Extensions of First-Order Logic and Datalog-Like Languages | Serge Abiteboul, Victor Vianu |
| 1988 | ICDT | Parallel Update Transactions (Extended Abstract). | Dino Karabeg, Victor Vianu |
| 1988 | ICDT | Conceptual Level Concurrency Control of Relational Update Transactions. | Victor Vianu, Gottfried Vossen |
| 1988 | PODS | Procedural and Declarative Database Update Languages. | Serge Abiteboul, Victor Vianu |
| 1987 | PODS | A Transcation Language Complete for Database Update and Specification. | Serge Abiteboul, Victor Vianu |
| 1987 | PODS | Axiomatization and Simplification Rules for Relational Transactions. | Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu |
| 1987 | SIGMOD | Mapping a Semantic Database Model to the Relational Model. | Peter Lyngbk, Victor Vianu |
| 1986 | PODS | Deciding Properties of Transactional Schemas. | Serge Abiteboul, Victor Vianu |
| 1985 | PODS | Transactions and Integrity Constraints. | Serge Abiteboul, Victor Vianu |
| 1984 | PODS | Object Projection Views in the Dynamic Relational Model. | Victor Vianu |
| 1984 | VLDB | Transactions in Relational Databases (Preliminary Report). | Serge Abiteboul, Victor Vianu |
| 1983 | PODS | Dynamic Constraints and Database Evolution. | Victor Vianu |
| 1981 | XP | Tableaux which Define Expression Mappings. | Tim Connors, Victor Vianu |
| 1977 | MFCS | The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. | Victor Vianu |