M. Sudan

The definition of the class NP (Coo71, Lev73) highlights the problem of verification of proofs as one of central interest to theoretical computer science. Recent efforts have shown that the efficiency of the verification can be greatly improved by allowing the verifier access to…

We consider the problem of multicasting multimedia data in a collection of heterogeneous networks. The heterogeneity emphasizes the difference in signaling protocols (signaling heterogeneity), difference in resource-reservation procedures, and difference in addressing schemes in…