Verification by consecutive projections. - Esfandiar Haghverdi; Kemal Inan (FORTE, 1992)

A recursive process algebra for queues. - Hüsnü Yenigün; Esfandiar Haghverdi; S. Bilgen; Kemal Inan (FORTE, 1993)

Submodule construction from concurrent system specifications. - Esfandiar Haghverdi; Hasan Ural (Inf. Softw. Technol., 1999)

Unique decomposition categories, Geometry of Interaction and combinatory logic. - Esfandiar Haghverdi (Math. Struct. Comput. Sci., 2000)

Partially Additive Categories and Fully Complete Models of Linear Logic. - Esfandiar Haghverdi (TLCA, 2001)

Bisimulation Relations for Dynamical and Control Systems. - Esfandiar Haghverdi; Paulo Tabuada; George J. Pappas (CTCS, 2002)

Geometry of Interaction and Linear Combinatory Algebras. - Samson Abramsky; Esfandiar Haghverdi; Philip J. Scott (Math. Struct. Comput. Sci., 2002)

From Geometry of Interaction to Denotational Semantics. - Esfandiar Haghverdi; Philip J. Scott (CTCS, 2004)

Bisimulation relations for dynamical, control, and hybrid systems. - Esfandiar Haghverdi; Paulo Tabuada; George J. Pappas (Theor. Comput. Sci., 2005)

Typed GoI for Exponentials. - Esfandiar Haghverdi (ICALP (2), 2006)

A categorical model for the geometry of interaction. - Esfandiar Haghverdi; Philip J. Scott (Theor. Comput. Sci., 2006)

Proofs as Polynomials. - Esfandiar Haghverdi; Philip J. Scott (MFPS, 2008)

Towards a typed Geometry of Interaction. - Esfandiar Haghverdi; Philip J. Scott (Math. Struct. Comput. Sci., 2010)

Towards a geometry of recursion. - Esfandiar Haghverdi (Theor. Comput. Sci., 2011)

Mathematical Foundations of Information Sciences - Esfandiar Haghverdi; Liugen Zhu (WorldScientific, 2024)