Home Research People Publications Seminar Admin
Directions

Please select parameters:
Year:
Author:
Type:
 
   
   
2011
   
1 Automatic Verification of Data-Centric Business Processes
Business Process Management (BPM) , 2011
Elio Damaggio , Alin Deutsch , Richard Hull , Victor Vianu
[.PDF]
   
2 Artifact systems with data dependencies and arithmetic
International Conference on Database Theory (ICDT) , 2011
Elio Damaggio , Alin Deutsch , Victor Vianu
[.PDF]
   
   
2009
   
3 Automatic Verification of Data-centric Business Processes
International Conference on Database Theory (ICDT) , 2009
Alin Deutsch , Richard Hull , Fabio Patrizi , Victor Vianu
[.PDF]
   
4 Automatic verification of database-driven systems: a new frontier
International Conference on Database Theory (ICDT) , 2009
Victor Vianu
[.PDF]
   
5 Static analysis of active XML systems
ACM Transactions on Database Systems (TODS) , 34 (4) , 2009
Serge Abiteboul , Luc Segoufin , Victor Vianu
[.PDF]
   
6 Modeling and Verifying Active XML Artifacts
IEEE Data Engineering Bulletin , 32 (3) , 2009
Serge Abiteboul , Luc Segoufin , Victor Vianu
[.PDF]
   
7 Computationally Complete Relational Query Languages
Encyclopedia of Database Systems 2009, 2009
Dirk Van Gucht , Victor Vianu
   
   
2008
   
8 WAVE: Automatic Verification of Data-Driven Web Services
IEEE Data Engineering Bulletin , 31 (3) , 2008
Alin Deutsch , Victor Vianu
[.PDF]
   
9 Static Analysis of Active XML Systems
PODS 2008
Serge Abiteboul , Luc Segoufin , Victor Vianu
[.PDF]
   
10 WAVE: Automatic Verification of Data-Driven Web Services
IEEE Data Engineering Bulletin , 31 (3) : 35-39 , 2008
Alin Deutsch , Victor Vianu
[.PDF]
   
   
2007
   
11 Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report
ICDT 2007
Luc Segoufin , Alan Nash , Victor Vianu
[.PDF]
   
12 Specification and Verification of Data-driven Web Applications
Journal of Computer and System Sciences (JCSS) , 73 (3) , 2007
Alin Deutsch , Liying Sui , Victor Vianu
[.PDF]
   
   
2006
   
13 Representing and querying XML with incomplete information
ACM Transactions on Database Systems (TODS) , 31 (1) : 208-254 , 2006
Serge Abiteboul , Luc Segoufin , Victor Vianu
[.PDF]
   
14 Verification of Communicating Data-driven Web Services
Symposium on Principles of Database Systems (PODS) , 2006
Alin Deutsch , Liying Sui , Victor Vianu , Dayou Zhou
[.PDF] [.PS]
   
15 A System for Specification and Verification of Interactive, Data-driven Web Applications
SIGMOD Demo , 2006
Alin Deutsch , Liying Sui , Victor Vianu , Dayou Zhou
[.PDF]
   
   
2005
   
16 The Role of Visual Tools in a Web Application Design and Verification Framework: a Visual Notation for LTL Formulae
International Conference on Web Engineering (ICWE) , 2005
Marco Brambilla , Alin Deutsch , Liying Sui , Victor Vianu
[.PDF]
   
17 A Verifier for Interactive, Data-driven Web Applications
International Conference on Management of Data (SIGMOD) , 2005
Alin Deutsch , Monica Marcus , Liying Sui , Victor Vianu , Dayou Zhou
[.PS]
   
18 Views and Queries: Determinacy and Rewriting
Symposium on Principles of Database Systems (PODS) , 2005
Luc Segoufin , Victor Vianu
[.PDF] [.PS]
   
19 PTIME Queries Revisited
International Conference on Database Theory (ICDT) , 2005
Alan Nash , Jeff Remmel , Victor Vianu
[.PDF] [.PS]
   
   
2004
   
20 Incremental Validation of XML Documents
ACM Transactions on Database Systems (TODS) , 2004
Andrey Balmin , Yannis Papakonstantinou , Victor Vianu
[.PDF]
   
