Harry Buhrman: Publications

Quantum Computing

Conference Publications

H. Buhrman & R. de Wolf Communication Complexity Lower Bounds by Polynomials Proceedings of the 16th IEEE Annual Conference on Computational Complexity (CCC'01), pp.120-130, 2001

H. Buhrman, C. Dürr, M Heiligman, P. Hoyer, F. Magniez, M. Santha & R. de Wolf Quantum Algorithms for Element Distinctness Proceedings of the 16th IEEE Annual Conference on Computational Complexity (CCC'01), pp.131-137, 2001.

H. Buhrman, J. Tromp & P. Vitányi Time and Space Bounds for Reversible Simulation Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP'01), 1017-1027, 2001

H. Buhrman, R. Cleve, R. de Wolf & C. Zalka Bounds for Small-Error and Zero-Error Quantum Algorithms Proceedings of the 40th Annual Symposium on Foundations of Computer Science (FOCS'99) pp. 358-368, 1999

H. Buhrman & W. van Dam Quantum Bounded Query Complexity Proceedings of the 14th Annual IEEE Conference on Computational Complexity (CCC99), pp. 149-157, IEEE Computer Society, May 4-6 1999

B. Beals, H. Buhrman, R. Cleve, M. Mosca & R. de Wolf Quantum Lower Bounds by Polynomials Proceedings of the 39th Annual Symposium on Foundations of Computer Science (FOCS'98) pp. 351--362, 1998

H. Buhrman, R. Cleve & A. Wigderson Quantum vs. Classical Communication and Computation Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC'98), pp. 63-68, ACM Press, May 23-26 1998

Refereed Journal Publications

H. Buhrman, R. Cleve, J. Watrous & R. de Wolf Quantum Fingerprinting Physiscal Review Letters, 87(16), October 2001

B. Beals, H. Buhrman, R. Cleve, M. Mosca & R. de Wolf Quantum Lower Bounds by Polynomials Journal of the ACM, to appear

H. Buhrman, J. Tromp & P. Vitányi Time and space bounds for reversible simulation Journal of Physics A: Mathematical and General, 34(2001), 6821--6830, 2001

H. Buhrman, R. Cleve & W. van Dam Quantum Entanglement and Communication Complexity SIAM Journal on Computing (to appear)

H. Buhrman & R. de Wolf A Lower Bound for Quantum Search of an Ordered List Information Processing Letters, Vol 70 (5), pp. 205-209, 1999

H. Buhrman, W. van Dam, P. Hoyer & A. Tapp Multiparty Quantum Communication Complexity Physical Review A, Vol 60 (4), pp. 2737-2741, 1999

R. Cleve & H. Buhrman Substituting quantum entanglement for communication Physical Review A, Vol 56 (2) pp. 1201 -- 1204, August 1997

Distributed Computing

Conference Publications

H. Buhrman, A. Panconesi, R. Silvestri & P. Vitányi On the importance of having an identity or, is consensus really Universal Distributed Computing Conference (DISC'00), Lecture Notes in Computer Science, Vol. 1914, Springer-Verlag, Berlin, 134--148, 2000

H. Buhrman, M. Franklin, J. A. Garay, J. -H. Hoepman & P. Vitányi Mutual Search Proceedings 9th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'98), pp. 481--489, 1998

H. Buhrman, J. -H. Hoepman & P. Vitányi Optimal Routing Tables Proceedings 15th Annual ACM Symposium on Principles of Distributed Computing (PODC96), ACM Press, Philadelphia, PA, pp. 134 -- 142, 1996

H. Buhrman, J. A. Garay, J. -H. Hoepman & M. Moir Long-Lived Renaming Made Fast Proceedings 14th Annual ACM Symposium on Principles of Distributed Computing (PODC95), ACM Press, Ottawa, Canada, pp. 194 -- 203, 1995

H. Buhrman, J. A. Garay & J. -H. Hoepman Optimal Resiliency Against Mobile Faults Proceedings 25th International Symposium on Fault-Tolerant Computing (FTCS95), Pasadena, CA, pp.83 -- 88 , 1995

Refereed Journal Publications

H. Buhrman, M. Franklin, J. A. Garay, J. -H. Hoepman & P. Vitányi Mutual Search Journal of the ACM, Vol 46 (4), pp. 517-536, 1999

H. Buhrman, J. -H. Hoepman & P. Vitányi Space-Efficient Routing Tables for Almost All Networks and the Incompressibility Method SIAM Journal on Computing Vol 28 (4) pp. 1414-1432, 1999

Complexity Theory

Conference Publications

A. Ambainis, H. Buhrman, W. Gasarch, B. Kalyanasundaram & L. Torenvliet The Communication Complexity of Enumeration, Elimination, and Selection Proceedings of the 15th Annual IEEE Conference on Computational Complexity (CCC'2000), pp44-53, 2000

H. Buhrman, P. B. Miltersen, J. Radhakrishnan & S. Venkatesh Are bitvectors optimal? Proceedings of the 32th Annual ACM Symposium on Theory of Computing (STOC'2000) pp. 449-458, 2000

H. Buhrman, S. Fenner, L. Fortnow & D. van Melkebeek Optimal Proof Systems and Sparse Sets Proceedings 17th Symposium on Theoretical Aspects of Computer Science (STACS'2000) pp. 407-418, 2000

H. Buhrman & L. Torenvliet Complicated Complementations Proceedings of the 14th Annual IEEE Conference on Computational Complexity (CCC99), pp. 227-236, IEEE Computer Society, May 4-6 1999

H. Buhrman & L. Torenvliet Randomness is Hard Proceedings of the 13th Annual IEEE Conference on Computational Complexity (CCC98), pp. 249-260, IEEE Computer Society, June 15-18 1998

H. Buhrman & L. Fortnow Two Queries Proceedings of the 13th Annual IEEE Conference on Computational Complexity (CCC98), pp. 13-19, IEEE Computer Society, June 15-18 1998

H. Buhrman, T. Thierauf & L. Fortnow Nonrelativizing Separations Proceedings of the 13th Annual IEEE Conference on Computational Complexity (CCC98), pp. 8-12, IEEE Computer Society, June 15-18 1998

R. Beigel, H. Buhrman & L. Fortnow NP Might Not Be As Easy As Detecting Unique Solutions Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC98), pp. 203-208, ACM Press, May 23-26 1998

H. Buhrman & T. Thierauf The Complexity of Generating and Checking Proofs of Membership Proceedings 13th Symposium on Theoretical Aspects of Computer Science (STACS96), Lecture Notes in Computer Science, Springer, Grenoble, France, pp 75 -- 87, 1996

H. Buhrman, L. Fortnow & L. Torenvliet Using Autoreducibility to Separate Complexity Classes Proceedings 36th Annual Symposium on Foundations of Computer Science (FOCS95), IEEE Computer Society Press, Milwaukee, WI, pp. 520 -- 527, 1995

H. Buhrman & M. Hermo On the Sparse Set Conjecture for Sets with Low Density Proceedings 12th Symposium on Theoretical Aspects of Computer Science (STACS95), Lecture Notes in Computer Science, Springer-Verlag, München, Germany, pp. 609 -- 618, 1995

H. Buhrman, J. Kadin & T. Thierauf On Functions Computable with Nonadaptive Queries to NP Proceedings Structure in Complexity Theory, 9th annual conference (STRUCTURES94), IEEE Computer Society Press, Amsterdam, pp.43--52, 1994

H. Buhrman & L. Torenvliet On the Cutting Edge of Relativization: The Resource Bounded Injury Method Proceedings 21st Annual International Colloquium on Automata, Languages and Programming (ICALP94), Lecture Notes in Computer Science, Springer, Jerusalem, Israel, pp. 263 -- 273, 1994

H. Buhrman, P. van Helden & L. Torenvliet P-selective selfreducible Sets: A new Characterization of P Proceedings Structure in Complexity Theory, 8th annual conference (STRUCTURES93), IEEE Computer Society Press, San Diego, CA pp.52--64, 1993

H. Buhrman, L. Longpré & E. Spaan SPARSE reduces conjunctively to TALLY Proceedings Structure in Complexity Theory, 8th annual conference (STRUCTURES93), IEEE Computer Society Press, San Diego, CA, pp.208--214, 1993 preprint: Report NU-CCS-92-8, College of Computer Science, Northeastern University, Boston, MA

H. Buhrman, A. Hoene & L. Torenvliet Splittings, robustness and structure of complete sets Proceedings 10th Symposium Theoretical Aspects of Computer Science (STACS93), Lecture Notes in Computer Science, Springer-Verlag, Würzburg, Germany, pp.175--184, 1993

H. Buhrman & S. Homer Superpolynomial Circuits, Almost Sparse Oracles and the Exponential Hierarchy Proceedings 12th Conference on the Foundations of Software Technology & Theoretical Computer Science (FSTTCS92), Lecture Notes in Computer Science, Springer-Verlag, New Delhi, India pp.116--127, 1992 preprint: Boston University Tech Report 91-005, 1991

H. Buhrman, E. Spaan & L. Torenvliet Bounded Reductions Proceedings 8th Symposium Theoretical Aspects of Computer Science (STACS91), Lecture Notes in Computer Science, Springer-Verlag, Hamburg, Germany pp.410--421, 1991 preprint: ITLI-CT-90-04, 1990

H. Buhrman, M. Smid & E. Spaan Bounding the number of oracle queries for self-reducible sets Proceedings CSN90 Uitgave SION pp.79--93, 1990

H. Buhrman & L. Torenvliet A comparison of reductions on nondeterministic space Proceedings CSN89 Uitgave SION pp.191--102, 1989 preprint: Report ITLI-CT-89-04

Refereed Journal Publications

H. Buhrman, S. Fenner, L. Fortnow & L. Torenvliet Two oracles that force a big crunch Computational Complexity, 2001. To appear.

A. Ambainis, H. Buhrman, W. Gasarch, B. Kalyanasundaram & L. Torenvliet The communication complexity of enumeration, elimination and selection Journal of Computer and System Sciences, special issue of CCC'2000, to appear

H. Buhrman & L. Torenvliet Randomness is Hard SIAM Journal on Computing, 30(5): 1485--1501, 2000

H. Buhrman, L. Fortnow, D. van Melkebeek & L. Torenvliet Separating complexity classes using autoreducibilty SIAM Journal on Computing, Vol 29(5), pp. 1497-1520, 2000

H. Buhrman & L. Fortnow Two Queries Journal of Computer and System Sciences, Vol 59(2) pp.182-194, 1999 special issue for selected papers from the 13th annual conference on Structural Complexity Theory

H. Buhrman, J. Kadin, & T. Thierauf On Functions Computable with Nonadaptive Queries to NP Theory of Computing Systems, Vol 31(1), pp. 77-92, 1998

H. Buhrman, A. Hoene & L. Torenvliet Splittings, Robustness and Structure of Complete Sets SIAM Journal on Computing, Vol 2(3), pp. 637-653, 1998

H. Buhrman, L. Longpré & E. Spaan SPARSE reduces conjunctively to TALLY SIAM Journal on Computing, 24 - 4, 673--681, 1995

H. Buhrman & L. Torenvliet P-selective selfreducible Sets are Easy Journal of Computer and System Sciences 53-2, pp 210 -- 217, 1996 special issue for selected papers from the 8th annual conference on Structural Complexity Theory

H. Buhrman, L. Torenvliet & P. van Emde Boas Twenty Questions to a P-selector Information Processing Letters 48 - 4, 201-204, 1993

H. Buhrman, E. Spaan & L. Torenvliet The relative power of logspace and polynomial time reductions Journal of Computational Complexity 3, 231-244, 1993

H. Buhrman, E. Spaan & L. Torenvliet Bounded Reductions Complexity Theory: Current Research, 83--99, Cambridge University press 1993. preprint: ITLI-CT-90-04, 1990

H. Buhrman, S. Homer & L. Torenvliet On complete sets for nondeterministic classes Mathematical Systems Theory 24, 179-200, 1991. preprint: Boston University Tech Report 90-013, 1990

Randomness, Measure, and Kolmogorov Complexity

Conference Publications

H. Buhrman, S. Laplante & P. B. Miltersen New Bounds for the Language Compression Problem Proceedings of the 15th Annual IEEE Conference on Computational Complexity (CCC'2000), to appear

H. Buhrman, T. Jiang, M. Li & P. Vitányi New applications of the incompressibility method Proceedings of the International Colloquium on Automata, Languages, and Programming (ICALP99), Lecture Notes in Computer Science Vol 1644, pp 220-230, 1999

H. Buhrman & D. van Melkebeek Hard Sets are Hard to Find Proceedings of the 13th Annual IEEE Conference on Computational Complexity (CCC98), pp. 170-181, IEEE Computer Society, June 15-18 1998.

H. Buhrman & L. Fortnow One-sided Versus Two-sided Randomness Proceedings 16th Symposium on Theoretical Aspects of Computer Science (STACS99), Vol 1563, pp. 100-109, 1999

H. Buhrman, D. van Melkbeek, K. Regan, D. Sivakumar & M. Straus A Generalization of Resource-Bounded Measure, With an Application Proceedings 15th Symposium on Theoretical Aspects of Computer Science (STACS98), pp. 161-171, 1998

H. Buhrman, M. Li & P. Vitányi Kolmogorov random graphs and the incompressibility method Proceedings of Conference on Compression and Complexity of Sequences (SEQUENCES'97), IEEE Computer Society Press, Positano, Italy, pp. 87-96, 1997

H. Buhrman, S. Fenner & L. Fortnow Results on Resource-Bounded Measure Proceedings 24th International Colloquium on Automata, Languages, and Programming (ICALP'97), Lecture Notes in Computer Science, Springer, Bologna, Italy, pp 188 -- 194, 1997

H. Buhrman & L. Fortnow Resource-Bounded Kolmogorov Complexity Revisited Proceedings 14th Symposium on Theoretical Aspects of Computer Science (STACS97), Lecture Notes in Computer Science, Springer, Lübeck, Germany, pp 105 -- 116, 1997

H. Buhrman & L. Longpr\'e Compressibility and Resource Bounded Measure Proceedings 13th Symposium on Theoretical Aspects of Computer Science (STACS96), Lecture Notes in Computer Science, Springer, Grenoble, France, pp. 13 -- 24 1996.

H. Buhrman & E. Mayordomo An excursion to the Kolmogorov Random Strings Proceedings Structure in Complexity Theory, 10th annual conference (STRUCTURES95), IEEE Computer Society Press, Minneapolis, MN, pp. 197 -- 205, 1995

H. Buhrman & P. Orponen Random Strings Make Hard Instances Proceedings Structure in Complexity Theory, 9th annual conference (STRUCTURES94), IEEE Computer Society Press, Amsterdam, pp.217--223, 1994

Refereed Journal Publications

H. Buhrman, L. Fortnow & S. Laplante Resource-bounded Kolmogorov complexity revisited SIAM Journal on Computing, 2001, To appear

H. Buhrman & L. Longpr\'e Compressibility and Resource Bounded Measure SIAM Journal on Computing, To appear

H. Buhrman, D. van Melkbeek, K. Regan, D. Sivakumar & M. Straus A Generalization of Resource-Bounded Measure, With an Application to the BPP vs. EXP Problem SIAM Journal on Computing 30(2): 576-601, 2000

H. Buhrman, T. Jiang, M. Li & P. Vitányi New applications of the incompressibility method: Part II Theoretical Computer Science, 235:1, 59--70, 2000

H. Buhrman, M. Li, J. Tromp & P. Vitányi Kolmogorov Random Graphs and the Incompressibility Method SIAM Journal on Computing, Vol 29(2), pp. 590-599, 1999

H. Buhrman & D. van Melkebeek Hard Sets are Hard to Find Journal of Computer and System Sciences, Vol 59(2), pp. 327-345, 1999 special issue for selected papers from the 13th annual conference on Structural Complexity Theory

H. Buhrman & E. Mayordomo An excursion to the Kolmogorov Random Strings Journal of Computer and System Sciences, Vol 54(2), pp. 393-399, 1997 special issue for selected papers from the 10th annual conference on Structural Complexity Theory

H. Buhrman & P. Orponen Random Strings Make Hard Instances Journal of Computer and System Science, 53-2, pp. 261 -- 266, 1996 special issue for selected papers from the 9th annual conference on Structural Complexity Theory

Learning Theory

Conference Publications

J. Balcazar, H. Buhrman & M. Hermo Learnability of Kolmogorov-Easy Circuit Expressions Via Queries Proceedings 2nd European Conference on Learning Theory (EUROCOLT95), Lecture Notes in Artificial Intelligence, Springer, Barcelona, Spain, pp. 112 -- 124, 1995

Invited Survey and Conference Publications

H. Buhrman Quantum Computing and Communication Complexity Bulletin of the European Association for Theoretical Computer Science (EATCS), No. 70, pp 131 -- 141, February 2000

H. Buhrman & L. Torenvliet On the structure of complete sets Proceedings Structure in Complexity Theory, 9th annual conference (STRUCTURES94), IEEE Computer Society Press, Amsterdam, pp.118--133, 1994

H. Buhrman & L. Torenvliet Complete sets and structure in subrecursive classes Proceedings of the 1996 Logic Colloquium (LC96) of the European Chapter of the Association for Symbolic Logic, Lecture Notes in Logic 12, pp45-78, 1998

H. Buhrman, L. Fortnow & L. Torenvliet Six Hypotheses in Search of a Theorem Proceedings Computational Complexity Theory, 12th annual conference, IEEE Computer Science Press, Ulm, 1997 pp. 2 --12, 1997.

Technical Reports

J. Balcázar & H. Buhrman Characterizing the Learnability of Kolmogorov Easy Circuit Expressions NeuroCOLT Technical Report NC-TR-96-020, 1996

H. Buhrman & A.  Hoene On Honestly Iteratively Enumerable Sets Technische Universität Berlin, Tech Report 92-34, 1992

H. Buhrman, E. Spaan & L. Torenvliet On adaptive resource bounded computations preprint: Report ITLI-CT-89-09, 1989

Short Papers

H. Buhrman A Short Note on Shor's Factoring Algorithm SIGACT News Vol 27 Nr.1 March 1996 pp 89 -- 90.


Harry Buhrman
Last modified: Fri Nov 29 15:42:51 CET 2002