| 2009 |
|---|
| 57 | EE | Abbas Edalat:
A computable approach to measure and integration theory.
Inf. Comput. 207(5): 642-659 (2009) |
| 2008 |
|---|
| 56 | EE | Abbas Edalat:
Weak Topology and a Differentiable Operator for Lipschitz Maps.
LICS 2008: 364-375 |
| 2007 |
|---|
| 55 | EE | Abbas Edalat:
A Continuous Derivative for Real-Valued Functions.
CiE 2007: 248-257 |
| 54 | EE | Abbas Edalat:
A computable approach to measure and integration theory.
LICS 2007: 463-472 |
| 53 | EE | Abbas Edalat,
Dirk Pattinson:
Denotational semantics of hybrid automata.
J. Log. Algebr. Program. 73(1-2): 3-21 (2007) |
| 2006 |
|---|
| 52 | EE | Abbas Edalat,
Dirk Pattinson:
Denotational Semantics of Hybrid Automata.
FoSSaCS 2006: 231-245 |
| 51 | EE | Abbas Edalat,
Dirk Pattinson:
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields.
Electr. Notes Theor. Comput. Sci. 155: 565-581 (2006) |
| 2005 |
|---|
| 50 | EE | Abbas Edalat,
Ali Asghar Khanban,
André Lieutier:
Computability in Computational Geometry.
CiE 2005: 117-127 |
| 49 | EE | Abbas Edalat,
André Lieutier,
Dirk Pattinson:
A Computational Model for Multi-variable Differential Calculus.
FoSSaCS 2005: 505-519 |
| 48 | EE | Abbas Edalat,
Dirk Pattinson:
Inverse and Implicit Functions in Domain Theory.
LICS 2005: 417-426 |
| 2004 |
|---|
| 47 | EE | Abbas Edalat,
Dirk Pattinson:
A Domain Theoretic Account of Picard's Theorem.
ICALP 2004: 494-505 |
| 46 | EE | Abbas Edalat,
Dirk Pattinson:
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems.
PARA 2004: 112-121 |
| 45 | EE | Abbas Edalat,
Achim Jung:
Introduction to special issue on domain theory.
Mathematical Structures in Computer Science 14(6): 769- (2004) |
| 44 | EE | Abbas 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 |
|---|
| 42 | EE | Abbas Edalat,
André Lieutier:
Domain Theory and Differential Calculus (Functions of one Variable).
LICS 2002: 277-286 |
| 41 | EE | Ali Asghar Khanban,
Abbas Edalat,
André Lieutier:
Computability of Partial Delaunay Triangulation and Voronoi Diagram.
Electr. Notes Theor. Comput. Sci. 66(1): (2002) |
| 40 | EE | Josee Desharnais,
Abbas Edalat,
Prakash Panangaden:
Bisimulation for Labelled Markov Processes.
Inf. Comput. 179(2): 163-193 (2002) |
| 39 | EE | Abbas Edalat,
André Lieutier:
Foundation of a computable solid modelling.
Theor. Comput. Sci. 284(2): 319-345 (2002) |
| 2001 |
|---|
| 38 | EE | Abbas Edalat,
André Lieutier,
Elham Kashefi:
The convex hull in a new model of computation.
CCCG 2001: 93-96 |
| 2000 |
|---|
| 37 | EE | Abbas Edalat,
Reinhold Heckmann:
Computing with Real Numbers.
APPSEM 2000: 193-267 |
| 36 | EE | Abbas 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 |
|---|
| 34 | EE | Abbas Edalat,
Marko Krznaric:
Numerical Integration with Exact Real Arithmetic.
ICALP 1999: 90-104 |
| 33 | EE | Abbas Edalat,
André Lieutier:
Foundation of a computable solid modeling.
Symposium on Solid Modeling and Applications 1999: 278-284 |
| 32 | EE | Abbas 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) |
| 30 | EE | Abbas Edalat,
Philipp Sünderhauf:
A Domain-Theoretic Approach to Computability on the Real Line.
Theor. Comput. Sci. 210(1): 73-98 (1999) |
| 29 | EE | Abbas Edalat,
Philipp Sünderhauf:
Computable Banach Spaces via Domain Theory.
Theor. Comput. Sci. 219(1-2): 169-184 (1999) |
| 1998 |
|---|
| 28 | EE | Abbas 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 |
| 26 | EE | Abbas Edalat,
Joseph Parry:
An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets.
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 25 | EE | Maurizio Alvarez-Manilla,
Abbas Edalat,
N. Saheb-Djahromi:
An extension result for continuous valuations.
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 24 | EE | Abbas Edalat,
Achim Jung,
Klaus Keimel,
Marta Z. Kwiatkowska:
Preface.
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 23 | EE | Abbas Edalat,
Reinhold Heckmann:
A Computational Model for Metric Spaces.
Theor. Comput. Sci. 193(1-2): 53-73 (1998) |
| 1997 |
|---|
| 22 | EE | Richard Blute,
Josee Desharnais,
Abbas Edalat,
Prakash Panangaden:
Bisimulation for Labelled Markov Processes.
LICS 1997: 149-158 |
| 21 | EE | Peter John Potts,
Abbas Edalat,
Martín Hötzel Escardó:
Semantics of Exact Real Arithmetic.
LICS 1997: 248-257 |
| 20 | EE | Abbas Edalat:
Domains for computation in mathematics, physics and exact real arithmetic.
Bulletin of Symbolic Logic 3(4): 401-452 (1997) |
| 19 | EE | Abbas Edalat,
Peter John Potts:
A new representation for exact real numbers.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 18 | EE | Abbas 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 |
| 12 | EE | Abbas 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) |
| 10 | EE | Abbas 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 |
| 5 | EE | Abbas 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 |
