Mario Szegedy

Affiliations:
  • Rutgers University, New Brunswick, NJ, USA


According to our database1, Mario Szegedy authored at least 92 papers between 1984 and 2023.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Rubik Tables and object rearrangement.
Int. J. Robotics Res., May, 2023

An Initial Study of Budgeted Steiner Networks.
Comput. Geom. Topol., 2023

2022
Quantum Locally Testable Code with Exotic Parameters.
CoRR, 2022

Repeated Averages on Graphs.
CoRR, 2022

Budgeted Steiner Networks: Three Terminals with Equal Path Weights.
Proceedings of the 34th Canadian Conference on Computational Geometry, 2022

Rubik Tables, Stack Rearrangement, and Multi-Robot Path Planning.
Proceedings of the 58th Annual Allerton Conference on Communication, 2022

Query Complexity
WorldScientific, ISBN: 9789813223226, 2022

2021
Efficient parallelization of tensor network contraction for simulating quantum computation.
Nat. Comput. Sci., 2021

On Rearrangement of Items Stored in Stacks.
Proceedings of the Algorithmic Foundations of Robotics XIV, 2021

2020
Explicit Lower Bounds on Strong Quantum Simulation.
IEEE Trans. Inf. Theory, 2020

2019
Explicit lower bounds on strong simulation of quantum circuits in terms of $T$-gate count.
CoRR, 2019

2017
A Simple Yet Effective Balanced Edge Partition Model for Parallel Computing.
Proc. ACM Meas. Anal. Comput. Syst., 2017

The Moser-Tardos Resample algorithm: Where is the limit? (an experimental inquiry).
Proceedings of the Ninteenth Workshop on Algorithm Engineering and Experiments, 2017

2016
Quantum Analogues of Markov Chains.
Encyclopedia of Algorithms, 2016

A new line of attack on the dichotomy conjecture.
Eur. J. Comb., 2016

A Graph-based Model for GPU Caching Problems.
CoRR, 2016

Streaming Algorithms for Independent Sets in Sparse Hypergraphs.
Algorithmica, 2016

2015
Impossibility Theorems and the Universal Algebraic Toolkit.
CoRR, 2015

An $O(n^{0.4732})$ upper bound on the complexity of the GKS communication game.
CoRR, 2015

2014
Local Tests of Global Entanglement and a Counterexample to the Generalized Area Law.
Proceedings of the 55th IEEE Annual Symposium on Foundations of Computer Science, 2014

The Garden Hose Complexity for the Equality Function.
Proceedings of the Algorithmic Aspects in Information and Management, 2014

2013
The Lovász Local Lemma - A Survey.
Proceedings of the Computer Science - Theory and Applications, 2013

Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.
Proceedings of the Advances in Cryptology - CRYPTO 2013, 2013

2012
Digital Signatures with Minimal Overhead.
IACR Cryptol. ePrint Arch., 2012

Mechanism design: from partial to probabilistic verification.
Proceedings of the 13th ACM Conference on Electronic Commerce, 2012

Streaming and Communication Complexity of Clique Approximation.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Randomized Greedy Algorithms for the Maximum Matching Problem with New Analysis.
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012

A Sharper Local Lemma with Improved Applications.
Proceedings of the Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 2012

2011
Combinatorics, Groups, Algorithms, and Complexity: Conference in honor of Laci Babai's 60th birthday.
Discret. Math. Theor. Comput. Sci., 2011

Moser and tardos meet Lovász.
Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011

Quantum Query Complexity of State Conversion.
Proceedings of the IEEE 52nd Annual Symposium on Foundations of Computer Science, 2011

2010
Streaming Algorithms for Independent Sets.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Six-way equipartitioning by three lines in the plane.
Proceedings of the 22nd Annual Canadian Conference on Computational Geometry, 2010

2009
Delaunay graphs of point sets in the plane with respect to axis-parallel rectangles.
Random Struct. Algorithms, 2009

Geometric representation of cubic graphs with four directions.
Comput. Geom., 2009

Quantum and Classical Query Complexities of Local Search Are Polynomially Related.
Algorithmica, 2009

Amortized Communication Complexity of Distributions.
Proceedings of the Automata, Languages and Programming, 36th International Colloquium, 2009

2008
Quantization of Markov Chains.
Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Parallel Repetition of the Odd Cycle Game.
Proceedings of the LATIN 2008: Theoretical Informatics, 2008

2007
Hardness of Approximation.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

Quantum Algorithms for the Triangle Problem.
SIAM J. Comput., 2007

Product Rules in Semidefinite Programming.
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

On the Variance of Subset Sum Estimation.
Proceedings of the Algorithms, 2007

