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 × Switzerland
3 × USA
Collaborated with:
F.T.Leighton C.E.Leiserson B.S.Baker W.Aiello R.Ostrovsky S.Rajagopalan F.R.K.Chung J.Hong A.L.Rosenberg
Talks about:
indistinguish (1) manhattan (1) butterfli (1) algorithm (1) procedur (1) approxim (1) network (1) assembl (1) machin (1) verif (1)

Person: Sandeep N. Bhatt

DBLP DBLP: Bhatt:Sandeep_N=

Contributed to:

ICALP 20002000
STOC 19881988
STOC 19831983
STOC 19821982

Wrote 4 papers:

ICALP-2000-AielloBOR #performance #proving #verification
Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP (WA, SNB, RO, SR), pp. 463–474.
STOC-1988-BhattCHLR #network #simulation
Optimal Simulations by Butterfly Networks (SNB, FRKC, JWH, FTL, ALR), pp. 192–204.
STOC-1983-BakerBL #algorithm #approximate
An Approximation Algorithm for Manhattan Routing (BSB, SNB, FTL), pp. 477–486.
STOC-1982-BhattL #how
How to Assemble Tree Machines (SNB, CEL), pp. 77–84.

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.