BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Italy
3 × USA
Collaborated with:
B.Codenotti M.Blum Y.Frankel M.Yung F.Ergün R.Kumar T.Shahoumian S.Ar R.J.Lipton R.Rubinfeld M.Sudan A.Wigderson
Talks about:
function (3) check (3) polynomi (2) approxim (2) correct (2) self (2) transcendent (1) cryptograph (1) properti (1) program (1)

Person: Peter Gemmell

DBLP DBLP: Gemmell:Peter

Contributed to:

ICALP 19971997
STOC 19961996
ICALP 19951995
STOC 19931993
STOC 19911991

Wrote 5 papers:

Checking Properties of Polynomials (BC, FE, PG, RK), pp. 203–213.
STOC-1996-FrankelGY #encryption #robust
Witness-Based Cryptographic Program Checking and Robust Function Sharing (YF, PG, MY), pp. 499–508.
ICALP-1995-BlumCGS #self
Self-Correcting for Function Fields Transcendental Degree (MB, BC, PG, TS), pp. 547–557.
STOC-1993-ArBCG #approximate
Checking approximate computations over the reals (SA, MB, BC, PG), pp. 786–795.
STOC-1991-GemmellLRSW #approximate #self
Self-Testing/Correcting for Polynomials and for Approximate Functions (PG, RJL, RR, MS, AW), pp. 32–42.

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.