sfeeca.bib

% First description of FEEC.
@article{arnold2006finite,
  title={Finite element exterior calculus, homological techniques, and applications},
  author={Arnold, Douglas N and Falk, Richard S and Winther, Ragnar},
  journal={Acta numerica},
  volume={15},
  pages={1--155},
  year={2006},
  publisher={Cambridge University Press}
}

@inproceedings{claessen_quickcheck_2000,
  author =	 {Koen Claessen and John Hughes},
  title =	 {{QuickCheck:} a lightweight tool for random testing
                  of {Haskell} programs},
  shorttitle =	 {{QuickCheck}},
  abstract =	 {Quick Check is a tool which aids the Haskell
                  programmer in formulating and testing properties of
                  programs. Properties are described as Haskell
                  functions, and can be automatically tested on random
                  input, but it is also possible to define custom test
                  data generators. We present a number of case
                  studies, in which the tool was successfully used,
                  and also point out some pitfalls to avoid. Random
                  testing is especially suitable for functional
                  programs because properties can be stated at a fine
                  grain. When a function is built from separately
                  tested components, then random testing suffices to
                  obtain good coverage of the definition under test.},
  booktitle =	 {Proc. of the fifth {ACM} {SIGPLAN} international
                  conference on Funct. Prog.},
  publisher =	 {{ACM}},
  year =	 2000,
  pages =	 {268--279}
}

