@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},
}