DIMACS Book Series:
Published by the American Mathematical Society

Titles In Print:

• Volume One: "Polyhedral Combinatorics" Editors: William Cook and Paul D. Seymour, 1990

• Volume Two: "Distributed Computing and Cryptographt" Editiors: Joan Feigenbaum and Michael Merritt, 1991

• Volume Three: "Computer-aided Verification '90" Editors: E.M. Clarke and R.P. Kurshan, 1991

• Volume Four: "Applied Geometry and Discrete Mathematics" Editors: Peter Gritzmann and Bernd Sturmfels, 1991

• Volume Five: "Reliability of Computer and Communication Networks" Editors: Fred Roberts, Frank Hwang and Clyde Monma, 1991

• Volume Six: "Discrete and Computational Geometry: Papers from the DIMACS Special Year" Editors: Jacob E. Goodman, Richard Pollack and William Steiger, 1991

• Volume Seven: "On-line Algorithms" Editors: Lyle A. McGeoch and Daniel D. Sleator, 1992

• Volume Eight: "Mathematical Methods of Analysis of Biopolymer Sequences" Editor: Simon Gindikin, 1992

• Volume Nine: "Planar Graphs" Editor: William T. Trotter, 1993

• Volume Ten: "Expanding Graphs" Editor: Joel Friedman, 1993

• Volume Eleven: "Groups and Computation" Editors: Larry Finkelstein, William M. Kantor, 1993

• Volume Twelve: "Network Flows and Matching: First DIMACS Implementation Challenge" Editors: David S. Johnson, Catherine C. McGeoch, 1993

• Volume Thirteen: "Advances in Computational Complexity Theory" Editor: Jin-Yi Cai, 1993

• Volume Fourteen: "Coding and Quantization" Editors: Robert Calderbank, G. David Forney, Jr., Nader Moayeri, 1993

• Volume Fifteen: "Computational Support for Discrete Mathematics" Editors: Nathaniel Dean, Gregory E. Shannon, 1994

• Volume Sixteen: "Quadratic Assignment and Related Problems" Editors: Panos M. Pardalos and Henry Wolkowicz, 1994

• Volume Seventeen: "Language Computations" Editors: Eric Sven Ristad, 1994

• Volume Eighteen: "Specification of Parallel Algorithms" Editors: Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, 1994

• Volume Nineteen: "Partitioning Data Sets" Editors: Ingemar Cox, Pierre Hansen, Bela Julesz, 1995

• Volume Twenty: "Combinatorial Optimization" Editors: William Cook, Laszlo Lovasz, Paul Seymour, 1995

• Volume Twenty One: "Workshop on Interconnection Networks and Mapping and Scheduling Parallel Computations" Editors: D. Frank Hsu, Arnold L. Rosenberg, Dominique Sotteau, 1995

• Volume Twenty Two: "Workshop on Parellel Processing of Discrete Optimization Problems" Editors: Panos M. Pardalos, Mauricio G.C. Resende, K.G. Ramakrishnan, 1995

• Volume Twenty Three: "Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding" Editors: P.M. Pardalos, D. Shalloway, and G. Xue, 1996

• Volume Twenty Four: "Formal Power Series and Algebraic Combinatorics - Series Formalles et Combinatoire Algebrique" Editors: Louis Billera, Curtis Greene, Rodica Simion, and Richard Stanley, 1996

• Volume Twenty Five: "Geometric and Computational Perspectives on Infinite Groups - Proceedings of a Joint DIMACS/Geometry Center Workshop January 3-14 and March 17-20, 1994" Editors: Gilbert Baumslag, David Epstein, Robert Gilman, Hamish Short, and Charles Sims, 1996

• Volume Twenty Six: "Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge" Editors: David S. Johnson and Michael A. Trick, 1996

• Volume Twenty Seven: "DNA Based Computers - Proceedings of a DIMACS Workshop, April 4, 1995" Editors: Richard J Lipton and Eric B. Baum, 1996

• Volume Twenty Eight: "Groups and Computation II - Workshop in Groups and Computation, June 7-10, 1996," Editors: Larry Finkelstein and William Kantor, 1997

• Volume Twenty Nine: "Partial Order Methods in Verification: DIMACS Workshop, July 24-26, 1996," Editors: Doron A. Peled, Vaughan R. Pratt, and Gerard J. Holzmann, 1997

• Volume Thirty: "Parallel Algorithms: Third DIMACS Implementation Challenge, October 17-19, 1994," Editor: Sandeep N. Bhatt, 1997

• Volume Thirty One: "Descriptive Complexity and Finite Models: Proceedings of a DIMACS Workshop, January 14-17, 1996," Editors: Neil Immerman and Phokion G. Kolaitis, 1997

• Volume Thirty Two: "The SPIN Verification System: The Second Workshop on the SPIN Verification System Proceedings of a DIMACS Workshop August 5, 1996," Editors: Jean-Charles Gregoire, Gerard J. Holzmann, Doron A, Peled, 1997

• Volume Thirty Three: "Logic and Random Structures" Editors: Ravi Boppana and James Lynch, 1997

• Volume Thirty Four: "African Americans in Mathematics" Editor: Nathaniel Dean, 1997

• Volume Thirty Five: "Satisfiability Problem: Theory and Applications" Editors: Dingzhu Du, Jun Gu, and Panos M. Pardalos, 1997

• Volume Thirty Six: "Discrete Mathematics in the Schools" Editors: Joseph G. Rosenstein, Deborah S. Franzblau, Fred S. Roberts, 1997

• Volume Thirty Seven: "Mathematical Hierarchies and Biology" Editors: Boris Mirkin, F. R. McMorris, Fred S. Roberts and Andrey Rzhetsky, 1997

