Publications
Found 14 scientific publications (published or accepted for publication in forums with peer review).
Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.
2012
Chapters in Books
M. S. Alnæs. UFL: a finite element form language, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by A. Logg, K.-A. Mardal and G. Wells. Springer, vol. 84, chap. 17, pp. 299-334. Lecture Notes in Computational Science and Engineering,, 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 A. Logg, K.-A. Mardal and G. Wells. Springer, vol. 84, chap. 15, pp. 269-278. Lecture Notes in Computational Science and Engineering,, 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 A. Logg, K.-A. Mardal and G. Wells. Springer, vol. 84, chap. 16, pp. 279-298. Lecture Notes in Computational Science and Engineering,, 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 A. Logg, K.-A. Mardal and G. Wells. Springer, vol. 84, chap. 14, pp. 253-268. Lecture Notes in Computational Science and Engineering,, 2012.
2011
Contributed talk
M. S. Alnæs. The Unified Form Language - A domain specific language for finite element methods, European Numerical Mathematics and Advanced Applications (ENUMATH), 2011.
Invited Talks
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.
2010
Articles in International Journals
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.
Chapters in Books
M. S. Alnæs. UFL: A Finite Element Form Language, In: Automated Scientific Computing, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth. Springer Berlin Heidelberg, chap. 18, pp. 283--316, 2010.
2009
PhD Theses
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.
Articles in International Journals
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.
Manuals
M. S. Alnæs
and
A. Logg.
UFL Specification and User Manual,
Manual,
2009.
Contributed talk
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.
2008
Contributed talk
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.
2007
Articles in International Journals
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.
Refereed Proceedings
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.
Chapters in Books
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.
Manuals
M. S. Alnæs,
A. Logg,
Kent-A. Mardal,
O. Skavhaug,
and
H. P. Langtangen.
UFC Specification and User Manual 1.0,
Manual,
2007.
Contributed talk
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.
2006
Manuals
M. S. Alnæs and Kent-A. Mardal. SyFi User Manual, Manual, 2006.
Contributed talk
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.
2005
Contributed talk
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.
