Concepedia

Carsten Lund

CL

Statistics

Publications

66

Citations

9.5K

H-Index

35

Active since

1979

Affiliations

AT&T (United States)(Current)

University of Chicago

Massachusetts Institute of Technology

Stanford University

Tel Aviv University

Carsten Lund is an author at AT&T (United States) specializing in computer science, engineering, and data science.

Top concepts

EngineeringComputer ScienceData ScienceNetwork AnalysisFormal MethodsAutomated ReasoningNetwork FlowsComputational ComplexityStatisticsCombinatorial Optimization

Publications per year

1979–2011

66

Publications

66

Proof verification and the hardness of approximation problems

Sanjeev Arora, Carsten Lund, Rajeev Motwani et al. · Journal of the ACM · 1998 · 1.4K citations · Full text

Computational Complexity Theory, Engineering, Membership Proofs +17

On the hardness of approximating minimization problems

Carsten Lund, Mihalis Yannakakis · Journal of the ACM · 1994 · 882 citations · Full text

Proof verification and hardness of approximation problems

Sanjeev Arora, Carsten Lund, R. Motwani et al. · 1992 · 741 citations

Computational Complexity Theory, Engineering, Verification +17

Algebraic methods for interactive proof systems

Carsten Lund, Lance Fortnow, Howard Karloff et al. · Journal of the ACM · 1992 · 680 citations · Full text

Engineering, Automated Reasoning, Program Analysis +13

Non-deterministic exponential time has two-prover interactive protocols

László Babai, Lance Fortnow, Carsten Lund · Computational Complexity · 1992 · 528 citations · Full text

Engineering, Proof Complexity, Verification +6

1–5 of 66