Kamal Aboul-Hosn

According to our database, Kamal Aboul-Hosn authored at least 7 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Reflections on a \m $\slash$ Time with Dexter Kozen.

Kamal Aboul-Hosn

Proceedings of the Logic and Program Semantics, 2012

2008

Local variable scoping and Kleene algebra with tests.

Kamal Aboul-Hosn, Dexter Kozen

J. Log. Algebraic Methods Program., 2008

2006

KAT-ML: an interactive theorem prover for Kleene algebra with tests.

Kamal Aboul-Hosn, Dexter Kozen

J. Appl. Non Class. Logics, 2006

Relational Semantics for Higher-Order Programs.

Kamal Aboul-Hosn, Dexter Kozen

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

A Proof-Theoretic Approach to Tactics.

Kamal Aboul-Hosn

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

An Axiomatization of Arrays for Kleene Algebra with Tests.

Kamal Aboul-Hosn

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

A Proof-Theoretic Approach to Hierarchical Math Library Organization.

Kamal Aboul-Hosn, Terese Andersen

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005