2006
All Quantum Adversary Methods are Equivalent.
Theory Comput., 2006

Languages with Bounded Multiparty Communication Complexity.
Electron. Colloquium Comput. Complex., 2006

The Quantum Adversary Method and Classical Formula Size Lower Bounds.
Comput. Complex., 2006

The DLT priority sampling is essentially optimal.
Proceedings of the 38th Annual ACM Symposium on Theory of Computing, 2006

A Dichotomy Theorem for Typed Constraint Satisfaction Problems.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005
Near optimality of the priority sampling procedure
Electron. Colloquium Comput. Complex., 2005

Optimally Balanced Forward Degree Sequence.
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

2004
Computing Boolean functions from multiple faulty copies of input bits.
Theor. Comput. Sci., 2004

Long Monotone Paths in Line Arrangements.
Discret. Comput. Geom., 2004

Quantum Speed-Up of Markov Chain Based Algorithms.
Proceedings of the 45th Symposium on Foundations of Computer Science (FOCS 2004), 2004

2003
Quantum query complexity and semi-definite programming.
Proceedings of the 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 2003

2002
Tracking Join and Self-Join Sizes in Limited Storage.
J. Comput. Syst. Sci., 2002

2001
Parent-Identifying Codes.
J. Comb. Theory, Ser. A, 2001

2000
Regular Languages are Testable with a Constant Number of Queries.
SIAM J. Comput., 2000

Efficient Testing of Large Graphs.
Comb., 2000

1999
The Space Complexity of Approximating the Frequency Moments.
J. Comput. Syst. Sci., 1999

Large Sets of Nearly Orthogonal Vectors.
Graphs Comb., 1999

In How Many Steps the k Peg Version of the Towers of Hanoi Game Can Be Solved?
Proceedings of the STACS 99, 1999

A Slique Size Bounding Technique with Application to Non-Linear Codes.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

Just the Fax - Differentiating Voice and Fax Phone Lines Using Call Billing Data.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

On-line Complexity of Monotone Set Systems.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

What are the Least Tractable Instances of max Independent Set?
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

Many-Valued Logics and Holographic Proofs.
Proceedings of the Automata, 1999

1998
Proof Verification and the Hardness of Approximation Problems.
J. ACM, 1998

Algorithms to Tile the Infinite Grid with Finite Clusters.
Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

1997
On Conway's Thrackle Conjecture.
Discret. Comput. Geom., 1997

1996
Interactive Proofs and the Hardness of Approximating Cliques.
J. ACM, 1996

Applications of the Crossing Number.
Algorithmica, 1996

Public vs. Private Coin Flips in One Round Communication Games (Extended Abstract).
Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, 1996

1995
Fault Tolerant Circuits and Probabilistically Checkable Proofs.
Proceedings of the Tenth Annual Structure in Complexity Theory Conference, 1995

1994
Lower Bounds for On-Line Graph Coloring.
Theor. Comput. Sci., 1994

On the Degree of Boolean Functions as Real Polynomials.
Comput. Complex., 1994

A note on the Theta number of Lovász and the generalized Delsarte bound
Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994

1993
Functions with Bounded Symmetric Communication Complexity, Programs over Commutative Monoids, and ACC.
J. Comput. Syst. Sci., 1993

Threshold Circuits of Bounded Depth.
J. Comput. Syst. Sci., 1993

Locality based graph coloring.
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993

1992
Multiparty Protocols, Pseudorandom Generators for Logspace, and Time-Space Trade-Offs.
J. Comput. Syst. Sci., 1992

On the Power of Two-Local Random Reductions.
Inf. Process. Lett., 1992

Local Expansion of Ssymmetrical Graphs.
Comb. Probab. Comput., 1992

On packing bipartite graphs.
Comb., 1992

On the Complexity of RAM with Various Operation Sets
Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992

1991
Checking Computations in Polylogarithmic Time
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

Approximating Clique is Almost NP-Complete (Preliminary Version)
Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

1990
Functions with Bounded Symmetric Communication Complexity and Circuits with \mathop mod m Gates
Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, 1990

A New Lower Bound Theorem for Read-Only-Once Branching Programs and its Applications.
Proceedings of the Advances In Computational Complexity Theory, 1990

1989
Multiparty Protocols and Logspace-hard Pseudorandom Sequences (Extended Abstract)
Proceedings of the 21st Annual ACM Symposium on Theory of Computing, 1989

1988
A Subset Coloring Algorithm and Its Applications to Computer Graphics.
Commun. ACM, 1988

1986
The solution of Graham's greatest common divisor problem.
Comb., 1986

1984
The Telephone Problem for Connected Graphs.
J. Inf. Process. Cybern., 1984


  Loading...