- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j10 |      | |
| 2010 | ||
| j9 | | Esfandiar Haghverdi, Philip J. Scott: Towards a typed Geometry of Interaction. Mathematical Structures in Computer Science 20(3): 473-521 (2010) |
| 2008 | ||
| j8 | | Esfandiar Haghverdi, Philip J. Scott: Proofs as Polynomials. Electr. Notes Theor. Comput. Sci. 218: 53-72 (2008) |
| 2006 | ||
| j7 | | Esfandiar Haghverdi, Philip J. Scott: A categorical model for the geometry of interaction. Theor. Comput. Sci. 350(2-3): 252-274 (2006) |
| c6 | | |
| 2005 | ||
| j6 | | Esfandiar Haghverdi, Philip J. Scott: From Geometry of Interaction to Denotational Semantics. Electr. Notes Theor. Comput. Sci. 122: 67-87 (2005) |
| j5 | | Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2-3): 229-261 (2005) |
| c5 | | |
| 2004 | ||
| c4 | | Esfandiar Haghverdi, Philip J. Scott: A Categorical Model for the Geometry of Interaction. ICALP 2004: 708-720 |
| 2002 | ||
| j4 | | Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation Relations for Dynamical and Control Systems. Electr. Notes Theor. Comput. Sci. 69: 120-136 (2002) |
| j3 | | 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 | ||
| c3 | | Esfandiar Haghverdi: Partially Additive Categories and Fully Complete Models of Linear Logic. TLCA 2001: 197-216 |
| 2000 | ||
| j2 | | Esfandiar Haghverdi: Unique decomposition categories, Geometry of Interaction and combinatory logic. Mathematical Structures in Computer Science 10(2): 205-230 (2000) |
| 1999 | ||
| j1 | | Esfandiar Haghverdi, Hasan Ural: Submodule construction from concurrent system specifications. Information & Software Technology 41(8): 499-506 (1999) |
| 1993 | ||
| c2 |  | Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, K. Inan: A recursive process algebra for queues. FORTE 1993: 285-300 |
| 1992 | ||
| c1 | | |
| 1 | Samson Abramsky | |
| 2 | S. Bilgen | |
| 3 | K. Inan | |
| 4 | George J. Pappas | |
| 5 | Philip J. Scott | |
| 6 | Paulo Tabuada | |
| 7 | Hasan Ural | |
| 8 | Hüsnü Yenigün |
Colors in the list of coauthors
Last update Wed May 22 12:31:41 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page