| |
| 2008 | ||
|---|---|---|
| 7 | EE | Kamal Aboul-Hosn, Dexter Kozen: Local variable scoping and Kleene algebra with tests. J. Log. Algebr. Program. 76(1): 3-17 (2008) |
| 2006 | ||
| 6 | EE | Kamal Aboul-Hosn: A Proof-Theoretic Approach to Tactics. MKM 2006: 54-66 |
| 5 | EE | Kamal Aboul-Hosn, Dexter Kozen: Relational Semantics for Higher-Order Programs. MPC 2006: 29-48 |
| 4 | EE | Kamal Aboul-Hosn: An Axiomatization of Arrays for Kleene Algebra with Tests. RelMiCS 2006: 63-77 |
| 3 | EE | Kamal Aboul-Hosn, Dexter Kozen: Local Variable Scoping and Kleene Algebra with Tests. RelMiCS 2006: 78-90 |
| 2 | Kamal Aboul-Hosn, Dexter Kozen: KAT-ML: an interactive theorem prover for Kleene algebra with tests. Journal of Applied Non-Classical Logics 16(1-2): 9-34 (2006) | |
| 2005 | ||
| 1 | EE | Kamal Aboul-Hosn, Terese Andersen: A Proof-Theoretic Approach to Hierarchical Math Library Organization. MKM 2005: 1-16 |
| 1 | Terese Andersen | [1] |
| 2 | Dexter Kozen | [2] [3] [5] [7] |