• Volume Thirty Eight: "Network Threats" Editors: Rebecca N. Wright and Peter G. Neumann, 1998

• Volume Thirty Nine: "Proof Complexity and Feasible Arithmetics" Editors: P. Beame and S. Buss, 1998

• Volume Forty: "Network Design: Connectivity and Facilities Location" Editors: Panos M. Pardalos and Dingzhu Du, 1998

• Volume Forty One: "Microsurveys in Discrete Probability" Editors: David Aldous and James Propp, 1998

• Volume Forty Two: "Advances in Switching Networks" Editors: Ding-Zhu Du and Frank K. Hwang, 1998

• Volume Forty Three: "Randomization Methods in Algorithm Design" Editors: Panos Pardalos and Sanguthevar Rajasekaran, 1999

• Volume Forty Four: "DNA Based Computers II" Editors: Laura Landweber and Eric Baum, 1999

• Volume Forty Five: "Networks in Distributed Computing" Editors: Marios Mavronicolas, Michael Merritt and Nir Shavitt, 1999

• Volume Forty Six: "Multichannel Optical Networks: Theory and Practice" Editors: Peng-Jun Wan, Ding-Zhu Du, Panos M. Pardalos, 1999

• Volume Forty Seven: "Mathematical Support for Molecular Biology" Editors: Martin Farach-Colton, Fred S. Roberts, Martin Vingron and Michael Waterman, 1999

• Volume Forty Eight: "DNA Based Computers III" Editors: Harvey Rubin and David Harlan Wood, 1999

• Volume Forty Nine: "Contemporary Trends in Discrete Mathematics: From DIMACS and DIMATIA to the Future" Editors: Ronald L. Graham, Jan Kratochvil, Jaroslav Nesetril and Fred S. Roberts, 1999

• Volume Fifty: "External Memory Algorithms" Editors: James M. Abello and Jeffrey Scott Vitter, 1999

• Volume Fifty One: "Discrete Mathematical Chemistry" Editors: Pierre Hansen, Patrick Fowler and Maolin Zheng, 2000

• Volume Fifty Two: "Mobile Networks and Computing" Editors: Sanguthevar Rajasekaran, Panos Pardalos and D. Frank Hsu, 2000

• Volume Fifty Three: "Robust Communication Networks: Interconnection and Survivability" Editors: Nathaniel Dean, D. Frank Hsu and R. Rav, 2000

• Volume Fifty Four: "DNA Based Computers V" Editors: Erik Winfree and David K. Gifford, 2000

• Volume Fifty Five: "Discrete Mathematical Problems with Medical Applications" Editors: Ding-Zhu Du, Panos M. Pardalos, and Jie Wang, 2000

• Volume Fifty Six: "Codes and Association Schemes" Editors: Alexander Barg and Simon Litsyn, 2001

• Volume Fifty Seven: "Constraint Programming and Large Scale Discrete Optimization" Editors: Eugene C. Freuder and Richard J. Wallace, 2001

• Volume Fifty Eight: "Set Theory: The Hajnal Conference, October 15 - 17, 1999" Editor: Simon Thomas, 2002

• Volume Fifty Nine: "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenges" Editors: Michael H. Goldwasser, David S. Johnson and Catherine C. McGeoch, 2002

• Volume Sixty: "Algorithmic and Quantitative Real Algebraic Geometry" Editors: Saugata Basu and Laureano Gonzalez-Vega, 2003

• Volume Sixty One: "Bioconsensus" Editors: M. F. Janowitz, F.-J. Lapointe, F. R. McMorris and F. S. Roberts, 2003

• Volume Sixty Two: "Multiantenna Channels: Capacity, Coding and Signal Processing" Editors: Gerard J. Foschini and Sergio Verdú, 2003

• Volume Sixty Three: "Graphs, Morphisms and Statistical Physics" Editors: Jaroslav Nesetril & Peter Winkler, 2004

• Volume Sixty Four: "Unusual Applications of Number Theory" Editor: Melvyn B. Nathanson, 2004

• Volume Sixty Five: "The Random Projection Method" Author: Santosh S. Vempala, 2004

• Volume Sixty Six: "Advances in Network Information Theory" Editors: Piyush Gupta, Gerhard Kramer, and Adriaan J. van Wijnggaarden, 2004

• Volume Sixty Seven: "Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing" Editors: Ravi Janardan, Michiel Smid, and Debasis Dutta, 2005

• Volume Sixty Eight: "Algebraic Coding Theory and Information Theory" Editors: A. Ashikhmin and A. Barg, 2005

• Volume Sixty Nine: "Graphs and Discovery" Editors: Siemion Fajtlowicz, Patrick W. Fowler, Pierre Hansen, Melvin F. Janowitz and Fred S. Roberts, 2005.

• Volume Seventy: "Discrete Methods in Epidemiology" Editors: James Abello and Graham Cormode, 2005.

• Volume Seventy One: "Disease Evolution: Models, Concepts, and Data Analysis" Editors: Zhilan Feng, Ulf Dieckmann, Simon Levin, 2006.

• Volume Seventy Two: "Data Depth: Robust Multivariate Analysis, Computational Geometry and Applications" Editors: Regina Liu, Robert Serfling and Diane Souvaine, 2006.

• Volume Seventy Three: "Data Depth: Advances in Information Recording" Editors: Paul H. Siegel, Emina Soljanin, Adriaan J. van Wijgngaarden, and Bane Vasic, 2008.

In Press and Upcoming Volumes:

• "Shortest Path Computations: Ninth DIMACS Challenge" Editors: Camil Demetrescu, Andrew Goldberg, David Johnson

Volumes

DIMACS Homepage