Jesse Hughes

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 1

Publications

Lambèr M. M. Royakkers, Jesse Hughes
Blame it on me. J. Philos. Log. 49 (2) (2020)
Jesse Hughes
An artifact is to use: an introduction to instrumental functions. Synth. 168 (1) (2009)
Jesse Hughes, Lambèr M. M. Royakkers
. Stud Logica 89 (1) (2008)
Jesse Hughes, Peter Kroes, Sjoerd Zwart
A Semantics for Means-end Relations. Synth. 158 (2) (2007)
Jesse Hughes, Milad Niqui
Admissible digit sets. Theor. Comput. Sci. 351 (1) (2006)
Jesse Hughes, Albert C. Esterline, Bahram Kimiaghalam
Means-End Relations and a Measure of Efficacy. J. Log. Lang. Inf. 15 (1-2) (2006)
Jesse Hughes, Lambèr M. M. Royakkers
. DEON (2006)
Jesse Hughes, Bart Jacobs
Simulations in coalgebra. Theor. Comput. Sci. 327 (1-2) (2004)
Ling Cheung, Jesse Hughes
Concise Graphs and Functional Bisimulations. Electron. Notes Theor. Comput. Sci. 100 (2004)
H. Peter Gumm, Jesse Hughes, Tobias Schröder
Distributivity of categories of coalgebras. Theor. Comput. Sci. 308 (1-3) (2003)
Steven Awodey, Jesse Hughes
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. Math. Struct. Comput. Sci. 13 (2) (2003)
Bart Jacobs, Jesse Hughes
Simulations in Coalgebra. CMCS (2003)
Jesse Hughes, Bart Jacobs
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. CTCS (2002)
Jesse Hughes
Some Co-Birkhoff Type Theorems. CMCS (2002)
Jesse Hughes, Martijn Warnier
The Coinductive Approach to Verifying Cryptographic Protocols. WADT (2002)
Jesse Hughes
Modal Operators for Coequations. CMCS (2001)