| Publication | Date of Publication | Type |
|---|
| Continuous domains for function spaces using spectral compactification | 2026-04-02 | Paper |
| Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad | 2024-09-13 | Paper |
A domain-theoretic framework for robustness analysis of neural networks
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Robustness, Scott continuity, and computability
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Recursive solution of initial value problems with temporal discretization
Theoretical Computer Science | 2023-11-17 | Paper |
| Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad | 2023-09-13 | Paper |
System analysis and robustness
Lecture Notes in Computer Science | 2023-08-02 | Paper |
A Logic of East and West
Journal of Artificial Intelligence Research | 2023-03-13 | Paper |
| Domain theoretic second-order Euler's method for solving initial value problems | 2022-04-29 | Paper |
Existence of continuous eigenvalues for a class of parametric problems involving the \((p,2)\)-Laplacian operator
Acta Applicandae Mathematicae | 2020-03-13 | Paper |
| Computable analysis of linear rearrangement optimization | 2019-10-15 | Paper |
Optimal harvesting strategy based on rearrangements of functions
Applied Mathematics and Computation | 2019-06-21 | Paper |
Safe \& robust reachability analysis of hybrid systems
Theoretical Computer Science | 2018-09-24 | Paper |
Absolute continuity in partial differential equations
Real Analysis Exchange | 2018-03-09 | Paper |
Absolute continuity in partial differential equations
Real Analysis Exchange | 2018-03-09 | Paper |
| Uniqueness and Stability of Optimizers for a Membrane Problem | 2018-01-27 | Paper |
An elliptic optimal control problem and its two relaxations
Journal of Optimization Theory and Applications | 2017-06-22 | Paper |
Existence and uniqueness of solutions for nonlocal \(p\)-Laplacian problems
Electronic Journal of Differential Equations (EJDE) | 2016-11-11 | Paper |
Optimization problems with fixed volume constraints and stability results related to rearrangement classes
Journal of Mathematical Analysis and Applications | 2016-07-04 | Paper |
Optimization related to some nonlocal problems of Kirchhoff type
Canadian Journal of Mathematics | 2016-06-03 | Paper |
| Maximal mean exit time related to the \(p\)-Laplace operator | 2015-08-13 | Paper |
Monotonicity of the principal eigenvalue related to a non-isotropic vibrating string
Nonautonomous Dynamical Systems | 2014-12-17 | Paper |
Function interval arithmetic
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Some results on radial symmetry in partial differential equations
The New York Journal of Mathematics | 2014-04-11 | Paper |
| Sequentiality and piecewise-affinity in segments of Real-PCF | 2013-10-10 | Paper |
On the Kolmogorov complexity of continuous real functions
Annals of Pure and Applied Logic | 2013-04-05 | Paper |
Polynomial-time solution of initial value problems using polynomial enclosures
Logic, Language, Information and Computation | 2012-09-21 | Paper |
On the Kolmogorov complexity of continuous real functions
Models of Computation in Context | 2011-09-09 | Paper |
| Semantics of query-driven communication of exact values | 2011-02-10 | Paper |
| Compositional semantics of dataflow networks with query-driven communication of exact values | 2011-02-10 | Paper |
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
Logic, Language, Information and Computation | 2008-07-10 | Paper |
SHRAD: A language for sequential real number computation
Theory of Computing Systems | 2007-09-06 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
