| Publication | Date of Publication | Type |
|---|
A language for evaluating derivatives of functionals using automatic differentiation
| 2026-04-02 | Paper |
The convex hull of finitely generable subsets and its predicate transformer
| 2024-12-19 | Paper |
Recursive solution of initial value problems with temporal discretization
Theoretical Computer Science | 2023-11-17 | Paper |
Domain theoretic second-order Euler's method for solving initial value problems
| 2022-04-29 | Paper |
Smooth Approximation of Lipschitz Maps and Their Subgradients
Journal of the ACM | 2022-03-31 | Paper |
Differentiation in logical form
| 2021-01-19 | Paper |
Lazy computation with exact real numbers
Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
Ex post Nash equilibrium in linear Bayesian games for decision making in multi-environments
Games | 2019-01-21 | Paper |
Differential calculus with imprecise input and its logical framework
| 2018-07-17 | Paper |
A domain-theoretic approach to Brownian motion and general continuous stochastic processes
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Extensions of domain maps in differential and integral calculus
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A domain-theoretic approach to Brownian motion and general continuous stochastic processes
Theoretical Computer Science | 2017-09-07 | Paper |
Lazy computation with exact real numbers
Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
Bounding the attractor of an IFS
Information Processing Letters | 2016-06-01 | Paper |
Domain-theoretic solution of differential equations (scalar fields)
| 2016-05-03 | Paper |
A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations
Theoretical Computer Science | 2014-12-16 | Paper |
Domain theoretic solutions of initial value problems for unbounded vector fields
| 2013-10-08 | Paper |
A computational model for multi-variable differential calculus
Information and Computation | 2013-06-06 | Paper |
Computability of partial Delaunay triangulation and Voronoi diagram (extended abstract)
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
A language for differentiable functions
Lecture Notes in Computer Science | 2013-03-18 | Paper |
A differential operator and weak topology for Lipschitz maps
Topology and its Applications | 2010-05-19 | Paper |
A computable approach to measure and integration theory
Information and Computation | 2009-06-08 | Paper |
A continuous derivative for real-valued functions
| 2008-04-29 | Paper |
A Continuous Derivative for Real-Valued Functions
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Denotational semantics of hybrid automata
The Journal of Logic and Algebraic Programming | 2007-08-23 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
A Domain-Theoretic Account of Picard's Theorem
LMS Journal of Computation and Mathematics | 2007-04-04 | Paper |
Bisimulation for labelled Markov processes
Information and Computation | 2006-10-10 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Domain theory and differential calculus (functions of one variable)
Mathematical Structures in Computer Science | 2005-03-21 | Paper |
An extension of Gleason's theorem for quantum computation
International Journal of Theoretical Physics | 2005-03-15 | Paper |
scientific article; zbMATH DE number 2090725 (Why is no real title available?)
| 2004-08-13 | Paper |
Integration in Real PCF
Information and Computation | 2003-01-14 | Paper |
Foundation of a computable solid modelling.
Theoretical Computer Science | 2002-07-31 | Paper |
scientific article; zbMATH DE number 1678359 (Why is no real title available?)
| 2001-12-04 | Paper |
An Extension Result for Continuous Valuations
Journal of the London Mathematical Society | 2000-12-13 | Paper |
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
The Bulletin of Symbolic Logic | 2000-10-25 | Paper |
scientific article; zbMATH DE number 1405640 (Why is no real title available?)
| 2000-06-14 | Paper |
Semi-pullbacks and bisimulation in categories of Markov processes
Mathematical Structures in Computer Science | 2000-05-30 | Paper |
When Scott is weak on the top
Mathematical Structures in Computer Science | 1999-07-19 | Paper |
The generalized Riemann integral on locally compact spaces
Topology and its Applications | 1999-06-24 | Paper |
Computable Banach spaces via domain theory
Theoretical Computer Science | 1999-06-21 | Paper |
A domain-theoretic approach to computability on the real line
Theoretical Computer Science | 1999-01-12 | Paper |
scientific article; zbMATH DE number 1231639 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1231641 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1231567 (Why is no real title available?)
| 1998-12-20 | Paper |
scientific article; zbMATH DE number 1231453 (Why is no real title available?)
| 1998-12-10 | Paper |
A computational model for metric spaces
Theoretical Computer Science | 1998-08-13 | Paper |
Domain theory and integration
Theoretical Computer Science | 1997-02-27 | Paper |
Power domains and iterated function systems
Information and Computation | 1996-09-05 | Paper |
scientific article; zbMATH DE number 860054 (Why is no real title available?)
| 1996-07-22 | Paper |
Dynamical systems, measures, and fractals via domain theory
Information and Computation | 1996-04-01 | Paper |
Stability of the unfolding of the predator-prey model
Dynamics and Stability of Systems | 1995-06-11 | Paper |
Information categories
Applied Categorical Structures | 1994-08-22 | Paper |
scientific article; zbMATH DE number 517040 (Why is no real title available?)
| 1994-06-02 | Paper |
I-categories as a framework for solving domain equations
Theoretical Computer Science | 1993-12-20 | Paper |
The stable classes and the codimension-one bifurcations of the planar replicator system
Nonlinearity | 1992-09-27 | Paper |
Equivalence of degenerate Hopf bifurcations
Nonlinearity | 1992-06-25 | Paper |
