BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vianu:Victor

Facilitated 3 volumes:

PODS 2000Ed
PODS 1999Ed
PODS 1994Ed

Contributed to:

PODS 20132013
PODS 20082008
PODS 20062006
SIGMOD 20062006
PODS 20052005
SIGMOD 20052005
PODS 20042004
PODS 20022002
LICS 20012001
PODS 20012001
PODS 20002000
CSL 19991999
PODS 19981998
PODS 19971997
PODS 19961996
PODS 19951995
LICS 19941994
ICALP 19931993
PODS 19931993
PODS 19921992
PODS 19911991
STOC 19911991
VLDB 19911991
PODS 19901990
LICS 19891989
PODS 19881988
PODS 19871987
SIGMOD 19871987
PODS 19861986
PODS 19851985
PODS 19841984
VLDB 19841984
PODS 19831983

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.