text:
Viola and Katja Buehler and Timo Ropinski},
title = {Imaging the Vascular Network of the Human Spleen from Immunostained Serial Sections},
author = {Ulrich, Christine and Lobachev, Oleg and Steiniger, Birte S. and Guthe, Michael},
year = {2014},
series = {VCBM'14},
Xpublisher = {The Eurographics Association},
publisher = {EG},
ISSN = {2070-5778},
ISBN = {978-3-905674-62-0},
DOI = {10.2312/vcbm.20141185}
}

@inproceedings {vcbm-short,
OPTbooktitle = {Visual Computing for Biology and Medicine},
OPTeditor = {Ivan Viola and Katja Buehler and Timo Ropinski},
title = {Imaging the Vascular Network of the Human Spleen from Immunostained Serial Sections},
author = {Ulrich, Christine and Lobachev, Oleg and Steiniger, Birte S. and Guthe, Michael},
year = {2014},
booktitle = {VCBM'14},
OPTpublisher = {The Eurographics Association},
publisher = {EG},
ISSN = {2070-5778},
ISBN = {978-3-905674-62-0},
DOI = {10.2312/vcbm.20141185}
}

@article {vcbm-,
OPTtitle = {},
author = {\emph{Redacted for review}},
year = {2014},
}

@article{folici,
year={2011},
issn={0948-6143},
journal={Histochemistry and Cell Biology},
volume={135},
number={4},
doi={10.1007/s00418-011-0799-x},
title={The follicular dendritic cell network in secondary follicles of human palatine tonsils and spleens},
OPTurl={http://dx.doi.org/10.1007/s00418-011-0799-x},
publisher={Springer-Verlag},
keywords={FDCs; Human tonsil; Human spleen},
author={Steiniger, Birte S. and Trabandt, Marc and Barth, Peter J.},
pages={327--336},
language={English}
}

@article{sift2,
year={2004},
issn={0920-5691},
longjournal={International Journal of Computer Vision},
journal={Int.\ J.\ Comput.\ Vis.},
volume={60},
number={2},
doi={10.1023/B:VISI.0000029664.99615.94},
title={Distinctive Image Features from Scale-Invariant Keypoints},
doi={10.1023/B%3AVISI.0000029664.99615.94},
longpublisher={Kluwer Academic Publishers},
publisher={Kluwer},
keywords={invariant features; object recognition; scale invariance; image matching},
author={Lowe, David G.},
pages={91--110},
language={English}
}

@incollection{kaze,
year={2012},
isbn={978-3-642-33782-6},
longbooktitle={Computer Vision -- ECCV 2012},
booktitle={ECCV'12},
longvolume={7577},
longseries={Lecture Notes in Computer Science},
series={LNCS 7577},
editor={Fitzgibbon, Andrew and Lazebnik, Svetlana and Perona, Pietro and Sato, Yoichi and Schmid, Cordelia},
doi={10.1007/978-3-642-33783-3_16},
title={{KAZE} Features},
OPTurl={http://dx.doi.org/10.1007/978-3-642-33783-3_16},
longpublisher={Springer Berlin Heidelberg},
publisher={Springer},
author={Alcantarilla, Pablo F. and Bartoli, Adrien and Davison, Andrew J.},
pages={214--227},
language={English}
}

@article{parafin,
year={2007},
issn={0948-6143},
longjournal={Histochemistry and Cell Biology},
journal = {Histochem.\ Cell Biol.},
volume={128},
number={5},
doi={10.1007/s00418-007-0320-8},
title={Phenotypic differences between red pulp capillary and sinusoidal endothelia help localizing the open splenic circulation in humans},
OPTurl={http://dx.doi.org/10.1007/s00418-007-0320-8},
OPTpublisher={Springer-Verlag},
publisher={Springer},
keywords={Human spleen; Microvasculature; Phenotype of capillaries and sinuses; Fibroblasts},
author={Steiniger, Birte and Stachniss, Vitus and Schwarzbach, Hans and Barth, PeterJ.},
pages={391--398},
language={English}
}

@article{twocolor1,
year={2014},
issn={0948-6143},
LONGjournal={Histochemistry and Cell Biology},
journal = {Histochem.\ Cell Biol.},
volume={141},
number={5},
doi={10.1007/s00418-013-1172-z},
title={B\nolinebreak[2] lymphocyte compartments in the human splenic red pulp: capillary sheaths and periarteriolar regions},
OPTurl={http://dx.doi.org/10.1007/s00418-013-1172-z},
OPTpublisher={Springer Berlin Heidelberg},
publisher={Springer},
keywords={Human spleen; Capillary sheaths; Stromal sheath cells; CD271; CXCL13; CD169},
author={Steiniger, Birte S. and Seiler, Anja and Lampp, Katrin and Wilhelmi, Verena and Stachniss, Vitus},
pages={507--518},
language={English}
}

@article {twocolor2,
author = {Steiniger, Birte S. and Wilhelmi, Verena and Seiler, Anja and Lampp, Katrin and Stachniss, Vitus},
title = {Heterogeneity of stromal cells in the human splenic white pulp. {Fibroblastic} reticulum cells, follicular dendritic cells and a third superficial stromal cell type},
longjournal = {Immunology},
journal = {Immunol.},
volume = {143},
number = {3},
issn = {1365-2567},
OPTurl = {http://dx.doi.org/10.1111/imm.12325},
doi = {10.1111/imm.12325},
pages = {462--477},
keywords = {human spleen, immunohistology, splenic stromal cells, splenic white pulp},
year = {2014},
}

@article{dic,
year={2014},
issn={0014-4851},
longjournal={Experimental Mechanics},
journal = {Exp.\ Mech.},
volume={54},
number={6},
doi={10.1007/s11340-014-9873-3},
title={In Situ Measurements of Strains in Composite Battery Electrodes during Electrochemical Cycling},
OPTurl={http://dx.doi.org/10.1007/s11340-014-9873-3},
LONGpublisher={Springer US},
publisher={Springer},
keywords={Lithium-ion battery; Graphite composite electrode; Digital image correlation; Electrode mechanics; In situ strain measurement},
author={Jones, E.M.C. and Silberstein, M.N. and White, S.R. and Sottos, N.R.},
pages={971--985},
language={English}
}

@INPROCEEDINGS{lorenz,
author={Lorenz, K. S. and Salama, P. and Dunn, K. W. and Delp, E. J.},
longbooktitle={Biomedical Imaging (ISBI), 2012 9th IEEE International Symposium on},
Xbooktitle={Biomedical Imaging (ISBI'12)},
series = {ISBI'12},
title={A multi-resolution approach to non-rigid registration of microscopy images},
year={2012},
publisher={IEEE},
OPTmonth={May},
pages={198-201},
abstract={Images collected by intravital microscopy suffer from motion artifacts which necessitates the use of image registration techniques to reconstruct three-dimensional or time series data. In this paper, we describe a multi-resolution/multi-level approach to non-rigid image registration using B-splines with a coarse-to-fine strategy. A control lattice with a coarse grid spacing is used first to account for slowly changing deformations. Next, a control lattice with a finer grid spacing is used to account for more localized and quickly changing deformations. We demonstrate this method on a sequence of images acquired from the lung of a living rat.},
keywords={biomedical optical imaging;image reconstruction;image registration;lung;medical image processing;motion compensation;optical microscopy;splines (mathematics);3D data reconstruction;B-splines;coarse grid spacing control lattice;fine grid spacing control lattice;image registration techniques;intravital microscopy;lung;motion artifacts;multilevel approach;multiresolution approach;nonrigid microscopy image registration;rat model;time series data reconstruction;Biomedical imaging;Educational institutions;Image registration;Lattices;Measurement;Microscopy;Splines (mathematics);image registration;intravital microscopy},
doi={10.1109/ISBI.2012.6235518},
ISSN={1945-7928},}

@ARTICLE{6576835,
author={Song, Y. and Treanor, D. and Bulpitt, A. J. and Wijayathunga, N. and Roberts, N. and Wilcox, R. and Magee, D. R.},
longjournal={Biomedical Engineering, IEEE Transactions on},
journal = {IEEE T.\ Bio-Med.\ Eng.},
title={Unsupervised content classification based nonrigid registration of differently stained histology images},
year={2014},
OPTmonth={Jan},
volume={61},
number={1},
pages={96--108},
keywords={biological tissues;biomedical MRI;diseases;image classification;image registration;image sequences;liver;medical image processing;probability;3D histopathology;MRI sequences;disease pathology;gigabyte-size imaging;high-lighting different substances;histopathology image registration;immunohistochemical stains;intervertebral disc specimen;liver specimens;multiresolution-block-matching-based nonrigid registration scheme;multiscale physical modeling;multistained histology image performance;nonrigid distortions;tissue imaging;unsupervised content classification based nonrigid registration;Classification algorithms;Educational institutions;Image color analysis;Liver;Microscopy;Support vector machine classification;Vectors;Computerized diagnosis;digital pathology;histology registration;image analysis;multistains;mutual information;virtual slides},
doi={10.1109/TBME.2013.2277777},
ISSN={0018-9294},}

@article{Ruiz:2009:NRL:1527246.1527249,
 author = {Ruiz, Antonio and Ujaldon, Manuel and Cooper, Lee and Huang, Kun},
 title = {Non-rigid Registration for Large Sets of Microscopic Images on Graphics Processors},
 Xjournal = {J.\ Signal Process.\ Syst.},
 journal = {Journal of Signal Processing Systems},
 issue_date = {April 2009},
 volume = {55},
 number = {1--3},
 OPTmonth = apr,
 year = {2009},
 issn = {1939-8018},
 pages = {229--250},
 numpages = {22},
 OPTurl = {http://dx.doi.org/10.1007/s11265-008-0208-4},
 doi = {10.1007/s11265-008-0208-4},
 acmid = {1527249},
 publisher = {Kluwer Academic Publishers},
 Xpublisher = {Kluwer},
 address = {Hingham, MA, USA},
 keywords = {Feature detection, Graphics processors, High-performance computing},
}
@article{Likar200133,
title = "A hierarchical approach to elastic registration based on mutual information ",
journal = "Image and Vision Computing ",
Xjournal = "Image Vis.\ Comput.",
volume = "19",
number = "1–2",
pages = "33--44",
year = "2001",
note = "",
issn = "0262-8856",
doi = "10.1016/S0262-8856(00)00053-6",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S0262885600000536",
OPTauthor = "B. Likar and F. Pernuš",
author = "B. Likar and F. Pernu\v{s}",
keywords = "Elastic hierarchical registration",
keywords = "Mutual information",
keywords = "Shading correction ",
abstract = "A hierarchical approach to elastic registration based on mutual information, in which the images are progressively subdivided, locally registered, and elastically interpolated, is presented. To improve the registration, a combination of prior and floating information on the joint probability is proposed. It is shown that such a combination increases the registration speed at the coarser levels in hierarchy, enables a registration of finer details, and provides additional guidance to the optimisation process. Besides, a threefold local registration consistency test and correction of shading were employed to increase the overall registration performance. The proposed hierarchical method for elastic registration was tested on an experimental database of 2D images of histochemically differently stained serial cross-sections of human skeletal muscle. The obtained results show that 95% of the images could be successfully registered. The inclusion of prior information is an important break through that may enable routine use of the mutual information cost function in a variety of 2D and 3D image registration algorithms in the future. "
}

@article{doi:10.1259/bjr/25329214,
author = {W. R. Crum and T. Hartkens and D. L. G. Hill},
title = {Non-rigid image registration: theory and practice},
longjournal = {The British Journal of Radiology},
journal = {Br.\ J.\ Radiol.},
volume = {77},
number = {suppl\_2},
pages = {S140--S153},
year = {2004},
Xdoi = {10.1259/bjr/25329214},
OPTnote ={PMID: 15677356},
doi = {10.1259/bjr/25329214},
    abstract = { Image registration is an important enabling technology in medical image analysis. The current emphasis is on development and validation of application-specific non-rigid techniques, but there is already a plethora of techniques and terminology in use. In this paper we discuss the current state of the art of non-rigid registration to put on-going research in context and to highlight current and future clinical applications that might benefit from this technology. The philosophy and motivation underlying non-rigid registration is discussed and a guide to common terminology is presented. The core components of registration systems are described and outstanding issues of validity and validation are confronted. }
}

@ARTICLE{6514485,
author={Cifor, A. and Risser, L. and Chung, D. and Anderson, E. M. and Schnabel, J. A.},
longjournal={Medical Imaging, IEEE Transactions on},
journal={IEEE T. Med.\ Imaging},
title={Hybrid Feature-Based Diffeomorphic Registration for Tumor Tracking in {2-D} Liver Ultrasound Images},
year={2013},
OPTmonth={Sept},
volume={32},
number={9},
pages={1647--1656},
keywords={biomedical ultrasonics;feature extraction;image matching;image registration;medical image processing;tumours;ultrasonic imaging;2D liver ultrasound images;Demons-type information;block-matching scheme;deformation fields;diffeomorphic method;final transformation;hybrid feature-based diffeomorphic registration;image feature;image quality;image registration method;intensity values;medical community;novel diffeomorphic registration technique;phase congruency;pivotal resource;real clinical data;real-time ultrasound image acquisition;regional contribution;spatial correspondences;synthetic clinical data;tumor tracking;Kernel;Liver;Robustness;Target tracking;Tumors;Ultrasonic imaging;Vectors;Block-matching;diffeomorphic registration;tumor tracking;ultrasound;Algorithms;Databases, Factual;Humans;Image Processing, Computer-Assisted;Liver;Liver Neoplasms;Movement},
doi={10.1109/TMI.2013.2262055},
ISSN={0278-0062},}

@ARTICLE{ssim,
author={Zhou Wang and Bovik, A.C. and Sheikh, H.R. and Simoncelli, E.P.},
longjournal={Image Processing, IEEE Transactions on},
journal={IEEE T.\ Image Process.},
title={Image quality assessment: from error visibility to structural similarity},
year={2004},
OPTmonth={April},
volume={13},
number={4},
pages={600--612},
abstract={Objective methods for assessing perceptual image quality traditionally attempted to quantify the visibility of errors (differences) between a distorted image and a reference image using a variety of known properties of the human visual system. Under the assumption that human visual perception is highly adapted for extracting structural information from a scene, we introduce an alternative complementary framework for quality assessment based on the degradation of structural information. As a specific example of this concept, we develop a structural similarity index and demonstrate its promise through a set of intuitive examples, as well as comparison to both subjective ratings and state-of-the-art objective methods on a database of images compressed with JPEG and JPEG2000. A MATLAB implementation of the proposed algorithm is available online at http://www.cns.nyu.edu/∼lcv/ssim/.},
keywords={data compression;image coding;visual perception;JPEG;JPEG2000;distorted image;error sensitivity;error visibility;human visual perception;human visual system;image compression;image database;perceptual image quality assessment;reference image;structural information;structural similarity index;Data mining;Degradation;Humans;Image quality;Indexes;Layout;Quality assessment;Transform coding;Visual perception;Visual system;Algorithms;Data Interpretation, Statistical;Hypermedia;Image Enhancement;Image Interpretation, Computer-Assisted;Information Storage and Retrieval;Models, Statistical;Pattern Recognition, Automated;Quality Control;Reproducibility of Results;Sensitivity and Specificity;Signal Processing, Computer-Assisted;Subtraction Technique},
doi={10.1109/TIP.2003.819861},
ISSN={1057-7149},}

@article{han2010feature,
  title={Feature-constrained nonlinear registration of lung {CT} images},
  author={Han, Xiao},
  journal={Medical image analysis for the clinic: a grand challenge},
  pages={63--72},
  year={2010},
  OPTpublisher={Citeseer}
}

@inproceedings{urschler2006sift-,
  title={{SIFT} and shape context for feature-based nonlinear registration of thoracic {CT} images},
  author={Urschler, Martin and Bauer, Joachim and Ditt, Hendrik and Bischof, Horst},
  year={2006},
  booktitle = {CVAMIA'06},
  series = {LNCS 4241},
  editor = {R. R. Beichel and M. Sonka},
  publisher={Springer}
}
@incollection{urschler2006sift,
year={2006},
isbn={978-3-540-46257-6},
booktitle={Computer Vision Approaches to Medical Image Analysis},
Xbooktitle={CVAMIA'06},
OPTvolume={4241},
OPTseries={Lecture Notes in Computer Science},
series = {LNCS 4241},
editor={Beichel, Reinhard R. and Sonka, Milan},
doi={10.1007/11889762_7},
title={{SIFT} and Shape Context for Feature-Based Nonlinear Registration of Thoracic {CT} Images},
OPTurl={http://dx.doi.org/10.1007/11889762_7},
LONGpublisher={Springer Berlin Heidelberg},
publisher={Springer},
author={Urschler, Martin and Bauer, Joachim and Ditt, Hendrik and Bischof, Horst},
pages={73--84},
language={English}
}
@proceeding{doi:10.1117/12.386567,
author = {Hsu, Chiou-Ting and Beuker, Rob A.},
title = {Multiresolution feature-based image registration},
journal = {Proc.\ SPIE},
volume = {4067},
number = {},
pages = {1490--1498},
abstract = {Image registration is the fundamental task used to match two or more partially overlapping images and stitch these images into one panoramic image comprising the whole scene. To register two images, the coordinate transformation between a pair of images must be found. In this paper, a multiresolution feature-based method is developed to efficiently estimate an eight-parametric projective transformation model between pairs of images. The proposed method has been tested and work well on many images of static scene taken with a hand-held digital still camera.},
year = {2000},
doi = {10.1117/12.386567},
OPTURL = { http://dx.doi.org/10.1117/12.386567},
Xeprint = {}
}
@incollection{vision-overlay-,
year={1995},
isbn={978-3-540-59120-7},
booktitle={Computer Vision, Virtual Reality and Robotics in Medicine},
LONGvolume={905},
LONGseries={Lecture Notes in Computer Science},
series={LNCS 905},
editor={Ayache, Nicholas},
doi={10.1007/978-3-540-49197-2_2},
title={Vision-Based Object Registration for Real-Time Image Overlay},
OPTurl={http://dx.doi.org/10.1007/978-3-540-49197-2_2},
LONGpublisher={Springer Berlin Heidelberg},
publisher={Springer},
author={Uenohara, Michihiro and Kanade, Takeo},
pages={13--22},
language={English}
}
@article{vision-overlay,
title = "Vision-based object registration for real-time image overlay",
journal = "Computers in Biology and Medicine",
volume = "25",
number = "2",
pages = "249--260",
year = "1995",
OPTnote = "Virtual Reality for Medicine",
issn = "0010-4825",
doi = "10.1016/0010-4825(94)00045-R",
OPTurl = "http://www.sciencedirect.com/science/article/pii/001048259400045R",
author = "M. Uenohara and T. Kanade",
keywords = "Image overlay Computer vision Visual tracking Registration Augmented reality ",
abstract = "This paper presents a computer vision-based technique for object registration, real-time tracking, and image overlay. The capability can be used to superimpose registered medical images such as those from \{CT\} or \{MRI\} on to a video image of a patient's body. Real-time object registration enables an image to be overlaid consistently on the objects even while the objects and cameras viewing it are moving. Object registration is composed of feature tracking, feature correspondence, and pose calculation of objects. This technique is based on geometric models of objects, but it can be extended so that some image overlay is possible without a prior model of the object. "
}

@article{fiji,
	Annote = {10.1038/nmeth.2019},
	allAuthor = {Schindelin, Johannes and Arganda-Carreras, Ignacio and Frise, Erwin and Kaynig, Verena and Longair, Mark and Pietzsch, Tobias and Preibisch, Stephan and Rueden, Curtis and Saalfeld, Stephan and Schmid, Benjamin and Tinevez, Jean-Yves and White, Daniel James and Hartenstein, Volker and Eliceiri, Kevin and Tomancak, Pavel and Cardona, Albert},
Author = {Schindelin, Johannes and Arganda-Carreras, Ignacio and Frise, Erwin and Kaynig, Verena and Longair, Mark and Pietzsch, Tobias and Preibisch, Stephan and Rueden, Curtis and Saalfeld, Stephan and Schmid, Benjamin and others},
	Date = {2012/07//print},
	Date-Added = {2015-07-04 18:01:04 +0000},
	Date-Modified = {2015-07-04 18:01:04 +0000},
	Isbn = {1548-7091},
	Journal = {Nat.\ Methods},
	L3 = {http://www.nature.com/nmeth/journal/v9/n7/abs/nmeth.2019.html#supplementary-information},
	doi = {10.1038/nmeth.2019},
	optMonth = {07},
	Number = {7},
	Pages = {676--682},
	longPublisher = {Nature Publishing Group, a division of Macmillan Publishers Limited. All Rights Reserved.},
        Publisher = {Nature},
	Title = {Fiji: an open-source platform for biological-image analysis},
	Ty = {JOUR},
	optUrl = {http://dx.doi.org/10.1038/nmeth.2019},
	Volume = {9},
	Year = {2012},
	Bdsk-Url-1 = {http://dx.doi.org/10.1038/nmeth.2019}}

@article{Saalfeld15062010,
origauthor = {Saalfeld, Stephan and Cardona, Albert and Hartenstein, Volker and Tomančák, Pavel},
author = {Saalfeld, Stephan and Cardona, Albert and Hartenstein, Volker and Toman\v{c}\'{a}k, Pavel},
title = {As-rigid-as-possible mosaicking and serial section registration of large {ssTEM} datasets},
volume = {26},
number = {12},
pages = {i57--i63},
year = {2010},
doi = {10.1093/bioinformatics/btq219},
abstract ={Motivation: Tiled serial section Transmission Electron Microscopy (ssTEM) is increasingly used to describe high-resolution anatomy of large biological specimens. In particular in neurobiology, TEM is indispensable for analysis of synaptic connectivity in the brain. Registration of ssTEM image mosaics has to recover the 3D continuity and geometrical properties of the specimen in presence of various distortions that are applied to the tissue during sectioning, staining and imaging. These include staining artifacts, mechanical deformation, missing sections and the fact that structures may appear dissimilar in consecutive sections.Results: We developed a fully automatic, non-rigid but as-rigid-as-possible registration method for large tiled serial section microscopy stacks. We use the Scale Invariant Feature Transform (SIFT) to identify corresponding landmarks within and across sections and globally optimize the pose of all tiles in terms of least square displacement of these landmark correspondences. We evaluate the precision of the approach using an artificially generated dataset designed to mimic the properties of TEM data. We demonstrate the performance of our method by registering an ssTEM dataset of the first instar larval brain of Drosophila melanogaster consisting of 6885 images.Availability: This method is implemented as part of the open source software TrakEM2 (http://www.ini.uzh.ch/∼acardona/trakem2.html) and distributed through the Fiji project (http://pacific.mpi-cbg.de).Contact: tomancak@mpi-cbg.de},
optURL = {http://bioinformatics.oxfordjournals.org/content/26/12/i57.abstract},
eprint = {http://bioinformatics.oxfordjournals.org/content/26/12/i57.full.pdf+html},
journal = {Bioinformatics},
Xjournal = {Bioinform.},
}

@inproceedings{doi:10.1117/12.770219,
utf_author = {Bağci, Ulaş and Bai, Li},
author = {Ba\v{g}ci, U. and Bai, L.},
title = {Registration of standardized histological images in feature space},
booktitle = {Proc.\ SPIE},
volume = {6914},
number = {},
Xpages = {69142V-69142V-9},
abstract = {In this paper, we propose three novel and important methods for the registration of histological images for 3D reconstruction. First, possible intensity variations and nonstandardness in images are corrected by an intensity standardization process which maps the image scale into a standard scale where the similar intensities correspond to similar tissues meaning. Second, 2D histological images are mapped into a feature space where continuous variables are used as high confidence image features for accurate registration. Third, we propose an automatic best reference slice selection algorithm that improves reconstruction quality based on both image entropy and mean square error of the registration process. We demonstrate that the choice of reference slice has a significant impact on registration error, standardization, feature space and entropy information. After 2D histological slices are registered through an affine transformation with respect to an automatically chosen reference, the 3D volume is reconstructed by co-registering 2D slices elastically.},
year = {2008},
doi = {10.1117/12.770219},
OPTURL = { http://dx.doi.org/10.1117/12.770219},
Xeprint = {}
}

@incollection{old-feature-space,
year={1995},
isbn={978-3-540-59120-7},
booktitle={Computer Vision, Virtual Reality and Robotics in Medicine},
OPTvolume={905},
OPTseries={Lecture Notes in Computer Science},
series = {LNCS 905},
editor={Ayache, Nicholas},
doi={10.1007/978-3-540-49197-2_22},
title={{3D} Multi-Modality Medical Image Registration Using Feature Space Clustering},
OPTurl={http://dx.doi.org/10.1007/978-3-540-49197-2_22},
longpublisher={Springer Berlin Heidelberg},
publisher={Springer},
author={Collignon, André and Vandermeulen, Dirk and Suetens, Paul and Marchal, Guy},
pages={195-204},
language={English}
}

@ARTICLE{empire10,
author={Murphy, K. and van Ginneken, B. and Reinhardt, J. M. and Kabus, S. and Kai Ding and Xiang Deng and Kunlin Cao and Kaifang Du and Christensen, G.E. and Garcia, V. and others},
allauthor={Murphy, K. and van Ginneken, B. and Reinhardt, J.M. and Kabus, S. and Kai Ding and Xiang Deng and Kunlin Cao and Kaifang Du and Christensen, G.E. and Garcia, V. and Vercauteren, T. and Ayache, N. and Commowick, O. and Malandain, G. and Glocker, B. and Paragios, N. and Navab, N. and Gorbunova, V. and Sporring, J. and de Bruijne, M. and Xiao Han and Heinrich, M.P. and Schnabel, J.A. and Jenkinson, M. and Lorenz, C. and Modat, M. and McClelland, J.R. and Ourselin, S. and Muenzing, S.E.A. and Viergever, M.A. and De Nigris, D. and Collins, D.L. and Arbel, T. and Peroni, M. and Rui Li and Sharp, G.C. and Schmidt-Richberg, A. and Ehrhardt, J. and Werner, R. and Smeets, D. and Loeckx, D. and Gang Song and Tustison, N. and Avants, B. and Gee, J.C. and Staring, M. and Klein, S. and Stoel, B.C. and Urschler, M. and Werlberger, M. and Vandemeulebroucke, J. and Rit, S. and Sarrut, D. and Pluim, J.P.W.},
longjournal={Medical Imaging, IEEE Transactions on},
journal={IEEE T.\ Med.\ Imaging},
title={Evaluation of Registration Methods on Thoracic {CT}: The {EMPIRE10} Challenge},
year={2011},
OPTmonth={Nov},
volume={30},
number={11},
pages={1901--1920},
abstract={EMPIRE10 (Evaluation of Methods for Pulmonary Image REgistration 2010) is a public platform for fair and meaningful comparison of registration algorithms which are applied to a database of intra patient thoracic CT image pairs. Evaluation of nonrigid registration techniques is a nontrivial task. This is compounded by the fact that researchers typically test only on their own data, which varies widely. For this reason, reliable assessment and comparison of different registration algorithms has been virtually impossible in the past. In this work we present the results of the launch phase of EMPIRE10, which comprised the comprehensive evaluation and comparison of 20 individual algorithms from leading academic and industrial research groups. All algorithms are applied to the same set of 30 thoracic CT pairs. Algorithm settings and parameters are chosen by researchers expert in the con figuration of their own method and the evaluation is independent, using the same criteria for all participants. All results are published on the EMPIRE10 website (http://empire10.isi.uu.nl). The challenge remains ongoing and open to new participants. Full results from 24 algorithms have been published at the time of writing. This paper details the organization of the challenge, the data and evaluation methods and the outcome of the initial launch with 20 algorithms. The gain in knowledge and future work are discussed.},
keywords={computerised tomography;image registration;medical image processing;EMPIRE10 challenge;Evaluation of Methods for Pulmonary Image REgistration 2010;image registration algorithm;nonrigid registration techniques;thoracic CT;Algorithm design and analysis;Biomedical imaging;Computed tomography;Image segmentation;Lungs;Chest;computed tomography;evaluation;registration;Algorithms;Animals;Databases, Factual;Lung;Observer Variation;Radiographic Image Enhancement;Radiographic Image Interpretation, Computer-Assisted;Radiography, Thoracic;Reference Standards;Reproducibility of Results;Sensitivity and Specificity;Sheep;Software Validation;Thorax;Tomography, X-Ray Computed},
doi={10.1109/TMI.2011.2158349},
ISSN={0278-0062},}

@article{japan,
  title={Three-dimensional reconstruction of serial sections for analysis of the microvasculature of the white pulp and the marginal zone in the human spleen},
  author={Satoshi Kusumi and Daisuke Koga and Tatsuo Kanda and Tatsuo Ushiki},
  ORIGjournal={Biomedical Research},
  journal = {Biomed.\ Res.-Tokyo},
  volume={36},
  number={3},
  pages={195--203},
  year={2015},
  doi={10.2220/biomedres.36.195}
}

@ARTICLE{norm,
author={Khan
, A. M. and Rajpoot, N. and Treanor, D. and Magee, D.},
longjournal={Biomedical Engineering, IEEE Transactions on},
caltechjournal = {IEEE T BIO-MED ENG},
journal = {IEEE T.\ Biomed.\ Eng.},
title={A Nonlinear Mapping Approach to Stain Normalization in Digital Histopathology Images Using Image-Specific Color Deconvolution},
year={2014},
volume={61},
number={6},
pages={1729--1738},
keywords={decision support systems;deconvolution;image colour analysis;medical image processing;patient diagnosis;tumours;breast histopathology;color variation;decision support systems;digital histopathology images;digital pathology images;digital slide scanners;image specific color deconvolution;nonlinear mapping approach;nonlinear source image mapping;stain concentration;stain normalization;stain reactivity;tissue appearance;tissue preparation;tumor segmentation;visual examination;Deconvolution;Estimation;Histograms;Image analysis;Image color analysis;Licenses;Training;Histopathology images analysis;nonlinear mapping;principal color histograms (PCH);stain color descriptor (SCD);stain estimation;stain normalization},
doi={10.1109/TBME.2014.2303294},
ISSN={0018-9294},
OPTmonth={June},
}

@ARTICLE{reinhard,
author={Reinhard, E. and Adhikhmin, M. and Gooch, B. and Shirley, P.},
longjournal={Computer Graphics and Applications, IEEE},
journal = {IEEE Comput.\ Graph.},
title={Color transfer between images},
year={2001},
volume={21},
number={5},
pages={34-41},
keywords={image colour analysis;statistical analysis;color correction;color transfer;image color characteristics;source image;statistical analysis;Decorrelation;Humans;Image color analysis;Image converters;Least squares approximation;Matrix converters;Principal component analysis;Signal processing;Statistical analysis;Visual system},
doi={10.1109/38.946629},
ISSN={0272-1716},
OPTmonth={Sep},}

@ARTICLE{recent-reg-survey,
author={Sotiras, A. and Davatzikos, C. and Paragios, N.},
longjournal={Medical Imaging, IEEE Transactions on},
journal={IEEE T.\ Med.\ Imaging},
title={Deformable Medical Image Registration: A Survey},
year={2013},
volume={32},
number={7},
pages={1153--1190},
abstract={Deformable image registration is a fundamental task in medical image processing. Among its most important applications, one may cite: 1) multi-modality fusion, where information acquired by different imaging devices or protocols is fused to facilitate diagnosis and treatment planning; 2) longitudinal studies, where temporal structural or anatomical changes are investigated; and 3) population modeling and statistical atlases used to study normal anatomical variability. In this paper, we attempt to give an overview of deformable registration methods, putting emphasis on the most recent advances in the domain. Additional emphasis has been given to techniques applied to medical images. In order to study image registration methods in depth, their main components are identified and studied independently. The most recent techniques are presented in a systematic fashion. The contribution of this paper is to provide an extensive account of registration techniques in a systematic manner.},
keywords={image fusion;image registration;medical image processing;patient treatment;statistical analysis;deformable medical image registration;diagnosis;imaging devices;information acquisition;medical image processing;multimodality fusion;normal anatomical variability;population modeling;protocols;statistical atlases;temporal anatomical changes;temporal structural changes;treatment planning;Biomedical imaging;Computational modeling;Deformable models;Image registration;Linear programming;Mathematical model;Topology;Bibliographical review;deformable registration;medical image analysis;Algorithms;Diagnostic Imaging;Humans;Image Processing, Computer-Assisted},
doi={10.1109/TMI.2013.2265603},
ISSN={0278-0062},
OPTmonth={July},}

@ARTICLE{990136,
author={Can, A. and Stewart, C.V. and Roysam, B. and Tanenbaum, H.L.},
longjournal={Pattern Analysis and Machine Intelligence, IEEE Transactions on},
journal = {IEEE T. Pattern Anal. Mach. Intell.},
title={A feature-based, robust, hierarchical algorithm for registering pairs of images of the curved human retina},
year={2002},
volume={24},
number={3},
pages={347--364},
keywords={blood vessels;eye;feature extraction;image registration;medical image processing;parameter estimation;1024 pixel;1048576 pixel;12-parameter interimage transformation;blood vessel structure;curved human retina image pair registration;feature mismatches;feature-based robust hierarchical algorithm;fully-automatic image registration;fundus microscope;parameter estimation;recursive tracing;rigid quadratic surface model;unmatchable image features;vascular landmarks;Biomedical imaging;Blood vessels;Change detection algorithms;Humans;Instruments;Microscopy;Parameter estimation;Recursive estimation;Retina;Robustness},
doi={10.1109/34.990136},
ISSN={0162-8828},
OPTmonth={Mar},}

@article{Yang2011764,
mynote = {a general registration method, applied to regular photo images, CT, etc.},
title = "A robust hybrid method for nonrigid image registration ",
longjournal = "Pattern Recognition",
journal = "Pattern Recognit.",
volume = "44",
number = "4",
pages = "764--776",
year = "2011",
note = "",
issn = "0031-3203",
doi = "http://dx.doi.org/10.1016/j.patcog.2010.10.009",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S0031320310004930",
author = "Jinzhong Yang and James P. Williams and Yiyong Sun and Rick S. Blum and Chenyang Xu",
keywords = "Nonrigid image registration",
keywords = "Softassign",
keywords = "Deterministic annealing",
keywords = "Salient region features",
keywords = "Thin-plate splines (TPS) "
}

@incollection{farneback,
year={2003},
isbn={978-3-540-40601-3},
booktitle={Image Analysis},
OPTvolume={2749},
OPTseries={Lecture Notes in Computer Science},
series = {LNCS 2749},
editor={Bigun, Josef and Gustavsson, Tomas},
doi={10.1007/3-540-45103-X_50},
title={Two-Frame Motion Estimation Based on Polynomial Expansion},
OPTurl={http://dx.doi.org/10.1007/3-540-45103-X_50},
LONGpublisher={Springer Berlin Heidelberg},
author={Farneb\"{a}ck, Gunnar},
pages={363--370},
language={English}
}

@article{doi:10.1080/00031305.1998.10480559,
author = {Jerry L.   Hintze  and  Ray D.   Nelson },
title = {Violin plots: A box plot-density trace synergism},
journal = {The American Statistician},
volume = {52},
number = {2},
pages = {181--184},
year = {1998},
doi = {10.1080/00031305.1998.10480559},

OPTURL = {http://amstat.tandfonline.com/doi/abs/10.1080/00031305.1998.10480559},
OPTeprint = {http://amstat.tandfonline.com/doi/pdf/10.1080/00031305.1998.10480559}

}

@Inbook{Peng2014,
author="Peng, Tingying
and Yigitsoy, Mehmet
and Eslami, Abouzar
and Bayer, Christine
and Navab, Nassir",
editor="Ourselin, S{\'e}bastien and Modat, Marc",
chapter={Deformable registration of multi-modal microscopic images using a pyramidal interactive registration-learning methodology},
LONGtitle="Biomedical Image Registration: 6\xth International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings",
title = "WBIR'14",
year="2014",
LONGpublisher="Springer International Publishing",
publisher="Springer",
OPTaddress="Cham",
pages="144--153",
isbn="978-3-319-08554-8",
longvolume = "8545",
longseries = "Lecture Notes in Computer Science",
series = "LNCS 8545",
doi="10.1007/978-3-319-08554-8_15",
OPTurl="http://dx.doi.org/10.1007/978-3-319-08554-8_15"
}

@INPROCEEDINGS{5995346,
author={Balzer, J. and H{\"o}fer, S. and Beyerer, J.},
booktitle={IEEE Conference on Computer Vision and Pattern Recognition},
title={Multiview specular stereo reconstruction of large mirror surfaces},
OPTyear={June},
series = {CVPR 2011},
Xbooktitle = {Proc. CVPR'11},
pages={2537--2544},
publisher = {IEEE},
keywords={calibration;image restoration;interferometry;mirrors;shape recognition;stereo image processing;calibrated scene;deflectometry;image distortion;image reconstruction;mirror objects;multiview specular stereo approach;shape recovery;visual impression;Cameras;Image reconstruction;Mirrors;Optical imaging;Shape;Stereo image processing;Surface reconstruction},
doi={10.1109/CVPR.2011.5995346},
year = {2011},
ISSN={1063-6919},}

@article{10.1371-journal.pone.0126817,
    author = {Xu, Yiwen AND Pickering, J. Geoffrey AND Nong, Zengxuan AND Gibson, Eli AND Arpino, John-Michael AND Yin, Hao AND Ward, Aaron D.},
    journal = {PLoS ONE},
    OPTpublisher = {Public Library of Science},
    title = {A Method for {3D} Histopathology Reconstruction Supporting Mouse Microvasculature Analysis},
    year = {2015},
    month = {05},
    volume = {10},
    pages = {1--24},
    abstract = {<p>Structural abnormalities of the microvasculature can impair perfusion and function. Conventional histology provides good spatial resolution with which to evaluate the microvascular structure but affords no 3-dimensional information; this limitation could lead to misinterpretations of the complex microvessel network in health and disease. The objective of this study was to develop and evaluate an accurate, fully automated 3D histology reconstruction method to visualize the arterioles and venules within the mouse hind-limb. Sections of the tibialis anterior muscle from C57BL/J6 mice (both normal and subjected to femoral artery excision) were reconstructed using pairwise rigid and affine registrations of 5 µm-thick, paraffin-embedded serial sections digitized at 0.25 µm/pixel. Low-resolution intensity-based rigid registration was used to initialize the nucleus landmark-based registration, and conventional high-resolution intensity-based registration method. The affine nucleus landmark-based registration was developed in this work and was compared to the conventional affine high-resolution intensity-based registration method. Target registration errors were measured between adjacent tissue sections (pairwise error), as well as with respect to a 3D reference reconstruction (accumulated error, to capture propagation of error through the stack of sections). Accumulated error measures were lower (<italic>p</italic><0.01) for the nucleus landmark technique and superior vasculature continuity was observed. These findings indicate that registration based on automatic extraction and correspondence of small, homologous landmarks may support accurate 3D histology reconstruction. This technique avoids the otherwise problematic “banana-into-cylinder” effect observed using conventional methods that optimize the pairwise alignment of salient structures, forcing them to be section-orthogonal. This approach will provide a valuable tool for high-accuracy 3D histology tissue reconstructions for analysis of diseased microvasculature.</p>},
    number = {5},
    doi = {10.1371/journal.pone.0126817}
}

@Misc{2006,
  author        = {Andres L{\"o}h (ed.)},
  title         = {The Haskell Communities and Activities Report},
  year          = {2006},
  howpublished  = {Website, \url{http://haskell.org/communities/}},
  month         = {June},
  date-modified = {2010-05-07 20:48:01 +0200},
}

@ARTICLE{-fast,
  author = {--{\"o}--{\ae}---{\AA}, {\c{C}}--{\"o}},
  title = {{A Fast Algorithm for Mixed-Radix Conversion in Residue Arithmetic}}
}

@Conference{C-oe,
  author    = {--{\"o}--{\ae}---{\AA}, {\c{C}}--{\"o} and Cappello, P.R.},
  title     = {{Systolic arrays for integer Chinese remaindering}},
  booktitle = {Proceedings, 9\th Symposium on Computer Arithmetic},
  pages     = {216--223},
}

@ARTICLE{matiyasevich1977primes-enum,
  author = {--{\'u}--∞---{\c C}--∏---{\`e}---{\AA}--µ--≤--∏---{\'a},
	--{\AE}.~--{\'\i}.},
  title = {{--{\"u}---{\"A}--{\ae}---{\AA}---{\c C}---{\~a}--µ ---{\'a}--∏---{\AA}--ª--∞
	--{\o}--µ---{\"A}--µ---{\'a}--∏---{\AA}--ª---{\`e}---{\'e}---{\c
	C}---{\AA}---{\`e} --{\o}--{\ae}--ª--∏--Ω--{\ae}--º--{\ae}--º
	--{\ae}---{\c C} 10~--{\o}--µ---{\"A}--µ--º--µ--Ω--Ω---{\~a}---{\"O}}},
  journal = {--{\'o}--∞--{\o}--∏---{\AA}--∫--∏ --Ω--∞---{\'E}---{\'a}--Ω---{\~a}---{\"O}
	---{\AA}--µ--º--∏--Ω--∞---{\"A}--{\ae}--≤ --{\"u}--{\^u}--{\'u}--{\`o}},
  year = {1977},
  volume = {68},
  pages = {62--82},
  number = {0},
  publisher = {Russian Academie of Sciences}
}

@Conference{Abdali1989,
  author    = {Abdali, S. and Wise, D.},
  title     = {Experiments with quadtree representation of matrices},
  booktitle = {Symbolic and Algebraic Computation},
  year      = {1989},
  publisher = S-V,
  pages     = {96--108},
}

@InProceedings{Aditya1995,
  author    = {Aditya and Shail and Arvind and Augustsson and Lennart and Maessen and Jan--Willem and Nikhil and Rishiyur S.},
  title     = {{S}emantics of p{H}: {A} {P}arallel {D}ialect of {H}askell},
  booktitle = {Proc. Haskell Workshop, La Jolla, {CA} {USA}},
  year      = {1995},
  editor    = {Hudak, Paul},
  month     = {June},
  pages     = {35--49},
  optkey    = {#shail95semantics#},
  opturl    = {citeseer.ist.psu.edu/aditya95semantics.html},
}

@Article{Adleman1983,
  author    = {Adleman, L. M. and Pomerance, C. and Rumely, R. S.},
  title     = {On distinguishing prime numbers from composite numbers},
  year      = {1983},
  volume    = {117},
  number    = {1},
  pages     = {173--206},
  journal   = {Annals Of Mathematics},
  publisher = {Annals of Mathematics},
}

@InProceedings{Agarwal1994,
  author    = {Agarwal, R. C. and Gustavson, F. G. and Zubair, M.},
  title     = {A High Performance Parallel Algorithm for {1-D} {FFT}},
  booktitle = {Proc. Supercomputing},
  year      = {1994},
  publisher = {IEEE Computer Society},
  pages     = {34},
}

@Article{Agrawal2004,
  author    = {Agrawal, M. and Kayal, N. and Saxena, N.},
  title     = {{PRIMES is in P}},
  year      = {2004},
  volume    = {160},
  number    = {2},
  pages     = {781},
  journal   = {Annals of Mathematics--Second Series},
  publisher = {Citeseer},
}

@PhdThesis{Alt2007,
  author     = {Martin Alt},
  title      = {Using Algorithmic Skeletons for Efficient Grid Computing with Predictable Performance},
  year       = {2007},
  month      = {July},
  bdsk-url-1 = {http://wwwmath.uni-muenster.de/pvs/publikationen/papers/AltDiss.pdf},
  school     = {Universit\"at M\"unster},
  xurl       = {http://wwwmath.uni-muenster.de/pvs/publikationen/papers/AltDiss.pdf},
}

@Article{Alt2005,
  author      = {Alt, Martin and Gorlatch, Sergei},
  title       = {Adapting Java RMI for grid computing},
  year        = {2005},
  volume      = {21},
  number      = {5},
  pages       = {699--707},
  abbrjournal = {Future Gener Comp Sy},
  address     = {Amsterdam, The Netherlands, The Netherlands},
  bdsk-url-1  = {http://dx.doi.org/10.1016/j.future.2004.05.010},
  journal     = {Future Generation Computer Systems},
  publisher   = {Elsevier Science Publishers B. V.},
  xdoi        = {http://dx.doi.org/10.1016/j.future.2004.05.010},
  xissn       = {0167-739X},
}

@InProceedings{Alt2003,
  author    = {Martin Alt and Sergei Gorlatch},
  title     = {{F}uture-{B}ased {RMI}: Optimizing Compositions of Remote Method Calls on the {G}rid},
  booktitle = {Euro-Par~2003},
  year      = {2003},
  editor    = {Harald Kosch and L{\'a}szl{\'o} B{\"o}sz{\"o}rm{\'e}nyi and Hermann Hellwagner},
  series    = {LNCS 2790},
  publisher = S-V,
  month     = aug,
  pages     = {682-693},
  xseries   = {Lecture Notes in Computer Science},
  xvolume   = {2790},
}

@InProceedings{Amdahl1967,
  author       = {Amdahl, Gene M.},
  title        = {Validity of the single processor approach to achieving large scale computing capabilities},
  booktitle    = {Proc.\ AFIPS 1967 Spring Joint Computer Conference},
  year         = {1967},
  organization = theacm,
  pages        = {483--485},
}

@Conference{Amdahl1967a,
  author       = {Amdahl, G. M.},
  title        = {{Validity of the single processor approach to achieving large scale computing capabilities}},
  booktitle    = {Proc. of the spring joint computer conf.},
  year         = {1967},
  organization = theacm,
  optpages     = {483--485},
}

@Conference{Amrhein1996,
  author       = {Amrhein, B. and Gloor, O. and K{\"u}chlin, W.},
  title        = {A case study of multi-threaded {Gr{\"o}bner} basis completion},
  booktitle    = {Proceedings of the International Symposium on Symbolic and Algebraic Computation},
  year         = {1996},
  organization = theacm,
  pages        = {102ff},
}

@Book{Anderson1999,
  author    = {Anderson, E. and Bai, Z. and Bischof, C. and Blackford, S. and Demmel, J. and Dongarra, J. and Du Croz, J. and Greenbaum, A. and Hammarling, S. and McKenney, A. and others},
  title     = {{LAPACK Users' guide}},
  year      = {1999},
  publisher = {Society for Industrial Mathematics},
}

@PhdThesis{Arjona2000,
  author = {Arjona, J. L. O.},
  title  = {Architectural Patterns for Parallel Programming},
  year   = {2000},
  school = {University College London},
}

@InProceedings{Arjona1998,
  author    = {Arjona, J. L. O. and Roberts, G. and Street, G.},
  title     = {Architectural Patterns for Parallel Programming},
  booktitle = {Proceedings of EuroPLoP},
  year      = {1998},
}

@Book{Armstrong2007,
  author    = {Joe Armstrong},
  title     = {Programming Erlang},
  year      = {2007},
  publisher = {The Pragmatic Programmers, LLC},
}

@Article{Arnold2003,
  author    = {Arnold, E. A.},
  title     = {{Modular algorithms for computing {Gr\"{o}bner} bases}},
  year      = {2003},
  volume    = {35},
  number    = {4},
  pages     = {403--419},
  journal   = {Journal of Symbolic Computation},
  publisher = {Elsevier},
}

@Article{Attardi1996,
  author       = {Attardi, G. and Traverso, C.},
  title        = {Strategy-accurate parallel {Buchberger} algorithms},
  year         = {1996},
  volume       = {21},
  number       = {4},
  pages        = {411--426},
  journal      = {Journal of Symbolic Computation},
  optpublisher = {Citeseer},
}

@Misc{Amos2007,
  author       = {David {A}mos},
  title        = {{H}askell for {M}ath program},
  year         = {2007},
  howpublished = {Website \url{http://www.polynomino.f2s.com/david/haskell/codeindex.html}},
  note         = {Retrieved 2.8.2007},
  optmonth     = {August},
}

@TechReport{Anderson1972,
  author      = {James P. {A}nderson},
  title       = {Computer Security Technology Planning Study},
  institution = {Deputy for Command and Managment Systems, HQ Electronic Systems Division (AFSC)},
  year        = {1972},
  month       = {October},
  annote      = {ESD--TR--73--51, Volume 2},
}

@TechReport{Arvind1983,
  author      = {{A}rvind and Robert A. {I}anucci},
  title       = {A Critique of Multiprocessing von {N}eumann Style},
  institution = {Computation Structures Group, Massachusetts Institute of Technology},
  year        = {1983},
  note        = {Memo~226--6},
  month       = {April},
}

@Article{Bailey2005,
  author        = {Bailey, D. H.},
  title         = {High-precision floating-point arithmetic in scientific computation},
  year          = {2005},
  volume        = {7},
  number        = {3},
  pages         = {54--61},
  date-added    = {2010-05-07 20:51:05 +0200},
  date-modified = {2010-05-07 20:51:23 +0200},
  journal       = {Computing in science \& engineering},
}

@Book{Baldoni2008,
  author    = {Baldoni, M. W. and Ciliberto, C. and Cattaneo, G. M. P.},
  title     = {{Elementary Number Theory, Cryptography and Codes}},
  year      = {2008},
  publisher = S-V,
}

@Book{Barclay2006,
  author    = {Kenneth Barclay and John Savage},
  title     = {Groovy Programming: An Introduction for Java Developers},
  year      = {2006},
  publisher = {Morgan Kaufmann Publishers Inc. San Francisco, CA, USA},
}

@Manual{Batut2006,
  author       = {C. Batut and K. Belabas and D. Bernardi and H. Cohen and M. Olivier},
  title        = {User's Guide to {PARI/GP}},
  year         = {2006},
  edition      = {Version 2.3.2},
  note         = {\url{http://pari.math.u\--bor\-deaux.fr/pub/pari/ma\-nu\-als/2.3.2/us\-ers.ps.gz}},
  organization = {Universite Bordeaux I},
  optmonth     = {August},
}

@Book{Becker1993,
  author    = {Becker, Thomas and Weispfenning, Volker and Kredel, Heinz},
  title     = {{Gr\"{o}bner} bases: a computational approach to commutative algebra},
  year      = {1993},
  publisher = S-V,
}

@Misc{Benoit2002,
  author = {Anne Benoit and Murray Cole},
  title  = {{eSkel -- The Edinburgh Skeleton Library}},
  year   = {2002},
  url    = {http://homepages.inf.ed.ac.uk/abenoit1/eSkel/},
}

@Article{Benouamer1994,
  author  = {M. O. Benouamer and D. Michelucci and B. Peroche},
  title   = {Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation},
  year    = {1994},
  volume  = {26},
  number  = {6},
  pages   = {403--416},
  journal = {Computer Aided Design},
}

@Article{Bern1997,
  author  = {Marshall Bern and David Eppstein and Shang-Hua Teng},
  title   = {PARALLEL CONSTRUCTION OF QUADTREES AND QUALITY TRIANGULATIONS},
  year    = {1997},
  journal = {International Journal of Computational Geometry \& Applications},
}

@Misc{Bernstein,
  author = {Daniel J. Bernstein},
  title  = {Multidigit Multiplication For Mathematicians},
}

@Misc{Bernstein2001,
  author  = {Bernstein, D. J.},
  title   = {Multidigit multiplication for mathematicians},
  year    = {2001},
  note    = {Retrieved 24.08.2010},
  url     = {http://cr.yp.to/papers/m3.pdf},
  journal = {Advances In Applied Mathematics},
  optnote = {submitted and accepted to aam, but withdrawn by author},
}

@TechReport{Bernstein1995,
  author = {Daniel J. Bernstein},
  title  = {Multidigit Modular Multiplication With The Explicit {Chinese} Remainder Theorem},
  year   = {1995},
}

@InProceedings{Berthold2004,
  author        = {J. Berthold},
  title         = {Towards a Generalised Runtime Environment for Parallel {Haskells}},
  booktitle     = {Computational Science},
  year          = {2004},
  editor        = {Marian {Bubak} and others},
  volume        = {3038},
  series        = {LNCS},
  number        = {3},
  organization  = {ICCS'04---PAPP'04},
  publisher     = s-v,
  pages         = {297ff},
  date-modified = {2010-07-09 13:56:19 +0200},
  optaddress    = {Krakow, Poland},
  optnote       = {{(Workshop on Practical Aspects of High-level Parallel Programming --- PAPP04)}},
  read          = {1},
}

@InProceedings{Bertholdtoappear,
  author    = {J. Berthold},
  title     = {{Dynamic Chunking in Eden}},
  booktitle = {{Proceedings of IFL 2003, Heriot-Watt University, Edinburgh}},
  year      = {to appear},
  editor    = {Ph. Trinder and Greg Michaelson},
}

@Misc{Berthold2008,
  author       = {Jost Berthold},
  title        = {Explicit and Implicit Parallel Functional Programming --- Concepts and Implementation},
  year         = {2008},
  howpublished = {Dissertation, {Philipps-Universit{\"a}t} Marburg},
  optmonth     = {#jun#},
}

@PhdThesis{Berthold2008b,
  author   = {Jost Berthold},
  title    = {Explicit and Implicit Parallel Functional Programming --- Concepts and Implementation},
  year     = {2008},
  optmonth = {#jun#},
  school   = {Philipps-Universit"at Marburg},
}

@InProceedings{Berthold2009c,
  author         = {Jost Berthold and Mischa Dieterle and Oleg Lobachev and Rita Loogen},
  title          = {{Distributed Memory Programming on Many-Cores -- A Case Study Using {Eden} Divide-\&-Conquer Skeletons}},
  booktitle      = {Workshop on Many-Cores at ARCS'09 -- 22\nd International Conference on Architecture of Computing Systems 2009},
  year           = {2009},
  editor         = {Gro\ss{}pitsch, K.-E. and Henkersdorf, A. and Uhrig, S. and Ungerer, T. and H\"{a}hner, J.},
  publisher      = {VDE-Verlag},
  pages          = {47-55},
  noopyear       = {{\noopsort{a}}2009},
  optkey         = {bdll-09-A},
  optmonth       = {#mar#},
  shortbooktitle = {ARCS'09},
}

@INPROCEEDINGS{pact-fft,
  author =	 {Jost Berthold and Mischa Dieterle and Oleg Lobachev
                  and Rita Loogen},
  title =	 {Parallel {FFT} With {Eden} Skeletons},
  booktitle =	 {PaCT 2009: 10\th International Conference on Parallel
                  Computing Technologies},
  NOOPyear =	 {{\noopsort{b}}2009},
  year =	 {2009},
  pages =	 {73--83},
  BADvolume =	 {5698},
  series =	 {LNCS 5698},
  publisher =	 S-V,
  editor =	 {Malyshkin, V.},
  OPTkey =	 {bdll-09-B},
  OPTmonth =	 aug,
  GERnote =	 {Erweiterte Version als Technischer Bericht bi2009-2,
                  Fachbereich Mathematik und Informatik,
                  Philipps-Universit{\"a}t Marburg 2010.},
  note =	 {Extended version in \cite{pact-fft-extended}.}
}

@TechReport{Berthold2009a,
  author      = {Jost Berthold and Mischa Dieterle and Oleg Lobachev and Rita Loogen},
  title       = {Parallel {FFT} With {Eden} Skeletons},
  institution = {Philipps-Universit{\"a}t Marburg, Fachbereich~12 -- Mathematik und Informatik},
  year        = {2009},
  number      = {bi2009-2},
  noopyear    = {{\noopsort{c}}2009},
  optkey      = {bdll-09-C},
  optmonth    = {#sep#},
  volume      = {BI},
}

@InProceedings{Berthold2009d,
  author    = {Jost Berthold and Mischa Dieterle and Oleg Lobachev and Rita Loogen.},
  title     = {Distributed Memory Programming on Many-Cores -- A Case Study Using {E}den Divide-\&-Conquer Skeletons},
  booktitle = {ARCS'09},
  year      = {2009},
  editor    = {Gro\ss{}pitsch, K.-E. and Henkersdorf, A. and Uhrig, S. and Ungerer, T. and H\"{a}hner, J.},
  month     = {March},
  address   = {Delft, NL},
  optnote   = {Delft, NL},
}

@UNPUBLISHED{ParMapReduce,
  author = {Jost Berthold and Mischa Dieterle and Rita Loogen},
  title = {{Eden Skeletons for Parallel Map-and-Reduce}},
  note = {Draft Proceedings of the Symposium on Implementation and Application
	of Functional Languages (IFL) 08, Hertfordshire (UK)},
  month = {September},
  year = {2008}
}

@InProceedings{Berthold2008a,
  author    = {Jost Berthold and Mischa Dieterle and Rita Loogen and Steffen Priebe},
  title     = {Hierarchical Master-Worker Skeletons},
  booktitle = {Practical Aspects of Declarative Languages (PADL'08)},
  year      = {2008},
  editor    = {David S. Warren and Paul Hudak},
  series    = {LNCS 4902},
  publisher = S-V,
  month     = {January},
  address   = {San Francisco (CA), USA},
}

@InProceedings{Berthold2003,
  author    = {Jost Berthold and Ulrike Klusik and Rita Loogen and Steffen Priebe and Nils Weskamp},
  title     = {{High-level Process Control in Eden}},
  booktitle = {EuroPar 2003 -- Parallel Processing},
  year      = {2003},
  editor    = {Harald Kosch and L\'aszl\'o B\"osz\"orm\'enyi and Herrmann Hellwagner},
  series    = {LNCS 2790},
  address   = {Klagenfurt, Austria},
  optvolume = {2790},
}

@INPROCEEDINGS{Eden:IFL06Edi,
  author = {Jost Berthold and Rita Loogen},
  title = {Parallel Coordination Made Explicit in a Functional Setting},
  booktitle = {IFL 2006 --- 18\th Intl.\ Symposium on the Implementation of Functional Languages},
  year = {2007},
  editor = {Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok},
  series = {LNCS 4449},
  address = {Budapest, Hungary},
  publisher = S-V,
  optnote = {(\textbf{awarded best paper} of IFL'06)},
  opturl = {???http://www.springeronline.com/3-540-74129-9???}
}

@InProceedings{Berthold2006,
  author       = {Jost Berthold and Rita Loogen},
  title        = {Skeletons for Recursively Unfolding Process Topologies},
  booktitle    = {Parallel Computing: Current \& Future Issues of High-End Computing, ParCo 2005, Malaga, Spain},
  year         = {2006},
  editor       = {Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and Oscar G. Plata and P. Tirado and Emilio L. Zapata},
  series       = {NIC Series 33},
  publisher    = {Central Institute for Applied Mathematics, J{\"u}lich, Germany},
  optbibdate   = {2006-11-20},
  optbibsource = {DBLP, http://dblp.uni-trier.de/db/conf/parco/parco2005.html#BertholdL05},
  optbooktitle = {PARCO},
  optpages     = {835ff},
  optvolume    = {33},
  xisbn        = {3-00-017352-8},
}

@InProceedings{Berthold2005a,
  author    = {Jost Berthold and Rita Loogen},
  title     = {The Impact of Dynamic Channels on Functional Topology Skeletons},
  booktitle = {HLPP 2005 --- 3\rd International Workshop on High-level Parallel Programming and Applications},
  year      = {2005},
  editor    = {Alexander Tiskin and Frederic Loulergue},
  note      = {Proceedings},
  address   = {Coventry, UK},
}

@InProceedings{Berthold2007a,
  author       = {Jost Berthold and Rita Loogen},
  title        = {{Visualizing Parallel Functional Program Executions: Case Studies with the Eden Trace Viewer}},
  booktitle    = {ParCo'07. Parallel Computing: Architectures, Algorithms and Applications},
  year         = {2007},
  publisher    = {IOS Press},
  optaddress   = {J\"ulich, Germany},
  optbooktitle = {{Proceedings of the Intl. Conf. ParCo 2007 -- Parallel Computing: Architectures, Algorithms and Applications}},
  optnote      = {submitted for publication\jbcomment{update when published}},
}

@Article{Berthold2005,
  author    = {Jost Berthold and Rita Loogen},
  title     = {The Impact of Dynamic Channels on Functional Topology Skeletons},
  year      = {2005},
  journal   = {Parallel Processing Letters},
  published = {World Scientific Publishing Company},
}

@InProceedings{Berthold2002,
  author       = {J. Berthold and R. Loogen and S. Priebe and N. Weskamp},
  title        = {{Porting the Eden System to GHC 5.00.2}},
  booktitle    = {Draft Proc. of IFL'02 --- 14\th Intl. Workshop on the Implementation of Functional Languages},
  year         = {2002},
  note         = {Workshop version only, not submitted to final proceedings.},
  organization = {Univ. Complutense de Madrid},
  month        = {Sept.},
}

@TechReport{Berthold2002a,
  author      = {Jost Berthold and Nils Weskamp},
  title       = {{The Eden Porting Project - Porting the Eden Runtime-System from GHC 2.10 to GHC 5.00.2}},
  institution = {Philipps-University Marburg},
  year        = {2002},
  type        = {draft report},
  optnote     = {{available at {\tt \small http://www.mathematik.uni-marburg.de/inf/eden/}}},
}

@Article{Bird1997,
  author  = {Richard S. Bird and Geraint Jones and De Moor, Oege},
  title   = {More haste, less speed: lazy versus eager evaluation},
  year    = {1997},
  volume  = {7},
  number  = {5},
  pages   = {541--547},
  journal = {J. of Functional Programming},
}

@Misc{Blelloch1995,
  author       = {Blelloch, G. E.},
  title        = {{NESL: A Nested Data-Parallel Language. (Version 3.1)}},
  year         = {1995},
  howpublished = {Storming Media},
}

@TechReport{Blelloch1993,
  author       = {Blelloch, G. E.},
  title        = {{NESL}: A nested data-parallel languages},
  year         = {1993},
  howpublished = {Technical Report CMU-CS-93-129, School of Computer Science, Carnegie-Mellon University},
}

@TechReport{Blelloch1994,
  author    = {Blelloch, G. E. and Greiner, J.},
  title     = {A Parallel Complexity Model for Functional Languages},
  year      = {1994},
  institute = {Carnegie Mellon University Pittsburgh, PA, USA},
}

@TechReport{Blelloch1994a,
  author      = {Blelloch, Guy E. and Greiner, John},
  title       = {A Parallel Complexity Model for Functional Languages},
  institution = {Carnegie Mellon University},
  year        = {1994},
  publisher   = {Carnegie Mellon University},
  xaddress    = {Pittsburgh, PA, USA},
  xsource     = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Acmucs%3ACMU%2F%2FCS-94-196},
}

@InProceedings{Blelloch1994b,
  author    = {Guy E. Blelloch and John Greiner},
  title     = {A Parallel Complexity Model for Functional Languages},
  booktitle = {Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture},
  year      = {1994},
  optpages  = {.},
}

@Conference{Boehm1986,
  author       = {Boehm, H. J. and Cartwright, R. and Riggle, M. and O'Donnell, M. J.},
  title        = {Exact real arithmetic: A case study in higher order programming},
  booktitle    = {Proc. ACM conf. on LISP and functional programming},
  year         = {1986},
  organization = theacm,
  pages        = {162--173},
}

@InProceedings{Borodin1982,
  author    = {{Borodin}, Allan and {Gathen}, Joachim von zur and {Hopcroft}, John},
  title     = {Fast parallel matrix and {GCD} computations},
  booktitle = {SFCS'08 --- 23\rd Annual Symposium on Foundations of Computer Science},
  year      = {1982},
  note      = {DOI 10.1109/SFCS.1982.17},
}

@Article{Borosh1966,
  author    = {Borosh, I. and Fraenkel, A. S.},
  title     = {{Exact solutions of linear equations with rational coefficients by congruence techniques}},
  year      = {1966},
  volume    = {20},
  number    = {93},
  pages     = {107--112},
  journal   = {Mathematics Of Computation},
  publisher = {American Mathematical Society},
}

@InBook{Botorog1996,
  author    = {Botorog, G. H. and Kuchen, H.},
  title     = {{Euro-Par'96 Parallel Processing}},
  year      = {1996},
  volume    = {1123},
  series    = {LNCS},
  publisher = S-V,
  chapter   = {Efficient parallel programming with algorithmic skeletons},
  pages     = {718--731},
  optnote   = {Workshop 05+21 Parallel Languages, Programming, and High-Level Control},
}

@PhdThesis{Breitinger1998b,
  author      = {Breitinger, Sylvia},
  title       = {Design and Implementation of the Parallel Functional Language Eden},
  year        = {1998},
  url         = {http://archiv.ub.uni-marburg.de/diss/z1999/0142/},
  school      = {Philipps-Universit{\"a}t Marburg},
  shortauthor = {Breitinger, S.},
}

@InProceedings{Breitinger1997a,
  author    = {S. Breitinger and U. Klusik and R. Loogen},
  title     = {{An Implementation of Eden on Top of Concurrent Haskell}},
  booktitle = {Implementation of Functional Languages'96},
  year      = {1997},
  editor    = {W. Kluge},
  series    = {LNCS 1268},
  publisher = S-V,
  optnumber = {1268},
}

@InProceedings{Breitinger1998a,
  author    = {Breitinger, S. and Klusik, U. and Loogen, R.},
  title     = {{From (Sequential) {Haskell} to (Parallel) {Eden}: An Implementation Point of View}},
  booktitle = {PLILP'98},
  year      = {1998},
  series    = {LNCS 1490},
  publisher = S-V,
  pages     = {318-334},
  optvolume = {1490},
}

@InProceedings{Breitinger1997b,
  author    = {Breitinger, S. and Klusik, U. and Loogen, R. and {Ortega Mall\'en}, Y. and {Pe{\~n}a Mar\'\i}, R.},
  title     = {{DREAM - the DistRibuted Eden Abstract Machine}},
  booktitle = {IFL'97},
  year      = {1997},
  series    = {LNCS 1467},
  publisher = S-V,
  pages     = {250--269},
  optnumber = {1467},
}

@InProceedings{Breitinger1997c,
  author    = {Silvia Breitinger and Rita Loogen},
  title     = {{Channel Structures in the Parallel Functional Language Eden}},
  booktitle = {Glasgow Workshop on Funct.\ Prg.},
  year      = {1997},
  optnote   = {Available online.},
}

@InProceedings{Breitinger1995a,
  author    = {S. Breitinger and R. Loogen},
  title     = {{Concurrency in Functional and Logic Programming}},
  booktitle = {{Fuji Intl.\ Workshop of Functional and Logic Programming}},
  year      = {1995},
}

@InProceedings{Breitinger1995,
  author    = {Breitinger, S. and Loogen, R. and {Ortega-Mall\'{e}n}, Y.},
  title     = {Towards a Declarative Language for Parallel and Concurrent Programming},
  booktitle = {Functional Programming},
  year      = {1995},
  editor    = {Turner, {D.N.}},
  series    = {Workshops in Computing},
  publisher = S-V,
  address   = {Glasgow},
}

@InCollection{Breitinger1996,
  author    = {S. Breitinger and R. Loogen and Y. {Ortega-Mall\'{e}n} and R. {Pe{\~n}a-Mari}},
  title     = {{Eden} --- The Paradise of Functional Concurrent Programming},
  booktitle = {Euro-Par'96 Parallel Processing},
  year      = {1996},
  series    = {LNCS 1123},
  publisher = {Spinger-Verlag},
  pages     = {710--713},
  optvolume = {1123},
}

@InProceedings{Breitinger1997,
  author       = {Silvia Breitinger and Rita Loogen and Yolanda {Ortega-Mall{\'e}n} and Ricardo Pe{\~n}a},
  title        = {The {Eden} Coordination Model for Distributed Memory Systems},
  booktitle    = {High-Level Parallel Programming Models and Supportive Environments},
  year         = {1997},
  series       = {LNCS 1123},
  organization = {HIPS},
  publisher    = {IEEE},
  pages        = {120--124},
  optvolume    = {1123},
}

@TechReport{Breitinger1996a,
  author      = {S. Breitinger and R. Loogen and Y. {Ortega-Mall{\'e}n} and R. {Pe{\~n}a}},
  title       = {{Eden: Language Definition and Operational Semantics}},
  institution = {Philipps-University of Marburg},
  year        = {1996},
  number      = {10},
  url         = {http://www.mathematik.uni-marburg.de/fb12/bfi/bfi10.ps},
}

@Conference{Breitinger1998,
  author    = {Breitinger, S. and Loogen, R. and Priebe, S.},
  title     = {Parallel programming with {Haskell} and {MPI}},
  booktitle = ifl,
  year      = {1998},
}

@TechReport{Brent1984,
  author      = {R. P. Brent and H. T. Kung},
  title       = {A Systolic Algorithm for Integer GCD Computation. Revision},
  institution = {CARNEGIE-MELLON UNIV. PITTSBURGH PA DEPT OF COMPUTER SCIENCE},
  year        = {1984},
  note        = {ADA144409},
  month       = {April},
  optannote   = {In this document the authors show that the greatest common divisor of two n-bit integers (given in the usual binary representation) can be computed in time O(n) on a linear array of O(n) identical systolic cells, each of which is a finite-state machine with connections to its nearest neighbours.},
  opturl      = {http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA144409},
}

@Article{Brezinski1980,
  author    = {Brezinski, C.},
  title     = {{The long history of continued fractions and Pad{\'e} approximants}},
  year      = {1980},
  pages     = {1--27},
  journal   = {Pad{\'e} Approximation and its Applications},
  publisher = S-V,
}

@Misc{Bronstein2003,
  author    = {Manuel {Bronstein} and James {Davenport} and Albrecht {Fortenbacher} and others},
  title     = {AXIOM -- the 30 year horizon},
  year      = {2003},
  note      = {\url{http://portal.axiom-developer.org/public/book2.pdf}},
  altauthor = {Manuel Bronstein and James Davenport and Albrecht Fortenbacher and Jocelyn Guidry and Michael Monagan and Jonathan Steinbach and Stephen Watt and William Burge and Michael Dewar and Patrizia Gianni and Richard Jenks and Scott Morrison and Robert Sutor and Jim Wen and Timothy Daly and Martin Dunstan and Johannes Grabmeier and Larry Lambe and William Sit and Barry Trager and Clifton Williamson},
  optkey    = {BDF+},
}

@Conference{Buchberger1979,
  author       = {Buchberger, Bruno},
  title        = {A criterion for detecting unnecessary reductions in the construction of {Gr\"{o}bner} bases},
  booktitle    = {Proc. Eurosam},
  year         = {1979},
  volume       = {79},
  organization = S-V,
  pages        = {3--21},
}

@PhdThesis{Buchberger1965,
  author         = {Bruno Buchberger},
  title          = {{Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal}},
  year           = {1965},
  annote         = {1965-00-00-A},
  optentitle     = {An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal},
  optlanguage    = {english},
  optlength      = {0},
  optnote        = {(English translation to appear in Journal of Symbolic Computation, 2004)},
  opttranslation = {0},
  school         = {Mathematical Institute, University of Innsbruck, Austria},
}

@TechReport{Buchberger1992,
  author      = {Bruno Buchberger and G. Collins and H. Hong and J. Johnson and W. Krandick and R. Loos and A. Neubacher},
  title       = {{A SACLIB Primer}},
  institution = {Johannes Kepler University, Linz, Austria},
  year        = {1992},
  number      = {92--34},
}

@Article{Byrne2001,
  author    = {Byrne, E. and Fitzpatrick, P.},
  title     = {{Gr\"{o}bner} bases over {Galois} rings with an application to decoding alternant codes},
  year      = {2001},
  volume    = {31},
  number    = {5},
  pages     = {565--584},
  journal   = {Journal of Symbolic Computation},
  publisher = {Elsevier},
}

@Article{Backus1978,
  author  = {J. {B}ackus},
  title   = {Can Programming Be Liberated from the von Neumann Style?},
  year    = {1978},
  journal = {Communications Of The Acm},
}

@Article{Bauer2002,
  author  = {Christian {B}auer and Alexander {F}rink and Richard {K}reckel},
  title   = {Introduction to the {GiNaC} Framework for Symbolic Computation within the {\cpp} Programming Language},
  year    = {2002},
  volume  = {33},
  pages   = {1--12},
  annote  = {The traditional split-up into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in \cpp and the user can interact with it directly in that language. It was designed to provide ecient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum feld theory. It also bears some potential to become a more general purpose symbolic package.},
  journal = {Journal of Symbolic Computation},
}

@Misc{Burks1946,
  author = {Arthur W. {B}urks and Herman H. {G}oldstine and John von {N}eumann},
  title  = {Preliminary discussion of the logical design of an electronic computing instrument},
  year   = {1946},
}

@Conference{Cabay1971,
  author           = {Cabay, S.},
  title            = {{Exact solution of linear equations}},
  booktitle        = {Proceedings of the second ACM symposium on Symbolic and algebraic manipulation},
  year             = {1971},
  organization     = theacm,
  pages            = {392--398},
  longorganization = {ACM New York, NY, USA},
}

@TechReport{Campbell1996,
  author      = {Campbell, D. K. G.},
  title       = {Towards the classification of algorithmic skeletons},
  institution = {UNIVERSITY OF YORK, DEPARTMENT OF COMPUTER SCIENCE},
  year        = {1996},
}

@Book{Carriero1990,
  author    = {N. Carriero and D. Gelernter},
  title     = {How to Write Parallel Programs},
  year      = {1990},
  publisher = {MIT Press},
}

@InProceedings{Cesari1997,
  author    = {Giovanni Cesari},
  title     = {{CALYPSO: a Computer Algebra Library for Parallel Symbolic Computation}},
  booktitle = {Int. Symp. on Parallel Symbolic Computation (PASCO)},
  year      = {1997},
  publisher = theacm,
  pages     = {294--216},
}

@Article{CESARI1996,
  author    = {CESARI, G. and MAEDER, R.},
  title     = {{Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures}},
  year      = {1996},
  volume    = {21},
  number    = {4-6},
  pages     = {467--473},
  journal   = {Journal of Symbolic Computation},
  publisher = {Elsevier},
}

@Book{Chabert1999,
  title     = {A history of algorithms: from the pebble to the microchip},
  year      = {1999},
  editor    = {Chabert, J.-L.},
  publisher = S-V,
  xauthor   = {Barbin, {\'E}. and Borowczyk, J. and Chabert, J.-L. and Guillemot, M. and Michel-Pajus, A. and Djebbar, A., and Martzloff, J.-C.},
}

@Conference{Chakrabarti,
  author       = {Chakrabarti, S. and Yelick, K.},
  title        = {On the correctness of a distributed memory {Gr\"{o}bner} basis algorithm},
  booktitle    = {Rewriting Techniques and Applications},
  organization = S-V,
  pages        = {77--91},
}

@Article{Chakrabarti1994,
  author    = {Chakrabarti, S. and Yelick, K.},
  title     = {Distributed data structures and algorithms for {Gr{\"o}bner} basis computation},
  year      = {1994},
  volume    = {7},
  number    = {2},
  pages     = {147--172},
  journal   = {Lisp and Symbolic Computation},
  publisher = {Springer},
}

@InProceedings{Chakravarty2007,
  author       = {Manuel M. T. {C}hakravarty and Roman {L}eshchinskiy and Simon L. {P}eyton {J}ones and Gabriele {K}eller and Simon {M}arlow},
  title        = {{Data Parallel Haskell}: a status report},
  booktitle    = {DAMP'07},
  year         = {2007},
  publisher    = theacm,
  pages        = {10--18},
  bdsk-url-1   = {http://www.cse.unsw.edu.au/%5C~%7B%7Dchak/papers/CLPKM07.html},
  optbooktitle = {Proceedings of DAMP 2007: Workshop on Declarative Aspects of Multicore Programming},
  opturl       = {http://www.cse.unsw.edu.au/\~{}chak/papers/CLPKM07.html},
}

@InProceedings{Chakravarty2003,
  author       = {Manuel M. T. Chakravarty and Gabriele Keller},
  title        = {An Approach to Fast Arrays in Haskell},
  year         = {2003},
  series       = {LNCS},
  organization = {AFP 2002},
  publisher    = S-V,
}

@Book{Chambers1991,
  author        = {Chambers, J. M. and Hastie, T. J.},
  title         = {{Statistical models in S}},
  year          = {1991},
  publisher     = {CRC Press},
  longpublisher = {CRC Press, Inc. Boca Raton, FL, USA},
}

@InProceedings{Char1990,
  author    = {B. Char},
  title     = {{Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation}},
  booktitle = {Int. Symp. on Symbolic and Algebraic Computation (ISSAC)},
  year      = {1990},
  publisher = theacm,
  pages     = {96--103},
}

@Article{Chor1990,
  author  = {B. Chor and O. Goldreich},
  title   = {An improved parallel algorithm for integer GCD},
  year    = {1990},
  journal = {Algorithmica},
}

@Article{Cleveland1992,
  author    = {Cleveland, W. S. and Grosse, E. and Shyu, W. M.},
  title     = {{Local regression models}},
  year      = {1992},
  pages     = {309--376},
  journal   = {Statistical models in S},
  publisher = {Chapman and Hall},
}

@Book{Cohen2007,
  author    = {Cohen, Henri},
  title     = {{Number Theory: Tools and Diophantine Equations}},
  year      = {2007},
  volume    = {1},
  publisher = S-V,
}

@Book{Cohen2007a,
  author    = {Cohen, Henri},
  title     = {{Number Theory: Analytic and Modern Tools}},
  year      = {2007},
  volume    = {2},
  publisher = S-V,
}

@Book{Cohen2000a,
  author    = {Cohen, Henri},
  title     = {Advanced Topics in Computational Number Theory},
  year      = {2000},
  publisher = S-V,
}

@Article{Cohen1984,
  author    = {Cohen, H. and Lenstra, Jr, H. W.},
  title     = {Primality testing and {Jacobi} sums},
  year      = {1984},
  volume    = {42},
  number    = {165},
  pages     = {297--330},
  journal   = {Mathematics Of Computation},
  publisher = {AMS},
}

@InCollection{Colagrossi1997,
  author    = {Colagrossi, A. and Limongelli, C. and Miola, A.},
  title     = {{$P$-Adic} arithmetic: a tool for error-free computations},
  booktitle = {Advances in the design of symbolic computation systems},
  year      = {1997},
  series    = {RISC Series in Symbolic Computation},
  publisher = S-V,
  pages     = {53--67},
  editors   = {Miola, A. and Temperini, M.},
}

@Book{Cole1989b,
  author    = {Cole, Murray I.},
  title     = {{Algorithmic Skeletons: Structured Management of Parallel Computation}},
  year      = {1989},
  series    = {Research Monographs in Parallel and Distributed Computing},
  publisher = {MIT Press},
  address   = {Cambridge(MA), USA},
  optnote   = {\jbcomment{Verlag pruefen!}},
}

@Article{Collins1967,
  author    = {Collins, G. E.},
  title     = {Subresultants and reduced polynomial remainder sequences},
  year      = {1967},
  volume    = {14},
  number    = {1},
  pages     = {128--142},
  journal   = {Journal of the ACM},
  publisher = theacm,
}

@Article{Cook1969,
  author    = {Cook, S.A.},
  title     = {{On the minimum computation time of functions}},
  year      = {1969},
  volume    = {142},
  pages     = {291--314},
  journal   = {Transactions of the American Mathematical Society},
  publisher = {American Mathematical Society},
}

@Article{Cooley1965,
  author  = {J. W. Cooley and J. W. Tukey},
  title   = {An algorithm for the machine calculation of complex Fourier series},
  year    = {1965},
  volume  = {19},
  pages   = {297--301},
  journal = {Math. Comput.},
}

@Book{Cormen2001,
  author    = {Cormen, T. H. and Leiserson, C. E. and Rivest, R. L. and Stein, C.},
  title     = {Introduction to algorithms},
  year      = {2001},
  publisher = {MIT Press},
}

@Book{Cox2007,
  author      = {Cox, D. A. and Little, J. B. and {O'Shea}, D.},
  title       = {Ideals, varieties, and algorithms},
  year        = {2007},
  edition     = {third},
  publisher   = s-v,
  optsubtitle = {an introduction to computational algebraic geometry and commutative algebra},
}

@PHDTHESIS{crovella1994performance,
  author = {Crovella, M. E.},
  title = {{Performance prediction and tuning of parallel programs}},
  school = {University of Rochester},
  year = {1994}
}

@Manual{Capani1995,
  author       = {A. {C}apani and G. {N}iesi},
  title        = {{CoCoA} 3.0 {U}ser's {M}anual},
  year         = {1995},
  organization = {Dipartimento di Ma\-te\-ma\-ti\-ca, Universit\`a di Genova},
  address      = {Via Dodecaneso, 35, I-16146 Genova (Italy)},
}

@Article{Church1941,
  author  = {Alonso {C}hurch},
  title   = {The Calculi of Lambda-Conversion},
  year    = {1941},
  journal = {Annals Of Mathematics Studies},
}

@Other{Claessen2000,
  author  = {Koen Christiaan {C}laessen},
  title   = {An Embedded Language Approach to Hardware Description and Verication},
  year    = {2000},
  note    = {Thesis for the Licentiate Degree},
  month   = {August},
  address = {SE--412 96 Goteborg, Sweden},
  school  = {Department of Computing Science Chalmers University of Technology and Goteborg University},
}

@Book{Cohen2000,
  author        = {Henri Cohen},
  title         = {A Course in Computational Algebraic Number Theory},
  year          = {2000},
  edition       = {forth},
  series        = {GTM 138},
  publisher     = S-V,
  date-modified = {2010-05-07 21:04:51 +0200},
  optedition    = {Second Corrected Printing},
}

@InCollection{Cole1989,
  author    = {M. I. {C}ole},
  title     = {Algorithmic Skeletons: Structured Management of Parallel Computation},
  booktitle = {Research Monographs in Parallel and Distributed Computing},
  year      = {1989},
  publisher = {Pitman},
}

@Book{Cole1989a,
  author    = {M. I. Cole},
  title     = {Algorithmic Skeletons: Structured Management of Parallel Computation},
  year      = {1989},
  series    = {Research Monographs in Parallel and Distributed Computing},
  publisher = {Pitman},
}

@Book{Cullen1990,
  author    = {Charles. G. {C}ullen},
  title     = {Matrices and Linear Transformations},
  year      = {1990},
  note      = {Republication of second edition by Addison--Wesley Publishing Company, 1972},
  publisher = {Dover},
  address   = {Mineola, New~York},
}

@Article{Dagum1998,
  author    = {Dagum, L. and Menon, R.},
  title     = {{OpenMP: An Industry-Standard API for Shared-Memory Programming}},
  year      = {1998},
  pages     = {46--55},
  journal   = {IEEE Computational Science \& Engineering},
  publisher = {IEEE Computer Society},
}

@InProceedings{Danelutto1997,
  author    = {M. Danelutto and F. Pasqualetti and S. Pelagatti},
  title     = {{Skeletons for Data Parallelism in P$\mbox{}^3$L}},
  booktitle = {Euro-Par'97},
  year      = {1997},
  editor    = {C. Lengauer and M. Griebl and S. Gorlatch},
  series    = {LNCS 1300},
  publisher = S-V,
  pages     = {619-628},
}

@Conference{Darlington1993,
  author       = {Darlington, J. and Field, AJ and Harrison, PG and Kelly, PHJ and Sharp, DWN and Wu, Q. and While, RL},
  title        = {Parallel Programming Using Skeleton Functions},
  booktitle    = {Parallel architectures and languages Europe},
  year         = {1993},
  organization = S-V,
  pages        = {146--160},
  comment      = {farm},
}

@Article{Davenport1994,
  author  = {J. H. {Davenport}},
  title   = {Computer Algebra -- Past, Present and Future},
  year    = {1994},
  volume  = {1},
  number  = {2},
  pages   = {25--44},
  journal = {Euromath Bulletin},
}

@InBook{DeLaEncina2006,
  author    = {De La {E}ncina, A. and Rodriguez, I. and Rubio, F.},
  title     = {Languages and compilers for parallel computing},
  year      = {2006},
  volume    = {4339},
  series    = {LNCS},
  publisher = S-V,
  chapter   = {{Testing speculative work in a lazy/eager parallel functional language}},
  pages     = {274},
}

@Article{Demmel1999,
  author  = {Demmel, J. W. and Gilbert, J. R. and Li, X. S.},
  title   = {{An asynchronous parallel supernodal algorithm for sparse Gaussian elimination}},
  year    = {1999},
  journal = {Siam Journal On Matrix Analysis And Applications},
}

@Article{Demmel2008,
  author    = {Demmel, J. W. and Heath, M. T. and van der Vorst, H. A.},
  title     = {{Parallel numerical linear algebra}},
  year      = {2008},
  volume    = {2},
  pages     = {111--197},
  journal   = {Acta Numerica},
  publisher = {Cambridge Univ.\ Press},
}

@Article{Dickson1913,
  author              = {Dickson, Leonard Eugene},
  title               = {Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors},
  year                = {1913},
  volume              = {35},
  number              = {4},
  pages               = {413--422},
  issn                = {00029327},
  url                 = {http://www.jstor.org/stable/2370405},
  bdsk-url-1          = {http://www.jstor.org/stable/2370405},
  copyright           = {Copyright ¬{\copyright} 1913 The Johns Hopkins University Press},
  journal             = {American Journal Of Mathematics},
  jstor_articletype   = {primary_article},
  jstor_formatteddate = {Oct., 1913},
  publisher           = {The Johns Hopkins University Press},
}

@Misc{Dieterle2007,
  author       = {Mischa Dieterle},
  title        = {{Parallele funktionale Implementierung von Master-Worker-Skeletten}},
  year         = {2007},
  howpublished = {Diplomarbeit, Philipps-Universit\"{a}t Marburg},
}

@PhdThesis{Dieterle2007a,
  author = {Mischa Dieterle},
  title  = {{Parallele funktionale Implementierung von Master-Worker-Skeletten}},
  year   = {2007},
  type   = {Diplomarbeit},
  annote = {In German},
  school = {Philipps-Universit\"{a}t Marburg},
}

@INCOLLECTION{dieterle2010remotedata-,
  author = {Dieterle, M. and Horstmeyer, T. and Loogen, R.},
  title = {Skeleton Composition Using Remote Data},
  booktitle = {PADL 2010: 12\th International Symposium on Practical
                  Aspects of Declarative Languages},
  publisher = S-V,
  year = {2010},
  editor = {Carro, M. and Pe\~{n}a, R.},
  volume = {5937},
  series = {LNCS},
  pages = {73--87},
  OPTmonth = {January}
}

@Article{Dmitruk2001,
  author  = {P. Dmitruk and L.P. Wang and W.H. Matthaeus and R. Zhang and D. Seckel},
  title   = {Scalable parallel FFT for spectral simulations on a Beowulf cluster},
  year    = {2001},
  volume  = {27},
  number  = {14},
  journal = {Parallel Computing},
}

@Article{Duhamel1990,
  author    = {Duhamel, P. and M. Vetterli},
  title     = {Fast Fourier transforms: a tutorial review and a state of the art},
  year      = {1990},
  volume    = {19},
  number    = {4},
  pages     = {259--299},
  journal   = {Signal Processing},
  publisher = {Elsevier},
}

@Book{Davenport1988,
  author     = {J. H. {D}avenport and T. Siret and E. Tournier},
  title      = {Computer Algebra},
  year       = {1988},
  publisher  = {Academic Press},
  optedition = {Second Printing, 1989},
}

@Article{Ebert1983,
  author      = {Ebert, G. L.},
  title       = {Some comments on the modular approach to {Gr\"{o}bner-bases}},
  year        = {1983},
  volume      = {17},
  number      = {2},
  pages       = {28--32},
  journal     = {SIGSAM Bull.},
  myself.note = {unlucky primes},
  optaddress  = {New York, NY, USA},
  optdoi      = {http://doi.acm.org/10.1145/1089330.1089336},
  publisher   = theacm,
  xissn       = {0163-5824},
}

@PhdThesis{Encina2008,
  author = {Alberto de la Encina},
  title  = {Formalizando el proceso de depuraci\'{o}n en programaci\'{o}n funcional paralela y perezosa},
  year   = {2008},
  month  = jun,
  school = {Universidad Complutense de Madrid},
}

@Conference{Erdem2003,
  author          = {Erdem, S.S. and Koc, CK},
  title           = {{A less recursive variant of Karatsuba-Ofman algorithm for multiplying operands of size a power of two}},
  booktitle       = {Proc. 16\th IEEE Intl. Symp. Computer Arithmetic},
  year            = {2003},
  pages           = {28--35},
  optorganization = {Citeseer},
}

@InProceedings{Faugere2002a,
  author    = {Faug{\`e}re, J. C.},
  title     = {A new efficient algorithm for computing {Gr\"{o}bner} bases without reduction to zero (F5)},
  booktitle = {Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation},
  year      = {2002},
  editor    = {Mora, T.},
  publisher = theacm,
  month     = {July},
  pages     = {75--83},
}

@Article{Faugere2002,
  author       = {Faug{\`e}re, J. C.},
  title        = {A new efficient algorithm for computing {Gr\"{o}bner} bases},
  year         = {2002},
  optpublisher = {Citeseer},
}

@Book{Flanagan2008,
  author    = {David Flanagan and Yukihiro Matsumoto},
  title     = {The Ruby Programming Language},
  year      = {2008},
  publisher = {O'Reilly},
}

@Article{Flynn1966,
  author  = {Flynn, M. J.},
  title   = {Very high-speed computing systems},
  year    = {1966},
  volume  = {54},
  number  = {12},
  pages   = {1901--1909},
  journal = {Proc IEEE},
}

@Book{Forsythe1977,
  author    = {Forsythe, G. E. and Malcolm, M. A. and Moler, C. B.},
  title     = {{Computer methods for mathematical computations}},
  year      = {1977},
  publisher = {Prentice Hall Professional Technical Reference},
}

@Book{Foster1995,
  author    = {Foster, Ian},
  title     = {Designing and building parallel programs: concepts and tools for parallel software engineering},
  year      = {1995},
  publisher = awpubl,
}

@Book{Fuchssteiner1993,
  author    = {B. Fuchssteiner},
  title     = {{MuPAD Benutzerhandbuch}},
  year      = {1993},
  publisher = {Birkh"auser Verlag},
}

@TechReport{Fateman1972,
  author      = {Richard J. {F}ateman},
  title       = {Essays in Algebraic Simplification},
  institution = {Massachusetts Institute of Technology},
  year        = {1972},
  note        = {A Revision of A Thesis},
}

@PhdThesis{Fateman1972a,
  author = {Richard J. {F}ateman},
  title  = {Essays in Algebraic Simplification},
  year   = {1972},
  note   = {A Revision of A Thesis},
  month  = {April},
  school = {Massachusetts Institute of Technology},
}

@Article{Frigo2005,
  author   = {M. {F}rigo and S. G. {J}ohnson},
  title    = {The design and implementation of {FFTW3}},
  year     = {2005},
  volume   = {93},
  number   = {2},
  journal  = {Proc IEEE},
  optmonth = {February},
  optnote  = {available online: \url{http://www.fftw.org/fftw-paper-ieee.pdf}},
}

@InProceedings{Galan1996,
  author    = {L. A. Gal{\'a}n and C. Pareja and R. Pe{\~n}a},
  title     = {Functional Skeletons Generate Process Topologies in {Eden}},
  booktitle = {{PLILP'96 --- Programming Languages: Implementations, Logics, and Programs}},
  year      = {1996},
  series    = {LNCS 1140},
  publisher = S-V,
  pages     = {289-303},
  xaddress  = {Aachen, Germany},
  xmonth    = {Sep},
  xvolume   = {1140},
}

@InProceedings{Garner1959,
  author     = {Garner, Harvey L.},
  title      = {The residue number system},
  booktitle  = {IRE-AIEE-ACM'59 (Western): Papers presented at the the March 3-5, 1959, western joint computer conference},
  year       = {1959},
  publisher  = theacm,
  location   = {San Francisco, California},
  pages      = {146--153},
  address    = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1457838.1457864},
  xdoi       = {http://doi.acm.org/10.1145/1457838.1457864},
}

@Book{Gathen2003a,
  author    = {von zur Gathen, Joachim and Gerhard, J\"{u}rgen},
  title     = {Modern Computer Algebra},
  year      = {2003},
  edition   = {second},
  publisher = {Cambridge University Press},
  optkey    = {GG03},
}

@Article{Gathen2003,
  author    = {von zur Gathen, J. and L{\"u}cking, T.},
  title     = {Subresultants revisited},
  year      = {2003},
  volume    = {297},
  number    = {1-3},
  pages     = {199--239},
  journal   = {Theoretical Computer Science},
  publisher = {Elsevier},
}

@Article{Gebauer1988,
  author    = {Gebauer, R. and {M\"{o}ller}, H. M.},
  title     = {On an installation of {B}uchberger's algorithm},
  year      = {1988},
  volume    = {6},
  number    = {2-3},
  pages     = {275--286},
  journal   = {Journal of Symbolic Computation},
  publisher = {Elsevier},
}

@Article{Gentleman1978,
  author     = {Gentleman, W. Morven},
  title      = {Some Complexity Results for Matrix Computations on Parallel Processors},
  year       = {1978},
  volume     = {25},
  number     = {1},
  pages      = {112--115},
  OPTaddress    = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/322047.322057},
  journal    = {Journal of the ACM},
  publisher  = theacm,
  doi        = {10.1145/322047.322057},
  xissn      = {0004-5411},
}

@Conference{Giovini1991,
  author       = {Giovini, A. and Mora, T. and Niesi, G. and Robbiano, L. and Traverso, C.},
  title        = {``One sugar cube, please'' or selection strategies in the Buchberger algorithm},
  booktitle    = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation},
  year         = {1991},
  organization = {ACM New York, NY, USA},
  pages        = {49--54},
}

@Book{Golub1996,
  author    = {Golub, G. H. and Van Loan, C. F.},
  title     = {{Matrix computations}},
  year      = {1996},
  publisher = {Johns Hopkins Univ Pr},
}

@Book{Graham1994,
  author    = {Graham, R. L. and Knuth, D. E. and Patashnik, O.},
  title     = {{Concrete mathematics: a foundation for computer science}},
  year      = {1994},
  publisher = awpubl,
}

@Article{Grama1993,
  author     = {A. Y. Grama and A. Gupta and V. Kumar},
  title      = {Isoefficiency: Measuring the Scalability of Parallel Algorithms and Architectures},
  year       = {1993},
  volume     = {1},
  number     = {3},
  pages      = {12--21},
  issn       = {1063-6552},
  address    = {Los Alamitos, CA, USA},
  bdsk-url-1 = {http://doi.ieeecomputersociety.org/10.1109/88.242438},
  journal    = {IEEE Concurrency},
  publisher  = {IEEE Computer Society},
  xdoi       = {http://doi.ieeecomputersociety.org/10.1109/88.242438},
}

@Book{Grama2003,
  author    = {Grama, A. Y. and Kumar, V. and Gupta, A. and Karypis, G.},
  title     = {Introduction to parallel computing},
  year      = {2003},
  publisher = awpubl,
}

@Misc{Granlund2010,
  author       = {Granlund, T. and Swox, A. B.},
  title        = {The {GNU} Multiple Precision Arithmetic Library},
  year         = {2010},
  note         = {\url{http://gmplib.org/}. Retrieved 27.4.2010},
  badpublisher = {Citeseer},
  bdsk-url-1   = {http://gmplib.org/},
  opttitle     = {{GNU MP}},
  opturl       = {http://gmplib.org/},
}

@Article{Gregory1981,
  author    = {Gregory, R. T.},
  title     = {{Error-free computation with rational numbers}},
  year      = {1981},
  volume    = {21},
  number    = {2},
  pages     = {194--202},
  journal   = {BIT Numerical Mathematics},
  publisher = S-V,
}

@Misc{Greiner1994,
  author    = {Greiner, J. and Belloch, G.},
  title     = {{A Parallel Complexity Model for Functional Languages}},
  year      = {1994},
  publisher = {Storming Media},
}

@InProceedings{Grelck2003,
  author    = {Clemens Grelck and Sven-Bodo Scholz},
  title     = {Towards an Efficient Functional Implementation of the {NAS} Benchmark {FT}},
  booktitle = {PaCT},
  year      = {2003},
  series    = {LNCS 2763},
  publisher = S-V,
  pages     = {230--235},
}

@Article{Gupta1996,
  author     = {Himanshu Gupta and P. Sadayappan},
  title      = {Communication-efficient matrix multiplication on hypercubes},
  year       = {1996},
  volume     = {22},
  number     = {1},
  pages      = {75--99},
  abstract   = {In this paper we present an efficient dense matrix multiplication
	algorithm for distributed memory computers with a hypercube topology.
	The proposed algorithm performs better than all previously proposed
	algorithms for a wide range of matrix sizes and number of processors,
	especially for large matrices. We analyze the performance of the
	algorithms for two types of hypercube architectures, one in which
	each node can use (to send and receive) at most one communication
	link at a time and the other in which each node can use all communication
	links simultaneously.},
  bdsk-url-1 = {http://www.sciencedirect.com/science/article/B6V12-3VSCSJS-5/2/89358c4fda8c02ef38c54382213a72c1},
  bdsk-url-2 = {http://dx.doi.org/10.1016/0167-8191(95)00058-5},
  journal    = {Parallel Computing},
  keywords   = {Matrix multiplication},
  xdoi       = {DOI: 10.1016/0167-8191(95)00058-5},
  xissn      = {0167-8191},
  xurl       = {http://www.sciencedirect.com/science/article/B6V12-3VSCSJS-5/2/89358c4fda8c02ef38c54382213a72c1},
}

@Article{Gupta1994,
  author     = {S. K. S. Gupta and C.-H. Huang and P. Sadayappan and R. W. Johnson},
  title      = {Implementing fast {Fourier} transforms on distributed-memory multiprocessors using data redistributions},
  year       = {1994},
  volume     = {4},
  number     = {4},
  pages      = {477--488},
  bdsk-url-1 = {citeseer.ist.psu.edu/gupta94implementing.html},
  journal    = {Parallel Processing Letters},
  xurl       = {citeseer.ist.psu.edu/gupta94implementing.html},
}

@Article{Gustafson1988a,
  author  = {Gustafson, J. L. and Montry, G. R. and Benner, R. E.},
  title   = {{Development of parallel methods for a 1024-processor hypercube.}},
  year    = {1988},
  volume  = {9},
  number  = {4},
  pages   = {609--638},
  journal = {SIAM Journal on Scientific and Statistical Computing},
}

@BOOK{gantmacher-ru,
  title = {{\cyr Teoriya Matric} (Teoriya Matriz)},
  publisher = {{\cyr GITTL} (?, GITTL)},
  year = {1954 (?)},
  author = {{\cyr F.~R.~Gantma{kh}er} (F.~R.~{G}antmacher)},
  address = {{\cyr Moskva} (Moskva)}
}

@Book{Gantmacher1959,
  author    = {F.~R.~{G}antmacher},
  title     = {Matrizenrechnung},
  year      = {1959},
  volume    = {II},
  publisher = {VEB Deutscher Verlag der Wissenschaften},
  address   = {Berlin},
}

@Book{Gantmacher1958,
  author    = {F.~R.~{G}antmacher},
  title     = {Matrizenrechnung},
  year      = {1958},
  volume    = {I},
  publisher = {VEB Deutscher Verlag der Wissenschaften},
  address   = {Berlin},
}

@Article{Gorlatch1998,
  author  = {Sergei Gorlatch},
  title   = {Programming with Divide-and-Conquer Skeletons: A Case Study of {FFT}},
  year    = {1998},
  volume  = {12},
  number  = {1-2},
  pages   = {85-97},
  journal = {Journal of Supercomputing},
}

@Article{Gorlatch1998a,
  author    = {Sergei Gorlatch and Holger Bischof},
  title     = {A Generic {MPI} Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to {FFT}},
  year      = {1998},
  volume    = {8},
  number    = {4},
  journal   = {Parallel Processing Letters},
  publusher = {World Scientific Publishing Company},
}

@Book{Gregory1984,
  author    = {R. T. Gregory and E. V. Krishnamurthy},
  title     = {Methods and Applications of Error--Free Computation},
  year      = {1984},
  publisher = S-V,
  isbn      = {0-387-90967-2, 3-540-90967-2},
}

@Book{Grove2004,
  author    = {Larry C. {G}rove},
  title     = {Algebra},
  year      = {2004},
  note      = {Republication of an edition by Academic Press, 1983},
  publisher = {Dover},
  xaddress  = {Mineola, New York},
}

@Misc{Haible2010,
  author          = {Bruno Haible and Richard Kreckel},
  title           = {{CLN}, a class library for numbers manual},
  year            = {2010},
  note            = {\url{http://www.ginac.de/CLN/cln.ps}. Retrieved 20.08.2010},
  key             = {CLN},
  opthowpublished = {\url{http://www.ginac.de/CLN/cln.ps}},
}

@InBook{Hall1994,
  author    = {C. Hall and K. Hammond and S. {Peyton Jones} and P. Wadler},
  title     = {European Symposium On Programming},
  year      = {1994},
  volume    = {LNCS 788},
  publisher = S-V,
  chapter   = {Type classes in Haskell},
  pages     = {241--256},
  month     = {April},
}

@Article{Hammes1997,
  author    = {Jeffrey Hammes and Sumit Sur and A. P. Wim B{\"o}hm},
  title     = {On the Effectiveness of Functional Language Features: {NAS} Benchmark {FT}},
  year      = {1997},
  volume    = {7},
  number    = {1},
  pages     = {103-123},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  journal   = {J. Funct. Program.},
}

@InProceedings{Hammond2003a-,
  author     = {K. Hammond and J. Berthold and R. Loogen},
  title      = {{Automatic Skeletons in Template Haskell}},
  booktitle  = {{HLPP 2003 --- 2\nd International Workshop on High-level Parallel Programming and Applications, Paris, France}},
  year       = {2003},
  editor     = {F. Loulergue},
  xbooktitle = {{HLPP 2003. Paris, France}},
  xmonth     = {June},
}

@Article{Hammond2003-,
  author    =

license: MIT

repository: Parrows/Parrows

license_type: permissive

repo_name: Parrows/Parrows

branch_name: refs/heads/master

extension: bib