| ARCH-COMP20 Category Report - Continuous and Hybrid Systems with Nonlinear Dynamics. | 0 | 0.34 | 2020 |
| Virtualization of HOL4 in Isabelle. | 0 | 0.34 | 2019 |
| The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. | 1 | 0.37 | 2019 |
| The Poincaré-Bendixson Theorem. | 0 | 0.34 | 2019 |
| Laplace Transform. | 0 | 0.34 | 2019 |
| Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. | 0 | 0.34 | 2019 |
| ARCH-COMP19 Category Report - Continuous and Hybrid Systems with Nonlinear Dynamics. | 0 | 0.34 | 2019 |
| A Verified ODE Solver and the Lorenz Attractor. | 0 | 0.34 | 2018 |
| A Formally Verified Motion Planner for Autonomous Vehicles. | 0 | 0.34 | 2018 |
| Taylor Models. | 0 | 0.34 | 2018 |
| ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. | 0 | 0.34 | 2018 |
| Smooth Manifolds. | 0 | 0.34 | 2018 |
| ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. | 0 | 0.34 | 2017 |
| Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. | 2 | 0.37 | 2017 |
| The Flow Of Odes | 5 | 0.49 | 2016 |
| Gröbner Bases Theory. | 0 | 0.34 | 2016 |
| A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. | 5 | 0.49 | 2016 |
| Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. | 2 | 0.37 | 2015 |
| Verified Reachability Analysis of Continuous Systems. | 3 | 0.39 | 2015 |
| Affine Arithmetic. | 0 | 0.34 | 2014 |
| Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations. | 12 | 0.71 | 2014 |
| Formal Verification of ODE-Solvers. | 0 | 0.34 | 2014 |
| Type classes and filters for mathematical analysis in Isabelle/HOL | 24 | 1.49 | 2013 |
| Ordinary Differential Equations. | 0 | 0.34 | 2012 |
| Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. | 13 | 1.03 | 2012 |
| RIPEMD-160. | 0 | 0.34 | 2011 |
