A Proof-Theoretic Approach to Hierarchical Math Library Organization. - Kamal Aboul-Hosn; Terese Andersen (MKM, 2005)

An Axiomatization of Arrays for Kleene Algebra with Tests. - Kamal Aboul-Hosn (RelMiCS, 2006)

A Proof-Theoretic Approach to Tactics. - Kamal Aboul-Hosn (MKM, 2006)

Relational Semantics for Higher-Order Programs. - Kamal Aboul-Hosn; Dexter Kozen (MPC, 2006)

KAT-ML: an interactive theorem prover for Kleene algebra with tests. - Kamal Aboul-Hosn; Dexter Kozen (J. Appl. Non Class. Logics, 2006)

Local variable scoping and Kleene algebra with tests. - Kamal Aboul-Hosn; Dexter Kozen (J. Log. Algebraic Methods Program., 2008)

Reflections on a m $ slash$ Time with Dexter Kozen. - Kamal Aboul-Hosn (Logic and Program Semantics, 2012)