welcome
research|resources|people|software|pubs|information

MCS Publications


Here we maintain a link to MCS's technical report anonymous ftp area. Most documents are available in compressed dvi or compressed postscript form. You can download the one of your choice by clicking on the appropriate file name in the table of contents. For hard copies of these reports, contact Judy Beumer at beumer@mcs.anl.gov .


BooksAbstracts and information about recent books by MCS Division members.
Abstracts of Reports and Preprints
PreprintsMost MCS recent publications are available in preprint form. The reference ID is characterized by a prefix "P", for example, MCS-P446-0694. Where possible we prefer the document to be referenced in the final published form (see the MCS Bibliography).
P1-P499P500-P999P1000+
ANL ReportsOccasionally a document will be released internally via the ANL report series.  Reports' reference IDs are characterized by "ANL" in the title; for instance,  ANL-93/40.
Technical MemorandaThe reference ID of a technical memorandum  is characterized by "TM" in the title; for instance,  ANL/MCS-TM-171.
Climate and Global Change ReportsThe reference ID of these reports is characterized by "CGC" in the title; for instance,  ANL/CGC-001-0200.
NewslettersThe Association for Automated Reasoning Newsletters.
MCS Complete BibliographyA complete bibliography in bibtex format of MCS publications since 1984.  (>600 kB)
[MCS | Research | Resources | People | Collaboration | Software | Publications | Information]