 |
Please select parameters:
|
|
|
| |
|
|
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
|
| |
|
