Остановите войну!
for scientists:
default search action
Abbas Edalat
- > Home > Persons > Abbas Edalat
Publications
- 2023
- [j27]Abbas Edalat, Amin Farjudian, Yiran Li:
Recursive solution of initial value problems with temporal discretization. Theor. Comput. Sci. 980: 114221 (2023) - [i7]Abbas Edalat, Amin Farjudian, Yiran Li:
Recursive Solution of Initial Value Problems with Temporal Discretization. CoRR abs/2301.03920 (2023) - 2020
- [c54]Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson:
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. MFPS 2020: 105-128 - 2019
- [c53]Mohammad-Javad Davari, Abbas Edalat, André Lieutier:
The convex hull of finitely generable subsets and its predicate transformer. LICS 2019: 1-14 - 2013
- [j21]Abbas Edalat, André Lieutier, Dirk Pattinson:
A computational model for multi-variable differential calculus. Inf. Comput. 224: 23-45 (2013) - 2007
- [j19]Abbas Edalat, Dirk Pattinson:
Denotational semantics of hybrid automata. J. Log. Algebraic Methods Program. 73(1-2): 3-21 (2007) - [j18]Abbas Edalat, Dirk Pattinson:
A Domain-Theoretic Account of Picard's Theorem. LMS J. Comput. Math. 10: 83-118 (2007) - 2006
- [c37]Abbas Edalat, Dirk Pattinson:
Denotational Semantics of Hybrid Automata. FoSSaCS 2006: 231-245 - 2005
- [c36]Abbas Edalat, Ali Asghar Khanban, André Lieutier:
Computability in Computational Geometry. CiE 2005: 117-127 - [c35]Abbas Edalat, André Lieutier, Dirk Pattinson:
A Computational Model for Multi-variable Differential Calculus. FoSSaCS 2005: 505-519 - [c34]Abbas Edalat, Dirk Pattinson:
Inverse and Implicit Functions in Domain Theory. LICS 2005: 417-426 - [c33]Abbas Edalat, Dirk Pattinson:
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. MFPS 2005: 565-581 - 2004
- [j17]Abbas Edalat, Achim Jung:
Introduction to special issue on domain theory. Math. Struct. Comput. Sci. 14(6): 769 (2004) - [j16]Abbas Edalat, André Lieutier:
Domain theory and differential calculus (functions of one variable). Math. Struct. Comput. Sci. 14(6): 771-802 (2004) - [c32]Abbas Edalat, Dirk Pattinson:
A Domain Theoretic Account of Picard's Theorem. ICALP 2004: 494-505 - [c31]Abbas Edalat, Dirk Pattinson:
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. PARA 2004: 112-121 - 2003
- [c30]Ali Asghar Khanban, Abbas Edalat:
Computing Delaunay Triangulation with Imprecise Input Data. CCCG 2003: 94-97 - [c29]Abbas Edalat, Marko Krznaric, André Lieutier:
Domain-theoretic Solution of Differential Equations (Scalar Fields). MFPS 2003: 99-112 - 2002
- [j15]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002) - [j14]Abbas Edalat, André Lieutier:
Foundation of a computable solid modelling. Theor. Comput. Sci. 284(2): 319-345 (2002) - [c28]Abbas Edalat, André Lieutier:
Domain Theory and Differential Calculus (Functions of one Variable). LICS 2002: 277-286 - [c27]Ali Asghar Khanban, Abbas Edalat, André Lieutier:
Computability of Partial Delaunay Triangulation and Voronoi Diagram. CCA 2002: 91-103 - 2001
- [c26]Abbas Edalat, André Lieutier, Elham Kashefi:
The convex hull in a new model of computation. CCCG 2001: 93-96 - 2000
- [j13]Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. Inf. Comput. 160(1-2): 128-166 (2000) - [c25]Abbas Edalat, Reinhold Heckmann:
Computing with Real Numbers. APPSEM 2000: 193-267 - 1999
- [j11]Abbas Edalat, Philipp Sünderhauf:
A Domain-Theoretic Approach to Computability on the Real Line. Theor. Comput. Sci. 210(1): 73-98 (1999) - [j10]Abbas Edalat, Philipp Sünderhauf:
Computable Banach Spaces via Domain Theory. Theor. Comput. Sci. 219(1-2): 169-184 (1999) - [c23]Abbas Edalat, Marko Krznaric:
Numerical Integration with Exact Real Arithmetic. ICALP 1999: 90-104 - [c22]Abbas Edalat, André Lieutier:
Foundation of a computable solid modeling. Symposium on Solid Modeling and Applications 1999: 278-284 - [e2]Abbas Edalat, David W. Matula, Philipp Sünderhauf:
Workshop on Real Number Computation, RealComp 1998, Indianapolis, Indiana, USA, June 19-20, 1998. Electronic Notes in Theoretical Computer Science 24, Elsevier 1999 [contents] - 1998
- [j9]Abbas Edalat, Reinhold Heckmann:
A Computational Model for Metric Spaces. Theor. Comput. Sci. 193(1-2): 53-73 (1998) - [c21]Abbas Edalat, Peter John Potts, Philipp Sünderhauf:
Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194 - [c20]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487 - [c19]Abbas Edalat, David W. Matula, Philipp Sünderhauf:
Preface. RealComp 1998: 1 - 1997
- [c18]Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. LICS 1997: 149-158 - [c17]Peter John Potts, Abbas Edalat, Martín Hötzel Escardó:
Semantics of Exact Real Arithmetic. LICS 1997: 248-257 - [c16]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Preface. COMPROX 1997: 1 - [c15]Maurizio Alvarez-Manilla, Abbas Edalat, Nasser Saheb-Djahromi:
An extension result for continuous valuations. COMPROX 1997: 2-11 - [c13]Abbas Edalat, Peter John Potts:
A new representation for exact real numbers. MFPS 1997: 119-132 - [e1]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997. Electronic Notes in Theoretical Computer Science 13, Elsevier 1997 [contents] - 1996
- [c11]Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. LICS 1996: 382-393 - 1993
- [j2]Abbas Edalat, Michael B. Smyth:
Information categories. Appl. Categorical Struct. 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) - 1992
- [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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-03 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint