default search action

• combined dblp search
• author search
• venue search
• publication search
• Semantic Scholar search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• MS Academic
• CiteSeerX
• CORE
• Semantic Scholar

DIMACS

• 
  588
  David A. Bader, Henning Meyerhenke, Peter Sanders, Dorothea Wagner:
  Graph Partitioning and Graph Clustering, 10th DIMACS Implementation Challenge Workshop, Georgia Institute of Technology, Atlanta, GA, USA, February 13-14, 2012. Proceedings. Contemporary Mathematics 588, American Mathematical Society 2013, ISBN 978-0-8218-9038-7 [contents]

• 
  76
  Margaret B. Cozzens, Fred S. Roberts:
  BioMath in the Schools, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, April 29-30, 2005. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 76, DIMACS/AMS 2011 [contents]
• 
  75
  Abba B. Gumel, Suzanne Lenhart:
  Modeling Paradigms and Analysis of Disease Trasmission Models, Proceedings of a DIMACS Workshop, South Africa, June, 2007. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 75, DIMACS/AMS 2010 [contents]
• 
  74
  Camil Demetrescu, Andrew V. Goldberg, David S. Johnson:
  The Shortest Path Problem, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, November 13-14, 2006. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 74, DIMACS/AMS 2009 [contents]
• 
  73
  Paul H. Siegel, Emina Soljanin, Adriaan J. de Lind van Wijngaarden, Bane V. Vasic:
  Advances in Information Recording, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, March 22-24, 2004. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 73, DIMACS/AMS 2008 [contents]
• 
  72
  Regina Y. Liu, Robert Serfling, Diane L. Souvaine:
  Data Depth: Robust Multivariate Analysis, Computational Geometry and Applications, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, May 14-16, 2003. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 72, DIMACS/AMS 2006 [contents]
• 
  71
  Zhilan Feng, Ulf Dieckmann, Simon A. Levin:
  Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 71, DIMACS/AMS 2006 [contents]
• 
  70
  James Abello, Graham Cormode:
  Discrete Methods in Epidemiology, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, March 18-19, 2004. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 70, DIMACS/AMS 2005 [contents]
• 
  69
  Siemion Fajtlowicz, Patrick W. Fowler, Pierre Hansen, Melvin F. Janowitz, Fred S. Roberts:
  Graphs and Discovery, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, November 12-16, 2001. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 69, DIMACS/AMS 2005 [contents]
• 
  68
  Alexei E. Ashikhmin, Alexander Barg:
  Algebraic Coding Theory and Information Theory, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, December 15-18, 2003. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 68, DIMACS/AMS 2005 [contents]
• 
  67
  Ravi Janardan, Michiel H. M. Smid, Debasis Dutta:
  Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, October 7-9, 2003. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 67, DIMACS/AMS 2005 [contents]
• 
  66
  Piyush Gupta, Gerhard Kramer, Adriaan J. van Wijnggaarden:
  Advances in Network Information Theory, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 17-19, 2003. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 66, DIMACS/AMS 2004 [contents]
• 
  65
  Santosh Srinivas Vempala:
  The Random Projection Method. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 65, DIMACS/AMS 2004, ISBN 0-8218-3793-1, pp. 1-103
• 
  64
  Melvyn B. Nathanson:
  Unusual Applications of Number Theory, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, January 10-14, 2000. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 64, DIMACS/AMS 2004 [contents]
• 
  63
  Jaroslav Nesetril, Peter Winkler:
  Graphs, Morphisms and Statistical Physics, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, March 19-21, 2001. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 63, DIMACS/AMS 2004 [contents]
• 
  62
  Gerard J. Foschini, Sergio Verdú:
  Multiantenna Channels: Capacity, Coding and Signal Processing, Proceedings of a DIMACS Workshop, Piscataway, USA, October 7-9, 2002. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 62, DIMACS/AMS 2003 [contents]
• 
  61
  Melvin F. Janowitz, François-Joseph Lapointe, Fred R. McMorris, Boris Mirkin, Fred S. Roberts:
  Bioconsensus, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, 2001. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 61, DIMACS/AMS 2003 [contents]
