2024
Continuous Domains for Function Spaces Using Spectral Compactification.
CoRR, 2024
2021
A duality for two-sorted lattices.
Soft Comput., 2021
2020
Non-involutive twist-structures.
Log. J. IGPL, 2020
2019
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019
Stone Duality for Relations.
CoRR, 2019
Appl. Categorical Struct., 2019
2018
Log. Methods Comput. Sci., 2018
2017
Math. Struct. Comput. Sci., 2017
Four-valued modal logic: Kripke semantics and duality.
J. Log. Comput., 2017
Proceedings of the Seventh International Symposium on Domain Theory and Its Applications, 2017
Diagrammatic Semantics for Digital Circuits.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
Free Constructions and Coproducts of d-Frames.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
Bitopology and Four-valued Logic.
Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016
Join-continuity + Hypercontinuity = Prime continuity.
CoRR, 2016
Categorical semantics of digital circuits.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
All cartesian closed categories of quasicontinuous domains consist of domains.
Theor. Comput. Sci., 2015
Duality in Computer Science (Dagstuhl Seminar 15441).
Dagstuhl Reports, 2015
2014
QRB, QFS, and the Probabilistic Powerdomain.
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
On a Categorical Framework for Coalgebraic Modal Logic.
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
2013
Convergence of preference functions.
Theor. Comput. Sci., 2013
Four-valued modal logic: Kripke semantics and duality.
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
Kripke Semantics for Modal Bilattice Logic.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Continuous Domain Theory in Logical Form.
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
Priestley Duality for Bilattices.
Stud Logica, 2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
2010
Preface for the special issue on domains.
Math. Struct. Comput. Sci., 2010
2009
Proceedings of the Fifth International Symposium on Domain Theory, 2009
2008
Presenting Dcpos and Dcpo Algebras.
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
2007
A Hofmann-Mislove theorem for Bitopological Spaces.
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007
2006
A logical approach to stable domains.
Theor. Comput. Sci., 2006
Math. Struct. Comput. Sci., 2006
Priestley Duality for Strong Proximity Lattices.
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Auxiliary relations and sandwich theorems.
Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005
2004
Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott.
Theor. Comput. Sci., 2004
The probabilistic powerdomain for stably compact spaces.
Theor. Comput. Sci., 2004
Introduction to special issue on domain theory.
Math. Struct. Comput. Sci., 2004
2003
Stably Compact Spaces and the Probabilistic Powerspace construction.
Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, 2003
2002
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002
A Logic for Probabilities in Semantics.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2001
Stably Compact Spaces and Closed Relations.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
2000
Linear types and approximation.
Math. Struct. Comput. Sci., 2000
1999
Multi Lingual Sequent Calculus and Coherent Spaces.
Fundam. Informaticae, 1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
1997
The troublesome probabilistic powerdomain.
Proceedings of the Third Workshop on Computation and Approximation, 1997
Proceedings of the Third Workshop on Computation and Approximation, 1997
1995
Types, logic and semantics for nested databases.
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
1994
Linear Types, Approximation, and Topology
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
1993
A New Characterization of Lambda Definability.
Proceedings of the Typed Lambda Calculi and Applications, 1993
Studying the Fully Abstract Model of PCF within its Continuous Function Model.
Proceedings of the Typed Lambda Calculi and Applications, 1993
1991
The Dependent Product Construction in Various Categories of Domains.
Theor. Comput. Sci., 1991
Using Powerdomains to Generalize Relational Databases.
Theor. Comput. Sci., 1991
Decomposition of Domains.
Proceedings of the Mathematical Foundations of Programming Semantics, 1991
1990
Cartesian Closed Categories of Algebraic CPOs.
Theor. Comput. Sci., 1990
The Classification of Continuous Domains (Extended Abstract)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
1988
Coherence and Consistency in Domains (Extended Outline)
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
1987
Implementing the RSA cryptosystem.
Comput. Secur., 1987
New Results on Hierarchies of Domains.
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987