Esfandiar Haghverdi

18 papers A* 1B 2C 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Categorical Approach to Additive Combinatorics.
Appl. Categorical Struct.
Saúl A. Blanco, Esfandiar Haghverdi
2024 — book
Mathematical Foundations of Information Sciences
Esfandiar Haghverdi, Liugen Zhu
2011 J jnl
Towards a geometry of recursion.
Theor. Comput. Sci.
Esfandiar Haghverdi
2010 J jnl
Towards a typed Geometry of Interaction.
Math. Struct. Comput. Sci.
Esfandiar Haghverdi, Philip J. Scott
2008 B conf
Proofs as Polynomials.
MFPS
Esfandiar Haghverdi, Philip J. Scott
2006 J jnl
A categorical model for the geometry of interaction.
Theor. Comput. Sci.
Esfandiar Haghverdi, Philip J. Scott
2006 — conf
Typed GoI for Exponentials.
ICALP (2)
Esfandiar Haghverdi
2005 J jnl
Bisimulation relations for dynamical, control, and hybrid systems.
Theor. Comput. Sci.
Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
2005 B conf
Towards a Typed Geometry of Interaction.
CSL
Esfandiar Haghverdi, Philip J. Scott
2004 A* conf
A Categorical Model for the Geometry of Interaction.
ICALP
Esfandiar Haghverdi, Philip J. Scott
2004 — conf
From Geometry of Interaction to Denotational Semantics.
CTCS
Esfandiar Haghverdi, Philip J. Scott
2002 — conf
Bisimulation Relations for Dynamical and Control Systems.
CTCS
Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
2002 J jnl
Geometry of Interaction and Linear Combinatory Algebras.
Math. Struct. Comput. Sci.
Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott
2001 — conf
Partially Additive Categories and Fully Complete Models of Linear Logic.
TLCA
Esfandiar Haghverdi
2000 J jnl
Unique decomposition categories, Geometry of Interaction and combinatory logic.
Math. Struct. Comput. Sci.
Esfandiar Haghverdi
1999 J jnl
Submodule construction from concurrent system specifications.
Inf. Softw. Technol.
Esfandiar Haghverdi, Hasan Ural
1993 C conf
A recursive process algebra for queues.
FORTE
Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan
1992 C conf
Verification by consecutive projections.
FORTE
Esfandiar Haghverdi, Kemal Inan