Jesse Hughes

16 papers Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2020 J jnl
Blame it on me.
J. Philos. Log.
Lambèr M. M. Royakkers, Jesse Hughes
2009 J jnl
An artifact is to use: an introduction to instrumental functions.
Synth.
Jesse Hughes
2008 J jnl
Don't Ever Do That! Long-term Duties in
Stud Logica
Jesse Hughes, Lambèr M. M. Royakkers
2007 J jnl
A Semantics for Means-end Relations.
Synth.
Jesse Hughes, Peter Kroes, Sjoerd Zwart
2006 J jnl
Admissible digit sets.
Theor. Comput. Sci.
Jesse Hughes, Milad Niqui
2006 — conf
Don't Ever Do That! Long-Term Duties in
DEON
Jesse Hughes, Lambèr M. M. Royakkers
2006 J jnl
Means-End Relations and a Measure of Efficacy.
J. Log. Lang. Inf.
Jesse Hughes, Albert C. Esterline, Bahram Kimiaghalam
2004 J jnl
Simulations in coalgebra.
Theor. Comput. Sci.
Jesse Hughes, Bart Jacobs
2003 — conf
Concise Graphs and Functional Bisimulations.
CMCIM/GETCO@CONCUR
Ling Cheung, Jesse Hughes
2003 J jnl
Distributivity of categories of coalgebras.
Theor. Comput. Sci.
H. Peter Gumm, Jesse Hughes, Tobias Schröder
2003 J jnl
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem.
Math. Struct. Comput. Sci.
Steven Awodey, Jesse Hughes
2003 — conf
Simulations in Coalgebra.
CMCS
Bart Jacobs, Jesse Hughes
2002 — conf
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.
CTCS
Jesse Hughes, Bart Jacobs
2002 — conf
Some Co-Birkhoff Type Theorems.
CMCS
Jesse Hughes
2002 — conf
The Coinductive Approach to Verifying Cryptographic Protocols.
WADT
Jesse Hughes, Martijn Warnier
2001 — conf
Modal Operators for Coequations.
CMCS
Jesse Hughes