On the power of multi-prover interactive protocols
Fortnow, Lance, Rompel, John, Sipser, Michael
Published in Theoretical computer science (21.11.1994)
Published in Theoretical computer science (21.11.1994)
Get full text
Journal Article
Parity, circuits, and the polynomial-time hierarchy
Furst, Merrick, Saxe, James B., Sipser, Michael
Published in Mathematical Systems Theory (01.12.1984)
Published in Mathematical Systems Theory (01.12.1984)
Get full text
Journal Article
Parity, circuits, and the polynomial-time hierarchy
Furst, Merrick, Saxe, James B., Sipser, Michael
Published in 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981) (01.10.1981)
Published in 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981) (01.10.1981)
Get full text
Conference Proceeding
Optimal Constructions of Hybrid Algorithms
Kao, Ming-Yang, Ma, Yuan, Sipser, Michael, Yin, Yiqun
Published in Journal of algorithms (01.10.1998)
Published in Journal of algorithms (01.10.1998)
Get full text
Journal Article
Communication complexity
Papadimitriou, Christos H., Sipser, Michael
Published in Journal of computer and system sciences (01.01.1984)
Published in Journal of computer and system sciences (01.01.1984)
Get full text
Journal Article
Halting space-bounded computations
Sipser, Michael
Published in 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) (01.10.1978)
Published in 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) (01.10.1978)
Get full text
Conference Proceeding
GO is pspace hard
Lichtenstein, David, Sipser, Michael
Published in 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) (01.10.1978)
Published in 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) (01.10.1978)
Get full text
Conference Proceeding
Interactive proof systems: Provers that never fail and random selection
Goldreich, Oded, Mansour, Yishay, Sipser, Michael
Published in 28th Annual Symposium on Foundations of Computer Science (sfcs 1987) (01.10.1987)
Published in 28th Annual Symposium on Foundations of Computer Science (sfcs 1987) (01.10.1987)
Get full text
Conference Proceeding