Development of an Automatic Reduction Tool for Chemical Mechanisms and an Optimized Sparse Matrix Solver for Systems of Differential and Algebraic Equations. - Andreas Arvidsson (2010)

Proving Type Class Laws for Haskell. - Andreas Arvidsson; Moa Johansson; Robin Touche (TFP, 2016)