Search the dblp DataBase
Abbas Edalat :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Abbas Edalat , Reinhold Heckmann Computing with Real Numbers. [Citation Graph (0, 0)][DBLP ] APPSEM, 2000, pp:193-267 [Conf ] 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 ] Ali Asghar Khanban , Abbas Edalat Computing Delaunay Triangulation with Imprecise Input Data. [Citation Graph (0, 0)][DBLP ] CCCG, 2003, pp:94-97 [Conf ] Abbas Edalat , Ali Asghar Khanban , André Lieutier Computability in Computational Geometry. [Citation Graph (0, 0)][DBLP ] CiE, 2005, pp:117-127 [Conf ] Abbas Edalat , Michael B. Smyth Categories of Information Systems. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1991, pp:37-52 [Conf ] 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 ] Abbas Edalat , Dirk Pattinson Denotational Semantics of Hybrid Automata. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2006, pp:231-245 [Conf ] Abbas Edalat , Marko Krznaric Numerical Integration with Exact Real Arithmetic. [Citation Graph (0, 0)][DBLP ] ICALP, 1999, pp:90-104 [Conf ] Abbas Edalat , Dirk Pattinson A Domain Theoretic Account of Picard's Theorem. [Citation Graph (0, 0)][DBLP ] ICALP, 2004, pp:494-505 [Conf ] 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 ] Abbas Edalat Dynamical Systems, Measures and Fractals Via Domain Theory. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:82-99 [Conf ] 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 ] 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 ] Abbas Edalat Continuous I-Categories. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:127-138 [Conf ] Richard Blute , Josee Desharnais , Abbas Edalat , Prakash Panangaden Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:149-158 [Conf ] Abbas Edalat Domain Theory and Integration [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:115-124 [Conf ] Abbas Edalat Domain Theory in Stochastic Processes [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:244-254 [Conf ] Abbas Edalat The Scott Topology Induces the Weak Topology. [Citation Graph (0, 0)][DBLP ] LICS, 1996, pp:372-381 [Conf ] Abbas Edalat , Martín Hötzel Escardó Integration in Real PCF. [Citation Graph (0, 0)][DBLP ] LICS, 1996, pp:382-393 [Conf ] Abbas Edalat , André Lieutier Domain Theory and Differential Calculus (Functions of one Variable). [Citation Graph (0, 0)][DBLP ] LICS, 2002, pp:277-286 [Conf ] Abbas Edalat , Dirk Pattinson Inverse and Implicit Functions in Domain Theory. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:417-426 [Conf ] 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 ] 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 ] 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 ] Abbas Edalat , Michael B. Smyth Compact Metric Information Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] REX Workshop, 1992, pp:154-173 [Conf ] 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 ] Abbas Edalat , Michael B. Smyth Information categories. [Citation Graph (0, 0)][DBLP ] Applied Categorical Structures, 1993, v:1, n:2, pp:197-232 [Journal ] 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 ] 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 ] Abbas Edalat The domain of differentiable functions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Abbas Edalat Domain theory in learning processes. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Abbas Edalat Power Domains and Iterated Function Systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:124, n:2, pp:182-197 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Abbas Edalat Domain Theory and Integration. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:151, n:1, pp:163-193 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] Abbas Edalat A Continuous Derivative for Real-Valued Functions. [Citation Graph (0, 0)][DBLP ] CiE, 2007, pp:248-257 [Conf ] Abbas Edalat A computable approach to measure and integration theory. [Citation Graph (0, 0)][DBLP ] LICS, 2007, pp:463-472 [Conf ] 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 ] Weak Topology and a Differentiable Operator for Lipschitz Maps. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.282secs