| Geometry of interaction and linear combinatory algebras S Abramsky, E Haghverdi, P Scott Mathematical Structures in Computer Science 12 (5), 625-665, 2002 | 224 | 2002 |
| Bisimulation relations for dynamical, control, and hybrid systems E Haghverdi, P Tabuada, GJ Pappas Theoretical Computer Science 342 (2-3), 229-261, 2005 | 165 | 2005 |
| A categorical approach to linear logic, geometry of proofs and full completeness. E Haghverdi University of Ottawa (Canada), 2000 | 74 | 2000 |
| A categorical model for the geometry of interaction E Haghverdi, P Scott Theoretical Computer Science 350 (2-3), 252-274, 2006 | 62 | 2006 |
| Bisimulation relations for dynamical and control systems E Haghverdi, P Tabuada, G Pappas Electronic Notes in Theoretical Computer Science 69, 120-136, 2003 | 53 | 2003 |
| Unique decomposition categories, geometry of interaction and combinatory logic E Haghverdi Mathematical Structures in Computer Science 10 (2), 205-230, 2000 | 33 | 2000 |
| Geometry of Interaction and the Dynamics of Proof Reduction: a tutorial E Haghverdi, P Scott New Structures for Physics, 357-417, 2010 | 24 | 2010 |
| Towards a typed geometry of interaction E Haghverdi, P Scott Mathematical Structures in Computer Science 20 (3), 473-521, 2010 | 20 | 2010 |
| Towards a typed geometry of interaction E Haghverdi, PJ Scott International Workshop on Computer Science Logic, 216-231, 2005 | 18 | 2005 |
| Submodule construction from concurrent system specifications E Haghverdi, H Ural Information and Software Technology 41 (8), 499-506, 1999 | 16 | 1999 |
| From geometry of interaction to denotational semantics E Haghverdi, P Scott Electronic Notes in Theoretical Computer Science 122, 67-87, 2005 | 12 | 2005 |
| Unifying bisimulation relations for discrete and continuous systems E Haghverdi, P Tabuada, GJ Pappas Proc. Mathematical Theory of Networks and Systems, 2002 | 10 | 2002 |
| Partially additive categories and fully complete models of linear logic E Haghverdi International Conference on Typed Lambda Calculi and Applications, 197-216, 2001 | 9 | 2001 |
| A categorical model for the geometry of interaction E Haghverdi, P Scott International Colloquium on Automata, Languages, and Programming, 708-720, 2004 | 8 | 2004 |
| A Categorical Approach to Linear Logic, Geometry of Interaction and Full Completeness E Haghverdi PhD thesis, University of Ottawa, 2000 | 8 | 2000 |
| Unifying bisimulation relations for discrete and continuous systems, Category Theory and Computer Science E Haghverdi, P Tabuada, GJ Pappas Electronic Notes in Theoretical Computer Science, 2002 | 7 | 2002 |
| Verification by consecutive projections E Haghverdi, K Inan Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992 | 7 | 1992 |
| Typed GoI for exponentials E Haghverdi Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006 | 6 | 2006 |
| An algorithm for submodule construction E Haghverdi, H Ural Technical report of the Department of computer Science, University of Ottawa, 1996 | 6 | 1996 |
| Proofs as polynomials E Haghverdi, PJ Scott Electronic Notes in Theoretical Computer Science 218, 53-72, 2008 | 2 | 2008 |
