Titles In Print
DIMACS/AMS Volumes in Contemporary Mathematics Series:
DIMACS Volume Series:
- 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.
- Volume Seventy Four:
"Data Depth: Shortest Path Computations: Ninth DIMACS Challenge"
Editors: Camil Demetrescu, Andrew Goldberg, David Johnson, 2009.
- Volume Seventy Five:
"Modeling Paradigms and Analysis of Disease Transmission Models"
Editors: Abba Gumel, Suzanne Lenhart, 2010.
- Volume Seventy Six:
"BioMath in the Schools"
Editors: Margaret B. Cozzens, Fred S. Roberts, 2011.
In Press and Upcoming Volumes
Volumes
DIMACS Homepage
Contacting the Center
Document last modified on October 22, 2013.