BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Edalat:Abbas

Contributed to:

LICS 20152015
CSL-LICS 20142014
FOSSACS 20132013
LICS 20082008
LICS 20072007
FoSSaCS 20062006
FoSSaCS 20052005
LICS 20052005
ICALP 20042004
LICS 20022002
ICALP 19991999
ICFP 19981998
LICS 19981998
LICS 19971997
LICS 19961996
LICS 19951995
LICS 19941994

Wrote 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.
A Language for Differentiable Functions (PDG, AE), pp. 337–352.
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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.