The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Abbas Edalat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  56. Weak Topology and a Differentiable Operator for Lipschitz Maps. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.282secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002