Abbas Edalat

Federico Mancinelli

Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

A Language for Differentiable Functions.

[BibT_eX]

[DOI]

Pietro Di Gianantonio

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Multi-games and a double game extension of the Prisoner's Dilemma

[BibT_eX]

[DOI]

Ali Ghoroghi

Georgios Sakellariou

CoRR, 2012

2011

Visual Hull from Imprecise Polyhedral Scene.

[BibT_eX]

[DOI]

Peng He

Proceedings of the International Conference on 3D Imaging, 2011

2009

A computable approach to measure and integration theory.

[BibT_eX]

[DOI]

Inf. Comput., 2009

2008

Weak Topology and a Differentiable Operator for Lipschitz Maps.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007

A Domain-Theoretic Account of Picard's Theorem.

[BibT_eX]

[DOI]

LMS J. Comput. Math., 2007

Denotational semantics of hybrid automata.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

A Continuous Derivative for Real-Valued Functions.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2005

Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Inverse and Implicit Functions in Domain Theory.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Computability in Computational Geometry.

[BibT_eX]

[DOI]

Ali Asghar Khanban

Proceedings of the New Computational Paradigms, 2005

2004

Domain theory and differential calculus (functions of one variable).

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2004

Introduction to special issue on domain theory.

[BibT_eX]

[DOI]

Achim Jung

Math. Struct. Comput. Sci., 2004

A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems.

[BibT_eX]

[DOI]

Proceedings of the Applied Parallel Computing, 2004

2003

Domain-theoretic Solution of Differential Equations (Scalar Fields).

[BibT_eX]

[DOI]

Marko Krznaric

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

Computing Delaunay Triangulation with Imprecise Input Data.

[BibT_eX]

[DOI]

Ali Asghar Khanban

Proceedings of the 15th Canadian Conference on Computational Geometry, 2003

2002

Foundation of a computable solid modelling.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Bisimulation for Labelled Markov Processes.

[BibT_eX]

[DOI]

Josée Desharnais

Prakash Panangaden

Inf. Comput., 2002

Computability of Partial Delaunay Triangulation and Voronoi Diagram.

[BibT_eX]

[DOI]

Ali Asghar Khanban

Proceedings of the Computability and Complexity in Analysis, 2002

2001

The convex hull in a new model of computation.

[BibT_eX]

[DOI]

Elham Kashefi

Proceedings of the 13th Canadian Conference on Computational Geometry, 2001

2000

Integration in Real PCF.

[BibT_eX]

[DOI]

Martín Hötzel Escardó

Inf. Comput., 2000

The domain of differentiable functions.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Computing with Real Numbers.

[BibT_eX]

[DOI]

Reinhold Heckmann

Proceedings of the Applied Semantics, International Summer School, 2000

1999

Computable Banach Spaces via Domain Theory.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

A Domain-Theoretic Approach to Computability on the Real Line.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Semi-pullbacks and bisimulation in categories of Markov processes.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1999

Foundation of a computable solid modeling.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM Symposium on Solid Modeling and Applications, 1999

Numerical Integration with Exact Real Arithmetic.

[BibT_eX]

[DOI]

Marko Krznaric

Proceedings of the Automata, 1999

1998

A Computational Model for Metric Spaces.

[BibT_eX]

[DOI]

Reinhold Heckmann

Theor. Comput. Sci., 1998

Preface.

[BibT_eX]

[DOI]

David W. Matula

Proceedings of the Workshop on Real Number Computation, 1998

A Logical Characterization of Bisimulation for Labeled Markov Processes.

[BibT_eX]

[DOI]

Josée Desharnais

Prakash Panangaden

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Lazy Computation with Exact Real Numbers.

[BibT_eX]

[DOI]

Peter John Potts

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

When Scott is Weak on the Top.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1997

Bounding the Attractor of an IFS.

[BibT_eX]

[DOI]

David W. N. Sharp

Lyndon While

Inf. Process. Lett., 1997

An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets.

[BibT_eX]

[DOI]

Joseph Parry

Proceedings of the Third Workshop on Computation and Approximation, 1997

A new representation for exact real numbers.

[BibT_eX]

[DOI]

Peter John Potts

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Preface.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Computation and Approximation, 1997

An extension result for continuous valuations.

[BibT_eX]

[DOI]

Maurizio Alvarez-Manilla

Nasser Saheb-Djahromi

Proceedings of the Third Workshop on Computation and Approximation, 1997

Domains for computation in mathematics, physics and exact real arithmetic.

[BibT_eX]

[DOI]

Bull. Symb. Log., 1997

Semantics of Exact Real Arithmetic.

[BibT_eX]

[DOI]

Peter John Potts

Martín Hötzel Escardó

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Bisimulation for Labelled Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996

Power Domains and Iterated Function Systems.

[BibT_eX]

[DOI]

Inf. Comput., 1996

The Scott Topology Induces the Weak Topology.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1996

1995

Dynamical Systems, Measures and Fractals via Domain Theory

[BibT_eX]

[DOI]

Inf. Comput., July, 1995

Domain Theory and Integration.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Domain theory in learning processes.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Domain Theory in Stochastic Processes

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1995

An upper bound on the area occupied by a fractal.

[BibT_eX]

[DOI]

David W. N. Sharp

Ronald Lyndon While

Proceedings of the 1995 International Conference on Acoustics, 1995

1994

Domain of Computation of a Random Field in Statistical Physics.

[BibT_eX]

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

I-Categories as a Framework for Solving Domain Equations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Information categories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1993

Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories.

[BibT_eX]

Proceedings of the Theory and Formal Methods 1993, 1993

1992

Compact Metric Information Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Sematics: Foundations and Applications, 1992

Continuous I-Categories.

[BibT_eX]

Proceedings of the Logical Foundations of Computer Science, 1992

1991

Categories of Information Systems.

[BibT_eX]

[DOI]