Jesse Hughes

According to our database, Jesse Hughes authored at least 14 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Blame it on me.

Lambèr M. M. Royakkers, Jesse Hughes

J. Philos. Log., 2020

2009

An artifact is to use: an introduction to instrumental functions.

Jesse Hughes

Synth., 2009

2008

Don't Ever Do That! Long-term Duties in <i>PD</i> _<i>e</i> <i>L</i>.

Jesse Hughes, Lambèr M. M. Royakkers

Stud Logica, 2008

2007

A Semantics for Means-end Relations.

Jesse Hughes, Peter Kroes, Sjoerd Zwart

Synth., 2007

2006

Admissible digit sets.

Jesse Hughes, Milad Niqui

Theor. Comput. Sci., 2006

Means-End Relations and a Measure of Efficacy.

Jesse Hughes, Albert C. Esterline, Bahram Kimiaghalam

J. Log. Lang. Inf., 2006

2003

Distributivity of categories of coalgebras.

H. Peter Gumm, Jesse Hughes, Tobias Schröder

Theor. Comput. Sci., 2003

Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem.

Steven Awodey, Jesse Hughes

Math. Struct. Comput. Sci., 2003

Simulations in Coalgebra.

Bart Jacobs, Jesse Hughes

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Concise Graphs and Functional Bisimulations.

Ling Cheung, Jesse Hughes

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

2002

Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.

Jesse Hughes, Bart Jacobs

Proceedings of the Category Theory and Computer Science, 2002

Some Co-Birkhoff Type Theorems.

Jesse Hughes

Proceedings of the Coalgebraic Methods in Computer Science, 2002

The Coinductive Approach to Verifying Cryptographic Protocols.

Jesse Hughes, Martijn Warnier

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Modal Operators for Coequations.

Jesse Hughes

Proceedings of the Coalgebraic Methods in Computer Science, 2001