| 2025 | ICINCO | Verifying Positivity of Piecewise Quadratic Lyapunov Functions. | Sigurdur F. Hafstein, Eggert Karl Hafsteinsson |
| 2024 | ICINCO | Efficient Implementation of Piecewise Quadratic Lyapunov Function Computations for Switched Linear Systems. | Stefania Andersen, Sigurdur F. Hafstein, Juan Javier Palacios Roman, S. J. A. M. van den Eijnden |
| 2024 | ICINCO | Application of the Schur Complement in Sum of Squares Optimisation. | Elias August, Sigurdur F. Hafstein, Jacopo Piccini, Stefania Andersen, Anna Bavarsad |
| 2023 | ICINCO | Positively Invariant Sets for ODEs and Numerical Integration. | Peter Giesl, Sigurdur F. Hafstein, Iman Mehrabinezhad |
| 2023 | ICINCO | Contraction Metrics by Numerical Integration and Quadrature: Uniform Error Estimate. | Peter Giesl, Sigurdur F. Hafstein, Iman Mehrabinezhad |
| 2023 | SIMULTECH | Lyapunov Function Computation for Linear Switched Systems: Comparison of SDP and LP Approaches. | Stefania Andersen, Elias August, Sigurdur F. Hafstein, Jacopo Piccini |
| 2021 | ICINCO | Uniformly Regular Triangulations for Parameterizing Lyapunov Functions. | Peter Giesl, Sigurdur F. Hafstein |
| 2021 | ICINCO | Robustness of Contraction Metrics Computed by Radial Basis Functions. | Peter Giesl, Sigurdur F. Hafstein, Iman Mehrabinezhad |
| 2021 | SIMULTECH | Comparison of Different Radial Basis Functions in Dynamical Systems. | Carlos Argez, Peter Giesl, Sigurdur F. Hafstein |
| 2020 | ICINCO | Evaluation of Lyapunov Function Candidates through Averaging Iterations. | Carlos Argez, Peter Giesl, Sigurdur F. Hafstein |
| 2020 | ICINCO | CPA Lyapunov Functions: Switched Systems vs. Differential Inclusions. | Sigurdur F. Hafstein |
| 2020 | ICINCO | Sliding Modes and Lyapunov Functions for Differential Inclusions by Linear Programming. | Sigurdur F. Hafstein |
| 2019 | ICCS | Numerical Analysis Project in ODEs for Undergraduate Students. | Sigurdur F. Hafstein |
| 2019 | ICINCO | Clustering Algorithm for Generalized Recurrences using Complete Lyapunov Functions. | Carlos Argez, Peter Giesl, Sigurdur F. Hafstein |
| 2019 | ICINCO | Algorithm and Software to Generate Code for Wendland Functions in Factorized Form. | Hjrtur Bjrnsson, Sigurdur F. Hafstein |
| 2019 | ICINCO | Lyapunov Functions for Linear Stochastic Differential Equations: BMI Formulation of the Conditions. | Sigurdur F. Hafstein |
| 2018 | ICINCO | Local Lyapunov Functions for Nonlinear Stochastic Differential Equations by Linearization. | Hjrtur Bjrnsson, Peter Giesl, Skuli Gudmundsson, Sigurdur F. Hafstein |
| 2018 | ICINCO | Verification of a Numerical Solution to a Collocation Problem. | Hjrtur Bjrnsson, Sigurdur F. Hafstein |
| 2018 | ICINCO | Construction of a Complete Lyapunov Function using Quadratic Programming. | Peter Giesl, Carlos Argez, Sigurdur F. Hafstein, Holger Wendland |
| 2018 | SIMULTECH | Iterative Construction of Complete Lyapunov Functions. | Carlos Argez, Peter Giesl, Sigurdur F. Hafstein |
| 2017 | ICCS | Efficient Lyapunov Function computation for systems with multiple exponentially stable equilibria. | Jhann Bjrnsson, Sigurdur F. Hafstein |
| 2017 | SIMULTECH | Complete Lyapunov Functions: Computation and Applications. | Carlos Argez, Peter Giesl, Sigurdur F. Hafstein |
| 2017 | SIMULTECH | Analysing Dynamical Systems - Towards Computing Complete Lyapunov Functions. | Carlos Argez, Sigurdur F. Hafstein, Peter Giesl |
| 2017 | SIMULTECH | Wendland Functions - A C++ Code to Compute Them. | Carlos Argez, Sigurdur F. Hafstein, Peter Giesl |
| 2017 | SIMULTECH | Efficient Algorithms for Simplicial Complexes Used in the Computation of Lyapunov Functions for Nonlinear Systems. | Sigurdur F. Hafstein |
| 2017 | SIMULTECH | Fast Algorithms for Computing Continuous Piecewise Affine Lyapunov Functions. | Sigurdur F. Hafstein |
| 2013 | SIMULTECH | Implementation of Simplicial Complexes for CPA Functions in C++11 using the Armadillo Linear Algebra Library. | Sigurdur F. Hafstein |