Travelled to:1 × France
4 × USA
Collaborated with:∅ G.Grahne A.O.Mendelzon P.C.Kanellakis G.M.Kuper R.Chen P.Kanjamala Y.Li Y.Liu Y.Wang
Talks about:constraint (3) databas (2) knowledgebas (1) transform (1) approach (1) softwar (1) languag (1) between (1) theori (1) system (1)
Person: Peter Z. Revesz
DBLP: Revesz:Peter_Z=
Contributed to:
2007
2000
199319921990Wrote 5 papers:
- VMCAI-2007-Revesz #approach #constraints #database #verification
- The Constraint Database Approach to Software Verification (PZR), pp. 329–345.
- SIGMOD-2000-ReveszCKLLW #constraints #database
- The MLPQ/GIS Constraint Database System (PZR, RC, PK, YL, YL, YW), p. 601.
- PODS-1993-Revesz #on the #semantics
- On the Semantics of Theory Change: Arbitration between Old and New Information (PZR), pp. 71–82.
- PODS-1992-GrahneMR #knowledge base
- Knowledgebase Transformations (GG, AOM, PZR), pp. 246–260.
- PODS-1990-KanellakisKR #constraints #query
- Constraint Query Languages (PCK, GMK, PZR), pp. 299–313.