Expository Articles and Surveys
-
Parting Thoughts and Parting Shots
(Read On for Details on How to Win Valuable Prizes!)
,
- Guest Piece for the Complexity Theory Column, edited by
Lane Hemaspaandra,
SIGACT NEWS 54
March, 2023, pp. 63--81.
-
Vaughan Jones, Kolmogorov Complexity, and the New Complexity Landscape around Circuit
Minimization,
-
New Zealand Journal of
Mathematics 52 (2021), pp. 585-604; special issue on
Vaughan Jones. An earlier version appeared as
The New Complexity Landscape around Circuit Minimization,
Proc. 14th International Conference on Language and Automata Theory
and Applications (LATA 2020),
Lecture
Notes in Computer Science 12038, pp. 3-16.
-
Ker-I Ko and the Study of Resource-Bounded Kolmogorov Complexity,
-
in
Complexity and Approximation, in Memory of Ker-I Ko,
edited by Ding-Zhu Du and Jie Wang,
Lecture
Notes in Computer Science 12000, pp. 8-18,
Springer-Verlag, 2020.
-
The Complexity of Complexity,
- in
Computability
and Complexity: Essays Dedicated to Rodney G. Downey on
the Occasion of His 60th Birthday, Springer-Verlag, 2017,
Lecture
Notes in Computer Science 10010, pp. 79--94, 2017.
-
Investigations Concerning the Structure of Complete Sets,
- in
Perspectives in Computational Complexity: The Somenath Biswas
Anniversary Volume,
Progress in Computer
Science and Applied Logic vol. 26, 2014, pp. 23-35.
-
Complexity
Theory,
- (with Michael
Loui and
Kenneth
Regan), in the
Computing
Handbook, Third Edition, Volume 1
ed. Allen Tucker, Teofilo Gonzalez, Heikki Topi, and Jorge
Diaz-Herrera, 2014,
Chapman and Hall/CRC Press.
An earlier
version of this work appeared in
CRC Computer Science Handbook, Second Edition,
ed. Allen B. Tucker, Jr.,
2004, CRC Press, pp. 5-1 - 5-30.
-
Curiouser and Curiouser: The Link between Incompressibility and
Complexity,
- in Proc.
Computability in Europe: (CiE 2012),
Lecture
Notes in Computer Science 7318, pp. 11-16, 2012.
-
Randomness as Circuit Complexity (and the Connection to
Pseudorandomness),
-
in
Randomness through Computation: Some answers, more questions,
edited by Hector Zenil,
World Scientific Press, 2011,
pp. 267-274.
-
-
New Surprises from Self-Reducibility,
in Programs, Proofs, Processes, (ed.
F. Ferreira, H. Guerra,
E. Mayordomo, and
J. Rasga),
Abstract and Handout Booklet,
-
6th Conference on Computability in Europe (CiE 2010),
Centre for Applied Mathematics and Information Technology,
Dept. of Mathematics, University of Azores, pp. 1--5, 2010.
- Three chapters:
Chapter 22: Complexity Classes,
Chapter 23: Reducibility and Completeness,
and Chapter 24: Other Complexity Classes and Measures,
- (with Michael
Loui and Kenneth
Regan), in
Algorithms and Theory of Computation Handbook, Second Edition, Volume 1:
General Concepts and Techniques
,
ed. M. Atallah
and M. Blanton, 2009,
Chapman and Hall/CRC Applied Algorithms and Data Structures Series,
CRC Press. (Earlier versions of this work appeared as
Chapters 27-29 in the 1999 edition, edited by M. Atallah.)
-
A Status Report on the P versus NP Question
,
- in
Advances in Computers Vol. 77
(Marvin Zelkowitz, editor), Academic Press, 2009, pp. 118-147.
-
Computational Complexity Theory,
- in
Encyclopedia of Computer Science and Engineering,
(Benjamin Wah, editor in chief), Volume 1, Wiley Interscience, 2009, pp. 500-506.
-
Circuit Complexity, Kolmogorov Complexity, and Prospects for Lower
Bounds,
- in
Proc. 10th International Workshop on Descriptional Complexity of
Formal Systems (DCFS 2008), 2008, pp. 7-13.
-
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower
Bounds,
- in
Proc. 3rd International Computer Science Symposium in Russia
(CSR 2008),
Lecture
Notes in Computer Science 5010, pp. 3-10, 2008.
-
The Division Breakthroughs,
-
in
Current Trends in Theoretical Computer Science:
The Challenge of the New Century, Vol. 1: Algorithms and
Complexity,
edited by G. Paun,
G.
Rozenberg, and
A. Salomaa,
World Scientific Press, 2004,
pp. 147-164.
An earlier version appeared
in The
Computational Complexity Column,
Bulletin of the EATCS,
volume 74, June, 2001, pp. 61-77.
-
-
Arithmetic Circuits and Counting Complexity Classes,
- in Complexity of Computations and Proofs,
edited by
Jan Krajíček,
Quaderni
di Matematica Vol. 13, Seconda Universita di Napoli, 2004,
pp. 33-72.
An earlier
version appeared
in the Complexity Theory Column, edited by
Lane Hemaspaandra,
SIGACT NEWS
28, 4 (December, 1997) pp. 2-15.
-
When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov
Complexity,
- Invited Paper,
Proc.
21st annual .Conference on Foundations of
Software Technology and Theoretical Computer Science
(FST&TCS), 2001,
Lecture
Notes in Computer Science 2245, pp. 1-15.
-
Basic Complexity,
- (with
Catherine
McCartin), in
Aspects of Complexity,
de
Gruyter Series in Logic and Its Applications, Volume 4, edited by
Rod Downey and
Denis Hirschfeldt,
2001, pp. 1-28.
-
Some Pointed Questions Concerning Asymptotic Lower Bounds, and
News from the Isomorphism Front,
-
in
Current Trends in Theoretical Computer Science:
Entering the 21st Century,
edited by G. Paun,
G.
Rozenberg, and
A. Salomaa,
World Scientific Press, 2001,
pp. 25-41. Parts of this work appeared earlier in two columns in
The
Computational Complexity Column, of the
Bulletin of the EATCS.
-
Circuit Complexity Before the Dawn of the New Millennium,
- Invited Paper,
Proc.
16th Annual Conference on Foundations of Software Technology and
Theoretical Computer Science (FST&TCS '96),
Lecture
Notes in Computer Science 1180, pp. 1-18.
-
Algebraic methods for proving lower bounds in circuit complexity,
- Proc. Workshop on Algebraic Methods in Complexity Theory,
December, 1994, Institute of Mathematical Sciences, Madras, India.
-
Counting hierarchies: polynomial time and constant depth circuits,
-
(with Klaus
W. Wagner),
in Current
Trends in Theoretical Computer Science, edited by
G.
Rozenberg, and
A. Salomaa,
World Scientific
Series in Computer Science, Vol. 40, World Scientific Press,
1993, pp. 469-483.
This work appeared earlier in
The
Computational Complexity Column, of the
Bulletin of the EATCS.
-
Oracles vs Proof techniques that do not relativize,
- in
Proc.
SIGAL International Symposium on Algorithms, 1990,
Lecture
Notes in Computer Science 450, pp. 39-52.