Skip to content
cs-conference-ranking.org

Alex K. Simpson

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

6

Active years

1995–2005

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2005CCARepresenting Probability Measures using Probabilistic Processes.Matthias Schrder, Alex K. Simpson
2002FOSSACSVerifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.Ulrich Schpp, Alex K. Simpson
2002ICALPComparing Functional Paradigms for Exact Real-Number Computation.Andrej Bauer, Martn Htzel Escard, Alex K. Simpson
2002LICSComputational Adequacy for Recursive Types in Models of Intuitionistic Set Theory.Alex K. Simpson
2001LICSA Universal Characterization of the Closed Euclidean Interval.Martn Htzel Escard, Alex K. Simpson
2000LICSComplete Axioms for Categorical Fixed-Point Operators.Alex K. Simpson, Gordon D. Plotkin
1999LICSElementary Axioms for Categories of Classes.Alex K. Simpson
1998CSLComputational Adequacy in an Elementary Topos.Alex K. Simpson
1998MFCSLazy Functional Algorithms for Exact Real Functionals.Alex K. Simpson
1995LICSCompositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOSAlex K. Simpson