|
Search the dblp DataBase
Steven Obua:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Steven Obua, Sebastian Skalberg
Importing HOL into Isabelle/HOL. [Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:298-302 [Conf]
- Steven Obua
Proving Bounds for Real Linear Programs in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
- Steven Obua
Partizan Games in Isabelle/HOLZF. [Citation Graph (0, 0)][DBLP] ICTAC, 2006, pp:272-286 [Conf]
- Steven Obua
Checking Conservativity of Overloaded Definitions in Higher-Order Logic. [Citation Graph (0, 0)][DBLP] RTA, 2006, pp:212-226 [Conf]
- Steven Obua
Proving Bounds for Real Linear Programs in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 2005, pp:227-244 [Conf]
- Steven Obua
Proof Pearl: Looping Around the Orbit. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:223-231 [Conf]
Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]
Flyspeck II: the basic linear programs. [Citation Graph (, )][DBLP]
Purely Functional Structured Programming [Citation Graph (, )][DBLP]
A Revision of the Proof of the Kepler Conjecture. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|