M. Sipser

Publications69
h-index34
Citations8,972
Highly Influential Citations626
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • S. Goldwasser
  • 245 Publications • 34,911 Citations
  • A. Wigderson
  • 392 Publications • 29,686 Citations
  • S. Micali
  • 257 Publications • 37,706 Citations
  • L. Valiant
  • 152 Publications • 32,288 Citations
  • Publications
  • Influence
Introduction to the Theory of Computation
TLDR
Throughout the book, Sipser builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own.
View on ACM
Quantum Computation by Adiabatic Evolution
We give a quantum algorithm for solving instances of the satisfiability problem, based on adiabatic evolution. The evolution of the quantum state is governed by a time-dependent Hamiltonian that…
View PDF on arXiv
Parity, circuits, and the polynomial-time hierarchy
TLDR
A super-polynomial lower bound is given for the size of circuits of fixed depth computing the parity function and connections are given to the theory of programmable logic arrays and to the relativization of the polynomial-time hierarchy.
View on IEEE
Expander codes
  • M. Sipser, D. Spielman
  • Computer Science
    Proceedings 35th Annual Symposium on Foundations…
  • 20 November 1994
We present a new class of asymptotically good, linear error-correcting codes based upon expander graphs. These codes have linear time sequential decoding algorithms, logarithmic time parallel…
View on IEEE
Maximum Matchings in Sparse Random Graphs
A complexity theoretic approach to randomness
  • M. Sipser
  • Computer Science, Mathematics
    STOC
  • 1 December 1983
We study a time bounded variant of Kolmogorov complexity. This notion, together with universal hashing, can be used to show that problems solvable probabilistically in polynomial time are all within…
View on ACM
Private coins versus public coins in interactive proof systems
TLDR
The probabilistic, nondeterministic, polynomial time Turing machine is defined and shown to be equivalent in power to the interactive proof system and to BPP much as BPP is the Probabilistic analog to P.
View on ACM
Nondeterminism and the size of two way finite automata
TLDR
This work considers two questions on regular languages resembling these open problems of P, NP, and LOGSPACE, and 2-way non-deterministic and2-way deterministic finite automata.
View on ACM
GO Is Polynomial-Space Hard
TLDR
It is proved that GO is Pspace hard by reducing a Pspace-complete set, TQBF, to a game called generalized geography, then to a planar version of that game, and finally to GO.
View on ACM
Maximum matching in sparse random graphs
  • R. Karp, M. Sipser
  • Computer Science
    22nd Annual Symposium on Foundations of Computer…
  • 28 October 1981
View on IEEE
...
...