A Linear Time Process Algebra. - Alan Jeffrey (CAV, 1991)

Abstract Timed Observation and Process Algebra. - Alan Jeffrey (CONCUR, 1991)

Translating Timed Process Algebra into Prioritized Process Algebra. - Alan Jeffrey (FTRTFT, 1992)

A Chemical Abstract Machine for Graph Reduction. - Alan Jeffrey (MFPS, 1993)

Allegories of Circuits. - Carolyn Brown; Alan Jeffrey (LFCS, 1994)

A Fully Abstract Semantics for Concurrent Graph Reduction - Alan Jeffrey (LICS, 1994)

Handbook of mathematical formulas and integrals. - Alan Jeffrey (Academic Press, 1995)

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types - Alan Jeffrey (LICS, 1995)

A fully abstract semantics for a nondeterministic functional language with monadic types. - Alan Jeffrey (MFPS, 1995)

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. - Luca Aceto; Alan Jeffrey (Theor. Comput. Sci., 1995)

Premonoidal categories and flow graphs. - Alan Jeffrey (HOOTS, 1997)

A Theory of Weak Bisimulation for Core CML. - William Ferreira 001; Matthew Hennessy; Alan Jeffrey (J. Funct. Program., 1998)

Towards a Theory of Bisimulation for Local Names. - Alan Jeffrey; Julian Rathke (LICS, 1999)

A Categorical and Graphical Treatment of Closure Conversion. - Ralf Schweimeier; Alan Jeffrey (MFPS, 1999)

A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation. - Alan Jeffrey (Theor. Comput. Sci., 1999)

Combining the typed lambda-calculus with CCS. - William Ferreira 001; Matthew Hennessy; Alan Jeffrey (Proof, Language, and Interaction, 2000)

Preface. - Alan Jeffrey (HOOTS, 2000)

A Symbolic Labelled Transition System for Coinductive Subtyping of Fµ< Types. - Alan Jeffrey (LICS, 2001)

A Type and Effect Analysis of Security Protocols. - Andrew D. Gordon 001; Alan Jeffrey (SAS, 2001)

SafetyNet: A language-based approach to programmable networks. - Ian Wakeman; Alan Jeffrey; Tim Owen; Damyan Pepper (Comput. Networks, 2001)

Typing One-to-One and One-to-Many Correspondences in Security Protocols. - Andrew D. Gordon 001; Alan Jeffrey (ISSS, 2002)

A Calculus of Untyped Aspect-Oriented Programs. - Radha Jagadeesan; Alan Jeffrey; James Riely (ECOOP, 2003)

Contextual Equivalence for Higher-Order π-Calculus Revisited. - Alan Jeffrey; Julian Rathke (MFPS, 2003)

Authenticity by Typing for Security Protocols. - Andrew D. Gordon 001; Alan Jeffrey (J. Comput. Secur., 2003)

Typing correspondence assertions for communication protocols. - Andrew D. Gordon 001; Alan Jeffrey (Theor. Comput. Sci., 2003)

µABC: A Minimal Aspect Calculus. - Glenn Bruns; Radha Jagadeesan; Alan Jeffrey; James Riely (CONCUR, 2004)

Types and effects for asymmetric cryptographic protocols. - Andrew D. Gordon 001; Alan Jeffrey (J. Comput. Secur., 2004)

A theory of bisimulation for a fragment of concurrent ML with local names. - Alan Jeffrey; Julian Rathke (Theor. Comput. Sci., 2004)

Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. - Andrew D. Gordon 001; Alan Jeffrey (CONCUR, 2005)

Timed Spi-Calculus with Types for Secrecy and Authenticity. - Christian Haack; Alan Jeffrey (CONCUR, 2005)

Java Jr: Fully Abstract Trace Semantics for a Core Java Language. - Alan Jeffrey; Julian Rathke (ESOP, 2005)

Contextual equivalence for higher-order pi-calculus revisited. - Alan Jeffrey; Julian Rathke (Log. Methods Comput. Sci., 2005)

