| 2008 |
|---|
| 14 | EE | Esfandiar Haghverdi,
Philip J. Scott:
Proofs as Polynomials.
Electr. Notes Theor. Comput. Sci. 218: 53-72 (2008) |
| 2006 |
|---|
| 13 | EE | Esfandiar Haghverdi:
Typed GoI for Exponentials.
ICALP (2) 2006: 384-395 |
| 12 | EE | Esfandiar Haghverdi,
Philip J. Scott:
A categorical model for the geometry of interaction.
Theor. Comput. Sci. 350(2-3): 252-274 (2006) |
| 2005 |
|---|
| 11 | EE | Esfandiar Haghverdi,
Philip J. Scott:
Towards a Typed Geometry of Interaction.
CSL 2005: 216-231 |
| 10 | EE | Esfandiar Haghverdi,
Philip J. Scott:
From Geometry of Interaction to Denotational Semantics.
Electr. Notes Theor. Comput. Sci. 122: 67-87 (2005) |
| 9 | EE | Esfandiar Haghverdi,
Paulo Tabuada,
George J. Pappas:
Bisimulation relations for dynamical, control, and hybrid systems.
Theor. Comput. Sci. 342(2-3): 229-261 (2005) |
| 2004 |
|---|
| 8 | EE | Esfandiar Haghverdi,
Philip J. Scott:
A Categorical Model for the Geometry of Interaction.
ICALP 2004: 708-720 |
| 2002 |
|---|
| 7 | EE | Esfandiar Haghverdi,
Paulo Tabuada,
George J. Pappas:
Bisimulation Relations for Dynamical and Control Systems.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 6 | | Samson Abramsky,
Esfandiar Haghverdi,
Philip J. Scott:
Geometry of Interaction and Linear Combinatory Algebras.
Mathematical Structures in Computer Science 12(5): 625-665 (2002) |
| 2001 |
|---|
| 5 | EE | Esfandiar Haghverdi:
Partially Additive Categories and Fully Complete Models of Linear Logic.
TLCA 2001: 197-216 |
| 2000 |
|---|
| 4 | | Esfandiar Haghverdi:
Unique decomposition categories, Geometry of Interaction and combinatory logic.
Mathematical Structures in Computer Science 10(2): 205-230 (2000) |
| 1999 |
|---|
| 3 | EE | Esfandiar Haghverdi,
Hasan Ural:
Submodule construction from concurrent system specifications.
Information & Software Technology 41(8): 499-506 (1999) |
| 1993 |
|---|
| 2 | | Hüsnü Yenigün,
Esfandiar Haghverdi,
S. Bilgen,
K. Inan:
A recursive process algebra for queues.
FORTE 1993: 285-300 |
| 1992 |
|---|
| 1 | | Esfandiar Haghverdi,
K. Inan:
Verification by consecutive projections.
FORTE 1992: 465-478 |