21 Specification and Verification of Data-Driven Web Services
Symposium on Principles of Database Systems (PODS) , 2004
Alin Deutsch , Liying Sui , Victor Vianu
[.PDF] [.PS]
   
22 Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL) , 15 (3) : 403-435 , 2004
Frank Neven , Thomas Schwentick , Victor Vianu
[.PS]
   
   
2003
   
23 XML: From Practice to Theory
Simposio Brasileiro de Bancos de Dados (SBBD) : 11-25 , 2003
Victor Vianu
[.PS]
   
24 Logic as a Query Language: From Frege to XML
Symposium on Theoretical Aspects of Computer Science (STACS) : 1-12 , 2003
Victor Vianu
[.PS]
   
25 Incremental Validation of XML Documents
International Conference on Database Theory (ICDT) : 47-63 , 2003
Yannis Papakonstantinou , Victor Vianu
[.PDF]
   
26 Typechecking XML views of relational databases
ACM Transactions on Computational Logic (TOCL) , 4 (3) : 315-354 , 2003
Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu
[.PS]
   
27 Typechecking for XML transformers
Journal of Computer and System Sciences (JCSS) , 66 (1) : 66-97 , 2003
Tova Milo , Dan Suciu , Victor Vianu
[.PS]
   
28 XML with data values: typechecking revisited
Journal of Computer and System Sciences (JCSS) , 66 (4) : 688-727 , 2003
Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu
[.PS]
   
   
2002
   
29 Validating Streaming XML Documents
Symposium on Principles of Database Systems (PODS) : 53-64 , 2002
Luc Segoufin , Victor Vianu
[.PS]
   
   
2001
   
30 Typechecking XML Views of Relational Databases
Logic in Computer Science (LICS) : 421-430 , 2001
Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu
   
31 Towards Regular Languages over Infinite Alphabets
Mathematical Foundations of Computer Science (MFCS) : 560-572 , 2001
Frank Neven , Thomas Schwentick , Victor Vianu
   
32 A Web Odyssey: From Codd to XML
Symposium on Principles of Database Systems (PODS) , 2001
Victor Vianu
[.PS]
   
33 XML with Data Values: Typechecking Revisited
Symposium on Principles of Database Systems (PODS) , 2001
Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu
   
34 Representing and Querying XML with Incomplete Information
Symposium on Principles of Database Systems (PODS) , 2001
Serge Abiteboul , Luc Segoufin , Victor Vianu
   
   
2000
   
35 Review - On Instance-Completeness for Database Query Languages involving Object Creation
ACM SIGMOD Digital Review , 2 , 2000
Victor Vianu
   
36 Review - Exact and Approximate Aggregation in Constraint Query
ACM SIGMOD Digital Review , 2 , 2000
Victor Vianu
   
37 Queries and computation on the web
Theoretical Computer Science (TCS) , 239 (2) : 231-255 , 2000
Serge Abiteboul , Victor Vianu
   
38 Querying Spatial Databases via Topological Invariants
Journal of Computer and System Sciences (JCSS) , 61 (2) : 270-301 , 2000
Luc Segoufin , Victor Vianu
   
39 Relational Transducers for Electronic Commerce
Journal of Computer and System Sciences (JCSS) , 61 (2) : 236-269 , 2000
Serge Abiteboul , Victor Vianu , Brad S. Fordham , Yelena Yesha
   
40 SIGMOD Sister Societies
SIGMOD Record , 29 (1) : 4-15 , 2000
Stefano Ceri , Leonid A. Kalinichenko , Masaru Kitsuregawa , Hongjun Lu , Zehra Meral Ozsoyoglu , Richard T. Snodgrass , Victor Vianu
   
41 Reminiscences on Influential Papers
SIGMOD Record , 29 (1) : 52-65 , 2000
Kenneth A. Ross , Christos Faloutsos , Alon Y. Levy , Patrick E. O'Neil , Eric Simon , Divesh Srivastava , Victor Vianu , Gerhard Weikum
   
