dblp.uni-trier.dewww.uni-trier.de

Abbas Edalat

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
57EEAbbas Edalat: A computable approach to measure and integration theory. Inf. Comput. 207(5): 642-659 (2009)
2008
56EEAbbas Edalat: Weak Topology and a Differentiable Operator for Lipschitz Maps. LICS 2008: 364-375
2007
55EEAbbas Edalat: A Continuous Derivative for Real-Valued Functions. CiE 2007: 248-257
54EEAbbas Edalat: A computable approach to measure and integration theory. LICS 2007: 463-472
53EEAbbas Edalat, Dirk Pattinson: Denotational semantics of hybrid automata. J. Log. Algebr. Program. 73(1-2): 3-21 (2007)
2006
52EEAbbas Edalat, Dirk Pattinson: Denotational Semantics of Hybrid Automata. FoSSaCS 2006: 231-245
51EEAbbas Edalat, Dirk Pattinson: Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. Electr. Notes Theor. Comput. Sci. 155: 565-581 (2006)
2005
50EEAbbas Edalat, Ali Asghar Khanban, André Lieutier: Computability in Computational Geometry. CiE 2005: 117-127
49EEAbbas Edalat, André Lieutier, Dirk Pattinson: A Computational Model for Multi-variable Differential Calculus. FoSSaCS 2005: 505-519
48EEAbbas Edalat, Dirk Pattinson: Inverse and Implicit Functions in Domain Theory. LICS 2005: 417-426
2004
47EEAbbas Edalat, Dirk Pattinson: A Domain Theoretic Account of Picard's Theorem. ICALP 2004: 494-505
46EEAbbas Edalat, Dirk Pattinson: A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. PARA 2004: 112-121
45EEAbbas Edalat, Achim Jung: Introduction to special issue on domain theory. Mathematical Structures in Computer Science 14(6): 769- (2004)
44EEAbbas Edalat, André Lieutier: Domain theory and differential calculus (functions of one variable). Mathematical Structures in Computer Science 14(6): 771-802 (2004)
2003
43 Ali Asghar Khanban, Abbas Edalat: Computing Delaunay Triangulation with Imprecise Input Data. CCCG 2003: 94-97
2002
42EEAbbas Edalat, André Lieutier: Domain Theory and Differential Calculus (Functions of one Variable). LICS 2002: 277-286
41EEAli Asghar Khanban, Abbas Edalat, André Lieutier: Computability of Partial Delaunay Triangulation and Voronoi Diagram. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
40EEJosee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
39EEAbbas Edalat, André Lieutier: Foundation of a computable solid modelling. Theor. Comput. Sci. 284(2): 319-345 (2002)
2001
38EEAbbas Edalat, André Lieutier, Elham Kashefi: The convex hull in a new model of computation. CCCG 2001: 93-96
2000
37EEAbbas Edalat, Reinhold Heckmann: Computing with Real Numbers. APPSEM 2000: 193-267
36EEAbbas Edalat: The domain of differentiable functions. Electr. Notes Theor. Comput. Sci. 40: (2000)
35 Abbas Edalat, Martín Hötzel Escardó: Integration in Real PCF. Inf. Comput. 160(1-2): 128-166 (2000)
1999
34EEAbbas Edalat, Marko Krznaric: Numerical Integration with Exact Real Arithmetic. ICALP 1999: 90-104
33EEAbbas Edalat, André Lieutier: Foundation of a computable solid modeling. Symposium on Solid Modeling and Applications 1999: 278-284
32EEAbbas Edalat, David W. Matula, Philipp Sünderhauf: Preface. Electr. Notes Theor. Comput. Sci. 24: (1999)
31 Abbas Edalat: Semi-pullbacks and bisimulation in categories of Markov processes. Mathematical Structures in Computer Science 9(5): 523-543 (1999)
30EEAbbas Edalat, Philipp Sünderhauf: A Domain-Theoretic Approach to Computability on the Real Line. Theor. Comput. Sci. 210(1): 73-98 (1999)
29EEAbbas Edalat, Philipp Sünderhauf: Computable Banach Spaces via Domain Theory. Theor. Comput. Sci. 219(1-2): 169-184 (1999)
1998
28EEAbbas Edalat, Peter John Potts, Philipp Sünderhauf: Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194
27 Josee Desharnais, Abbas Edalat, Prakash Panangaden: A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487
26EEAbbas Edalat, Joseph Parry: An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets. Electr. Notes Theor. Comput. Sci. 13: (1998)
25EEMaurizio Alvarez-Manilla, Abbas Edalat, N. Saheb-Djahromi: An extension result for continuous valuations. Electr. Notes Theor. Comput. Sci. 13: (1998)
24EEAbbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. Electr. Notes Theor. Comput. Sci. 13: (1998)
23EEAbbas Edalat, Reinhold Heckmann: A Computational Model for Metric Spaces. Theor. Comput. Sci. 193(1-2): 53-73 (1998)
1997
22EERichard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158
21EEPeter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257
20EEAbbas Edalat: Domains for computation in mathematics, physics and exact real arithmetic. Bulletin of Symbolic Logic 3(4): 401-452 (1997)
19EEAbbas Edalat, Peter John Potts: A new representation for exact real numbers. Electr. Notes Theor. Comput. Sci. 6: (1997)
18EEAbbas Edalat, David W. N. Sharp, R. Lyndon While: Bounding the Attractor of an IFS. Inf. Process. Lett. 64(4): 197-202 (1997)
17 Abbas Edalat: When Scott is Weak on the Top. Mathematical Structures in Computer Science 7(5): 401-417 (1997)
1996
16 Abbas Edalat: The Scott Topology Induces the Weak Topology. LICS 1996: 372-381
15 Abbas Edalat, Martín Hötzel Escardó: Integration in Real PCF. LICS 1996: 382-393
14 Abbas Edalat: Power Domains and Iterated Function Systems. Inf. Comput. 124(2): 182-197 (1996)
1995
13 Abbas Edalat: Domain Theory in Stochastic Processes LICS 1995: 244-254
12EEAbbas Edalat: Domain theory in learning processes. Electr. Notes Theor. Comput. Sci. 1: (1995)
11 Abbas Edalat: Dynamical Systems, Measures and Fractals via Domain Theory Inf. Comput. 120(1): 32-48 (1995)
10EEAbbas Edalat: Domain Theory and Integration. Theor. Comput. Sci. 151(1): 163-193 (1995)
1994
9 Abbas Edalat: Domain Theory and Integration LICS 1994: 115-124
8 Abbas Edalat: Domain of Computation of a Random Field in Statistical Physics. Theory and Formal Methods 1994: 411-430
1993
7 Abbas Edalat: Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. Theory and Formal Methods 1993: 100-114
6 Abbas Edalat: Dynamical Systems, Measures and Fractals Via Domain Theory. Theory and Formal Methods 1993: 82-99
5EEAbbas Edalat, Michael B. Smyth: Information categories. Applied Categorical Structures 1(2): 197-232 (1993)
4 Abbas Edalat, Michael B. Smyth: I-Categories as a Framework for Solving Domain Equations. Theor. Comput. Sci. 115(1): 77-106 (1993)
1992
3 Abbas Edalat: Continuous I-Categories. LFCS 1992: 127-138
2 Abbas Edalat, Michael B. Smyth: Compact Metric Information Systems (Extended Abstract). REX Workshop 1992: 154-173
1991
1 Abbas Edalat, Michael B. Smyth: Categories of Information Systems. Category Theory and Computer Science 1991: 37-52

Coauthor Index

1Maurizio Alvarez-Manilla [25]
2Richard Blute [22]
3Josée Desharnais (Josee Desharnais) [22] [27] [40]
4Martín Hötzel Escardó [15] [21] [35]
5Reinhold Heckmann [23] [37]
6Achim Jung [24] [45]
7Elham Kashefi [38]
8Klaus Keimel [24]
9Ali Asghar Khanban [41] [43] [50]
10Marko Krznaric [34]
11Marta Z. Kwiatkowska [24]
12André Lieutier [33] [38] [39] [41] [42] [44] [49] [50]
13David W. Matula [32]
14Prakash Panangaden [22] [27] [40]
15Joseph Parry [26]
16Dirk Pattinson [46] [47] [48] [49] [51] [52] [53]
17Peter John Potts [19] [21] [28]
18N. Saheb-Djahromi [25]
19David W. N. Sharp [18]
20Michael B. Smyth [1] [2] [4] [5]
21Philipp Sünderhauf [28] [29] [30] [32]
22R. Lyndon While [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)