2009 |
15 | EE | Jesse Hughes:
An artifact is to use: an introduction to instrumental functions.
Synthese 168(1): 179-199 (2009) |
2008 |
14 | EE | Jesse Hughes,
Lambèr M. M. Royakkers:
Don't Ever Do That! Long-term Duties in PD e L.
Studia Logica 89(1): 59-79 (2008) |
2007 |
13 | EE | Jesse Hughes,
Peter Kroes,
Sjoerd Zwart:
A Semantics for Means-end Relations.
Synthese 158(2): 207-231 (2007) |
2006 |
12 | EE | Jesse Hughes,
Lambèr M. M. Royakkers:
Don't Ever Do That! Long-Term Duties in PDeL.
DEON 2006: 131-148 |
11 | EE | Jesse Hughes,
Albert C. Esterline,
Bahram Kimiaghalam:
Means-End Relations and a Measure of Efficacy.
Journal of Logic, Language and Information 15(1-2): 83-108 (2006) |
10 | EE | Jesse Hughes,
Milad Niqui:
Admissible digit sets.
Theor. Comput. Sci. 351(1): 61-73 (2006) |
2004 |
9 | EE | Ling Cheung,
Jesse Hughes:
Concise Graphs and Functional Bisimulations.
Electr. Notes Theor. Comput. Sci. 100: 5-29 (2004) |
8 | EE | Jesse Hughes,
Bart Jacobs:
Simulations in coalgebra.
Theor. Comput. Sci. 327(1-2): 71-108 (2004) |
2003 |
7 | EE | Bart Jacobs,
Jesse Hughes:
Simulations in Coalgebra.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
6 | | Steven Awodey,
Jesse Hughes:
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem.
Mathematical Structures in Computer Science 13(2): 233-258 (2003) |
5 | EE | H. Peter Gumm,
Jesse Hughes,
Tobias Schröder:
Distributivity of categories of coalgebras.
Theor. Comput. Sci. 308(1-3): 131-143 (2003) |
2002 |
4 | EE | Jesse Hughes,
Martijn Warnier:
The Coinductive Approach to Verifying Cryptographic Protocols.
WADT 2002: 268-283 |
3 | EE | Jesse Hughes:
Some Co-Birkhoff Type Theorems.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
2 | EE | Jesse Hughes,
Bart Jacobs:
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
2001 |
1 | EE | Jesse Hughes:
Modal Operators for Coequations.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |