BibSLEIGH — Victor

Travelled to:

1 × Singapore
1 × Sweden
2 × France
2 × Spain
23 × USA
3 × Canada

Collaborated with:

S.Abiteboul L.Segoufin ∅ D.Suciu A.Deutsch L.Sui K.Denninghoff T.Milo D.Zhou C.H.Papadimitriou Y.Papakonstantinou P.Picouet S.Grumbach P.Lyngbæk N.Alon F.Neven K.J.Compton E.Simon B.S.Fordham Y.Yesha A.Karabeg D.Karabeg K.Papakonstantinou M.Marcus

Talks about:

databas (12) queri (8) xml (8) relat (7) data (7) languag (5) driven (5) web (5) transact (4) view (4)

Person: Victor Vianu

DBLP: Vianu:Victor

Facilitated 3 volumes:

Contributed to:

2013

2008

2006

2005

2004

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

1984

1983

Wrote 38 papers:

PODS-2013-AbiteboulV #collaboration #data-driven #workflow: Collaborative data-driven workflows: think global, act local (SA, VV), pp. 91–102.
PODS-2008-AbiteboulSV #static analysis #xml: Static analysis of active XML systems (SA, LS, VV), pp. 221–230.
PODS-2006-DeutschSVZ #communication #data-driven #verification #web #web service: Verification of communicating data-driven web services (AD, LS, VV, DZ), pp. 90–99.
SIGMOD-2006-DeutschSVZ #data-driven #interactive #specification #verification #web: A system for specification and verification of interactive, data-driven web applications (AD, LS, VV, DZ), pp. 772–774.
PODS-2005-SegoufinV #query: Views and queries: determinacy and rewriting (LS, VV), pp. 49–60.
SIGMOD-2005-DeutschMSVZ #data-driven #interactive #verification #web: A Verifier for Interactive, Data-Driven Web Applications (AD, MM, LS, VV, DZ), pp. 539–550.
PODS-2004-DeutschSV #data-driven #specification #verification #web #web service: Specification and Verification of Data-driven Web Services (AD, LS, VV), pp. 71–82.
PODS-2002-SegoufinV #documentation #streaming #validation #xml: Validating Streaming XML Documents (LS, VV), pp. 53–64.
LICS-2001-AlonMNSV #database #relational #xml: Typechecking XML Views of Relational Databases (NA, TM, FN, DS, VV), pp. 421–430.
PODS-2001-AbiteboulSV #query #representation #xml: Representing and Querying XML with Incomplete Information (SA, LS, VV).
PODS-2001-AlonMNSV #revisited #xml: XML with Data Values: Typechecking Revisited (NA, TM, FN, DS, VV).
PODS-2001-Vianu #web #xml: A Web Odyssey: From Codd to XML (VV).
PODS-2000-MiloSV #xml: Typechecking for XML Transformers (TM, DS, VV), pp. 11–22.
PODS-2000-PapakonstantinouV #xml: DTD Inference for Views of XML Data (YP, VV), pp. 35–46.
CSL-1999-Vianu #database #query: Topological Queries in Spatial Databases (VV), p. 1.
PODS-1998-AbiteboulVFY #relational #transducer: Relational Transducers for Electronic Commerce (SA, VV, BSF, YY), pp. 179–187.
PODS-1998-SegoufinV #database #invariant #query: Querying Spatial Databases via Topological Invariants (LS, VV), pp. 89–98.
PODS-1997-AbiteboulV #constraints #query: Regular Path Queries with Constraints (SA, VV), pp. 122–133.
PODS-1996-PapadimitriouSV #database #query: Topological Queries in Spatial Databases (CHP, DS, VV), pp. 81–92.
PODS-1995-PicouetV #database #semantics: Semantics and Expressiveness Issues in Active Databases (PP, VV), pp. 126–138.
LICS-1994-AbiteboulPV #power of #relational: The Power of Reflective Relational Machines (SA, CHP, VV), pp. 230–240.
ICALP-1993-AbiteboulV: Computing on Structures (SA, VV), pp. 606–620.
PODS-1993-DenninghoffV #database: Database Method Schemas and Object Creation (KD, VV), pp. 265–275.
PODS-1992-AbiteboulCV #query: Queries Are Easier Than You Thought (Probably) (SA, KJC, VV), pp. 23–32.
PODS-1991-GrumbachV #database #query: Tractable Query Languages for Complex Object Databases (SG, VV), pp. 315–327.
STOC-1991-AbiteboulV #complexity: Generic Computation and Its Complexity (SA, VV), pp. 209–219.
VLDB-1991-DenninghoffV #parallel #power of #semantics: The Power of Methods With Parallel Semantics (KD, VV), pp. 221–232.
PODS-1990-AbiteboulSV #nondeterminism: Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.
LICS-1989-AbiteboulV #first-order #fixpoint #logic: Fixpoint Extensions of First-Order Logic and Datalog-Like Languages (SA, VV), pp. 71–79.
PODS-1988-AbiteboulV #database #declarative: Procedural and Declarative Database Update Languages (SA, VV), pp. 240–250.
PODS-1987-AbiteboulV #database #specification: A Transcation Language Complete for Database Update and Specification (SA, VV), pp. 260–268.
PODS-1987-KarabegKPV #axiom #relational #transaction: Axiomatization and Simplification Rules for Relational Transactions (AK, DK, KP, VV), pp. 254–259.
SIGMOD-1987-LyngbaekV #database #relational #semantics: Mapping a Semantic Database Model to the Relational Model (PL, VV), pp. 132–142.
PODS-1986-AbiteboulV #transaction: Deciding Properties of Transactional Schemas (SA, VV), pp. 235–239.
PODS-1985-AbiteboulV #constraints #transaction: Transactions and Integrity Constraints (SA, VV), pp. 193–204.
PODS-1984-Vianu #relational: Object Projection Views in the Dynamic Relational Model (VV), pp. 214–220.
VLDB-1984-AbiteboulV #database #relational #transaction: Transactions in Relational Databases (SA, VV), pp. 46–56.
PODS-1983-Vianu #constraints #database #evolution: Dynamic Constraints and Database Evolution (VV), pp. 389–399.