% More recent overwiev of FEEC with its application to PDEo
@article{ArnoldLogg,
  author = {Arnold, Douglas N. and Logg, Anders},
  title = {Periodic Table of the Finite Elements},
  journal = {SIAM News},
  volume = {47},
  number = {9},
  year = {2014},
  url = {http://femtable.org},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% DSL citations
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Overview and definition of DSL, reasonably well cited.
@article{van2000domain,
  title={Domain-specific languages: An annotated bibliography},
  author={Van Deursen, Arie and Klint, Paul and Visser, Joost},
  journal={ACM Sigplan Notices},
  volume={35},
  number={6},
  pages={26--36},
  year={2000},
  publisher={ACM}
}

% The Lisp paper. A early and well know account of the benefits of symbolic
% calculations.
@article{mccarthy1960recursive,
  title={Recursive functions of symbolic expressions and their computation by machine, Part I},
  author={McCarthy, John},
  journal={Communications of the ACM},
  volume={3},
  number={4},
  pages={184--195},
  year={1960},
  publisher={ACM}
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% FENICS citations
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article{Kirby2004a,
  title = {Algorithm 839: FIAT, a New Paradigm for Computing Finite Element Basis Functions},
  author = {Robert C. Kirby},
  year = {2004},
  journal = {ACM Transactions on Mathematical Software},
  volume = {30},
  number = {4},
  pages = {502--516},
  doi = {10.1145/1039813.1039820},
}

@article{KirbyKnepleyEtAl2005a,
  title = {Optimizing the Evaluation of Finite Element Matrices},
  author = {Robert C. Kirby and Matthew G. Knepley and Anders Logg and L. Ridgway Scott},
  year = {2005},
  journal = {SIAM Journal on Scientific Computing},
  volume = {27},
  number = {3},
  pages = {741--758},
  doi = {10.1137/040607824},
}

@article{KirbyLogg2006a,
  title = {A Compiler for Variational Forms},
  author = {Robert C. Kirby and Anders Logg},
  year = {2006},
  journal = {ACM Transactions on Mathematical Software},
  volume = {32},
  number = {3},
  doi = {10.1145/1163641.1163644},
  arxiv = {1112.0402},
}

@article{KirbyLoggEtAl2006a,
  title = {Topological Optimization of the Evaluation of Finite Element Matrices},
  author = {Robert C. Kirby and Anders Logg and L. Ridgway Scott and Andy R. Terrel},
  year = {2006},
  journal = {SIAM Journal on Scientific Computing},
  volume = {28},
  number = {1},
  pages = {224--240},
  doi = {10.1137/050635547},
}

@article{KirbyScott2007a,
  title = {Geometric Optimization of the Evaluation of Finite Element Matrices},
  author = {Robert C. Kirby and L. Ridgway Scott},
  year = {2007},
  journal = {SIAM Journal on Scientific Computing},
  volume = {29},
  number = {2},
  pages = {827--841},
}

@article{KirbyLogg2007a,
  title = {Efficient Compilation of a Class of Variational Forms},
  author = {Robert C. Kirby and Anders Logg},
  year = {2007},
  journal = {ACM Transactions on Mathematical Software},
  volume = {33},
  number = {3},
  doi = {10.1145/1268769.1268771},
}

@article{Logg2007a,
  title = {Automating the Finite Element Method},
  author = {Anders Logg},
  year = {2007},
  journal = {Archives of Computational Methods in Engineering},
  volume = {14},
  number = {2},
  pages = {93--138},
  doi = {10.1007/s11831-007-9003-9},
  arxiv = {1112.0433},
}

@article{OlgaardLoggEtAl2008a,
  title = {Automated Code Generation for Discontinuous Galerkin Methods},
  author = {Kristian B. \O{}lgaard and Anders Logg and Garth N. Wells},
  year = {2008},
  journal = {SIAM Journal on Scientific Computing},
  volume = {31},
  number = {2},
  pages = {849--864},
  doi = {10.1137/070710032},
  arxiv = {1104.0628},
}

@article{KirbyLogg2008a,
  title = {Benchmarking Domain-Specific Compiler Optimizations for Variational Forms},
  author = {Robert C. Kirby and Anders Logg},
  year = {2008},
  journal = {ACM Transactions on Mathematical Software},
  volume = {35},
  number = {2},
  pages = {1--18},
  doi = {10.1145/1377612.1377614},
}

@article{Logg2009a,
  title = {Efficient Representation of Computational Meshes},
  author = {Anders Logg},
  year = {2009},
  journal = {International Journal of Computational Science and Engineering},
  volume = {4},
  number = {4},
  pages = {283--295},
  doi = {10.1504/IJCSE.2009.029164},
}

@article{RognesKirbyEtAl2009a,
  title = {Efficient Assembly of H(div) and H(curl) Conforming Finite Elements},
  author = {Marie E. Rognes and Robert C. Kirby and Anders Logg},
  year = {2009},
  journal = {SIAM Journal on Scientific Computing},
  volume = {31},
  number = {6},
  pages = {4130--4151},
  doi = {10.1137/08073901X},
}

@article{AlnaesLoggEtAl2009a,
  title = {Unified Framework for Finite Element Assembly},
  author = {Martin S. Aln\ae{}s and Anders Logg and Kent-Andre Mardal and Ola Skavhaug and Hans Petter Langtangen},
  year = {2009},
  journal = {International Journal of Computational Science and Engineering},
  volume = {4},
  number = {4},
  pages = {231--244},
  doi = {10.1504/IJCSE.2009.029160},
}

@article{AlnaesMardal2010a,
  title = {On the Efficiency of Symbolic Computations Combined With Code Generation for Finite Element Methods},
  author = {Martin S. Aln\ae{}s and Kent-Andre Mardal},
  year = {2010},
  journal = {ACM Transactions on Mathematical Software},
  volume = {37},
  number = {1},
  num_pages = {26 pages},
  doi = {10.1145/1644001.1644007},
}

@article{LoggWells2010a,
  title = {DOLFIN: Automated Finite Element Computing},
  author = {Anders Logg and Garth N. Wells},
  year = {2010},
  journal = {ACM Transactions on Mathematical Software},
  volume = {37},
  number = {2},
  doi = {10.1145/1731022.1731030},
  arxiv = {1103.6248},
}

@article{OlgaardWells2010b,
  title = {Optimisations for Quadrature Representations of Finite Element Tensors Through Automated Code Generation},
  author = {Kristian B. \O{}lgaard and Garth N. Wells},
  year = {2010},
  journal = {ACM Transactions on Mathematical Software},
  volume = {37},
  num_pages = {23},
  doi = {10.1145/1644001.1644009},
  arxiv = {1104.0199},
}

@article{HoffmanJanssonEtAl2012a,
  title = {Unicorn: Parallel Adaptive Finite Element Simulation of Turbulent Flow and Fluid-Structure Interaction for Deforming Domains and Complex Geometry},
  author = {Johan Hoffman and Johan Jansson and Rodrigo V. de Abreu and Cem Degirmenci and Niclas Jansson and Kaspar Müller and Murtazo Nazarov and Jeanette H. Spühler},
  year = {2012},
  journal = {Computer and Fluids},
  volume = {in press},
}

@article{JanssonJanssonEtAl2012a,
  title = {Framework for Massively Parallel Adaptive Finite Element Computational Fluid Dynamics on Tetrahedral Meshes},
  author = {Niclas Jansson and Johan Jansson and Johan Hoffman},
  year = {2012},
  journal = {SIAM Journal on Scientific Computing},
  volume = {34},
  number = {1},
  pages = {C24--C41},
}

@article{paper17,
  title = {Automating the solution of PDEs on the sphere and other manifolds in FEniCS 1.2},
  author = {Marie E. Rognes and David A. Ham and Colin J. Cotter and Andrew T. T. McRae},
  year = {2013},
  journal = {Geoscientific Model Development},
  volume = {6},
  pages = {2099--2119},
  doi = {10.5194/gmd-6-2099-2013},
}

@article{AlnaesEtAl2012,
  title = {Unified Form Language: A domain-specific language for weak formulations of partial differential equations},
  author = {Martin S. Aln\ae{}s and Anders Logg and Kristian B. \O{}lgaard and Marie E. Rognes and Garth N. Wells},
  year = {2014},
  journal = {ACM Transactions on Mathematical Software},
  volume = {40},
  number = {2},
  doi = {10.1145/2566630},
  arxiv = {1211.4047},
}

@article{AlnaesBlechta2015a,
  title = {The FEniCS Project Version 1.5},
  author = {Martin S. Aln{\ae}s and Jan Blechta and Johan Hake and August Johansson and Benjamin Kehlet and Anders Logg and Chris Richardson and Johannes Ring and Marie E. Rognes and Garth N. Wells},
  year = {2015},
  journal = {Archive of Numerical Software},
  volume = {3},
  number = {100},
  doi = {10.11588/ans.2015.100.20553},
  page = {9-23},
}

@book{LoggMardalEtAl2012a,
  title = {Automated Solution of Differential Equations by the Finite Element Method},
  author = {Anders Logg and Kent-Andre Mardal and Garth N. Wells and others},
  year = {2012},
  publisher = {Springer},
  doi = {10.1007/978-3-642-23099-8},
  isbn = {978-3-642-23098-1},
}

@inbook{LoggWellsEtAl2012a,
  title = {DOLFIN: a C++/Python Finite Element Library},
  author = {Anders Logg and Garth N. Wells and Johan Hake},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {10},
}

@inbook{LoggOlgaardEtAl2012a,
  title = {FFC: the FEniCS Form Compiler},
  author = {Anders Logg and Kristian B. \O{}lgaard and Marie E. Rognes and Garth N. Wells},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {11},
}

@inbook{Kirby2012a,
  title = {FIAT: Numerical Construction of Finite Element Basis Functions,},
  author = {Robert C. Kirby},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {13},
}

@inbook{AlnaesMardal2012b,
  title = {SyFi and SFC: Symbolic Finite Elements and Form Compilation},
  author = {Martin S. Aln\ae{}s and Kent-Andre Mardal},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {15},
}

@inbook{AlnaesLoggEtAl2012a,
  title = {UFC: a Finite Element Code Generation Interface},
  author = {Martin S. Aln\ae{}s and Anders Logg and Kent-Andre Mardal},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {16},
}

@inbook{Alnaes2012a,
  title = {UFL: a Finite Element Form Language},
  author = {Martin S. Aln\ae{}s},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {17},
}

@inbook{HoffmanJanssonEtAl2012a,
  title = {Unicorn: a Unified Continuum Mechanics Solver},
  author = {Johan Hoffman and Johan Jansson and Cem Degirmenci and Niclas Jansson and Murtazo Nazarov},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {18},
}

@inbook{HoffmanJanssonEtAl2012b,
  title = {Turbulent Flow and Fluid–structure Interaction},
  author = {Johan Hoffman and Johan Jansson and Niclas Jansson and C. Johnson and Rodrigo V. de Abreu},
  editor = {Anders Logg and Kent-Andre Mardal and Garth N. Wells},
  year = {2012},
  booktitle = {Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering},
  publisher = {Springer},
  chapter = {28},
}