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 × Denmark
1 × Japan
2 × USA
Collaborated with:
Y.T.Kalai R.Raz O.Reingold O.Goldreich T.Gur U.Wieder R.Meka G.N.Rothblum
Talks about:
pseudorandom (2) proof (2) deleg (2) structur (1) independ (1) program (1) languag (1) context (1) signal (1) proxim (1)

Person: Ron D. Rothblum

DBLP DBLP: Rothblum:Ron_D=

Contributed to:

ICALP (1) 20152015
ICALP (1) 20142014
STOC 20142014
STOC 20132013

Wrote 5 papers:

ICALP-v1-2015-GoldreichGR #branch #context-free grammar #proving #proximity #source code
Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs — (OG, TG, RDR), pp. 666–677.
ICALP-v1-2014-MekaRRR #independence #performance #pseudo
Fast Pseudorandomness for Independence and Load Balancing — (RM, OR, GNR, RDR), pp. 859–870.
ICALP-v1-2014-ReingoldRW #data type #graph #pseudo
Pseudorandom Graphs in Data Structures (OR, RDR, UW), pp. 943–954.
STOC-2014-KalaiRR #how #power of #proving
How to delegate computations: the power of no-signaling proofs (YTK, RR, RDR), pp. 485–494.
STOC-2013-KalaiRR #bound
Delegation for bounded space (YTK, RR, RDR), pp. 565–574.

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.