Travelled to:1 × Czech Republic
1 × Denmark
1 × Finland
1 × France
1 × Italy
1 × Japan
1 × United Kingdom
2 × Austria
2 × Poland
6 × USA
Collaborated with:∅ D.Pattinson A.Lieutier M.H.Escardó P.J.Potts J.Desharnais P.Panangaden P.Bilokon P.D.Gianantonio M.Krznaric P.Sünderhauf R.Blute
Talks about:domain (7) differenti (5) theori (5) integr (5) process (4) real (4) function (3) calculus (3) topolog (3) comput (3)
Person: Abbas Edalat
DBLP: Edalat:Abbas
Contributed to:
20152014
201320082007200620052005
200420021999
199819981997199619951994Wrote 19 papers:
- LICS-2015-Edalat #calculus #difference
- Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.
- LICS-CSL-2014-BilokonE #approach #probability #process
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
- FoSSaCS-2013-GianantonioE
- A Language for Differentiable Functions (PDG, AE), pp. 337–352.
- LICS-2008-Edalat
- Weak Topology and a Differentiable Operator for Lipschitz Maps (AE), pp. 364–375.
- LICS-2007-Edalat #approach #integration
- A computable approach to measure and integration theory (AE), pp. 463–472.
- FoSSaCS-2006-EdalatP #automaton #hybrid #semantics
- Denotational Semantics of Hybrid Automata (AE, DP), pp. 231–245.
- FoSSaCS-2005-EdalatLP #calculus #difference #multi
- A Computational Model for Multi-variable Differential Calculus (AE, AL, DP), pp. 505–519.
- LICS-2005-EdalatP
- Inverse and Implicit Functions in Domain Theory (AE, DP), pp. 417–426.
- ICALP-2004-EdalatP #theorem
- A Domain Theoretic Account of Picard’s Theorem (AE, DP), pp. 494–505.
- LICS-2002-EdalatL #calculus #difference
- Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.
- ICALP-1999-EdalatK #integration
- Numerical Integration with Exact Real Arithmetic (AE, MK), pp. 90–104.
- ICFP-1998-EdalatPS #lazy evaluation
- Lazy Computation with Exact Real Numbers (AE, PJP, PS), pp. 185–194.
- LICS-1998-DesharnaisEP #bisimulation #logic #markov #process
- A Logical Characterization of Bisimulation for Labeled Markov Processes (JD, AE, PP), pp. 478–487.
- LICS-1997-BluteDEP #bisimulation #markov #process
- Bisimulation for Labelled Markov Processes (RB, JD, AE, PP), pp. 149–158.
- LICS-1997-PottsEE #semantics
- Semantics of Exact Real Arithmetic (PJP, AE, MHE), pp. 248–257.
- LICS-1996-Edalat
- The Scott Topology Induces the Weak Topology (AE), pp. 372–381.
- LICS-1996-EdalatE #integration
- Integration in Real PCF (AE, MHE), pp. 382–393.
- LICS-1995-Edalat #probability #process
- Domain Theory in Stochastic Processes (AE), pp. 244–254.
- LICS-1994-Edalat #integration
- Domain Theory and Integration (AE), pp. 115–124.