42 Topological Queries
Constraint Databases : 231-273 , 2000
Bart Kuijpers , Victor Vianu
   
43 Typechecking for XML Transformers
Symposium on Principles of Database Systems (PODS) : 11-22 , 2000
Tova Milo , Dan Suciu , Victor Vianu
   
44 DTD Inference for Views of XML Data
Symposium on Principles of Database Systems (PODS) : 35-46 , 2000
Yannis Papakonstantinou , Victor Vianu
[.PDF]
   
   
1999
   
45 Topological Queries in Spatial Databases
Journal of Computer and System Sciences (JCSS) , 58 (1) : 29-53 , 1999
Christos H. Papadimitriou , Dan Suciu , Victor Vianu
   
46 Regular Path Queries with Constraints
Journal of Computer and System Sciences (JCSS) , 58 (3) : 428-452 , 1999
Serge Abiteboul , Victor Vianu
   
47 Topological Queries in Spatial Databases
Computer Science Logic (CSL) : 1 , 1999
Christos H. Papadimitriou , Dan Suciu , Victor Vianu
   
   
1998
   
48 A Probabilistic View of Datalog Parallelization
Theoretical Computer Science (TCS) , 190 (2) : 211-239 , 1998
Sergio Lifschitz , Victor Vianu
   
49 Semantics and Expressiveness Issues in Active Databases
Journal of Computer and System Sciences (JCSS) , 57 (3) : 325-355 , 1998
Philippe Picouet , Victor Vianu
   
50 Reflective Relational Machines
Information and Computation , 143 (2) : 110-136 , 1998
Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu
   
51 Active Views for Electronic Commerce
Journees Bases de Donnees Avancees (BDA) : 405-424 , 1998
Serge Abiteboul , Bernd Amann , Sophie Cluet , Tova Milo , Victor Vianu
   
52 Querying Spatial Databases via Topological Invariants
Symposium on Principles of Database Systems (PODS) : 89-98 , 1998
Luc Segoufin , Victor Vianu
   
53 Relational Transducers for Electronic Commerce
Symposium on Principles of Database Systems (PODS) : 179-187 , 1998
Serge Abiteboul , Victor Vianu , Bradley S. Fordham , Yelena Yesha
   
54 Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation
The Query Languages Workshop (W3C Workshops) (QL) , 1998
Chaitanya K. Baru , Bertram Ludascher , Yannis Papakonstantinou , Pavel Velikhov , Victor Vianu
[.PDF]
   
   
1997
   
55 Rule-Based Languages
Annals of Mathematics and Artificial Intelligence , 19 (1-2) : 215-259 , 1997
Victor Vianu
   
56 Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM) , 44 (1) : 30-56 , 1997
Serge Abiteboul , Moshe Y. Vardi , Victor Vianu
   
57 Expressiveness and Complexity of Active Databases
International Conference on Database Theory (ICDT) : 155-172 , 1997
Philippe Picouet , Victor Vianu
   
58 Queries and Computation on the Web
International Conference on Database Theory (ICDT) : 262-275 , 1997
Serge Abiteboul , Victor Vianu
   
59 Regular Path Queries with Constraints
Symposium on Principles of Database Systems (PODS) : 122-133 , 1997
Serge Abiteboul , Victor Vianu
   
   
1996
   
60 Topological Queries in Spatial Databases
Symposium on Principles of Database Systems (PODS) : 81-92 , 1996
Christos H. Papadimitriou , Dan Suciu , Victor Vianu
   
   
1995
   
61 Computing with Infinitary Logic
Theoretical Computer Science (TCS) , 149 (1) : 101-128 , 1995
Serge Abiteboul , Moshe Y. Vardi , Victor Vianu
   
62 Tractable Query Languages for Complex Object Databases
Journal of Computer and System Sciences (JCSS) , 51 (2) : 149-167 , 1995
Stephane Grumbach , Victor Vianu
   
63 Computing with First-Order Logic
Journal of Computer and System Sciences (JCSS) , 50 (2) : 309-335 , 1995
Serge Abiteboul , Victor Vianu
   
