default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohan Håstad
Person information
- affiliation: Royal Institute of Technology, Stockholm, Sweden
- award (2018): Knuth Prize
- award (1994,2011): Gödel Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i34]Johan Håstad:
On Small-depth Frege Proofs for PHP. CoRR abs/2401.15683 (2024)- [i33]Johan Håstad, Björn Martinsson, Tamio-Vesa Nakajima, Stanislav Zivný:
A logarithmic approximation of linearly-ordered colourings. CoRR abs/2404.19556 (2024) - 2023
- [j79]Johan Håstad:
The EATCS Award 2023 - Laudatio for Amos Fiat. Bull. EATCS 140 (2023) - [c70]Johan Håstad:
On small-depth Frege proofs for PHP. FOCS 2023: 37-49 - [i32]Johan Håstad:
On small-depth Frege proofs for PHP. Electron. Colloquium Comput. Complex. TR23 (2023) - 2022
- [j78]Johan Håstad:
The EATCS Award 2023 - Call for Nominations. Bull. EATCS 138 (2022) - [c69]Johan Håstad, Kilian Risse:
On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited. FOCS 2022: 1138-1149 - [i31]Johan Håstad, Kilian Risse:
On bounded depth proofs for Tseitin formulas on the grid; revisited. CoRR abs/2209.05839 (2022) - 2021
- [j77]Johan Håstad:
On Small-depth Frege Proofs for Tseitin for Grids. J. ACM 68(1): 1:1-1:31 (2021) - [j76]Venkatesan Guruswami
, Johan Håstad:
Explicit Two-Deletion Codes With Redundancy Matching the Existential Bound. IEEE Trans. Inf. Theory 67(10): 6384-6394 (2021) - [c68]Venkatesan Guruswami, Johan Håstad:
Explicit two-deletion codes with redundancy matching the existential bound. SODA 2021: 21-32 - [c67]Per Austrin, Jonah Brown-Cohen, Johan Håstad:
Optimal Inapproximability with Universal Factor Graphs. SODA 2021: 434-453 - 2020
- [j75]Johan Håstad, Guillaume Lagarde, Joseph Swernofsky:
d-Galvin Families. Electron. J. Comb. 27(1): 1 (2020) - [j74]Marta Kwiatkowska, Éva Tardos, Johan Håstad:
The EATCS Award 2021 - Call for Nominations. Bull. EATCS 132 (2020) - [i30]Venkatesan Guruswami, Johan Håstad:
Explicit two-deletion codes with redundancy matching the existential bound. CoRR abs/2007.10592 (2020)
2010 – 2019
- 2019
- [j73]Ravi B. Boppana, Johan Håstad, Chin Ho Lee, Emanuele Viola:
Bounded Independence versus Symmetric Tests. ACM Trans. Comput. Theory 11(4): 21:1-21:27 (2019) - [p1]Johan Håstad:
Following a tangent of proofs. Providing Sound Foundations for Cryptography 2019: 599-622 - [i29]Per Austrin, Jonah Brown-Cohen, Johan Håstad:
Optimal Inapproximability with Universal Factor Graphs. Electron. Colloquium Comput. Complex. TR19 (2019) - 2018
- [c66]Johan Håstad:
Knuth Prize Lecture: On the Difficulty of Approximating Boolean Max-CSPs. FOCS 2018: 602 - 2017
- [j72]Johan Håstad, Benjamin Rossman, Rocco A. Servedio, Li-Yang Tan:
An Average-Case Depth Hierarchy Theorem for Boolean Circuits. J. ACM 64(5): 35:1-35:27 (2017) - [j71]Venkatesan Guruswami, Prahladh Harsha, Johan Håstad, Srikanth Srinivasan, Girish Varma:
Super-Polylogarithmic Hypergraph Coloring Hardness via Low-Degree Long Codes. SIAM J. Comput. 46(1): 132-159 (2017) - [j70]Per Austrin, Venkatesan Guruswami, Johan Håstad:
(2+ε)-Sat Is NP-hard. SIAM J. Comput. 46(5): 1554-1573 (2017) - [j69]Boris Bukh, Venkatesan Guruswami, Johan Håstad:
An Improved Bound on the Fraction of Correctable Deletions. IEEE Trans. Inf. Theory 63(1): 93-103 (2017) - [j68]Johan Håstad, Sangxia Huang, Rajsekar Manokaran, Ryan O'Donnell, John Wright:
Improved NP-Inapproximability for 2-Variable Linear Equations. Theory Comput. 13(1): 1-51 (2017) - [j67]Johan Håstad, Rajsekar Manokaran:
On the Hardness of Approximating Balanced Homogenous 3-Lin. Theory Comput. 13(1): 1-19 (2017) - [c65]Johan Håstad:
On Small-Depth Frege Proofs for Tseitin for Grids. FOCS 2017: 97-108 - [c64]Martin Ekerå, Johan Håstad:
Quantum Algorithms for Computing Short Discrete Logarithms and Factoring RSA Integers. PQCrypto 2017: 347-363 - [i28]Martin Ekerå, Johan Håstad:
Quantum algorithms for computing short discrete logarithms and factoring RSA integers. CoRR abs/1702.00249 (2017) - [i27]Johan Håstad:
On small-depth Frege proofs for Tseitin for grids. Electron. Colloquium Comput. Complex. TR17 (2017) - [i26]Martin Ekerå, Johan Håstad:
Quantum algorithms for computing short discrete logarithms and factoring RSA integers. IACR Cryptol. ePrint Arch. 2017: 77 (2017) - 2016
- [j66]Johan Håstad:
The square lattice shuffle, correction. Random Struct. Algorithms 48(1): 213 (2016) - [c63]Ravi B. Boppana, Johan Håstad, Chin Ho Lee, Emanuele Viola:
Bounded Independence vs. Moduli. APPROX-RANDOM 2016: 24:1-24:9 - [c62]Johan Håstad:
An Average-Case Depth Hierarchy Theorem for Higher Depth. FOCS 2016: 79-88 - [i25]Ravi B. Boppana, Johan Håstad, Chin Ho Lee, Emanuele Viola:
Bounded independence vs. moduli. Electron. Colloquium Comput. Complex. TR16 (2016) - [i24]Johan Håstad:
An average-case depth hierarchy theorem for higher depth. Electron. Colloquium Comput. Complex. TR16 (2016) - 2015
- [j65]Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the Long Code Shorter. SIAM J. Comput. 44(5): 1287-1324 (2015) - [c61]Johan Håstad, Sangxia Huang, Rajsekar Manokaran, Ryan O'Donnell, John Wright:
Improved NP-Inapproximability for 2-Variable Linear Equations. APPROX-RANDOM 2015: 341-360 - 2014
- [j64]Johan Håstad:
On the NP-Hardness of Max-Not-2. SIAM J. Comput. 43(1): 179-193 (2014) - [j63]Johan Håstad, Bettina Just, J. C. Lagarias, Claus-Peter Schnorr:
Erratum: Polynomial Time Algorithms for Finding Integer Relations Among Real Numbers. SIAM J. Comput. 43(1): 254 (2014) - [j62]Johan Håstad:
On the Correlation of Parity and Small-Depth Circuits. SIAM J. Comput. 43(5): 1699-1708 (2014) - [c60]Per Austrin, Johan Håstad, Venkatesan Guruswami:
(2 + epsilon)-Sat Is NP-Hard. FOCS 2014: 1-10 - [c59]Eric Blais, Johan Håstad, Rocco A. Servedio, Li-Yang Tan:
On DNF Approximators for Monotone Boolean Functions. ICALP (1) 2014: 235-246 - [c58]Venkatesan Guruswami, Prahladh Harsha, Johan Håstad, Srikanth Srinivasan, Girish Varma:
Super-polylogarithmic hypergraph coloring hardness via low-degree long codes. STOC 2014: 614-623 - 2013
- [j61]Jakob Nordström, Johan Håstad:
Towards an Optimal Separation of Space and Length in Resolution. Theory Comput. 9: 471-557 (2013) - [j60]Johan Håstad:
Satisfying Degree-d Equations over GF[2]n. Theory Comput. 9: 845-862 (2013) - [j59]Per Austrin, Johan Håstad:
On the usefulness of predicates. ACM Trans. Comput. Theory 5(1): 1:1-1:24 (2013) - [c57]Per Austrin, Johan Håstad, Rafael Pass:
On the power of many one-bit provers. ITCS 2013: 215-220 - [i23]Per Austrin, Johan Håstad, Rafael Pass:
On the Power of Many One-Bit Provers. CoRR abs/1301.2729 (2013) - [i22]Venkatesan Guruswami, Johan Håstad, Prahladh Harsha, Srikanth Srinivasan, Girish Varma:
Super-polylogarithmic hypergraph coloring hardness via low-degree long codes. CoRR abs/1311.7407 (2013) - [i21]Per Austrin, Venkatesan Guruswami, Johan Håstad:
(2+ε)-SAT is NP-hard. Electron. Colloquium Comput. Complex. TR13 (2013) - [i20]Venkatesan Guruswami, Prahladh Harsha, Johan Håstad, Srikanth Srinivasan, Girish Varma:
Super-polylogarithmic hypergraph coloring hardness via low-degree long codes. Electron. Colloquium Comput. Complex. TR13 (2013) - 2012
- [j58]Mahdi Cheraghchi, Johan Håstad, Marcus Isaksson, Ola Svensson:
Approximating Linear Threshold Predicates. ACM Trans. Comput. Theory 4(1): 2:1-2:31 (2012) - [c56]Johan Håstad:
On the NP-Hardness of Max-Not-2. APPROX-RANDOM 2012: 170-181 - [c55]Per Austrin, Johan Håstad:
On the Usefulness of Predicates. CCC 2012: 53-63 - [c54]Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the Long Code Shorter. FOCS 2012: 370-379 - [i19]Per Austrin, Johan Håstad:
On the Usefulness of Predicates. CoRR abs/1204.5662 (2012) - [i18]Johan Håstad, Andrei A. Krokhin, Dániel Marx:
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 12451). Dagstuhl Reports 2(11): 1-19 (2012) - [i17]Johan Håstad:
On the correlation of parity and small-depth circuits. Electron. Colloquium Comput. Complex. TR12 (2012) - 2011
- [j57]Per Austrin, Johan Håstad:
Randomly Supported Independence and Resistance. SIAM J. Comput. 40(1): 1-27 (2011) - [j56]Venkatesan Guruswami, Johan Håstad, Rajsekar Manokaran, Prasad Raghavendra, Moses Charikar:
Beating the Random Ordering Is Hard: Every Ordering CSP Is Approximation Resistant. SIAM J. Comput. 40(3): 878-914 (2011) - [j55]Venkatesan Guruswami, Johan Håstad, Swastik Kopparty:
On the List-Decodability of Random Linear Codes. IEEE Trans. Inf. Theory 57(2): 718-725 (2011) - [c53]Johan Håstad:
Satisfying Degree-d Equations over GF[2] n. APPROX-RANDOM 2011: 242-253 - [i16]Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the long code shorter, with applications to the Unique Games Conjecture. CoRR abs/1111.0405 (2011) - [i15]Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the long code shorter, with applications to the Unique Games Conjecture. Electron. Colloquium Comput. Complex. TR11 (2011) - [i14]Venkatesan Guruswami, Johan Håstad, Rajsekar Manokaran, Prasad Raghavendra, Moses Charikar:
Beating the Random Ordering is Hard: Every ordering CSP is approximation resistant. Electron. Colloquium Comput. Complex. TR11 (2011) - 2010
- [j54]Johan Håstad:
Special Issue "Conference on Computational Complexity 2009" Guest Editor's Foreword. Comput. Complex. 19(2): 151-152 (2010) - [c52]Mahdi Cheraghchi, Johan Håstad, Marcus Isaksson, Ola Svensson:
Approximating Linear Threshold Predicates. APPROX-RANDOM 2010: 110-123 - [c51]Venkatesan Guruswami, Johan Håstad, Swastik Kopparty:
On the list-decodability of random linear codes. STOC 2010: 409-416 - [c50]Johan Håstad, Rafael Pass, Douglas Wikström, Krzysztof Pietrzak:
An Efficient Parallel Repetition Theorem. TCC 2010: 1-18 - [i13]Venkatesan Guruswami, Johan Håstad, Swastik Kopparty:
On the List-Decodability of Random Linear Codes. CoRR abs/1001.1386 (2010) - [i12]Mahdi Cheraghchi, Johan Håstad, Marcus Isaksson, Ola Svensson:
Approximating Linear Threshold Predicates. Electron. Colloquium Comput. Complex. TR10 (2010) - [i11]Venkatesan Guruswami, Johan Håstad, Swastik Kopparty:
On the List-Decodability of Random Linear Codes. Electron. Colloquium Comput. Complex. TR10 (2010)
2000 – 2009
- 2009
- [j53]Johan Håstad:
On the Approximation Resistance of a Random Predicate. Comput. Complex. 18(3): 413-434 (2009) - [c49]Per Austrin, Johan Håstad:
Randomly supported independence and resistance. STOC 2009: 483-492 - 2008
- [j52]Johan Håstad:
Every 2-csp Allows Nontrivial Approximation. Comput. Complex. 17(4): 549-566 (2008) - [j51]Johan Håstad, Mats Näslund:
Practical Construction and Analysis of Pseudo-Randomness Primitives. J. Cryptol. 21(1): 1-26 (2008) - [c48]Jakob Nordström, Johan Håstad:
Towards an optimal separation of space and length in resolution. STOC 2008: 701-710 - [i10]Jakob Nordström, Johan Håstad:
Towards an Optimal Separation of Space and Length in Resolution. CoRR abs/0803.0661 (2008) - [i9]Jakob Nordström, Johan Håstad:
Towards an Optimal Separation of Space and Length in Resolution. Electron. Colloquium Comput. Complex. TR08 (2008) - 2007
- [j50]Johan Håstad, Svante Linusson, Johan Wästlund:
A Smaller Sleeping Bag for a Baby Snake. Discret. Comput. Geom. 38(1): 171 (2007) - [j49]Johan Håstad:
The Security of the IAPM and IACBC Modes. J. Cryptol. 20(2): 153-163 (2007) - [j48]Johan Håstad, Avi Wigderson:
The Randomized Communication Complexity of Set Disjointness. Theory Comput. 3(1): 211-219 (2007) - [c47]Johan Håstad:
On the Approximation Resistance of a Random Predicate. APPROX-RANDOM 2007: 149-163 - 2006
- [j47]Johan Håstad:
The square lattice shuffle. Random Struct. Algorithms 29(4): 466-474 (2006) - [c46]Johan Håstad:
On Nontrivial Approximation of CSPs. APPROX-RANDOM 2006: 1 - 2005
- [j46]Johan Håstad, Subhash Khot:
Query Efficient PCPs with Perfect Completeness. Theory Comput. 1(1): 119-148 (2005) - [c45]Johan Håstad:
Every 2-CSP allows nontrivial approximation. STOC 2005: 740-746 - 2004
- [j45]Johan Håstad, Mats Näslund:
The security of all RSA and discrete log bits. J. ACM 51(2): 187-230 (2004) - [j44]Johan Håstad, Srinivasan Venkatesh:
On the advantage over a random assignment. Random Struct. Algorithms 25(2): 117-149 (2004) - [c44]Yevgeniy Dodis, Rosario Gennaro, Johan Håstad, Hugo Krawczyk, Tal Rabin:
Randomness Extraction and Key Derivation Using the CBC, Cascade and HMAC Modes. CRYPTO 2004: 494-510 - 2003
- [j43]Johan Håstad, Lars Ivansson, Jens Lagergren:
Fitting points on the real line and its application to RH mapping. J. Algorithms 49(1): 42-62 (2003) - [j42]Johan Håstad, Avi Wigderson:
Simple analysis of graph tests for linearity and PCP. Random Struct. Algorithms 22(2): 139-160 (2003) - [c43]Johan Håstad:
Inapproximability Some history and some open problems. CCC 2003: 265- - 2002
- [j41]Venkatesan Guruswami, Johan Håstad, Madhu Sudan:
Hardness of Approximate Hypergraph Coloring. SIAM J. Comput. 31(6): 1663-1686 (2002) - [j40]Venkatesan Guruswami, Johan Håstad, Madhu Sudan, David Zuckerman:
Combinatorial bounds for list decoding. IEEE Trans. Inf. Theory 48(5): 1021-1034 (2002) - [c42]Johan Håstad, Srinivasan Venkatesh:
On the advantage over a random assignment. STOC 2002: 43-52 - 2001
- [j39]Johan Håstad, Svante Linusson, Johan Wästlund:
A Smaller Sleeping Bag for a Baby Snake. Discret. Comput. Geom. 26(1): 173-181 (2001) - [j38]Johan Håstad:
Some optimal inapproximability results. J. ACM 48(4): 798-859 (2001) - [j37]Gunnar Andersson, Lars Engebretsen, Johan Håstad:
A New Way of Using Semidefinite Programming with Applications to Linear Equations mod p. J. Algorithms 39(2): 162-204 (2001) - [j36]Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan:
Linear-Consistency Testing. J. Comput. Syst. Sci. 62(4): 589-607 (2001) - [j35]Johan Håstad:
A Slight Sharpening of LMN. J. Comput. Syst. Sci. 63(3): 498-508 (2001) - [j34]Dorit Dor, Johan Håstad, Staffan Ulfberg, Uri Zwick:
On Lower Bounds for Selecting the Median. SIAM J. Discret. Math. 14(3): 299-311 (2001) - [c41]Johan Håstad, Mats Näslund:
Practical Construction and Analysis of Pseudo-Randomness Primitives. ASIACRYPT 2001: 442-459 - [c40]Johan Håstad, Avi Wigderson:
Simple Analysis of Graph Tests for Linearity and PCP. CCC 2001: 244-254 - [c39]Johan Håstad, Subhash Khot:
Query Efficient PCPs with Perfect Completeness. FOCS 2001: 610-619 - 2000
- [j33]Johan Håstad:
On bounded occurrence constraint satisfaction. Inf. Process. Lett. 74(1-2): 1-6 (2000) - [j32]Arne Andersson, Torben Hagerup, Johan Håstad, Ola Petersson:
Tight Bounds for Searching a Sorted Array of Strings. SIAM J. Comput. 30(5): 1552-1578 (2000) - [c38]Johan Håstad, Jakob Jonsson, Ari Juels, Moti Yung:
Funkspiel schemes: an alternative to conventional tamper resistance. CCS 2000: 125-133 - [c37]Venkatesan Guruswami, Johan Håstad, Madhu Sudan:
Hardness of Approximate Hypergraph Coloring. FOCS 2000: 149-158 - [c36]Johan Håstad:
Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms? ICALP 2000: 235 - [i8]Venkatesan Guruswami, Johan Håstad, Madhu Sudan:
Hardness of approximate hypergraph coloring. Electron. Colloquium Comput. Complex. TR00 (2000)
1990 – 1999
- 1999
- [j31]Johan Håstad, Russell Impagliazzo, Leonid A. Levin, Michael Luby:
A Pseudorandom Generator from any One-way Function. SIAM J. Comput. 28(4): 1364-1396 (1999) - [c35]Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan:
Linear Consistency Testing. RANDOM-APPROX 1999: 109-120 - [c34]Gunnar Andersson, Lars Engebretsen, Johan Håstad:
A New Way to Use Semidefinite Programming with Applications to Linear Equations mod p. SODA 1999: 41-50 - [i7]Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan:
Linear Consistency Testing. Electron. Colloquium Comput. Complex. TR99 (1999) - [i6]Johan Håstad, Mats Näslund:
The Security of all RSA and Discrete Log Bits. Electron. Colloquium Comput. Complex. TR99 (1999) - [i5]Johan Håstad:
On approximating CSP-B. Electron. Colloquium Comput. Complex. TR99 (1999) - [i4]Johan Håstad, Mats Näslund:
Security of all RSA and Discrete Log Bits. IACR Cryptol. ePrint Arch. 1999: 19 (1999) - 1998
- [j30]Oded Goldreich, Johan Håstad:
On the Complexity of Interactive Proofs with Bounded Communication. Inf. Process. Lett. 67(4): 205-214 (1998) - [j29]Johan Håstad:
The Shrinkage Exponent of de Morgan Formulas is 2. SIAM J. Comput. 27(1): 48-64 (1998) - [j28]Liming Cai, Jianer Chen, Johan Håstad:
Circuit Bottom Fan-In and Computational Power. SIAM J. Comput. 27(2): 341-355 (1998) - [j27]