A fully abstract may testing semantics for concurrent objects. - Alan Jeffrey; Julian Rathke (Theor. Comput. Sci., 2005)

lambda-RBAC: Programming with Role-Based Access Control. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (ICALP (2), 2006)

Pattern-matching spi-calculus. - Christian Haack; Alan Jeffrey (Inf. Comput., 2006)

Typed parametric polymorphism for aspects. - Radha Jagadeesan; Alan Jeffrey; James Riely (Sci. Comput. Program., 2006)

Efficient and Expressive Tree Filters. - Michael Benedikt; Alan Jeffrey (FSTTCS, 2007)

Stream firewalling of xml constraints. - Michael Benedikt; Alan Jeffrey; Ruy Ley-Wild (SIGMOD Conference, 2008)

Lambda-RBAC: Programming with Role-Based Access Control. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (Log. Methods Comput. Sci., 2008)

Full abstraction for polymorphic pi-calculus. - Alan Jeffrey; Julian Rathke (Theor. Comput. Sci., 2008)

Towards a Theory of Accountability and Audit. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (ESORICS, 2009)

Model Checking Firewall Policy Configurations. - Alan Jeffrey; Taghrid Samak (POLICY, 2009)

Domain Certificates in the Session Initiation Protocol (SIP). - Vijay K. Gurbani; Scott D. Lawrence; Alan S. A. Jeffrey (RFC, 2010)

The Lax Braided Structure of Streaming I/O. - Alan Jeffrey; Julian Rathke (CSL, 2011)

Integrity Constraints for Linked Data. - Alan Jeffrey; Peter F. Patel-Schneider (Description Logics, 2011)

Robin Milner 1934–2010: verification, languages, and concurrency. - Andrew D. Gordon 001; Robert Harper 001; John Harrison 001; Alan Jeffrey; Peter Sewell (POPL, 2011)

LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. - Alan Jeffrey (PLPV, 2012)

Functional reactive programming with liveness guarantees. - Alan Jeffrey (ICFP, 2013)

Validation and Interactivity of Web API Documentation. - Peter J. Danielsen; Alan Jeffrey (ICWS, 2013)

Dependently Typed Web Client Applications - FRP in Agda in HTML5. - Alan Jeffrey (PADL, 2013)

Causality for free!: parametricity implies causality for functional reactive programs. - Alan Jeffrey (PLPV, 2013)

Functional reactive types. - Alan Jeffrey (CSL-LICS, 2014)

A Model of Navigation History. - Connor G. Brewster; Alan Jeffrey (CoRR, 2016)

An extensible approach to session polymorphism. - Matthew A. Goto; Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (Math. Struct. Comput. Sci., 2016)

Josephine: Using JavaScript to safely manage the lifetimes of Rust data. - Alan Jeffrey (CoRR, 2018)

The Code That Never Ran: Modeling Attacks on Speculative Evaluation. - Craig Disselkoen; Radha Jagadeesan; Alan Jeffrey; James Riely (IEEE Symposium on Security and Privacy, 2019)

Lightweight Record-and-Replay for Intermittent Tests Failures. - Omar S. Navarro Leija; Alan Jeffrey (CoRR, 2019)

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. - Alan Jeffrey; James Riely (Log. Methods Comput. Sci., 2019)

Pomsets with preconditions: a simple model of relaxed memory. - Radha Jagadeesan; Alan Jeffrey; James Riely (Proc. ACM Program. Lang., 2020)

Position Paper: Goals of the Luau Type System. - Lily Brown; Andy Friesen; Alan Jeffrey (CoRR, 2021)

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. - Alan Jeffrey; James Riely; Mark Batty; Simon Cooksey; Ilya Kaysin; Anton Podkopaev (Proc. ACM Program. Lang., 2022)

Artifact: Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Artifact: Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Accepted Artifact for Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Art Sci. Eng. Program., 2024)