Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Abbas Edalat
2010 – today
- 2013
[j29]Abbas Edalat, André Lieutier, Dirk Pattinson: A computational model for multi-variable differential calculus. Inf. Comput. 224: 23-45 (2013)- [c31]
- 2012
- [i1]Abbas Edalat, Ali Ghoroghi, Georgios Sakellariou: Multi-games and a double game extension of the Prisoner's Dilemma. CoRR abs/1205.4973 (2012)
- 2011
- [c30]
2000 – 2009
- 2009
- [j28]Abbas Edalat: A computable approach to measure and integration theory. Inf. Comput. 207(5): 642-659 (2009)
- 2008
- [c29]
- 2007
- [j27]Abbas Edalat, Dirk Pattinson: Denotational semantics of hybrid automata. J. Log. Algebr. Program. 73(1-2): 3-21 (2007)
- [c28]
- [c27]
- 2006
- [j26]Abbas Edalat, Dirk Pattinson: Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. Electr. Notes Theor. Comput. Sci. 155: 565-581 (2006)
- [c26]
- 2005
- [c25]Abbas Edalat, Ali Asghar Khanban, André Lieutier: Computability in Computational Geometry. CiE 2005: 117-127
- [c24]Abbas Edalat, André Lieutier, Dirk Pattinson: A Computational Model for Multi-variable Differential Calculus. FoSSaCS 2005: 505-519
- [c23]
- 2004
- [j25]Abbas Edalat, Achim Jung: Introduction to special issue on domain theory. Mathematical Structures in Computer Science 14(6): 769 (2004)
- [j24]Abbas Edalat, André Lieutier: Domain theory and differential calculus (functions of one variable). Mathematical Structures in Computer Science 14(6): 771-802 (2004)
- [c22]
- [c21]Abbas Edalat, Dirk Pattinson: A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. PARA 2004: 112-121
- 2003
- [c20]Ali Asghar Khanban, Abbas Edalat: Computing Delaunay Triangulation with Imprecise Input Data. CCCG 2003: 94-97
- 2002
- [j23]Ali Asghar Khanban, Abbas Edalat, André Lieutier: Computability of Partial Delaunay Triangulation and Voronoi Diagram. Electr. Notes Theor. Comput. Sci. 66(1): 91-103 (2002)
- [j22]Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
- [j21]Abbas Edalat, André Lieutier: Foundation of a computable solid modelling. Theor. Comput. Sci. 284(2): 319-345 (2002)
- [c19]Abbas Edalat, André Lieutier: Domain Theory and Differential Calculus (Functions of one Variable). LICS 2002: 277-286
- 2001
- [c18]Abbas Edalat, André Lieutier, Elham Kashefi: The convex hull in a new model of computation. CCCG 2001: 93-96
- 2000
- [j20]Abbas Edalat: The domain of differentiable functions. Electr. Notes Theor. Comput. Sci. 40: 144 (2000)
- [j19]
- [c17]
1990 – 1999
- 1999
- [j18]Abbas Edalat, David W. Matula, Philipp Sünderhauf: Preface. Electr. Notes Theor. Comput. Sci. 24: 1 (1999)
- [j17]Abbas Edalat: Semi-pullbacks and bisimulation in categories of Markov processes. Mathematical Structures in Computer Science 9(5): 523-543 (1999)
- [j16]Abbas Edalat, Philipp Sünderhauf: A Domain-Theoretic Approach to Computability on the Real Line. Theor. Comput. Sci. 210(1): 73-98 (1999)
- [j15]Abbas Edalat, Philipp Sünderhauf: Computable Banach Spaces via Domain Theory. Theor. Comput. Sci. 219(1-2): 169-184 (1999)
- [c16]
- [c15]Abbas Edalat, André Lieutier: Foundation of a computable solid modeling. Symposium on Solid Modeling and Applications 1999: 278-284
- 1998
- [j14]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. Electr. Notes Theor. Comput. Sci. 13: 1 (1998)
- [j13]Maurizio Alvarez-Manilla, Abbas Edalat, N. Saheb-Djahromi: An extension result for continuous valuations. Electr. Notes Theor. Comput. Sci. 13: 2-11 (1998)
- [j12]Abbas Edalat, Joseph Parry: An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets. Electr. Notes Theor. Comput. Sci. 13: 31-40 (1998)
- [j11]Abbas Edalat, Reinhold Heckmann: A Computational Model for Metric Spaces. Theor. Comput. Sci. 193(1-2): 53-73 (1998)
- [c14]Abbas Edalat, Peter John Potts, Philipp Sünderhauf: Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194
- [c13]Josee Desharnais, Abbas Edalat, Prakash Panangaden: A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487
- 1997
- [j10]Abbas Edalat: Domains for computation in mathematics, physics and exact real arithmetic. Bulletin of Symbolic Logic 3(4): 401-452 (1997)
- [j9]Abbas Edalat, Peter John Potts: A new representation for exact real numbers. Electr. Notes Theor. Comput. Sci. 6: 119-132 (1997)
- [j8]Abbas Edalat, David W. N. Sharp, R. Lyndon While: Bounding the Attractor of an IFS. Inf. Process. Lett. 64(4): 197-202 (1997)
- [j7]Abbas Edalat: When Scott is Weak on the Top. Mathematical Structures in Computer Science 7(5): 401-417 (1997)
- [c12]Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158
- [c11]Peter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257
- 1996
- [j6]
- [c10]
- [c9]
- 1995
- [j5]Abbas Edalat: Domain theory in learning processes. Electr. Notes Theor. Comput. Sci. 1: 114-131 (1995)
- [j4]Abbas Edalat: Dynamical Systems, Measures and Fractals via Domain Theory. Inf. Comput. 120(1): 32-48 (1995)
- [j3]
- [c8]
- 1994
- [c7]Abbas Edalat: Domain of Computation of a Random Field in Statistical Physics. Theory and Formal Methods 1994: 411-430
- [c6]
- 1993
- [j2]Abbas Edalat, Michael B. Smyth: Information categories. Applied Categorical Structures 1(2): 197-232 (1993)
- [j1]Abbas Edalat, Michael B. Smyth: I-Categories as a Framework for Solving Domain Equations. Theor. Comput. Sci. 115(1): 77-106 (1993)
- [c5]Abbas Edalat: Dynamical Systems, Measures and Fractals Via Domain Theory. Theory and Formal Methods 1993: 82-99
- [c4]Abbas Edalat: Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. Theory and Formal Methods 1993: 100-114
- 1992
- [c3]
- [c2]Abbas Edalat, Michael B. Smyth: Compact Metric Information Systems (Extended Abstract). REX Workshop 1992: 154-173
- 1991
- [c1]Abbas Edalat, Michael B. Smyth: Categories of Information Systems. Category Theory and Computer Science 1991: 37-52
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 20:13 CET by the dblp team