| |
| 2007 | ||
|---|---|---|
| 6 | EE | Steven Obua: Proof Pearl: Looping Around the Orbit. TPHOLs 2007: 223-231 |
| 2006 | ||
| 5 | EE | Steven Obua: Partizan Games in Isabelle/HOLZF. ICTAC 2006: 272-286 |
| 4 | EE | Steven Obua, Sebastian Skalberg: Importing HOL into Isabelle/HOL. IJCAR 2006: 298-302 |
| 3 | EE | Steven Obua: Checking Conservativity of Overloaded Definitions in Higher-Order Logic. RTA 2006: 212-226 |
| 2005 | ||
| 2 | EE | Steven Obua: Proving Bounds for Real Linear Programs in Isabelle/HOL. Mathematics, Algorithms, Proofs 2005 |
| 1 | EE | Steven Obua: Proving Bounds for Real Linear Programs in Isabelle/HOL. TPHOLs 2005: 227-244 |
| 1 | Sebastian Skalberg | [4] |