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 × Japan
Collaborated with:
P.Beame M.Patrascu
Talks about:
nonlinear (1) arithmet (1) verifi (1) toward (1) oblivi (1) median (1) space (1) integ (1) bound (1) find (1)

Person: Vincent Liew

DBLP DBLP: Liew:Vincent

Contributed to:

ICALP (1) 20152015
CAV (2) 20172017

Wrote 2 papers:

ICALP-v1-2015-BeameLP #bound
Finding the Median (Obliviously) with Bounded Space (PB, VL, MP), pp. 103–115.
CAV-2017-BeameL #integer #towards #verification
Towards Verifying Nonlinear Integer Arithmetic (PB, VL), pp. 238–258.

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.