• 
  60
  Saugata Basu, Laureano González-Vega:
  Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Proceedings of a DIMACS Workshop, Piscataway, NJ, USA, March 12-16, 2001. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 60, DIMACS/AMS 2001, ISBN 0-8218-2863-0 [contents]
• 
  59
  Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch:
  Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenges, Proceedings of a DIMACS Workshop, USA, 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 59, DIMACS/AMS 2002 [contents]
• 
  58
  Simon Thomas:
  Set Theory: The Hajnal Conference, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 15-17, 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 58, DIMACS/AMS 1999 [contents]
• 
  57
  Eugene C. Freuder, Richard J. Wallace:
  Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 57, DIMACS/AMS 2001 [contents]
• 
  56
  Alexander Barg, Simon Litsyn:
  Codes and Association Schemes, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, November 9-12, 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 56, DIMACS/AMS 2001 [contents]
• 
  55
  Ding-Zhu Du, Panos M. Pardalos, Jie Wang:
  Discrete Mathematical Problems with Medical Applications, Proceedings of a DIMACS Workshop, December 8-10, 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 55, DIMACS/AMS 2000 [contents]
• 
  54
  Erik Winfree, David K. Gifford:
  DNA Based Computers, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, June 14-15, 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 54, DIMACS/AMS 2000 [contents]
• 
  53
  Nathaniel Dean, D. Frank Hsu, Ramamoorthi Rav:
  Robust Communication Networks: Interconnection and Survivability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, November 18-20, 1998. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 53, DIMACS/AMS 2000 [contents]
• 
  52
  Sanguthevar Rajasekaran, Panos M. Pardalos, D. Frank Hsu:
  Mobile Networks and Computing, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 25-27, 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 52, DIMACS/AMS 2000 [contents]
• 
  51
  Pierre Hansen, Patrick W. Fowler, Maolin Zheng:
  Discrete Mathematical Chemistry, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, 1998. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 51, DIMACS/AMS 2000 [contents]
• 
  50
  James M. Abello, Jeffrey Scott Vitter:
  External Memory Algorithms, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, May 20-22, 1998. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 50, DIMACS/AMS 1999 [contents]
• 
  49
  Ronald L. Graham, Jan Kratochvíl, Jaroslav Nesetril, Fred S. Roberts:
  Contemporary Trends in Discrete Mathematics: From DIMACS and DIMATIA to the Future, Proceedings of a DIMACS Workshop, Stirín Castle, Czech Republic, May 19-25, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 49, DIMACS/AMS 1999 [contents]
• 
  48
  Harvey Rubin, David Harlan Wood:
  DNA Based Computers, Proceedings of a DIMACS Workshop, Philadelphia, Pennsylvania, USA, June 23-25, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 48, DIMACS/AMS 1999 [contents]
• 
  47
  Martin Farach-Colton, Fred S. Roberts, Martin Vingron, Michael S. Waterman:
  Mathematical Support for Molecular Biology, Proceedings from the DIMACS Special Year, 1998. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 47, DIMACS/AMS 1999 [contents]
• 
  46
  Peng-Jun Wan, Ding-Zhu Du, Panos M. Pardalos:
  Multichannel Optical Networks: Theory and Practice, Proceedings of a DIMACS Workshop, March 16-19, 1998. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 46, DIMACS/AMS 1999 [contents]
• 
  45
  Marios Mavronicolas, Michael Merritt, Nir Shavit:
  Networks in Distributed Computing, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 27-29, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 45, DIMACS/AMS 1999 [contents]
• 
  44
  Laura F. Landweber, Eric B. Baum:
  DNA Based Computers, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, June 10-12, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 44, DIMACS/AMS 1999 [contents]
• 
  43
  Panos M. Pardalos, Sanguthevar Rajasekaran, José Rolim:
  Randomization Methods in Algorithm Design, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, December 12-14, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 43, DIMACS/AMS 1999 [contents]
• 
  42
  Ding-Zhu Du, Frank K. Hwang:
  Advances in Switching Networks, Proceedings of a DIMACS Workshop,Princeton, New Jersey, USA, July 7-9, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 42, DIMACS/AMS 1998 [contents]
