Modal Operators for Coequations. - Jesse Hughes (CMCS, 2001)

The Coinductive Approach to Verifying Cryptographic Protocols. - Jesse Hughes; Martijn Warnier (WADT, 2002)

Some Co-Birkhoff Type Theorems. - Jesse Hughes (CMCS, 2002)

Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. - Jesse Hughes; Bart Jacobs 001 (CTCS, 2002)

Concise Graphs and Functional Bisimulations. - Ling Cheung; Jesse Hughes (CMCIM/GETCO@CONCUR, 2003)

Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. - Steven Awodey; Jesse Hughes (Math. Struct. Comput. Sci., 2003)

Distributivity of categories of coalgebras. - H. Peter Gumm; Jesse Hughes; Tobias Schröder (Theor. Comput. Sci., 2003)

Simulations in coalgebra. - Jesse Hughes; Bart Jacobs 001 (Theor. Comput. Sci., 2004)

Means-End Relations and a Measure of Efficacy. - Jesse Hughes; Albert C. Esterline; Bahram Kimiaghalam (J. Log. Lang. Inf., 2006)

Admissible digit sets. - Jesse Hughes; Milad Niqui (Theor. Comput. Sci., 2006)

A Semantics for Means-end Relations. - Jesse Hughes; Peter Kroes; Sjoerd Zwart (Synth., 2007)

Don't Ever Do That! Long-term Duties in PD e L. - Jesse Hughes; Lambèr M. M. Royakkers (Stud Logica, 2008)

An artifact is to use: an introduction to instrumental functions. - Jesse Hughes (Synth., 2009)

Blame it on me. - Lambèr M. M. Royakkers; Jesse Hughes (J. Philos. Log., 2020)