64 A Probabilistic View of Datalog Parallelization
International Conference on Database Theory (ICDT) : 294-307 , 1995
Sergio Lifschitz , Victor Vianu
   
65 Semantics and Expressiveness Issues in Active Databases
Symposium on Principles of Database Systems (PODS) : 126-138 , 1995
Philippe Picouet , Victor Vianu
   
66 Foundations of Databases
Addison-Wesley, 1995
Serge Abiteboul , Richard Hull , Victor Vianu
   
   
1994
   
67 The Power of Reflective Relational Machines
Logic in Computer Science (LICS) : 230-240 , 1994
Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu
   
   
1993
   
68 Database Method Schemas and Object Creation
Symposium on Principles of Database Systems (PODS) : 265-275 , 1993
Karl Denninghoff , Victor Vianu
   
69 Computing on Structures
International Colloquium on Automata, Languages and Programming (ICALP) : 606-620 , 1993
Serge Abiteboul , Victor Vianu
   
   
1992
   
70 Conceptual Level Concurrency Control of Relational Update Transactions
Theoretical Computer Science (TCS) , 95 (1) : 1-42 , 1992
Victor Vianu , Gottfried Vossen
   
71 Fixpoint Logics, Relational Machines, and Computational Complexity
Conference on Computational Complexity (CoCo) : 156-168 , 1992
Serge Abiteboul , Moshe Y. Vardi , Victor Vianu
   
72 Computing with Infinitary Logic
International Conference on Database Theory (ICDT) : 113-123 , 1992
Serge Abiteboul , Moshe Y. Vardi , Victor Vianu
   
73 Queries Are Easier Than You Thought (Probably)
Symposium on Principles of Database Systems (PODS) : 23-32 , 1992
Serge Abiteboul , Kevin J. Compton , Victor Vianu
   
74 Expressive Power of Query Languages
Theoretical Studies in Computer Science : 207-251 , 1992
Serge Abiteboul , Victor Vianu
   
   
1991
   
75 Non-Determinism in Logic-Based Languages
Annals of Mathematics and Artificial Intelligence , 3 (2-4) : 0- , 1991
Serge Abiteboul , Victor Vianu
   
76 Datalog Extensions for Database Queries and Updates
Journal of Computer and System Sciences (JCSS) , 43 (1) : 62-124 , 1991
Serge Abiteboul , Victor Vianu
   
77 Simplification Rules and Complete Axiomatization for Relational Update Transactions
ACM Transactions on Database Systems (TODS) , 16 (3) : 439-475 , 1991
Dino Karabeg , Victor Vianu
   
78 Expressiveness and Complexity of Restricted Languages for Complex Objects
Workshop on Database Programming Languages (DBPL) : 111-122 , 1991
Stephane Grumbach , Victor Vianu
   
79 Tractable Query Languages for Complex Object Databases
Symposium on Principles of Database Systems (PODS) : 315-327 , 1991
Stephane Grumbach , Victor Vianu
   
80 Generic Computation and Its Complexity
ACM Symposium on Theory of Computing (STOC) : 209-219 , 1991
Serge Abiteboul , Victor Vianu
   
81 The Power of Methods With Parallel Semantics
International Conference on Very Large Databases (VLDB) : 221-232 , 1991
Karl Denninghoff , Victor Vianu
   
   
1990
   
82 Parallel Update Transactions
Theoretical Computer Science (TCS) , 76 (1) : 93-114 , 1990
Dino Karabeg , Victor Vianu
   
83 Procedural Languages for Database Queries and Updates
Journal of Computer and System Sciences (JCSS) , 41 (2) : 181-229 , 1990
Serge Abiteboul , Victor Vianu
   
84 New Hope on Data Models and Types: Report of an NSF-INRIA Workshop
SIGMOD Record , 19 (4) : 41-48 , 1990
Serge Abiteboul , Peter Buneman , Claude Delobel , Richard Hull , Paris C. Kanellakis , Victor Vianu
   
85 Playing Games with Objects
International Conference on Database Theory (ICDT) : 25-38 , 1990
Stephane Grumbach , Victor Vianu
   
