Searching for authors named "Esfandiar Haghverdi" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Submodule Construction Using Derivatives
- …Submodule Construction Using Derivatives Esfandiar Haghverdi and Hasan Ural School…
- Add To MetaCart
-
Proofs as Polynomials
- …. Both can be found at the ENTCS Macro Home Page. Abstract Proofs as Polynomials Esfandiar Haghverdi 1…
- Add To MetaCart
-
Geometry of Interaction and Linear Combinatory Algebras
- … grant. Research supported in part by an NSERC Operating Grant. S. Abramsky, E. Haghverdi and P…
- Cited by 29 (11 self) – Add To MetaCart
-
Unifying Bisimulation Relations for Discrete and Continuous Systems
- …Unifying bisimulation relations for discrete and continuous systems Esfandiar Haghverdi 1…
- Cited by 5 (1 self) – Add To MetaCart
-
Bisimilar Hybrid Systems
- …Bisimilar Hybrid Systems Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas 1 School…
- Add To MetaCart
-
Bisimulation Relations for Dynamical and Control Systems
- …CTCS 2002 Preliminary Version Bisimulation Relations for Dynamical and Control Systems Esfandiar…
- Cited by 14 (5 self) – Add To MetaCart
Showing 1 through 6.
