Publications

M. S. Alnæs. UFL: a finite element form language, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 17, pp. 299-334. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.

M. S. Alnæs and Kent-A. Mardal. SyFi and SFC: symbolic finite elements and form compilation, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 15, pp. 269-278. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.

M. S. Alnæs, A. Logg, and Kent-A. Mardal. UFC: a finite element code generation interface, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 16, pp. 279-298. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.

I. Wilbers, Kent-A. Mardal, and M. S. Alnæs. Instant: just-in-time compilation of C/C++ in Python, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 14, pp. 253-268. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.

M. S. Alnæs. Numerical Comparison of Preconditioned Oneshot and Steepest Descent on Linear Elliptic Optimal Control Problems, OCIP 2012, 2012.

M. S. Alnæs. Efficient Compilation of Complex Tensor Algebra Expressions, FEniCS Workshop 2012, Simula Research Laboratory, 2012.

M. S. Alnæs. Automation of PDE Constrained Optimization - Algorithmic Differentiation As Abstract Building Blocks in High Level Algorithms, ECCOMAS 2012, Wien, 2012.

Kent-A. Mardal, B. F. Nielsen, and M. S. Alnæs. Efficient preconditioning of optimality systems, EMG 2012, 2012.

M. S. Alnæs. A Domain Specific Language and Symbolic Library for FEM Formulations of PDEs - the Unified Form Language, FEniCS@Imperial Day, Imperial College London, 2012.

M. S. Alnæs. The Unified Form Language - A domain specific language for finite element methods, European Numerical Mathematics and Advanced Applications (ENUMATH), 2011.

Kent-A. Mardal, K. Valen-Sendstad, M. S. Alnæs, M. Mortensen, H. P. Langtangen, and B. A. P. Reif. The finite element library FEniCS and simulation of blood flow in cerebral aneurysms, Talk at CSB Seminar, University of Stuttgart, 2011.

M. S. Alnæs and Kent-A. Mardal. On the Efficiency of Symbolic Computations Combined with Code Generation for Finite Element Methods, ACM Transactions on Mathematical Software 37(1), 2010.

M. S. Alnæs. A Compiler Framework for Automatic Linearization and Efficient Discretization of Nonlinear Partial Differential Equations, PhD thesis, University of Oslo, Unipub, Oslo, Norway, 2009.

M. S. Alnæs, A. Logg, Kent-A. Mardal, O. Skavhaug, and H. P. Langtangen. Unified Framework for Finite Element Assembly, International Journal of Computational Science and Engineering 4(4):231-244, 2009.

M. S. Alnæs and A. Logg. UFL Specification and User Manual, Manual, 2009.

M. S. Alnæs. The Unified Form Language, Presentation at the FEniCS'09 Workshop, 2009.

M. S. Alnæs. The Unified Form Language, Internal presentation at CBC, 2009.

M. S. Alnæs and Kent-A. Mardal. SFC - the SyFi Form Compiler, Talk at the FEniCS 08 Workshop, March 5-7,Baton Rouge, Louisiana, 2008.

Kent-A. Mardal, B. F. Nielsen, and M. S. Alnæs. Two Steps Towards Automating Efficient Solution of Inverse Problems, Invited Talk at the FEniCS 08 Workshop, March 5-7,Baton Rouge, Louisiana, 2008.

M. S. Alnæs, J. G. Isaksen, Kent-A. Mardal, B. Romner, M. Morgan, and T. Ingebrigtsen. Computation of hemodynamics in the circle of Willis, Stroke 38(9):2500--2505, 2007.

M. S. Alnæs, Kent-A. Mardal, and J. Sundnes. Application of symbolic finite element tools to nonlinear hyperelasticity, In: Fourth national conference on Computational Mechanics (MekIT'07), ed. by B. Skallerud and H.I. Andersson, pp. 87-101, NO-7005 Trondheim, Tapir Academic Press, 2007.

A. Logg, Kent-A. Mardal, M. S. Alnæs, H. P. Langtangen, and O. Skavhaug. A Hybrid Approach to Efficient Finite Element Code Development, In: Petascale Computing -- Algorithms and Applications, ed. by D. A. Bader. Chapman and Hall, chap. 19. Computational Science, 2007.

M. S. Alnæs, A. Logg, Kent-A. Mardal, O. Skavhaug, and H. P. Langtangen. UFC Specification and User Manual 1.0, Manual, 2007.

M. S. Alnæs. Computing the mechanics of the heart, Talk at CBC, Seminar on Electrophysiology Modeling, 2007.

M. S. Alnæs, Kent-A. Mardal, and J. Sundnes. Application of symbolic finite element tools to nonlinear hyperelasticity, Talk at MekIT'07: Fourth National Conference on Computational Mechanics, 2007.

Kent-A. Mardal and M. S. Alnæs. Finite Elements with Symbolic Computations and Code Generation, Talk at Software Issues in Computational Science and Engineering (SCSE 2007), Uppsala, 2007-08-11, 2007.

J. Sundnes, M. S. Alnæs, and Kent-A. Mardal. A finite element model of cardiac electrophysiology and mechanics, VII International conference on computational plasticity, 2007.

M. S. Alnæs and Kent-A. Mardal. SyFi User Manual, Manual, 2006.

M. S. Alnæs, A. M. Bruaset, X. Cai, H. P. Langtangen, Kent-A. Mardal, H. Moe, O. Skavhaug, and Å. Ødegård. Python in High Performance Computing, Tutorial presented at the Para06 Workshop, 2006.

M. S. Alnæs. Scientific Computing in Python, Tutorial, ASIM 2005, 2005.

A. M. Bruaset, M. S. Alnæs, H. P. Langtangen, Kent-A. Mardal, H. Moe, O. Skavhaug, and Å. Ødegård. Scientific Computing in Python, Tutorial ASIM 2005, 2005.