86 Non-Deterministic Languages to Express Deterministic Transformations
Symposium on Principles of Database Systems (PODS) : 218-229 , 1990
Serge Abiteboul , Eric Simon , Victor Vianu
   
   
1989
   
87 A transaction-based approach to relational database specification
Journal of the ACM (JACM) , 36 (4) : 758-789 , 1989
Serge Abiteboul , Victor Vianu
   
88 Fixpoint Extensions of First-Order Logic and Datalog-Like Languages
Logic in Computer Science (LICS) : 71-79 , 1989
Serge Abiteboul , Victor Vianu
   
89 Goal-Oriented Concurrency Control
Mathematical Fundamentals of Database Systems (MFDBS) : 398-414 , 1989
Victor Vianu , Gottfried Vossen
   
   
1988
   
90 Relational Translations of Semantic Models: A Case Study Based on Iris
IEEE Data Engineering Bulletin , 11 (2) : 13-22 , 1988
Peter Lyngb?k , Victor Vianu
   
91 Equivalence and optimization of relational transactions
Journal of the ACM (JACM) , 35 (1) : 70-120 , 1988
Serge Abiteboul , Victor Vianu
   
92 A Dynamic Framework for Object Projection Views
ACM Transactions on Database Systems (TODS) , 13 (1) : 1-22 , 1988
Victor Vianu
   
93 Parallel Update Transactions (Extended Abstract)
International Conference on Database Theory (ICDT) : 307-321 , 1988
Dino Karabeg , Victor Vianu
   
94 Conceptual Level Concurrency Control of Relational Update Transactions
International Conference on Database Theory (ICDT) : 353-367 , 1988
Victor Vianu , Gottfried Vossen
   
95 Procedural and Declarative Database Update Languages
Symposium on Principles of Database Systems (PODS) : 240-250 , 1988
Serge Abiteboul , Victor Vianu
   
96 The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications
International Conference on Data and Knowledge Bases (JCDKB) : 324-334 , 1988
Serge Abiteboul , Victor Vianu
   
   
1987
   
97 Database Survivability Under Dynamic Constraints
Acta Informatica , 25 (1) : 55-84 , 1987
Victor Vianu
   
98 Dynamic functional dependencies and database aging
Journal of the ACM (JACM) , 34 (1) : 28-59 , 1987
Victor Vianu
   
99 A Transcation Language Complete for Database Update and Specification
Symposium on Principles of Database Systems (PODS) : 260-268 , 1987
Serge Abiteboul , Victor Vianu
   
100 Axiomatization and Simplification Rules for Relational Transactions
Symposium on Principles of Database Systems (PODS) : 254-259 , 1987
Almira Karabeg , Dino Karabeg , Kostoula Papakonstantinou , Victor Vianu
   
101 Mapping a Semantic Database Model to the Relational Model
International Conference on Management of Data (SIGMOD) : 132-142 , 1987
Peter Lyngb?k , Victor Vianu
   
   
1986
   
102 Deciding Properties of Transactional Schemas
Symposium on Principles of Database Systems (PODS) : 235-239 , 1986
Serge Abiteboul , Victor Vianu
   
   
1985
   
103 Transactions and Integrity Constraints
Symposium on Principles of Database Systems (PODS) : 193-204 , 1985
Serge Abiteboul , Victor Vianu
   
   
1984
   
104 Object Projection Views in the Dynamic Relational Model
Symposium on Principles of Database Systems (PODS) : 214-220 , 1984
Victor Vianu
   
105 Transactions in Relational Databases (Preliminary Report)
International Conference on Very Large Databases (VLDB) : 46-56 , 1984
Serge Abiteboul , Victor Vianu
   
   
1983
   
106 Dynamic Constraints and Database Evolution
Symposium on Principles of Database Systems (PODS) : 389-399 , 1983
Victor Vianu
   
   
1981
   
107 Tableaux which Define Expression Mappings
XP1 Workshop on Database Theory , 1981
Tim Connors , Victor Vianu
   
   
1977
   
108 The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space
Mathematical Foundations of Computer Science (MFCS) : 537-542 , 1977
Victor Vianu
   
 

 

Feedback
UCSD - Official web page of the University of California, San Diego