• 
  41
  David Aldous, James Propp:
  Microsurveys in Discrete Probability, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 41, DIMACS/AMS 1998 [contents]
• 
  40
  Panos M. Pardalos, Ding-Zhu Du:
  Network Design: Connectivity and Facilities Location, Proceedings of a DIMACS Workshop, Princetin, New Jersey, USA, April 28-30, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 40, DIMACS/AMS 1998 [contents]
• 
  39
  Paul Beam, Samuel R. Buss:
  Proof Complexity and Feasible Arithmetics, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, April 21-24, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 39, DIMACS/AMS 1998 [contents]
• 
  38
  Rebecca N. Wright, Peter G. Neumann:
  Network Threats, Proceedings of a DIMACS Workshop, December 2-4, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 38, DIMACS/AMS 1998 [contents]
• 
  37
  Boris Mirkin, Fred R. McMorris, Fred S. Roberts, Andrey Rzhetsky:
  Mathematical Hierarchies and Biology, Proceedings of a DIMACS Workshop, November 13-15, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 37, DIMACS/AMS 1997 [contents]
• 
  36
  Joseph G. Rosenstein, Deborah S. Franzblau, Fred S. Roberts:
  Discrete Mathematics in the Schools, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 2-4, 1992. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 36, DIMACS/AMS 1992 [contents]
• 
  35
  Ding-Zhu Du, Jun Gu, Panos M. Pardalos:
  Satisfiability Problem: Theory and Applications, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 11-13, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 35, DIMACS/AMS 1997 [contents]
• 
  34
  Nathaniel Dean:
  African Americans in Mathematics, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, June 26-28, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 34, DIMACS/AMS 1997 [contents]
• 
  33
  Ravi Bopu Boppana, James F. Lynch:
  Logic and Random Structures, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, November 5-7, 1995. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 33, DIMACS/AMS 1997 [contents]
• 
  32
  Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled:
  The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32, DIMACS/AMS 1997 [contents]
• 
  31
  Neil Immerman, Phokion G. Kolaitis:
  Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31, DIMACS/AMS 1996, ISBN 0-8218-0517-7 [contents]
• 
  30
  Sandeep Nautam Bhatt:
  Parallel Algorithms, Proceedings of a DIMACS Workshop, Brunswick, New Jersey, USA, October 17-18, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 30, DIMACS/AMS 1994 [contents]
• 
  29
  Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann:
  Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29, DIMACS/AMS 1996 [contents]
• 
  28
  Larry Finkelstein, William M. Kantor:
  Groups and Computation, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, June 7-10, 1995. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 28, DIMACS/AMS 1996 [contents]
• 
  27
  Richard J. Lipton, Eric B. Baum:
  DNA Based Computers, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, April 4, 1995. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 27, DIMACS/AMS 1995 [contents]
• 
  26
  David S. Johnson, Michael A. Trick:
  Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 26, DIMACS/AMS 1996 [contents]
• 
  25
  Gilbert Baumslag, David B. A. Epstein, Robert H. Gilman, Hamish Short, Charles C. Sims:
  Geometric and Computational Perspectives on Infinite Groups, Proceedings of a DIMACS Workshop, USA, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 25, DIMACS/AMS 1994 [contents]
• 
  24
  Louis J. Billera, Curtis Greene, Rodica Simion, Richard P. Stanley:
  Formal Power Series and Algebraic Combinatorics, Proceedings of a DIMACS Workshop, USA, May 23-27, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 24, DIMACS/AMS 1996 [contents]
• 
  23
  Panos M. Pardalos, David Shalloway, Guoliang Xue:
  Global Minimization of Nonconvex Energy Functions: Molecular Conformation and Protein Folding, Proceedings of a DIMACS Workshop, USA, March 20-21, 1995. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 23, DIMACS/AMS 1996 [contents]
• 
  22
  Panos M. Pardalos, Mauricio G. C. Resende, K. G. Ramakrishnan:
  Workshop on Parallel Processing of Discrete Optimization Problems, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, April 28-29, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 22, DIMACS/AMS 1995 [contents]
