text:
7},
  intrahash     = {be107e540e66cf18d6f142b30d3e761f},
  journal       = {Nat.\ Methods},
  keywords      = {data_analysis microscopy registration to_READ visualization},
  longpublisher = {Nature Publishing Group, a division of Macmillan Publishers Limited. All Rights Reserved.},
  optmonth      = {#jul#},
  opturl        = {http://dx.doi.org/10.1038/nmeth.2072},
  publisher     = {Nature Publishing Group},
  timestamp     = {2013-03-20T17:10:26.000+0100},
}

@Article{Buhmann1998,
  author  = {J. M. Buhmann and D. W. Fellner and M. Held and J. Ketterer and J. Puzicha},
  title   = {Dithered Color Quantization},
  year    = {1998},
  volume  = {17},
  number  = {3},
  month   = Sep,
  pages   = {C219-C231},
  note    = {(Proc. Eurographics'98) \httpAddr{//diglib.eg.org/EG/CGF/volume17/issue3/ColQuant98}},
  doi     = {10.1111/1467-8659.00269},
  journal = cgforum,
  xeditor = {N. Ferreira and M. G{\"{o}}bel},
}

@Article{Fellner1993,
  author  = {Fellner, Dieter W. and Helmberg, Christoph},
  title   = {Robust Rendering of General Ellipses and Elliptical Arcs},
  year    = {1993},
  volume  = {12},
  number  = {3},
  month   = Jul,
  pages   = {251-276},
  doi     = {10.1145/169711.169704},
  journal = tog,
}

@Book{Foley1993,
  author    = {Foley, James D. and van Dam, Andries and Feiner, Stephen K. and Hughes, John F. and Phillips, R.},
  title     = {Introduction to Computer Graphics},
  year      = {1993},
  publisher = {Addison-Wesley},
}

@Article{Kobbelt1997,
  author  = {L. Kobbelt and M. Stamminger and H.-P. Seidel},
  title   = {Using Subdivision on Hierarchical Data to Reconstruct Radiosity Distribution},
  year    = {1997},
  volume  = {16},
  number  = {3},
  pages   = {C347-C355},
  note    = {(Proc. Eurographics'97) \httpAddr{//diglib.eg.org/EG/CGF/volume16/issue3/CGF172.html}},
  doi     = {10.1111/1467-8659.16.3conferenceissue.36},
  journal = cgforum,
}

@InProceedings{Lafortune1997,
  author     = {Eric P. Lafortune and Sing-Choong Foo and Kenneth E. Torrance and Donald P. Greenberg},
  title      = {Non-Linear Approximation of Reflectance Functions},
  year       = {1997},
  volume     = {31},
  pages      = {117-126},
  doi        = {10.1145/258734.258801},
  xbooktitle = {Proc. SIGGRAPH'97},
}

@Article{Lous1990,
  author  = {Y. Le Lous},
  title   = {Report on the {F}irst {E}urographics {W}orkshop on {V}isualization in {S}cientific {C}omputing},
  year    = {1990},
  volume  = {9},
  number  = {4},
  month   = dec,
  pages   = {371-372},
  doi     = {10.1111/j.1467-8659.1990.tb00430.x},
  journal = cgforum,
}

@Article{Seidel1993,
  author  = {Seidel, Hans-Peter},
  title   = {Polar Forms for Geometrically Continuous Spline Curves of Arbitrary Degree},
  year    = {1993},
  volume  = {12},
  number  = {1},
  month   = Jan,
  pages   = {1-34},
  doi     = {10.1145/169728.169726},
  journal = tog,
}

@Article{Bay2008a,
  author      = {Herbert Bay and Andreas Ess and Tinne Tuytelaars and Luc {Van Gool}},
  title       = {{SURF}: {S}peeded {U}p {R}obust {F}eatures},
  year        = {2008},
  volume      = {110},
  number      = {3},
  pages       = {346--359},
  journal     = {Comput.\ Vision Image Understanding},
  longjournal = {Computer Vision and Image Understanding (CVIU)},
}

@Article{Bay2008,
  author      = {Herbert Bay and Andreas Ess and Tinne Tuytelaars and Luc Van Gool},
  title       = {Speeded-Up Robust Features ({SURF})},
  year        = {2008},
  volume      = {110},
  number      = {3},
  pages       = {346--359},
  issn        = {1077-3142},
  doi         = {10.1016/j.cviu.2007.09.014},
  journal     = {Comput. Vision Image Understanding},
  keywords    = {Interest points, Local features, Feature description, Camera calibration, Object recognition },
  longjournal = {Computer Vision and Image Understanding },
  opturl      = {http://www.sciencedirect.com/science/article/pii/S1077314207001555},
  xnote       = {<ce:title>Similarity Matching in Computer Vision and Multimedia</ce:title> },
}

@Article{Zitova2003,
  author      = {Barbara Zitov{\'{a}} and Jan Flusser},
  title       = {Image registration methods: a survey},
  year        = {2003},
  volume      = {21},
  number      = {11},
  pages       = {977--1000},
  issn        = {0262-8856},
  doi         = {10.1016/S0262-8856(03)00137-9},
  journal     = {Image \& Vision Comput.},
  keywords    = {Image registration, Feature detection, Feature matching, Mapping function, Resampling },
  longjournal = {Image and Vision Computing },
  utf8-author = {Barbara Zitová and Jan Flusser},
}
%url = "http://www.sciencedirect.com/science/article/pii/S0262885603001379",

@Article{Fischler1981,
  author     = {Fischler, Martin A. and Bolles, Robert C.},
  title      = {Random Sample Consensus: A Paradigm for Model Fitting with Applications to Image Analysis and Automated Cartography},
  year       = {1981},
  volume     = {24},
  number     = {6},
  pages      = {381--395},
  issn       = {0001-0782},
  doi        = {10.1145/358669.358692},
  acmid      = {358692},
  address    = {New York, NY, USA},
  issue_date = {June 1981},
  journal    = {Commun. ACM},
  keywords   = {automated cartography, camera calibration, image matching, location determination, model fitting, scene analysis},
  numpages   = {15},
  optmonth   = {#jun#},
  publisher  = {ACM},
}
% url = {http://doi.acm.org/10.1145/358669.358692},

@InProceedings{Lucas1981,
  author     = {Lucas, Bruce D and Kanade, Takeo},
  title      = {An iterative image registration technique with an application to stereo vision.},
  booktitle  = {Proc.\ Intl.\ Joint Conf.\ Artificial Intelligence},
  year       = {1981},
  series     = {IJCAI'81},
  pages      = {674--679},
  badvolume  = {81},
  xbooktitle = {IJCAI},
}

@Article{Brown1992,
  author     = {Brown, Lisa Gottesfeld},
  title      = {A Survey of Image Registration Techniques},
  year       = {1992},
  volume     = {24},
  number     = {4},
  pages      = {325--376},
  issn       = {0360-0300},
  doi        = {10.1145/146370.146374},
  acmid      = {146374},
  issue_date = {Dec. 1992},
  journal    = {ACM Comput. Surv.},
  keywords   = {image registration, image warping, rectification, template matching},
  numpages   = {52},
  optaddress = {New York, NY, USA},
  optmonth   = {#dec#},
  publisher  = {ACM},
}
% url = {http://doi.acm.org/10.1145/146370.146374},

@Article{Friston1995,
  author    = {Friston, Karl. J. and Ashburner, J. and Frith, C. D. and Poline, J.-B. and Heather, J. D. and Frackowiak, R. S. J.},
  title     = {Spatial registration and normalization of images},
  year      = {1995},
  volume    = {3},
  number    = {3},
  pages     = {165--189},
  issn      = {1097-0193},
  doi       = {10.1002/hbm.460030303},
  journal   = {Human Brain Mapping},
  keywords  = {realignment, registration, anatomy, imaging, stereotaxy, morphometrics, basis functions, spatial normalization, PET, MRI, functional mapping},
  publisher = {Wiley Subscription Services, Inc., A Wiley Company},
}
%url = {http://dx.doi.org/10.1002/hbm.460030303},

@InProceedings{Tanacs2011,
  author         = {Tanacs, A. and Kato, Z.},
  title          = {Fast linear registration of {3D} objects segmented from medical images},
  booktitle      = {Conf.\ Biomedical Engineering and Informatics},
  year           = {2011},
  series         = {BMEI'11},
  pages          = {294--298},
  doi            = {10.1109/BMEI.2011.6098290},
  keywords       = {computerised tomography;image registration;image segmentation;medical image processing;3D object segmentation;computerized tomography;linear registration;medical image;mutual information-based registration method;pelvic CT image;segmentation error;thoracic CT image;Biomedical imaging;Bones;Computed tomography;Equations;Image segmentation;Mathematical model;Three dimensional displays},
  longxbooktitle = {Biomedical Engineering and Informatics (BMEI), 2011 4th International Conference on},
  optvolume      = {1},
}

@Article{Ma2008,
  author   = {Bin Ma and Lei Wang and Reinhard von Wasielewski and Werner Lindenmaier and Kurt E. J. Dittmar},
  title    = {Serial sectioning and three-dimensional reconstruction of mouse Peyer's patch},
  year     = {2008},
  volume   = {39},
  number   = {7},
  pages    = {967--975},
  issn     = {0968-4328},
  doi      = {10.1016/j.micron.2007.10.007},
  journal  = {Micron},
  keywords = {Serial section, 3D reconstruction, Mouse, Peyer's patch },
}
%url = "http://www.sciencedirect.com/science/article/pii/S0968432807001734",

@Article{Ma2008a,
  author   = {Bin Ma and Zhuang Lin and Simon Winkelbach and Werner Lindenmaier and Kurt E. J. Dittmar},
  title    = {Automatic registration of serial sections of mouse lymph node by using Image-Reg},
  year     = {2008},
  volume   = {39},
  number   = {4},
  pages    = {387--396},
  issn     = {0968-4328},
  doi      = {10.1016/j.micron.2007.03.005},
  journal  = {Micron},
  keywords = {Image registration, Alignment, Serial section, Mouse, Lymph node },
}
%url = "http://www.sciencedirect.com/science/article/pii/S0968432807000522",

@Article{Steiniger2003,
  author      = {Steiniger, Birte and R\"uttinger, Lars and Barth, Peter J.},
  title       = {The Three-dimensional Structure of Human Splenic White Pulp Compartments},
  year        = {2003},
  volume      = {51},
  number      = {5},
  pages       = {655-663},
  doi         = {10.1177/002215540305100511},
  abstract    = {The precise arrangement of B- and T-lymphocytes in the different compartments of the human splenic white pulp is still largely unknown. We therefore performed a 3D reconstruction of 150 serial sections of a representative adult human spleen alternately stained for CD3 and CD20. The results indicate that the T-cell regions of human spleens may be interrupted by B-cell follicles. Therefore, there is no continuous periarteriolar lymphatic T-cell sheath (PALS) around white pulp arterioles. An arteriole may be surrounded by T-lymphocytes at one level, then run across a follicle without any T-cells around, and finally re-enter a T-cell region. T- and B-cell compartments are intricately interdigitated in the human splenic white pulp. CD4+ T-lymphocytes and the typical fibroblasts of the T-cell region may extend as a thin shell at the follicular surface within the marginal zone. On the other hand, IgD++ B-cells continue from the follicular outer marginal zone along the surface of the T-cell region. Our findings indicate that the microanatomy of the splenic white pulp differs between humans and rodents. This may have consequences for the immigration of recirculating lymphocytes and for initial interactions among antigen-specific T- and B-lymphocytes.},
  journal     = {J.\ Histochem.\ Cytochem.},
  longjournal = {Journal of Histochemistry \& Cytochemistry},
}
%URL = {http://jhc.sagepub.com/content/51/5/655.abstract},
%eprint = {http://jhc.sagepub.com/content/51/5/655.full.pdf+html},

@Article{Chui2003,
  author      = {Haili Chui and Anand Rangarajan},
  title       = {A new point matching algorithm for non-rigid registration},
  year        = {2003},
  volume      = {89},
  number      = {2--3},
  pages       = {114--141},
  issn        = {1077-3142},
  doi         = {10.1016/S1077-3142(03)00009-2},
  journal     = {Comput. Vision Image Understanding},
  keywords    = {Registration, Non-rigid mapping, Correspondence, Feature-based, Softassign, Thin-plate splines (TPS), Robust point matching (RPM), Linear assignment, Outlier rejection, Permutation matrix, Brain mapping },
  longjournal = {Computer Vision and Image Understanding },
  xnote       = {<ce:title>Nonrigid Image Registration</ce:title> },
}
%url = "http://www.sciencedirect.com/science/article/pii/S1077314203000092",

@InCollection{Schnabel2001,
  author        = {Schnabel, Julia A. and Rueckert, Daniel and Quist, Marcel and Blackall, Jane M. and Castellano-Smith, Andy D. and others},
  title         = {A Generic Framework for Non-rigid Registration Based on Non-uniform Multi-level Free-Form Deformations},
  booktitle     = {Medical Image Computing and Computer-Assisted Intervention},
  year          = {2001},
  language      = {English},
  series        = {LNCS 2208},
  publisher     = {Springer},
  isbn          = {978-3-540-42697-4},
  pages         = {573--581},
  doi           = {10.1007/3-540-45468-3_69},
  allauthor     = {Schnabel, Julia A. and Rueckert, Daniel and Quist, Marcel and Blackall, Jane M. and Castellano-Smith, Andy D. and Hartkens, Thomas and Penney, Graeme P. and Hall, Walter A. and Liu, Haiying and Truwit, Charles L. and Gerritsen, Frans A. and Hill, Derek L. G. and Hawkes, David J.},
  conference    = {MICCAI 2001},
  longpublisher = {Springer Berlin Heidelberg},
  longseries    = {Lecture Notes in Computer Science},
  longvolume    = {2208},
  xeditor       = {Niessen, Wiro J. and Viergever, Max A.},
}
%url={http://dx.doi.org/10.1007/3-540-45468-3_69},

@InProceedings{Bhatia2004,
  author     = {Bhatia, K. K. and Hajnal, J. V. and Puri, B. K. and Edwards, A. D. and Rueckert, D.},
  title      = {Consistent groupwise non-rigid registration for atlas construction},
  year       = {2004},
  pages      = {908--911 Vol. 1},
  doi        = {10.1109/ISBI.2004.1398686},
  keywords   = {biomechanics;biomedical MRI;brain;deformation;image registration;medical image processing;optimisation;atlas construction;brain MR images;consistent groupwise nonrigid registration;constrained optimization;gradient projection method;schizophrenia;Biomedical imaging;Educational institutions;Gynaecology;Image registration;Information processing;Magnetic resonance;Magnetic resonance imaging;Pediatrics;Registers;Shape},
  xbooktitle = {Biomedical Imaging: Nano to Macro, 2004. IEEE International Symposium on},
}

@InCollection{Pennec1999,
  author     = {Pennec, Xavier and Cachier, Pascal and Ayache, Nicholas},
  title      = {Understanding the ``Demon's Algorithm'': {3D} Non-rigid Registration by Gradient Descent},
  year       = {1999},
  volume     = {1679},
  series     = {Lecture Notes in Computer Science},
  publisher  = {Springer Berlin Heidelberg},
  isbn       = {978-3-540-66503-8},
  pages      = {597--605},
  doi        = {10.1007/10704282_64},
  xbooktitle = {Medical Image Computing and Computer-Assisted Intervention -- MICCAI'99},
  xeditor    = {Taylor, Chris and Colchester, Alain},
}
%url={http://dx.doi.org/10.1007/10704282_64},

@Article{Bajcsy1989,
  author      = {Ruzena Bajcsy and Stane {Kova\v{c}i\v{c}}},
  title       = {Multiresolution elastic matching},
  year        = {1989},
  volume      = {46},
  number      = {1},
  pages       = {1--21},
  issn        = {0734-189X},
  doi         = {10.1016/S0734-189X(89)80014-3},
  journal     = {Comput.\ Vis.\ Graph.\ Image Process.},
  longjournal = {Computer Vision, Graphics, and Image Processing },
  mynote      = {matching with linear corellation, historic},
  utf8-author = {Ruzena Bajcsy and Stane Kovačič},
  xurl        = {http://www.sciencedirect.com/science/article/pii/S0734189X89800143},
}

@Article{Thirion1998,
  author      = {J.-P. Thirion},
  title       = {Image matching as a diffusion process: an analogy with {Maxwell's} demons},
  year        = {1998},
  volume      = {2},
  number      = {3},
  pages       = {243--260},
  issn        = {1361-8415},
  doi         = {10.1016/S1361-8415(98)80022-4},
  journal     = {Med.\ Image Anal.},
  keywords    = {deformable model, elastic matching, image sequence analysis, inter-patient registration, non-rigid matching },
  longjournal = {Medical Image Analysis },
  mynote      = {non-rigid, duffusion, "the demon algorithm", discussion: non-rigid-demon-disc},
}
%url = "http://www.sciencedirect.com/science/article/pii/S1361841598800224",

@Article{Rueckert1999,
  author      = {Rueckert, D. and Sonoda, L. I. and Hayes, C. and Hill, D. L G and Leach, M. O. and Hawkes, D.J.},
  title       = {Nonrigid registration using free-form deformations: application to breast {MR} images},
  year        = {1999},
  volume      = {18},
  number      = {8},
  pages       = {712-721},
  issn        = {0278-0062},
  doi         = {10.1109/42.796284},
  journal     = {IEEE Trans.\ Med.\ Imaging},
  keywords    = {biomechanics;biomedical MRI;image motion analysis;image registration;mammography;medical image processing;splines (mathematics);B-splines;MR mammography;MRI;affine transformation;breast motion;contrast enhancement;free-form deformation;global motion;hierarchical transformation model;intensity changes;local breast motion;magnetic resonance imaging;medical diagnostic imaging;voxel-based similarity measure;Biomedical imaging;Breast cancer;Breast tissue;Cancer detection;Cost function;Cyclic redundancy check;Diseases;Magnetic resonance imaging;Mammography;Medical diagnostic imaging;Breast;Female;Humans;Image Processing, Computer-Assisted;Magnetic Resonance Imaging},
  longjournal = {Medical Imaging, IEEE Transactions on},
  mynote      = {registration, non-rigid, using splines; but: 3d data???},
}

@Article{Shams2010,
  author      = {Shams, R. and Sadeghi, P. and Kennedy, R.A. and Hartley, R.I.},
  title       = {A Survey of Medical Image Registration on Multicore and the {GPU}},
  year        = {2010},
  volume      = {27},
  number      = {2},
  pages       = {50--60},
  issn        = {1053-5888},
  doi         = {10.1109/MSP.2009.935387},
  journal     = {IEEE Signal Process Mag.},
  keywords    = {computer graphic equipment;coprocessors;image registration;medical image processing;parallel architectures;GPU;accelerator implementations;distributed memory;high-performance computing architectures;medical image registration;multicore platforms;nonuniform memory access;parallel computing;symmetric multiprocessing;Biomedical imaging;Cancer;Computed tomography;Computer architecture;Image registration;Laparoscopes;Multicore processing;Pancreas;Surges;Ultrasonic imaging},
  longjournal = {Signal Processing Magazine, IEEE},
}

@Article{Lester1999,
  author      = {Hava Lester and Simon R. Arridge},
  title       = {A survey of hierarchical non-linear medical image registration},
  year        = {1999},
  volume      = {32},
  number      = {1},
  pages       = {129--149},
  issn        = {0031-3203},
  doi         = {10.1016/S0031-3203(98)00095-8},
  journal     = {Pattern Recognit.},
  keywords    = {Non-linear registration, Anisotropic scale space, Landmark-based splines, Elastic warping, Fluid deformation },
  longjournal = {Pattern Recognition },
  mynote      = {special focus on non-rigid},
  opturl      = {http://www.sciencedirect.com/science/article/pii/S0031320398000958},
}

@Book{Hajnal2010,
  author    = {Hajnal, Joseph V and Hill, Derek LG},
  title     = {Medical image registration},
  year      = {2010},
  publisher = {CRC press},
}

@Article{Hibbard1988,
  author   = {Lyndon S. Hibbard and Richard A. Hawkins},
  title    = {Objective image alignment for three-dimensional reconstruction of digital autoradiograms},
  year     = {1988},
  volume   = {26},
  number   = {1},
  pages    = {5574},
  issn     = {0165-0270},
  doi      = {10.1016/0165-0270(88)90129-X},
  fulljournal  = {Journal of Neuroscience Methods},
  journal  = {J.\ Neurosci.\ Meth.},
  keywords = {Image registration, Digital image processing, Rat brain autoradiograms, [14C]Glucose autoradiography },
  mynote   = {method of the moments},
  url      = {http://www.sciencedirect.com/science/article/pii/016502708890129X},
}

@Article{Bradski2000,
  author               = {Bradski, G.},
  title                = {{The OpenCV Library}},
  year                 = {2000},
  citeulike-article-id = {2236121},
  journal              = {Dr. Dobb's Journal of Software Tools},
  keywords             = {bibtex-import},
  posted-at            = {2008-01-15 19:21:54},
}

@Article{Hill2001,
  author      = {Derek L G Hill and Philipp G Batchelor and Mark Holden and David J Hawkes},
  title       = {Medical image registration},
  year        = {2001},
  volume      = {46},
  number      = {3},
  pages       = {R1--R45},
  abstract    = {Radiological images are increasingly being used in healthcare and medical research. There is, consequently, widespread interest in accurately relating information in the different images for diagnosis, treatment and basic science. This article reviews registration techniques used to solve this problem, and describes the wide variety of applications to which these techniques are applied. Applications of image registration include combining images of the same subject from different modalities, aligning temporal sequences of images to compensate for motion of the subject between scans, image guidance during interventions and aligning images from multiple subjects in cohort studies. Current registration algorithms can, in many cases, automatically register images that are related by a rigid body transformation (i.e. where tissue deformation can be ignored). There has also been substantial progress in non-rigid registration algorithms that can compensate for tissue deformation, or align images from different subjects. Nevertheless many registration problems remain unsolved, and this is likely to continue to be an active field of research in the future.},
  journal     = {Phys.\ Med.\ Biol.},
  longjournal = {Physics in Medicine and Biology},
  xurl        = {http://stacks.iop.org/0031-9155/46/i=3/a=201},
}

@Book{Press2007,
  author     = {Press, William H. and Teukolsky, Saul A. and Vetterling, William T. and Flannery, Brian P.},
  title      = {Numerical Recipes: The Art of Scientific Computing},
  year       = {2007},
  edition    = {3},
  publisher  = {Cambridge University Press},
  isbn       = {0521880688, 9780521880688},
  optaddress = {New York, NY, USA},
}

@Book{Suru2005,
  author    = {Suru, Jasjit S and Wilson, David Lynn and Laximinarayan, Swamy},
  title     = {Handbook of biomedical image analysis},
  year      = {2005},
  volume    = {3},
  publisher = {Springer},
  mynote    = {has non-rigid},
}

@Book{Scherzer2006,
  title     = {Mathematical models for registration and applications to medical imaging},
  year      = {2006},
  editor    = {Scherzer, Otmar},
  publisher = {Springer},
  optseries = {Mathematics in industry},
  optvolume = {10},
}

@Book{Goshtasby2005,
  author    = {Goshtasby, A Ardeshir},
  title     = {{2-D} and {3-D} image registration: for medical, remote sensing, and industrial applications},
  year      = {2005},
  publisher = {Wiley},
  mynote    = {more basic, considers many options},
}

@Article{Ourselin2001,
  author      = {S. Ourselin and A. Roche and G. Subsol and X. Pennec and N. Ayache},
  title       = {Reconstructing a {3D} structure from serial histological sections},
  year        = {2001},
  volume      = {19},
  issue       = {1--2},
  pages       = {25--31},
  doi         = {10.1016/S0262-8856(00)00052-4},
  journal     = {Image \& Vision Comput.},
  longjournal = {Image and Vision Computing},
}

@Article{LeGall1991,
  author      = {Le Gall, Didier},
  title       = {{MPEG}: A Video Compression Standard for Multimedia Applications},
  year        = {1991},
  volume      = {34},
  number      = {4},
  pages       = {46--58},
  issn        = {0001-0782},
  doi         = {10.1145/103085.103090},
  acmid       = {103090},
  issue_date  = {April 1991},
  journal     = {Commun.\ ACM},
  longjournal = {Communications of the ACM},
  numpages    = {13},
  optaddress  = {New York, NY, USA},
  optmonth    = {#apr#},
  publisher   = {ACM},
  xurl        = {http://doi.acm.org/10.1145/103085.103090},
}

@Article{Gijtenbeek2005,
  author  = {Gijtenbeek, J. M. and Wesseling, P. and Maass, C. and Burgers, L. and van der Laak, J. A.},
  title   = {Three-dimensional reconstruction of tumor microvasculature: simultaneous visualization of multiple components in paraffin-embedded tissue},
  year    = {2005},
  volume  = {8},
  number  = {4},
  pages   = {297--305},
  journal = {Angiogenesis},
}

@Article{Gilhuis2006,
  author  = {Gilhuis, H. J. and van der Laak, J. A. and Pomp, J. and Kappelle, A. C. and Gijtenbeek, J. M. and Wesseling, P.},
  title   = {Three-dimensional {(3D)} reconstruction and quantitative analysis of the microvasculature in medulloblastoma and ependymoma subtypes},
  year    = {2006},
  volume  = {9},
  number  = {4},
  pages   = {201--208},
  journal = {Angiogenesis},
}

@Article{Krieken1985,
  author  = {van Krieken, J. H. and Te Velde, J. and Hermans, J. and Welvaart, K.},
  title   = {The splenic red pulp; a histomorphometrical study in splenectomy specimens embedded in methylmethacrylate},
  year    = {1985},
  volume  = {9},
  number  = {4},
  pages   = {401--416},
  journal = {Histopathology},
}

@Article{Steiniger2011,
  author      = {Steiniger, B. and Bette, M. and Schwarzbach, H.},
  title       = {The open microcirculation in human spleens: a three-dimensional approach},
  year        = {2011},
  volume      = {59},
  number      = {6},
  pages       = {639--648},
  doi         = {10.1369/0022155411408315},
  journal     = {J.\ Histochem.\ Cytochem.},
  longjournal = {Journal of Histochemistry \& Cytochemistry},
}

@InProceedings{Wan2013,
  author    = {Wan, Tao and Bloch, B. Nicolas and Danish, Shabbar and Madabhushi, Anant},
  title     = {A novel point-based nonrigid image registration scheme based on learning optimal landmark configurations},
  booktitle = {Medical Imaging 2013: Image Processing},
  year      = {2013},
  series    = {Proc.\ SPIE 8669},
  pages     = {866934-866934-12},
  doi       = {10.1117/12.2007153},
  abstract  = {Image registration plays an increasingly important role in the field of medical image processing given the plurality
of images often acquired from different sensors, time points, or viewpoints. Landmark-based registration schemes
represent the most popular class of registration methods due to their simplicity and high accuracy. Previous
studies have shown that these registration schemes are sensitive to the number and location of landmarks.
Identifying important landmarks to perform an accurate registration remains a very challenging task. Current
landmark selection methods, such as feature-based approaches, focus on optimization of global transformation
and may have poor performance in recovering local deformation, e.g. subtle tissue changes caused by tumor
resection, making them inappropriate for registering pre- and post-surgery images as a small cancerous region
will be deformed after removing a tumor. In this work, a novel method is introduced to estimate optimal landmark
configurations. An important landmark configuration that will be used as a training landmark set was learned
for an image pair with a known deformation. This landmark configuration can be considered as a collection
of discrete points. A generic transformation matrix between a pair of training landmark sets with different
deformation locations was computed via an iterative close point (ICP) alignment technique. A new landmark
configuration was determined by simply transforming the training landmarks to the current displacement location
while preserving the topological structure of the configuration of landmarks. Two assumptions are made: 1) In
a new pair of images the deformation is approximately the same size and has only been spatially relocated in the
image, and that by a simple affine transformation one can identify the optimal configuration on this new pair of
images; and 2) The deformation is of similar size and shape on the original pair of images. These are reasonable
assumptions in many cases where one seeks to register tumor images at multiple time points following application
of therapy and to evaluate changes in tumor size. The experiments were conducted on 286 pairs of synthetic
MRI brain images. The training landmark configurations were obtained through 2000 iterations of registration
where the points with consistently best registration performance were selected. The estimated landmarks greatly
improved the quality metrics compared to a uniform grid placement scheme and a speeded-up robust features
(SURF) based method as well as a generic free-form deformation (FFD) approach. The quantitative results
showed that the new landmark configuration achieved 95\% improvement in recovering the local deformation
compared to 89\% for the uniform grid placement, 79\% for the SURF-based approach, and 10\% for the generic
FFD approach.
},
  opturl    = {http://dx.doi.org/10.1117/12.2007153},
}

@Article{McInerney2002,
  author      = {Tim McInerney and Ghassan Hamarneh and Martha Shenton and Demetri Terzopoulos},
  title       = {Deformable organisms for automatic medical image analysis},
  year        = {2002},
  volume      = {6},
  number      = {3},
  pages       = {251--266},
  note        = {Special Issue on Medical Image Computing and Computer-Assisted Intervention - \{MICCAI\} 2001},
  issn        = {1361-8415},
  doi         = {10.1016/S1361-8415(02)00083-X},
  journal     = {Med.\ Image Anal.},
  keywords    = {Medical image segmentation, Deformable models, Intelligent agents, Artificial life },
  longjournal = {Medical Image Analysis },
  opturl      = {http://www.sciencedirect.com/science/article/pii/S136184150200083X},
}

@Article{Stille2013,
  author   = {Maik Stille and Edward J. Smith and William R. Crum and Michel Modo},
  title    = {3D reconstruction of 2D fluorescence histology images and registration with in vivo \{MR\} images: Application in a rodent stroke model},
  year     = {2013},
  volume   = {219},
  number   = {1},
  pages    = {27 - 40},
  issn     = {0165-0270},
  doi      = {10.1016/j.jneumeth.2013.06.003},
  fulljournal  = {Journal of Neuroscience Methods},
  journal  = {J.\ Neurosci.\ Meth.},
  keywords = {Histology, Magnetic resonance imaging, Image registration, Rat, Stroke, Image analysis, Medical imaging },
  opturl   = {http://www.sciencedirect.com/science/article/pii/S0165027013002203},
}

@Article{Bagci2012a,
  author      = {Bagci, U. and Xinjian Chen and Udupa, J.K.},
  title       = {Hierarchical Scale-Based Multiobject Recognition of 3-D Anatomical Structures},
  year        = {2012},
  volume      = {31},
  number      = {3},
  month       = {March},
  pages       = {777-789},
  issn        = {0278-0062},
  doi         = {10.1109/TMI.2011.2180920},
  journal     = {IEEE Trans.\ Med.\ Imaging},
  keywords    = {biological organs;biomedical MRI;computerised tomography;image recognition;image segmentation;medical image processing;object recognition;statistical analysis;3-D anatomical structures;abdominal CT scans;anatomy segmentation;foot MR images;hierarchical transfer function;image recognition;image segmentation;intensity weighted ball-scale object extraction;multiobject recognition;object recognition;statistical shape models;Anatomical structure;Estimation;Image recognition;Image segmentation;Shape;Three dimensional displays;Training;Active shape model;graph-cut;image segmentation;intensity standardization;local scale;object recognition;principal component analysis;three-dimensional (3-D) shape models;Algorithms;Foot;Humans;Imaging, Three-Dimensional;Magnetic Resonance Imaging;Models, Anatomic;Models, Biological;Pattern Recognition, Automated;Principal Component Analysis;Radiography, Abdominal;Reproducibility of Results;Tomography, X-Ray Computed},
  longjournal = {Medical Imaging, IEEE Transactions on},
}

@Article{Nikou2003,
  author   = {Christophoros Nikou and Fabrice Heitz and Astrid Nehlig and Izzie Jacques Namer and Jean-Paul Armspach},
  title    = {A robust statistics-based global energy function for the alignment of serially acquired autoradiographic sections},
  year     = {2003},
  volume   = {124},
  number   = {1},
  pages    = {93 - 102},
  issn     = {0165-0270},
  doi      = {10.1016/S0165-0270(02)00369-2},
  fulljournal  = {Journal of Neuroscience Methods},
  journal  = {J.\ Neurosci.\ Meth.},
  keywords = {Serially acquired images, Alignment, Image registration, Pixel similarity measure, Robust estimation, Three dimensional reconstruction, Autoradiography },
  opturl   = {http://www.sciencedirect.com/science/article/pii/S0165027002003692},
}

@InCollection{Ourselin2000,
  author     = {Ourselin, S. and Roche, A. and Prima, S. and Ayache, N.},
  title      = {Block Matching: A General Framework to Improve Robustness of Rigid Registration of Medical Images},
  year       = {2000},
  volume     = {1935},
  series     = {Lecture Notes in Computer Science},
  publisher  = {Springer Berlin Heidelberg},
  isbn       = {978-3-540-41189-5},
  pages      = {557-566},
  doi        = {10.1007/978-3-540-40899-4_57},
  url        = {http://eprints.ucl.ac.uk/70661/},
  xbooktitle = {Medical Image Computing and Computer-Assisted Intervention – MICCAI 2000},
  xeditor    = {Delp, ScottL. and DiGoia, AnthonyM. and Jaramaz, Branislav},
}

@InProceedings{Bagci2008,
  utf8author = {Bağci, Ulaş and Bai, Li},
  author     = {Ba\v{g}ci, U. and Bai, Li},
  title      = {Registration of standardized histological images in feature space},
  year       = {2008},
  series     = {Proc.\ SPIE 6914},
  Xpages      = {69142V-69142V-9},
  doi        = {10.1117/12.770219},
  Xurl        = { http://dx.doi.org/10.1117/12.770219},
  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.},
  optvolume  = {6914},
  xbooktitle = {Medical Imaging 2008: Image Processing},
}

@Article{Chen2012,
  author   = {Ting Chen and Anand Rangarajan and Stephan J. Eisenschenk and Baba C. Vemuri},
  title    = {Construction of a neuroanatomical shape complex atlas from 3D \{MRI\} brain structures},
  year     = {2012},
  volume   = {60},
  number   = {3},
  pages    = {1778 - 1787},
  issn     = {1053-8119},
  doi      = {10.1016/j.neuroimage.2012.01.095},
  journal  = {NeuroImage},
  keywords = {Brain \{MRI\}, Shape complex atlas, Epilepsy, Lobectomy, Distance transform, Schrödinger equation, Karcher mean, Level set, Square-root density },
  opturl   = {http://www.sciencedirect.com/science/article/pii/S1053811912001127},
}

@Article{Kim1997a,
  author  = {Boklye Kim and Jennifer L. Boes and Kirk A. Frey and Charles R. Meyer},
  title   = {Mutual Information for Automated Unwarping of Rat Brain Autoradiographs},
  year    = {1997},
  volume  = {5},
  number  = {1},
  pages   = {31--40},
  issn    = {1053-8119},
  doi     = {10.1006/nimg.1996.0251},
  journal = {NeuroImage},
  opturl  = {http://www.sciencedirect.com/science/article/pii/S1053811996902517},
}

@InCollection{Lombaert2007,
  author     = {Lombaert, Herve and Sun, Yiyong and Cheriet, Farida},
  title      = {Landmark-Based Non-rigid Registration Via Graph Cuts},
  year       = {2007},
  series     = {LNCS 4633},
  publisher  = {Springer Berlin Heidelberg},
  isbn       = {978-3-540-74258-6},
  pages      = {166-175},
  doi        = {10.1007/978-3-540-74260-9_15},
  url        = {http://dx.doi.org/10.1007/978-3-540-74260-9_15},
  longseries = {Lecture Notes in Computer Science},
  longvolume = {4633},
  xbooktitle = {Image Analysis and Recognition},
  xeditor    = {Kamel, Mohamed and Campilho, Aurélio},
}

@Article{Cheung2009,
  author      = {Cheung, W. and Hamarneh, G.},
  title       = {$n$-{SIFT}: $n$-Dimensional Scale Invariant Feature Transform},
  year        = {2009},
  volume      = {18},
  number      = {9},
  pages       = {2012-2021},
  issn        = {1057-7149},
  doi         = {10.1109/TIP.2009.2024578},
  journal     = {IEEE Trans.\ Image Process.},
  keywords    = {biomedical MRI;computer vision;computerised tomography;feature extraction;image matching;medical image processing;3D + time CT data;3D MRI images;automated multimodal medical image matching technique;computer vision;feature vector;multidimensional histogram;n-SIFT;n-dimensional scale invariant feature transform;salient feature matching;salient features extraction;scalar images;Biomedical image processing;difference of Gaussian;feature extraction;image matching;medical images;scale invariant feature transform (SIFT);Algorithms;Animals;Brain;Dogs;Heart;Humans;Image Processing, Computer-Assisted;Magnetic Resonance Imaging;Normal Distribution;Tomography, X-Ray Computed},
  longjournal = {Image Processing, IEEE Transactions on},
  optmonth    = {Sept},
}

@Article{Bagci2010,
  author      = {Bagci, U. and Li Bai},
  title       = {Automatic Best Reference Slice Selection for Smooth Volume Reconstruction of a Mouse Brain From Histological Images},
  year        = {2010},
  volume      = {29},
  number      = {9},
  pages       = {1688-1696},
  issn        = {0278-0062},
  doi         = {10.1109/TMI.2010.2050594},
  journal     = {IEEE Trans.\ Med.\ Imaging},
  keywords    = {biomedical optical imaging;brain;entropy;image reconstruction;image registration;iterative methods;medical image processing;automatic best reference slice selection algorithm;feature space;high fidelity image features;histological images;image entropy iterative assessment;image intensity variations;image registration;image space;intensity standardization process;mouse brain;reconstruction quality metric;smooth volume reconstruction;Diseases;Entropy;Image reconstruction;Iterative algorithms;Mean square error methods;Mice;Pathology;Permission;Spatial resolution;Standardization;Best reference slice;brain sectioning;histology images;image registration;intensity standardization;reference slice selection;smooth volume reconstruction;Algorithms;Animals;Brain;Histocytochemistry;Image Processing, Computer-Assisted;Magnetic Resonance Imaging;Mice},
  longjournal = {Medical Imaging, IEEE Transactions on},
  optmonth    = {Sept},
}

@Article{Cifor2011,
  author   = {Amalia Cifor and Li Bai and Alain Pitiot},
  title    = {Smoothness-guided {3-D} reconstruction of {2-D} histological images},
  year     = {2011},
  volume   = {56},
  number   = {1},
  pages    = {197--211},
  issn     = {1053-8119},
  doi      = {10.1016/j.neuroimage.2011.01.060},
  journal  = {NeuroImage},
  keywords = {Histology, Reconstruction, Curvature flow },
  opturl   = {http://www.sciencedirect.com/science/article/pii/S1053811911000966},
}

@Article{Xie2004,
  author      = {Xie, Z. and Farin, G.E.},
  title       = {Image registration using hierarchical {B}-splines},
  year        = {2004},
  volume      = {10},
  number      = {1},
  pages       = {85-94},
  issn        = {1077-2626},
  doi         = {10.1109/TVCG.2004.1260760},
  journal     = {IEEE Trans.\ Visual Comput.\ Graphics},
  keywords    = {biomedical MRI;function approximation;image matching;image registration;image sequences;splines (mathematics);MRI;free-form deformation;hierarchical B-splines;image registration;iterative closest point;optical flow;scattered data approximation;shape modeling;Image motion analysis;Image registration;Iterative algorithms;Iterative closest point algorithm;Magnetic resonance imaging;Nonlinear distortion;Nonlinear optics;Optical distortion;Shape;Spline;Algorithms;Brain;Computer Graphics;Computer Simulation;Humans;Image Enhancement;Image Interpretation, Computer-Assisted;Imaging, Three-Dimensional;Information Storage and Retrieval;Magnetic Resonance Imaging;Numerical Analysis, Computer-Assisted;Pattern Recognition, Automated;Reproducibility of Results;Sensitivity and Specificity;Signal Processing, Computer-Assisted;Subtraction Technique;User-Computer Interface},
  longjournal = {Visualization and Computer Graphics, IEEE Transactions on},
  optmonth    = {Jan},
}

@Article{Bagci2012,
  author      = {Bagci, U. and Xinjian Chen and Udupa, J.K.},
  title       = {Hierarchical Scale-Based Multiobject Recognition of {3-D} Anatomical Structures},
  year        = {2012},
  volume      = {31},
  number      = {3},
  pages       = {777-789},
  issn        = {0278-0062},
  doi         = {10.1109/TMI.2011.2180920},
  journal     = {IEEE Trans.\ Med.\ Imaging},
  keywords    = {biological organs;biomedical MRI;computerised tomography;image recognition;image segmentation;medical image processing;object recognition;statistical analysis;3-D anatomical structures;abdominal CT scans;anatomy segmentation;foot MR images;hierarchical transfer function;image recognition;image segmentation;intensity weighted ball-scale object extraction;multiobject recognition;object recognition;statistical shape models;Anatomical structure;Estimation;Image recognition;Image segmentation;Shape;Three dimensional displays;Training;Active shape model;graph-cut;image segmentation;intensity standardization;local scale;object recognition;principal component analysis;three-dimensional (3-D) shape models;Algorithms;Foot;Humans;Imaging, Three-Dimensional;Magnetic Resonance Imaging;Models, Anatomic;Models, Biological;Pattern Recognition, Automated;Principal Component Analysis;Radiography, Abdominal;Reproducibility of Results;Tomography, X-Ray Computed},
  longjournal = {Medical Imaging, IEEE Transactions on},
  optmonth    = {March},
}

@Article{Chappelow2011,
  author      = {Chappelow, Jonathan and Bloch, B. Nicolas and Rofsky, Neil and Genega, Elizabeth and Lenkinski, Robert and DeWolf, William and Madabhushi, Anant},
  title       = {Elastic registration of multimodal prostate {MRI} and histology via multiattribute combined mutual information},
  year        = {2011},
  volume      = {38},
  number      = {4},
  pages       = {2005--2018},
  doi         = {10.1118/1.3560879},
  journal     = {Med.\ Phys.},
  longjournal = {Medical Physics},
  opturl      = {http://scitation.aip.org/content/aapm/journal/medphys/38/4/10.1118/1.3560879},
}

@Article{Park2008,
  author   = {Hyunjin Park and Morand R. Piert and Asra Khan and Rajal Shah and Hero Hussain and Javed Siddiqui and Thomas L. Chenevert and Charles R. Meyer},
  title    = {Registration Methodology for Histological Sections and In Vivo Imaging of Human Prostate},
  year     = {2008},
  volume   = {15},
  number   = {8},
  pages    = {1027--1039},
  issn     = {1076-6332},
  doi      = {10.1016/j.acra.2008.01.022},
  journal  = {Academic Radiology},
  keywords = {Registration of prostate, registration of histology, staging of prostate cancer, mutual information, thin-plate splines },
  opturl   = {http://www.sciencedirect.com/science/article/pii/S1076633208000846},
}

@Article{Kim1997,
  author  = {Boklye Kim and Jennifer L. Boes and Kirk A. Frey and Charles R. Meyer},
  title   = {Mutual Information for Automated Unwarping of Rat Brain Autoradiographs},
  year    = {1997},
  volume  = {5},
  number  = {1},
  pages   = {31--40},
  issn    = {1053-8119},
  doi     = {10.1006/nimg.1996.0251},
  journal = {NeuroImage},
  opturl  = {http://www.sciencedirect.com/science/article/pii/S1053811996902517},
}

@Article{Wells1996,
  author      = {Wells, III, William M. and Paul Viola and Hideki Atsumi and Shin Nakajima and Ron Kikinis},
  title       = {Multi-modal volume registration by maximization of mutual information},
  year        = {1996},
  volume      = {1},
  number      = {1},
  pages       = {35---51},
  issn        = {1361-8415},
  doi         = {10.1016/S1361-8415(01)80004-9},
  journal     = {Med.\ Image Anal.},
  keywords    = {information theory, multi-modality volume registration, mutual information },
  longjournal = {Medical Image Analysis },
  opturl      = {http://www.sciencedirect.com/science/article/pii/S1361841501800049},
}

@Article{Roche2001,
  author      = {Roche, A. and Pennec, X. and Malandain, G. and Ayache, N.},
  title       = {Rigid registration of {3-D} ultrasound with {MR} images: a new approach combining intensity and gradient information},
  year        = {2001},
  volume      = {20},
  number      = {10},
  pages       = {1038--1049},
  issn        = {0278-0062},
  doi         = {10.1109/42.959301},
  journal     = {IEEE Trans.\ Med.\ Imaging},
  keywords    = {biomedical MRI;biomedical ultrasonics;errors;image registration;image resolution;medical image processing;optimisation;3-D ultrasound;MR image resolution;MR images;automatic registration;clinical data;gradient information;intensity information;intraoperative three-dimensional ultrasound;medical diagnostic imaging;preoperative magnetic resonance images;registration errors;rigid registration;similarity measure maximization;Chromium;Computed tomography;Feature extraction;Imaging phantoms;Magnetic resonance;Magnetic resonance imaging;Probes;Robustness;Ultrasonic imaging;Ultrasonic variables measurement;Algorithms;Brain;Echoencephalography;Humans;Image Interpretation, Computer-Assisted;Imaging, Three-Dimensional;Infant;Magnetic Resonance Imaging;Neurosurgical Procedures;Phantoms, Imaging;Time Factors},
  longjournal = {Medical Imaging, IEEE Transactions on},
  optmonth    = {Oct},
}

@Article{Jenkinson2001,
  author      = {Mark Jenkinson and Stephen Smith},
  title       = {A global optimisation method for robust affine registration of brain images},
  year        = {2001},
  volume      = {5},
  number      = {2},
  pages       = {143--156},
  issn        = {1361-8415},
  doi         = {http://dx.doi.org/10.1016/S1361-8415(01)00036-6},
  journal     = {Med.\ Image Anal.},
  keywords    = {Affine transformation, Global optimisation, Multimodal registration, Multi-resolution search, Robustness },
  longjournal = {Medical Image Analysis },
  opturl      = {http://www.sciencedirect.com/science/article/pii/S1361841501000366},
}

@Article{Malandain2004,
  author     = {Malandain, Grégoire and Bardinet, \'{E}ric and Koen Nelissen and Wim Vanduffel},
  title      = {Fusion of autoradiographs with an {MR} volume using {2-D} and {3-D} linear transformations},
  year       = {2004},
  volume     = {23},
  number     = {1},
  pages      = {111--127},
  issn       = {1053-8119},
  doi        = {http://dx.doi.org/10.1016/j.neuroimage.2004.04.038},
  journal    = {NeuroImage},
  keywords   = {Histology, Autoradiography, Mortem },
  opturl     = {http://www.sciencedirect.com/science/article/pii/S1053811904002423},
  origauthor = {Malandain, Grégoire and Bardinet,'Éric and Koen Nelissen and Wim Vanduffel},
}

@Article{Gefen2003,
  author      = {Gefen, S. and Tretiak, O. and Nissanov, J.},
  title       = {Elastic {3-D} alignment of rat brain histological images},
  year        = {2003},
  volume      = {22},
  number      = {11},
  pages       = {1480--1489},
  issn        = {0278-0062},
  doi         = {10.1109/TMI.2003.819280},
  journal     = {IEEE Trans.\ Med.\ Imaging},
  keywords    = {biological tissues;biomechanics;brain models;elastic deformation;image registration;medical image processing;partial differential equations;wavelet transforms;adaptive distance map reduce algorithm complexity;deformation field;elastic 3-D alignment;elastic body model;external anatomic brain structures;internal anatomic brain structures;multiresolution wavelet expansion;nonlinear registration;partial differential equations;rat brain histological images;three-dimensional wavelet-based algorithm;Anatomy;Application software;Biomedical imaging;Brain mapping;Brain modeling;Computer vision;Deformable models;Elasticity;Image registration;Partial differential equations;Anatomy, Cross-Sectional;Animals;Brain;Elasticity;Image Interpretation, Computer-Assisted;Imaging, Three-Dimensional;Rats;Reproducibility of Results;Sensitivity and Specificity;Subtraction Technique},
  longjournal = {Medical Imaging, IEEE Transactions on},
  optmonth    = {Nov},
}

@Article{Eliceiri2012,
  author       = {Eliceiri, Kevin W and Berthold, Michael R and Goldberg, Ilya G and Ib{\'a}{\~n}ez, Luis and Manjunath, Bangalore S and Martone, Maryann E and Murphy, Robert F and Peng, Hanchuan and Plant, Anne L and Roysam, Badrinath and others},
  title        = {Biological imaging software tools},
  year         = {2012},
  volume       = {9},
  number       = {7},
  pages        = {697--710},
  journal      = {Nat.\ Methods},
  longjournal  = {Nature methods},
  optpublisher = {Nature Publishing Group},
}

@Article{Peng2005,
  author      = {Peng, H. and Fulmi Long and Ding, C.},
  title       = {Feature selection based on mutual information criteria of max-dependency, max-relevance, and min-redundancy},
  year        = {2005},
  volume      = {27},
  number      = {8},
  pages       = {1226--1238},
  issn        = {0162-8828},
  doi         = {10.1109/TPAMI.2005.159},
  journal     = {IEEE Trans.\ Pattern Anal.\ Mach.\ Intell.},
  keywords    = {feature extraction;pattern classification;statistical analysis;arrhythmia;cancer cell lines;first-order incremental feature selection;handwritten digits;linear discriminate analysis;lymphoma tissues;maximal statistical dependency criterion;minimal-redundancy-maximal-relevance criterion;mutual information criteria;naive Bayes;pattern classification systems;support vector machine;Algorithm design and analysis;Cancer;Costs;Diversity reception;Mutual information;Pattern classification;Performance analysis;Redundancy;Support vector machine classification;Support vector machines;Index Terms- Feature selection;classification.;maximal dependency;maximal relevance;minimal redundancy;mutual information;Algorithms;Artificial Intelligence;Cluster Analysis;Computer Simulation;Diagnosis, Computer-Assisted;Humans;Information Storage and Retrieval;Models, Statistical;Neoplasms;Numerical Analysis, Computer-Assisted;Pattern Recognition, Automated},
  longjournal = {Pattern Analysis and Machine Intelligence, IEEE Transactions on},
  optmonth    = {Aug},
}

@InProceedings{Wirtz2004,
  author     = {Wirtz, Stefan and Fischer, Bernd and Modersitzki, Jan and Schmitt, Oliver},
  title      = {Superfast elastic registration of histologic images of a whole rat brain for {3D} reconstruction},
  year       = {2004},
  series     = {Proc.\ SPIE 5370},
  pages      = {328--334},
  doi        = {10.1117/12.534110},
  abstract   = {We present a super-fast and parameter-free algorithm for non-rigid elastic registration of images of a serially sectioned whole rat brain. The purpose is to produce a three-dimensional high-resolution reconstruction. The registration is modelled as a minimization problem of a functional consisting of a distance measure and a regularizer based on the elastic potential of the displacement field. The minimization of the functional leads to a system of non-linear partial differential equations, the so-called Navier-Lame equations (NLE). Discretization of the NLE and a fixed point type iteration method lead to a linear system of equations, which has to be solved at each iteration step. We not only present a super-fast solution technique for this system, but also come up with sound strategies for accelerating the outer iteration. This does include a multi-scale approach based on a Gaussian pyramid as well as a clever estimation of the material constants for the elastic potential. The results of the registration process were controlled by an expert who was able to recognize histological details like laminations which was not possible before. Therefore, it is essential to apply elastic registration to this kind of imaging problem. Finally, the visually pleasing results were quantified by a distance measure leading to an improvement of about 79% after just 35 iteration steps.},
  badjournal = {Proc. SPIE},
  badvolume  = {5370},
  opturl     = { http://dx.doi.org/10.1117/12.534110},
}

@InProceedings{Wirtz2005,
  author    = {Wirtz, Stefan and Papenberg, Nils and Fischer, Bernd and Schmitt, Oliver},
  title     = {Robust and staining-invariant elastic registration of a series of images from histologic slices},
  booktitle = {Proc. SPIE},
  year      = {2005},
  series    = {Proc.\ SPIE 5747},
  pages     = {1256--1262},
  doi       = {10.1117/12.595246},
  abstract  = {In image registration of medical data a common and challenging problem is handling intensity-inhomogeneities. These  inhomogeneities appear for instance in images of serially sectioned brains caused by the histological staining process or in medical imaging with contrast agents. Beneath this, natural outliers (for instance cells or vessels) produced by the underlying material itself may be mistaken as noise. Both image registration applications have in common that the well known sum of squared differences (SSD) measure would detect false differences. To deal with these kinds of problems, we supplement the common SSD-measure with image derivatives of higher order. Additionally we introduce a non-quadratic penalizer function to the distance measure leading to robust energy. The concepts are well known in optical flow. Overall, we present a variational model which combines all of these properties. This formulation leads to a fast and efficient algorithm. We demonstrate its applicability at the problems described above.},
  badvolume = {5747},
  opturl    = { http://dx.doi.org/10.1117/12.595246},
}

@Article{Nikou2003a,
  author      = {Christophoros Nikou and Fabrice Heitz and Astrid Nehlig and Izzie Jacques Namer and Jean-Paul Armspach},
  title       = {A robust statistics-based global energy function for the alignment of serially acquired autoradiographic sections},
  year        = {2003},
  volume      = {124},
  number      = {1},
  pages       = {93--102},
  issn        = {0165-0270},
  doi         = {http://dx.doi.org/10.1016/S0165-0270(02)00369-2},
  journal     = {J.\ Neurosci.\ Methods},
  keywords    = {Serially acquired images, Alignment, Image registration, Pixel similarity measure, Robust estimation, Three dimensional reconstruction, Autoradiography },
  longjournal = {Journal of Neuroscience Methods },
  opturl      = {http://www.sciencedirect.com/science/article/pii/S0165027002003692},
}

@Article{Guest2001,
  author      = {Guest, E. and Berry, E. and Baldock, R.A. and Fidrich, M. and Smith, M.A.},
  title       = {Robust point correspondence applied to two- and three-dimensional image registration},
  year        = {2001},
  volume      = {23},
  number      = {2},
  pages       = {165--179},
  issn        = {0162-8828},
  doi         = {10.1109/34.908967},
  journal     = {IEEE Trans.\ Pattern Anal.\ Mach.\ Intell.},
  keywords    = {image registration;medical image processing;stability;2D elastic registration algorithm;3D rigid registration algorithm;CSM;biological applications;image registration;medical applications;movement sensitivity;postoperative facial range scans;preoperative facial range scans;registration transformation;reliability measure;robust point correspondence;serial section warping;Biomedical imaging;Biomedical measurements;Cost function;Helium;Image matching;Image reconstruction;Image registration;Robustness;Surface reconstruction;Surgery},
  longjournal = {Pattern Analysis and Machine Intelligence, IEEE Transactions on},
  optmonth    = {Feb},
}

@Article{Besl1992,
  author        = {Besl, Paul J. and McKay, Neil D.},
  title         = {A Method for Registration of {3-D} Shapes},
  year          = {1992},
  volume        = {14},
  number        = {2},
  pages         = {239--256},
  issn          = {0162-8828},
  doi           = {10.1109/34.121791},
  acmid         = {132022},
  issue_date    = {February 1992},
  journal       = {IEEE Trans.\ Pattern Anal.\ Mach.\ Intell.},
  keywords      = {3D shape registration, computational geometry, convergence, convergence of numerical methods, geometric entity, geometric model, iterative closest point, iterative methods, mean-square distance metric, optimisation, pattern recognition, picture processing, point set registration},
  longpublisher = {IEEE Computer Society},
  numpages      = {18},
  optaddress    = {Washington, DC, USA},
  optmonth      = {#feb#},
  opturl        = {http://dx.doi.org/10.1109/34.121791},
  publisher     = {IEEE},
}

@Article{Ju2006,
  author      = {Tao Ju and Joe Warren and James Carson and Musodiq Bello and Ioannis Kakadiaris and Wah Chiu and Christina Thaller and Gregor Eichele},
  title       = {{3D} volume reconstruction of a mouse brain from histological sections using warp filtering},
  year        = {2006},
  volume      = {156},
  number      = {1--2},
  pages       = {84--100},
  issn        = {0165-0270},
  doi         = {10.1016/j.jneumeth.2006.02.020},
  url         = {http://www.sciencedirect.com/science/article/pii/S0165027006001282},
  Xjournal     = {J.\ Neurosci.\ Methods},
  keywords    = {3D reconstruction, Filtering, Image warping, Dynamic programming, Histology },
  journal = {Journal of Neuroscience Methods },
}

@Article{Pomerleau2013,
  author      = {Pomerleau, Fran{\c c}ois and Colas, Francis and Siegwart, Roland and Magnenat, St{\'e}phane},
  title       = {Comparing {ICP} Variants on Real-World Data Sets},
  year        = {2013},
  volume      = {34},
  number      = {3},
  month       = feb,
  pages       = {133--148},
  journal     = {Auton.\ Robot},
  longjournal = {Autonomous Robots},
}

@InProceedings{mphRedactedforreview2014,
  author    = {\emph{Redacted for review}},
  title     = {Parallel iso-surface extraction and simplification},
  booktitle = {Redacted for review},
  year      = {2014},
  key       = {Red14},
}

@InProceedings{Ulrich2014,
  author    = {Ch. Ulrich and N. Grund and E. Derzapf and O. Lobachev and M. Guthe},
  title     = {Parallel iso-surface extraction and simplification},
  booktitle = {WSCG Communications proceedings},
  year      = {2014},
  optkey    = {Red14},
}

@ARTICLE{1407976,
author={Auer, M. and Regitnig, P. and Holzapfel, G.A},
longjournal={Image Processing, IEEE Transactions on},
journal = 	 {IEEE T.\ Image Process.},
title={An automatic nonrigid registration for stained histological sections},
year={2005},
OPTmonth={April},
volume={14},
number={4},
pages={475--486},
keywords={biological tissues;image registration;interpolation;medical image processing;splines (mathematics);automatic computer-based analyses;elastic thin-plate spline interpolation;hierarchical nonrigid registration algorithm;histological image;image pyramid;mean pixel displacement error;minor image artifact;point-based registration;rigid-body motion;stained histological section;Algorithm design and analysis;Arteries;Computational efficiency;Humans;Interpolation;Noise measurement;Performance evaluation;Robustness;Spline;Testing;Atherosclerotic human arteries;histological image;image pyramid;nonrigid registration method;similarity measure;thin-plate spline (TPS) interpolation;Algorithms;Anatomy, Cross-Sectional;Artificial Intelligence;Image Enhancement;Image Interpretation, Computer-Assisted;Imaging, Three-Dimensional;Information Storage and Retrieval;Numerical Analysis, Computer-Assisted;Pattern Recognition, Automated;Reproducibility of Results;Sensitivity and Specificity;Signal Processing, Computer-Assisted;Subtraction Technique;Video Recording},
doi={10.1109/TIP.2005.843756},
ISSN={1057-7149},}

@Article{Murphy2011,
  author      = {Murphy, K. and van Ginneken, B. and Reinhardt, J.M. and Kabus, S. and Kai Ding and others},
  title       = {Evaluation of Registration Methods on Thoracic {CT}: The {EMPIRE10} Challenge},
  year        = {2011},
  volume      = {30},
  number      = {11},
  pages       = {1901--1920},
  issn        = {0278-0062},
  doi         = {10.1109/TMI.2011.2158349},
  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},
  journal     = {IEEE T.\ Med.\ Imaging},
  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},
  longjournal = {Medical Imaging, IEEE Transactions on},
  optmonth    = {Nov},
}

@article{song20133d,
  title={{3D} reconstruction of multiple stained histology images},
  author={Song, Y and Treanor, D and Bulpitt, AJ and Magee, DR},
  journal={Journal of Pathology Informatics},
  volume={4},
  number={2},
  pages={7},
  year={2013},
  publisher={Medknow Publications}
}

@article{Pitiot200816,
title = "Geometrical regularization of displacement fields for histological image registration ",
longjournal = "Medical Image Analysis ",
journal = "Med.\ Image Anal.",
volume = "12",
number = "1",
pages = "16--25",
year = "2008",
note = "Special Issue on The Third International Workshop on Biomedical Image Registration – \{WBIR\} 2006 ",
issn = "1361-8415",
doi = "10.1016/j.media.2007.06.007",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S136184150700059X",
author = "Alain Pitiot and Alexandre Guimond",
keywords = "Registration",
keywords = "Histology",
keywords = "Reconstruction",
keywords = "Regularization ",
abstract = "This article tackles the registration of 2-D biomedical images (histological sections, autoradiographs, cryosections, etc.). Our goal is to adequately match anatomical features of interest without inducing biologically improbable tissue distortions. We observe that the large variety of registration applications – 3-D volume reconstruction, multimodal molecular mapping, etc. – induce a no less diverse set of requirements in terms of accuracy and robustness. In turn, these directly translate into regularization constraints on the deformation model, which should ideally be specifiable by the user. We propose an adaptive regularization approach where the rigidity constraints are informed by the registration application at hand and whose support is controlled by the geometry of the images to be registered. For each site of a sparse lattice over which a displacement field has been computed, our algorithm estimates, in a robust fashion, a rigid or affine transformation within a circular neighbourhood cut to fit the local geometry around the site. We investigate the behaviour of this technique and discuss its sensitivity to the rigidity parameter. "
}

@Comment{jabref-meta: databaseType:biblatex;}

@inproceedings{perrig1999hash,
  title={Hash visualization: A new technique to improve real-world security},
  author={Perrig, Adrian and Song, Dawn},
  booktitle={International Workshop on Cryptographic Techniques and E-Commerce},
  pages={131--138},
  year={1999},
  series = {CrypTEC'99},
}

@inproceedings{dhamija2000deja,
  title={D\'{e}j\`{a} Vu: A User Study. Using Images for Authentication.},
  author={Dhamija, Rachna and Perrig, Adrian},
  booktitle={{USENIX} Security Symposium},
  volume={9},
  pages={4--4},
  year={2000}
}

@INPROCEEDINGS{1565273,
author={Xiaoyuan Suo and Ying Zhu and G. S. Owen},
booktitle={21\xst Annual Computer Security Applications Conference (ACSAC'05)},
title={Graphical passwords: a survey},
year={2005},
XXXpages={10 pp.-472},
keywords={authorisation;computer authentication;graphical passwords;information security;password security;recall-based approach;recognition-based approach;Authentication;Biometrics;Computer networks;Computer science;Computer security;Human factors;Information security;Psychology;Radio access networks;Text recognition},
doi={10.1109/CSAC.2005.27},
ISSN={1063-9527},
OPTmonth={Dec},
publisher={IEEE},}

@Manual{ssh-man,
  title = 	 {\texttt{ssh} manpage},
  key =		 {ssh},
  author =	 {BSD General Commands Manual},
  organization = {Apple},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {February 12, 2017},
  year =	 {2017},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{aswad2009low,
  title={Low Pain vs No Pain Multi-core {Haskells}},
  author={Aswad, Mustafa and Trinder, Phil and Al Zain, Abdallah and Michaelson, Greg and Berthold, Jost},
  booktitle={Trends in Functional Programming},
  pages={49--64},
  year={2009}
}

@inproceedings{Aljabri:2013:DIG:2620678.2620682,
 author = {Aljabri, Malak and Loidl, Hans-Wolfgang and Trinder, Phil W.},
 title = {The Design and Implementation of {GUMSMP}: A Multilevel Parallel Haskell Implementation},
 booktitle = {Proceedings of the 25\xth Symposium on Implementation and Application of Functional Languages},
 series = {IFL'13},
 year = {2014},
 isbn = {978-1-4503-2988-0},
 OPTlocation = {Nijmegen, Netherlands},
 pages = {37:37--37:48},
 articleno = {37},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/2620678.2620682},
 doi = {10.1145/2620678.2620682},
 acmid = {2620682},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {Distributed Architectures, Parallel Haskell, Virtual Shared Memory},
}
@Inbook{Aljabri2015,
author="Aljabri, Malak
and Loidl, Hans-Wolfgang
and Trinder, Phil",
editor="Hage, Jurriaan
and McCarthy, Jay",
title="Balancing Shared and Distributed Heaps on {NUMA} Architectures",
bookTitle="15\xth International Symposium on Trends in Functional Programming, Revised Selected Papers",
year="2015",
unneeded = "TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014.",
longpublisher="Springer International Publishing",
publisher="Springer",
Xaddress="Cham",
pages="1--17",
isbn="978-3-319-14675-1",
doi="10.1007/978-3-319-14675-1_1",
OPTurl="http://dx.doi.org/10.1007/978-3-319-14675-1_1"
}

@article{berthold_loidl_hammond_2016,
title={{PAEAN}: Portable and scalable runtime support for parallel {Haskell} dialects},
volume={26},
DOI={10.1017/S0956796816000010}, journal
={Journal of Functional Programming},
publisher={Cambridge University Press},
author={Berthold, Jost And Loidl, Hans-Wolfgang And Hammond, Kevin},
year={2016}}

@Inbook{Berthold2009,
author="Berthold, Jost
and Dieterle, Mischa
and Loogen, Rita",
editor="Sips, Henk
and Epema, Dick
and Lin, Hai-Xiang",
title="Implementing Parallel {Google} Map-Reduce in {Eden}",
bookTitle="Euro-Par 2009 Parallel Processing",
unneeded=": 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings",
year="2009",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
longaddress="Berlin, Heidelberg",
pages="990--1002",
isbn="978-3-642-03869-3",
doi="10.1007/978-3-642-03869-3_91",
OPTurl="http://dx.doi.org/10.1007/978-3-642-03869-3_91"
}

@article{dieterle_horstmeyer_loogen_berthold_2016,
title={Skeleton composition versus stable process systems in {Eden}},
volume={26},
DOI={10.1017/S0956796816000083},
journal={Journal of Functional Programming},
publisher={Cambridge University Press},
author={Dieterle, M. And Horstmeyer, T. And Loogen, R. And Berthold, J.},
year={2016}}

@Article{Horstmeyer2013,
author="Horstmeyer, Thomas
and Loogen, Rita",
title="Graph-based communication in {Eden}",
journal="Higher-Order and Symbolic Computation",
year="2013",
volume="26",
number="1",
pages="3--28",
abstract="We present a graph-based approach to the definition and creation of process topologies in the parallel Haskell extension Eden. Grace (Graph-based communication in Eden) allows the programmer to specify a network of processes as a graph, where the graph nodes represent processes and the edges represent communication channels. This simplifies the specification and creation of complex communication topologies. The main benefit of the Grace approach is the clean separation between coordination and computation. A special problem is the maintenance of type-safety. Runtime experiments show that Grace has a marginal overhead in comparison with traditional Eden code.",
issn="1573-0557",
doi="10.1007/s10990-014-9101-y",
OPTurl="http://dx.doi.org/10.1007/s10990-014-9101-y"
}

@Inbook{Dieterle2013,
author="Dieterle, Mischa
and Horstmeyer, Thomas
and Berthold, Jost
and Loogen, Rita",
editor="Hinze, Ralf",
title="Iterating Skeletons",
bookTitle="24\xth International Symposium on Implementation and Application of Functional Languages, Revised Selected Papers",
year="2013",
unneeded = "IFL 2012, Oxford, UK, August 30 - September 1, 2012",
series = "IFL'12",
publisher="Springer",
longpublisher="Springer Berlin Heidelberg",
OPTaddress="Berlin, Heidelberg",
pages="18--36",
isbn="978-3-642-41582-1",
doi="10.1007/978-3-642-41582-1_2",
OPTurl="http://dx.doi.org/10.1007/978-3-642-41582-1_2"
}

@article{Takuya_Matsumoto2017,
  title={Evaluation of Libraries for Parallel Computing in Haskell ‚Äî A Case Study with a Super-resolution Application},
  author={Takuya Matsumoto and Kiminori Matsuzaki},
  journal={Journal of Information Processing},
  volume={25},
  number={ },
  pages={308-316},
  year={2017},
  doi={10.2197/ipsjjip.25.308}
}

@inproceedings{Chakravarty:2011:AHA:1926354.1926358,
 author = {Chakravarty, Manuel M.T. and Keller, Gabriele and Lee, Sean and McDonell, Trevor L. and Grover, Vinod},
 title = {Accelerating {Haskell} Array Codes with Multicore {GPUs}},
 booktitle = {Proceedings of the 6\xth Workshop on Declarative Aspects of Multicore Programming},
 series = {DAMP'11},
 year = {2011},
 isbn = {978-1-4503-0486-3},
 OPTlocation = {Austin, Texas, USA},
 pages = {3--14},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1926354.1926358},
 doi = {10.1145/1926354.1926358},
 acmid = {1926358},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {arrays, data parallelism, dynamic compilation, gpgpu, haskell, skeletons},
}

@article{McDonell:2015:TRC:2887747.2804313,
 author = {McDonell, Trevor L. and Chakravarty, Manuel M. T. and Grover, Vinod and Newton, Ryan R.},
 title = {Type-safe Runtime Code Generation: Accelerate to {LLVM}},
 journal = {{SIGPLAN} Not.},
 issue_date = {December 2015},
 volume = {50},
 number = {12},
 month = aug,
 year = {2015},
 issn = {0362-1340},
 pages = {201--212},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/2887747.2804313},
 doi = {10.1145/2887747.2804313},
 acmid = {2804313},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {Arrays, Code Generation, Data Parallelism, Dynamic Compilation, Embedded Language, GPGPU, Haskell, LLVM},
}

@book{marlow2013parallel,
  title={Parallel and concurrent programming in {Haskell}: Techniques for multicore and multithreaded programming},
  author={Marlow, Simon},
  year={2013},
  publisher={"O'Reilly Media, Inc."}
}

@inproceedings{CKLM+11,
    author      = {Chakravarty, Manuel M T and Keller, Gabriele and Lee, Sean and McDonell, Trevor L and Grover, Vinod},
    title       = {Accelerating {Haskell} array codes with multicore {GPUs}},
    booktitle   = {DAMP'11: The 6th workshop on Declarative Aspects of Multicore Programming},
    publisher   = {ACM},
    year        = {2011},
    month       = jan
}

@inproceedings{MCKL13,
    author      = {McDonell, Trevor L and Chakravarty, Manuel M T and Keller, Gabriele and Lippmeier, Ben},
    title       = {Optimising Purely Functional {GPU} Programs},
    booktitle   = {ICFP'13: The 18th {ACM SIGPLAN} International Conference on Functional Programming},
    publisher   = {ACM},
    year        = {2013},
    month       = sep,
}

@inproceedings{CMCK14,
    author      = {Clifton-Everest, Robert and McDonell, Trevor L and Chakravarty, Manuel M T and Keller, Gabriele},
    title       = {{Embedding Foreign Code}},
    booktitle   = {PADL'14: The 16th International Symposium on Practical Aspects of Declarative Languages},
    publisher   = {Springer-Verlag},
    series      = {LNCS},
    year        = {2014},
    month       = jan,
}

@inproceedings{MCGN15,
    author      = {McDonell, Trevor L and Chakravarty, Manuel M T and Grover, Vinod and Newton, Ryan R},
    title       = {{Type-safe Runtime Code Generation: Accelerate to LLVM}},
    booktitle   = {Haskell'15: The 8th {ACM SIGPLAN} Symposium on {Haskell}},
    year        = {2015},
    pages       = {201--212},
    publisher   = {ACM},
    month       = sep
}

@article{doi:10.1142/S0129626403001380,
author = {Hammond, Kevin and Berthold, Jost and Loogen, Rita},
title = {Automatic skeletons in {Template} {Haskell}},
journal = {Parallel Processing Letters},
volume = {13},
number = {03},
pages = {413-424},
year = {2003},
doi = {10.1142/S0129626403001380},

OPTURL = {http://www.worldscientific.com/doi/abs/10.1142/S0129626403001380},
eprint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129626403001380}
}

@INPROCEEDINGS{1213144,
author={F. H. de Carvalho and R. D. Lins},
booktitle={Proceedings International Parallel and Distributed Processing Symposium},
title={Topological skeletons in {Haskell\#}},
year={2003},
Xpages={8 pp.-},
keywords={configuration management;functional languages;parallel languages;Haskell extension;Haskell#;algorithmic skeletons;configuration language;configuration level;coordination based distributed extension;hierarchical composition;process templates;programming concurrency;topological skeletons;Concurrent computing;Distributed computing;Functional programming;High performance computing;Libraries;Message passing;Parallel programming;Portable computers;Skeleton;Stress},
doi={10.1109/IPDPS.2003.1213144},
ISSN={1530-2075},
month={April},}

@Inbook{delaEncina2011,
author="de la Encina, Alberto
and Hidalgo-Herrero, Mercedes
and Rabanal, Pablo
and Rubio, Fernando",
editor="Cabestany, Joan
and Rojas, Ignacio
and Joya, Gonzalo",
title="A Parallel Skeleton for Genetic Algorithms",
bookTitle="Advances in Computational Intelligence: 11\xth International Work-Conference on Artificial Neural Networks",
uneeded="IWANN 2011, Torremolinos-M{\'a}laga, Spain, June 8-10, 2011, Proceedings, Part II,",
year="2011",
series="IWANN'11",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
OPTaddress="Berlin, Heidelberg",
pages="388--395",
isbn="978-3-642-21498-1",
doi="10.1007/978-3-642-21498-1_49",
OPTurl="http://dx.doi.org/10.1007/978-3-642-21498-1_49"
}

@Article{Lengauer1997,
author="Lengauer, Christian
and Gorlatch, Sergei
and Herrmann, Christoph",
title="The Static Parallelization of Loops and Recursions",
journal="The Journal of Supercomputing",
year="1997",
volume="11",
number="4",
pages="333--353",
abstract="We demonstrate approaches to the static parallelization of loops and recursions on the example of the polynomial product. Phrased as a loop nest, the polynomial product can be parallelized automatically by applying a space-time mapping technique based on linear algebra and linear programming. One can choose a parallel program that is optimal with respect to some objective function like the number of execution steps, processors, channels, etc. However,at best,linear execution time complexity can be atained. Through phrasing the polynomial product as a divide-and-conquer recursion, one can obtain a parallel program with sublinear execution time. In this case, the target program is not derived by an automatic search but given as a program skeleton, which can be deduced by a sequence of equational program transformations. We discuss the use of such skeletons, compare and assess the models in which loops and divide-and-conquer resursions are parallelized and comment on the performance properties of the resulting parallel implementations.",
issn="1573-0484",
doi="10.1023/A:1007904422322",
OPTurl="http://dx.doi.org/10.1023/A:1007904422322"
}

@article{Keller:2010:RSP:1932681.1863582,
 author = {Keller, Gabriele and Chakravarty, Manuel M.T. and Leshchinskiy, Roman and {Peyton Jones}, Simon and Lippmeier, Ben},
 title = {Regular, Shape-polymorphic, Parallel Arrays in Haskell},
 journal = {{SIGPLAN} Not.},
 issue_date = {September 2010},
 volume = {45},
 number = {9},
 month = sep,
 year = {2010},
 issn = {0362-1340},
 pages = {261--272},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1932681.1863582},
 doi = {10.1145/1932681.1863582},
 acmid = {1863582},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {arrays, data parallelism, haskell},
}

@article{Foltzer:2012:MPC:2398856.2364562,
 author = {Foltzer, Adam and Kulkarni, Abhishek and Swords, Rebecca and Sasidharan, Sajith and Jiang, Eric and Newton, Ryan},
 title = {A Meta-scheduler for the {Par}-monad: Composable Scheduling for the Heterogeneous Cloud},
 journal = {{SIGPLAN} Not.},
 issue_date = {September 2012},
 volume = {47},
 number = {9},
 month = sep,
 year = {2012},
 issn = {0362-1340},
 pages = {235--246},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/2398856.2364562},
 doi = {10.1145/2398856.2364562},
 acmid = {2364562},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {composability, gpu, haskell, work-stealing},
}

@article{Maier:2014:HDS:2775050.2633363,
 author = {Maier, Patrick and Stewart, Robert and Trinder, Phil},
 title = {The {HdpH} {DSLs} for Scalable Reliable Computation},
 journal = {{SIGPLAN} Not.},
 issue_date = {December 2014},
 volume = {49},
 number = {12},
 month = sep,
 year = {2014},
 issn = {0362-1340},
 pages = {65--76},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/2775050.2633363},
 doi = {10.1145/2775050.2633363},
 acmid = {2633363},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {embedded domain specific languages, fault tolerance, parallelism, topology awareness},
}

@article{stewart_maier_trinder_2016,
title={Transparent fault tolerance for scalable functional computation},
volume={26},
DOI={10.1017/S095679681600006X},
journal={Journal of Functional Programming},
publisher={Cambridge University Press},
author={Stewart, Robert And Maier, Patrick And Trinder, Phil},
year={2016}}

@article{Kuper:2014:TPE:2666356.2594312,
 author = {Kuper, Lindsey and Todd, Aaron and Tobin-Hochstadt, Sam and Newton, Ryan R.},
 title = {Taming the Parallel Effect Zoo: Extensible Deterministic Parallelism with {LVish}},
 journal = {{SIGPLAN} Not.},
 issue_date = {June 2014},
 volume = {49},
 number = {6},
 month = jun,
 year = {2014},
 issn = {0362-1340},
 pages = {2--14},
 numpages = {13},
 OPTurl = {http://doi.acm.org/10.1145/2666356.2594312},
 doi = {10.1145/2666356.2594312},
 acmid = {2594312},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {deterministic parallelism},
}

@Inbook{Lobachev2012,
author="Lobachev, Oleg",
editor="Schrijvers, Tom
and Thiemann, Peter",
title="Parallel Computation Skeletons with Premature Termination Property",
bookTitle="11\xth International Symposium on Functional and Logic Programming",
year="2012",
uneeded=": , , Kobe, Japan, May 23-25, 2012. Proceedings",
series="FLOPS 2012",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
OPTaddress="Berlin, Heidelberg",
pages="197--212",
isbn="978-3-642-29822-6",
doi="10.1007/978-3-642-29822-6_17",
OPTurl="http://dx.doi.org/10.1007/978-3-642-29822-6_17"
}
@Inbook{Lobachev2012---,
author="Lobachev, Oleg",
editor="Schrijvers, Tom
and Thiemann, Peter",
title="Parallel Computation Skeletons with Premature Termination Property",
OrigbookTitle="Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings",
year="2012",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
OPTaddress="Berlin, Heidelberg",
pages="197--212",
isbn="978-3-642-29822-6",
doi="10.1007/978-3-642-29822-6_17",
OPTurl="http://dx.doi.org/10.1007/978-3-642-29822-6_17"
}

@Inbook{Berthold2009-fft,
author="Berthold, Jost
and Dieterle, Mischa
and Lobachev, Oleg
and Loogen, Rita",
editor="Malyshkin, Victor",
title="Parallel {FFT} with {Eden} Skeletons",
bookTitle="10\xth International Conference on Parallel Computing Technologies",
series="PaCT'09",
unneeded=": , , Novosibirsk, Russia, August 31-September 4, 2009. Proceedings",
year="2009",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
OPTaddress="Berlin, Heidelberg",
pages="73--83",
isbn="978-3-642-03275-2",
doi="10.1007/978-3-642-03275-2_8",
OPTurl="http://dx.doi.org/10.1007/978-3-642-03275-2_8"
}

@inproceedings{Perfumo:2008:LST:1366230.1366241,
 author = {Perfumo, Cristian and S\"{o}nmez, Nehir and Stipic, Srdjan and Unsal, Osman and Cristal, Adri\'{a}n and Harris, Tim and Valero, Mateo},
 title = {The Limits of Software Transactional Memory ({STM}): Dissecting {Haskell} {STM} Applications on a Many-core Environment},
 booktitle = {Proceedings of the 5\xth Conference on Computing Frontiers},
 series = {CF'08},
 year = {2008},
 isbn = {978-1-60558-077-7},
 location = {Ischia, Italy},
 pages = {67--78},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1366230.1366241},
 doi = {10.1145/1366230.1366241},
 acmid = {1366241},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {haskell, instrumentation, transactional memory},
}

@inproceedings{Harris:2005:CMT:1065944.1065952,
 author = {Harris, Tim and Marlow, Simon and {Peyton Jones}, Simon and Herlihy, Maurice},
 title = {Composable Memory Transactions},
 booktitle = {Proceedings of the 10\xth {ACM SIGPLAN} Symposium on Principles and Practice of Parallel Programming},
 series = {PPoPP'05},
 year = {2005},
 isbn = {1-59593-080-9},
 OPTlocation = {Chicago, IL, USA},
 pages = {48--60},
 numpages = {13},
 OPTurl = {http://doi.acm.org/10.1145/1065944.1065952},
 doi = {10.1145/1065944.1065952},
 acmid = {1065952},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {locks, non-blocking algorithms, transactions},
}

@article{HUGHES200067,
title = "Generalising monads to arrows",
journal = "Science of Computer Programming",
volume = "37",
number = "1",
pages = "67--111",
year = "2000",
note = "",
issn = "0167-6423",
doi = "10.1016/S0167-6423(99)00023-4",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S0167642399000234",
author = "John Hughes",
abstract = "Monads have become very popular for structuring functional programs since Wadler introduced their use in 1990. In particular, libraries of combinators are often based on a monadic type. Such libraries share (in part) a common interface, from which numerous benefits flow, such as the possibility to write generic code which works together with any library. But, several interesting and useful libraries are fundamentally incompatible with the monadic interface. In this paper I propose a generalisation of monads, which I call arrows, with significantly wider applicability. The paper shows how many of the techniques of monadic programming generalise to the new setting, and gives examples to show that the greater generality is useful. In particular, three non-monadic libraries for efficient parsing, building graphical user interfaces, and programming active web pages fit naturally into the new framework."
}

@article{LINDLEY201197,
title = "Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "229",
number = "5",
pages = "97--117",
year = "2011",
note = "",
issn = "1571-0661",
doi = "10.1016/j.entcs.2011.02.018",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S1571066111000557",
author = "Sam Lindley and Philip Wadler and Jeremy Yallop",
keywords = "applicative functors",
keywords = "idioms",
keywords = "arrows",
keywords = "monads",
abstract = "We revisit the connection between three notions of computation: Moggi ºs monads, Hughes ºs arrows and McBride and Paterson ºs idioms (also called applicative functors). We show that idioms are equivalent to arrows that satisfy the type isomorphism A‚ÜùB‚âÉ1‚Üù(A‚ÜíB) and that monads are equivalent to arrows that satisfy the type isomorphism A‚ÜùB‚âÉA‚Üí(1‚ÜùB). Further, idioms embed into arrows and arrows embed into monads."
}
@article{ATKEY201119,
title = "What is a Categorical Model of Arrows?",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "229",
number = "5",
pages = "19--37",
year = "2011",
note = "",
issn = "1571-0661",
doi = "10.1016/j.entcs.2011.02.014",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S157106611100051X",
author = "Robert Atkey",
keywords = "Hughes arrows",
keywords = "Freyd categories",
abstract = "We investigate what the correct categorical formulation of Hughes º Arrows should be. It has long been folklore that Arrows, a functional programming construct, and Freyd categories, a categorical notion due to Power, Robinson and Thielecke, are somehow equivalent. In this paper, we show that the situation is more subtle. By considering Arrows wholly within the base category we derive two alternative formulations of Freyd category that are equivalent to Arrows‚Äîenriched Freyd categories and indexed Freyd categories. By imposing a further condition, we characterise those indexed Freyd categories that are isomorphic to Freyd categories. The key differentiating point is the number of inputs available to a computation and the structure available on them, where structured input is modelled using comonads."
}
@article{LI20101974,
title = "Arrows for secure information flow",
journal = "Theoretical Computer Science",
volume = "411",
number = "19",
pages = "1974--1994",
year = "2010",
note = "",
issn = "0304-3975",
doi = "10.1016/j.tcs.2010.01.025",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S0304397510000502",
author = "Peng Li and Steve Zdancewic",
keywords = "Information flow",
keywords = "Security",
keywords = "Haskell",
keywords = "Arrows",
keywords = "Type systems",
keywords = "Combinators",
abstract = "This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful information-flow control mechanisms including dynamic security lattices, run-time code privileges and declassification all without modifying the base language. This design avoids the redundant work of producing new languages, lowers the threshold for adopting security-typed languages, and also provides great flexibility and modularity for using security-policy frameworks. The embedded security sublanguage is designed using a standard combinator interface called arrows. Computations constructed in the sublanguage have static and explicit control-flow components, making it possible to implement information-flow control using static-analysis techniques at run time, while providing strong security guarantees. This paper presents a formal proof that our embedded sublanguage provides noninterference, a concrete Haskell implementation and an example application demonstrating the proposed techniques.11This paper is an expanded version of an earlier paper that appeared in IEEE CSFW (Li and Zdancewic, 2006¬†[4])."
}
@article{Paterson:2001:NNA:507669.507664,
 author = {Paterson, Ross},
 title = {A New Notation for Arrows},
 journal = {{SIGPLAN} Not.},
 issue_date = {October 2001},
 volume = {36},
 number = {10},
 month = oct,
 year = {2001},
 issn = {0362-1340},
 pages = {229--240},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/507546.507664},
 doi = {10.1145/507546.507664},
 acmid = {507664},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
}

@inproceedings{Alimarine:2005:BAA:1088348.1088357,
 author = {Alimarine, Artem and Smetsers, Sjaak and van Weelden, Arjen and van Eekelen, Marko and Plasmeijer, Rinus},
 title = {There and Back Again: Arrows for Invertible Programming},
 booktitle = {Proceedings of the {2005} {ACM} {SIGPLAN} Workshop on {Haskell}},
 series = {Haskell'05},
 year = {2005},
 isbn = {1-59593-071-X},
 OPTlocation = {Tallinn, Estonia},
 pages = {86--97},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1088348.1088357},
 doi = {10.1145/1088348.1088357},
 acmid = {1088357},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {arrows, haskell, invertible program construction, polytypic programming},
}

@INPROCEEDINGS{1648705,
author={Peng Li and S. Zdancewic},
booktitle={19\xth IEEE Computer Security Foundations Workshop},
series={CSFW'06},
title={Encoding information flow in {Haskell}},
year={2006},
pages={12--16},
abstract={This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful information-flow control mechanisms including dynamic security lattices, run-time code privileges and declassification, without modifying the base language. This design avoids the redundant work of producing new languages, lowers the threshold for adopting security-typed languages, and also provides great flexibility and modularity for using security-policy frameworks. The embedded security sublanguage is designed using a standard combinator interface called arrows. Computations constructed in the sublanguage have static and explicit control-flow components, making it possible to implement information-flow control using static-analysis techniques at run time, while providing strong security guarantees. This paper presents a concrete Haskell implementation and an example application demonstrating the proposed techniques},
keywords={data flow analysis;functional languages;security of data;dynamic security lattices;embedded security sublanguage;explicit control-flow component;information flow control;information flow encoding;run time static analysis;run-time code declassification;run-time code privileges;security-policy frameworks;security-typed languages;standard Haskell programming language;static control-flow component;Computer languages;Computer security;Concrete;Costs;Data security;Encoding;Information security;Lattices;Programming profession;Runtime},
doi={10.1109/CSFW.2006.13},
ISSN={1063-6900},
OPTmonth={},}

@Inbook{Hughes2005,
author="Hughes, John",
editor="Vene, Varmo
and Uustalu, Tarmo",
title="Programming with Arrows",
bookTitle="5\xth International School on Advanced Functional Programming",
series="AFP'04",
year="2005",
unneeded="AFP 2004, Tartu, Estonia, August 14 -- 21, 2004, Revised Lectures",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
OPTaddress="Berlin, Heidelberg",
pages="73--129",
isbn="978-3-540-31872-9",
doi="10.1007/11546382_2",
OPTurl="http://dx.doi.org/10.1007/11546382_2"
}

@inproceedings{Russo:2008:LLI:1411286.1411289,
 author = {Russo, Alejandro and Claessen, Koen and Hughes, John},
 title = {A Library for Light-weight Information-flow Security in {Haskell}},
 booktitle = {Proceedings of the 1\st {ACM SIGPLAN} Symposium on {Haskell}},
 series = {Haskell'08},
 year = {2008},
 isbn = {978-1-60558-064-7},
 OPTlocation = {Victoria, BC, Canada},
 pages = {13--24},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1411286.1411289},
 doi = {10.1145/1411286.1411289},
 acmid = {1411289},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {declassification, information-flow, library, monad},
}

@article{vizzotto_altenkirch_sabry_2006,
  title =	 {Structuring quantum effects: superoperators as
                  arrows},
  volume =	 {16},
  DOI =		 {10.1017/S0960129506005287},
  number =	 {3},
  journal =	 {Mathematical Structures in Computer Science},
  publisher =	 {Cambridge University Press},
  author =	 {Vizzotto, Juliana And Altenkirch, Thorsten And
                  Sabry, Amr},
  year =	 {2006},
  pages =	 {453--468}
}

@Inbook{Hudak2003,
author="Hudak, Paul
and Courtney, Antony
and Nilsson, Henrik
and Peterson, John",
editor="Jeuring, Johan
and {Peyton Jones}, Simon L. ",
title="Arrows, Robots, and Functional Reactive Programming",
bookTitle="4\xth International School on Advanced Functional Programming",
unneeded=": , AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures",
year="2003",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
OPTaddress="Berlin, Heidelberg",
pages="159--187",
isbn="978-3-540-44833-4",
doi="10.1007/978-3-540-44833-4_6",
OPTurl="http://dx.doi.org/10.1007/978-3-540-44833-4_6"
}

@article{jacobs_heunen_hasuo_2009,
  title =	 {Categorical semantics for arrows},
  volume =	 {19},
  DOI =		 {10.1017/S0956796809007308},
  number =	 {3-4},
  journal =	 {Journal of Functional Programming},
  publisher =	 {Cambridge University Press},
  author =	 {Jacobs, Bart And Heunen, Chris And Hasuo, Ichiro},
  year =	 {2009},
  pages =	 {403--438}
}
@article{Liu:2009:CCA:1631687.1596559,
 author = {Liu, Hai and Cheng, Eric and Hudak, Paul},
 title = {Causal Commutative Arrows and Their Optimization},
 journal = {{SIGPLAN} Not.},
 issue_date = {September 2009},
 volume = {44},
 number = {9},
 month = aug,
 year = {2009},
 issn = {0362-1340},
 pages = {35--46},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1631687.1596559},
 doi = {10.1145/1631687.1596559},
 acmid = {1596559},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {arrows, dataflow language, functional programming, functional reactive programming, program optimization, stream processing},
}
@Inbook{Huang2007,
author="Huang, Liwen
and Hudak, Paul
and Peterson, John",
editor="Hanus, Michael",
title="{HPorter}: Using Arrows to Compose Parallel Processes",
bookTitle="Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings",
year="2007",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="275--289",
isbn="978-3-540-69611-7",
doi="10.1007/978-3-540-69611-7_18",
url="http://dx.doi.org/10.1007/978-3-540-69611-7_18"
}

@inproceedings{Czaplicki:2013:AFR:2491956.2462161,
 author = {Czaplicki, Evan and Chong, Stephen},
 title = {Asynchronous Functional Reactive Programming for GUIs},
 booktitle = {Proceedings of the 34\xth {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation},
 series = {PLDI'13},
 year = {2013},
 isbn = {978-1-4503-2014-6},
 location = {Seattle, Washington, USA},
 pages = {411--422},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2491956.2462161},
 doi = {10.1145/2491956.2462161},
 acmid = {2462161},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {functional reactive programming, graphical user interfaces},
}

@techreport{achten2004arrows,
  title={Arrows for generic graphical editor components},
  author={Achten, PM and van Eekelen, Marko CJD and Plasmeijer, MJ and Weelden, A van},
  year={2004},
  url={ftp://ftp.cs.ru.nl/pub/Clean/papers/2004/achp2004-ArrowGECs.pdf},
  institution = {Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands},
  note={Technical Report NIII-R0416},
}

@inproceedings{achten2007arrow,
  title =	 {An Arrow based semantics for interactive
                  applications},
  author =	 {Achten, Peter and van Eekelen, Marko and de Mol,
                  Maarten and Plasmeijer, Rinus},
  booktitle =	 {Draft Proceedings of the Symposium on Trends in
                  Functional Programming},
  year =	 {2007},
  series =	 {TFP'07},
}

@inproceedings{Dagand:2009:ORD:1481861.1481870,
 author = {Dagand, Pierre-\'{E}variste and Kosti\'{c}, Dejan and Kuncak, Viktor},
 title = {Opis: Reliable Distributed Systems in {OCaml}},
 booktitle = {Proceedings of the 4\xth International Workshop on Types in Language Design and Implementation},
 series = {TLDI'09},
 year = {2009},
 isbn = {978-1-60558-420-1},
 OPTlocation = {Savannah, GA, USA},
 pages = {65--78},
 numpages = {14},
 OPTurl = {http://doi.acm.org/10.1145/1481861.1481870},
 doi = {10.1145/1481861.1481870},
 acmid = {1481870},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {arrows, distributed systems, functional programming, model checking},
}

@article{janjic2013space,
  title={Space exploration using parallel orbits: a study in parallel symbolic computing},
  author={Janjic, Vladimir and Brown, Christopher Mark and Neunhoeffer, Max and Hammond, Kevin and Linton, Stephen Alexander and Loidl, Hans-Wolfgang},
  journal={Parallel Computing},
  year={2013},
  publisher={IOS Press}
}

@inproceedings{Nilsson:2002:FRP:581690.581695,
 author = {Nilsson, Henrik and Courtney, Antony and Peterson, John},
 title = {Functional Reactive Programming, Continued},
 booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on {Haskell}},
 series = {Haskell'02},
 year = {2002},
 isbn = {1-58113-605-6},
 location = {Pittsburgh, Pennsylvania},
 pages = {51--64},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/581690.581695},
 doi = {10.1145/581690.581695},
 acmid = {581695},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {FRP, Haskell, domain-specific languages, functional programming, hybrid modeling, synchronous dataflow languages},
}

@article{Czaplicki:2013:AFR:2499370.2462161,
 author = {Czaplicki, Evan and Chong, Stephen},
 title = {Asynchronous Functional Reactive Programming for GUIs},
 journal = {{SIGPLAN} Not.},
 issue_date = {June 2013},
 volume = {48},
 number = {6},
 month = jun,
 year = {2013},
 issn = {0362-1340},
 pages = {411--422},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2499370.2462161},
 doi = {10.1145/2499370