|
Search the dblp DataBase
Esfandiar Haghverdi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Esfandiar Haghverdi, Philip J. Scott
Towards a Typed Geometry of Interaction. [Citation Graph (0, 0)][DBLP] CSL, 2005, pp:216-231 [Conf]
- Esfandiar Haghverdi, K. Inan
Verification by consecutive projections. [Citation Graph (0, 0)][DBLP] FORTE, 1992, pp:465-478 [Conf]
- Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, K. Inan
A recursive process algebra for queues. [Citation Graph (0, 0)][DBLP] FORTE, 1993, pp:285-300 [Conf]
- Esfandiar Haghverdi
Typed GoI for Exponentials. [Citation Graph (0, 0)][DBLP] ICALP (2), 2006, pp:384-395 [Conf]
- Esfandiar Haghverdi, Philip J. Scott
A Categorical Model for the Geometry of Interaction. [Citation Graph (0, 0)][DBLP] ICALP, 2004, pp:708-720 [Conf]
- Esfandiar Haghverdi
Partially Additive Categories and Fully Complete Models of Linear Logic. [Citation Graph (0, 0)][DBLP] TLCA, 2001, pp:197-216 [Conf]
- Esfandiar Haghverdi, Philip J. Scott
From Geometry of Interaction to Denotational Semantics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:67-87 [Journal]
- Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
Bisimulation Relations for Dynamical and Control Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
- Esfandiar Haghverdi, Hasan Ural
Submodule construction from concurrent system specifications. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 1999, v:41, n:8, pp:499-506 [Journal]
- Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott
Geometry of Interaction and Linear Combinatory Algebras. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2002, v:12, n:5, pp:625-665 [Journal]
- Esfandiar Haghverdi
Unique decomposition categories, Geometry of Interaction and combinatory logic. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:205-230 [Journal]
- Esfandiar Haghverdi, Philip J. Scott
A categorical model for the geometry of interaction. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:350, n:2-3, pp:252-274 [Journal]
- Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
Bisimulation relations for dynamical, control, and hybrid systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:342, n:2-3, pp:229-261 [Journal]
Proofs as Polynomials. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|