• 
  21
  D. Frank Hsu, Arnold L. Rosenberg, Dominique Sotteau:
  Workshop on Interconnection Networks and Mapping and Scheduling Parallel Computations, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, February 7-9, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 21, DIMACS/AMS 1995 [contents]
• 
  20
  William J. Cook, László Lovász, Paul D. Seymour:
  Combinatorial Optimization, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, 1992/93. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 20, DIMACS/AMS 1995 [contents]
• 
  19
  Ingemar J. Cox, Pierre Hansen, Béla Julesz:
  Partitioning Data Sets, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, April 19-21, 1993. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 19, DIMACS/AMS 1995 [contents]
• 
  18
  Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan:
  Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 18, DIMACS/AMS 1994 [contents]
• 
  17
  Eric Sven Ristad:
  Language Computations, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA , March 20-22, 1992. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 17, DIMACS/AMS 1994 [contents]
• 
  16
  Panos M. Pardalos, Henry Wolkowicz:
  Quadratic Assignment and Related Problems, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, May 20-21, 1993. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 16, DIMACS/AMS 1994 [contents]
• 
  15
  Nathaniel Dean, Gregory E. Shannon:
  Computational Support for Discrete Mathematics, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 12-14, 1992. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 15, DIMACS/AMS 1994 [contents]
• 
  14
  A. Robert Calderbank, G. David Forney Jr., Nader Moayeri:
  Coding And Quantization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, October 19-21, 1992. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 14, DIMACS/AMS 1993 [contents]
• 
  13
  Jin-Yi Cai:
  Advances In Computational Complexity Theory, Proceedings of a DIMACS Workshop, New Jersey, USA, December 3-7, 1990. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 13, DIMACS/AMS 1993 [contents]
• 
  12
  David S. Johnson, Catherine C. McGeoch:
  Network Flows And Matching, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 14-16, 1991. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 12, DIMACS/AMS 1993 [contents]
• 
  11
  Larry Finkelstein, William M. Kantor:
  Groups And Computation, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 7-10, 1991. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 11, DIMACS/AMS 1993 [contents]
• 
  10
  Joel Friedman:
  Expanding Graphs, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 11-14, 1992. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 10, DIMACS/AMS 1993 [contents]
• 
  9
  William T. Trotter:
  Planar Graphs, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, November 18-21, 1991. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 9, DIMACS/AMS 1993 [contents]
• 
  8
  Simon Gindikin:
  Mathematical Methods Of Analysis Of Biopolymer Sequences, Proceedings of a DIMACS Workshop. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 8, DIMACS/AMS 1992 [contents]
• 
  7
  Lyle A. McGeoch, Daniel Dominic Sleator:
  On-Line Algorithms, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, February 11-13, 1991. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 7, DIMACS/AMS 1992 [contents]
• 
  6
  Jacob E. Goodman, Richard Pollack, William Steiger:
  Discrete and Computational Geometry: Papers from the DIMACS Special Year. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 6, DIMACS/AMS 1991 [contents]
• 
  5
  Fred Roberts, Frank Hwang, Clyde L. Monma:
  Reliability Of Computer And Communication Networks, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, December 2-4, 1989. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 5, DIMACS/AMS 1991 [contents]
• 
  4
  Peter Gritzmann, Bernd Sturmfels:
  Applied Geometry And Discrete Mathematics, Proceedings of a DIMACS Workshop, Providence, Rhode Island, USA, September 18, 1990. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 4, DIMACS/AMS 1991 [contents]
• 
  3
  Edmund M. Clarke, Robert P. Kurshan:
  Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 3, DIMACS/AMS 1991 [contents]
• 
  2
  Joan Feigenbaum, Michael Merritt:
  Distributed Computing And Cryptography, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, October 4-6, 1989. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 2, DIMACS/AMS 1991 [contents]
• 
  1
  William J. Cook, Paul D. Seymour:
  Polyhedral Combinatorics, Proceedings of a DIMACS Workshop, Morristown, New Jersey, USA, June 12-16, 1989. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 1, DIMACS/AMS 1990 [contents]

maintained by at