| 2026 | TACAS | On Deciding Constant Runtime of Linear Loops. | Florian Frohn, Jrgen Giesl, Peter Giesl, Nils Lommen |
| 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 |
| 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 |
| 2019 | CADE | Computing Expected Runtimes for Constant Probability Programs. | Jrgen Giesl, Peter Giesl, Marcel Hark |
| 2019 | ICINCO | Clustering Algorithm for Generalized Recurrences using Complete Lyapunov Functions. | Carlos Argez, Peter Giesl, Sigurdur F. Hafstein |
| 2019 | SIMULTECH | Middle Point Reduction of the Chain-recurrent Set. | Carlos Argez, Peter Giesl, Sigurdur Freyr Hafstein |
| 2018 | ICINCO | Local Lyapunov Functions for Nonlinear Stochastic Differential Equations by Linearization. | Hjrtur Bjrnsson, Peter Giesl, Skuli Gudmundsson, Sigurdur F. Hafstein |
| 2018 | ICINCO | Construction of a Complete Lyapunov Function using Quadratic Programming. | Peter Giesl, Carlos Argez, Sigurdur F. Hafstein, Holger Wendland |
| 2018 | ICINCO | Combination of Refinement and Verification for the Construction of Lyapunov Functions using Radial Basis Functions. | Peter Giesl, Najla Mohammed |
| 2018 | SIMULTECH | Iterative Construction of Complete Lyapunov Functions. | Carlos Argez, Peter Giesl, 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 |
| 2006 | HPSC | Stability Optimization of Juggling. | Katja D. Mombaur, Peter Giesl, Heiko Wagner |