dblp.uni-trier.dewww.uni-trier.de

Jesse Hughes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
15EEJesse Hughes: An artifact is to use: an introduction to instrumental functions. Synthese 168(1): 179-199 (2009)
2008
14EEJesse 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
13EEJesse Hughes, Peter Kroes, Sjoerd Zwart: A Semantics for Means-end Relations. Synthese 158(2): 207-231 (2007)
2006
12EEJesse Hughes, Lambèr M. M. Royakkers: Don't Ever Do That! Long-Term Duties in PDeL. DEON 2006: 131-148
11EEJesse 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)
10EEJesse Hughes, Milad Niqui: Admissible digit sets. Theor. Comput. Sci. 351(1): 61-73 (2006)
2004
9EELing Cheung, Jesse Hughes: Concise Graphs and Functional Bisimulations. Electr. Notes Theor. Comput. Sci. 100: 5-29 (2004)
8EEJesse Hughes, Bart Jacobs: Simulations in coalgebra. Theor. Comput. Sci. 327(1-2): 71-108 (2004)
2003
7EEBart 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)
5EEH. Peter Gumm, Jesse Hughes, Tobias Schröder: Distributivity of categories of coalgebras. Theor. Comput. Sci. 308(1-3): 131-143 (2003)
2002
4EEJesse Hughes, Martijn Warnier: The Coinductive Approach to Verifying Cryptographic Protocols. WADT 2002: 268-283
3EEJesse Hughes: Some Co-Birkhoff Type Theorems. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
2EEJesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electr. Notes Theor. Comput. Sci. 69: (2002)
2001
1EEJesse Hughes: Modal Operators for Coequations. Electr. Notes Theor. Comput. Sci. 44(1): (2001)

Coauthor Index

1Steven Awodey [6]
2Ling Cheung [9]
3Albert C. Esterline [11]
4H. Peter Gumm [5]
5Bart Jacobs [2] [7] [8]
6Bahram Kimiaghalam [11]
7Peter Kroes [13]
8Milad Niqui [10]
9Lambèr M. M. Royakkers [12] [14]
10Tobias Schröder [5]
11Martijn Warnier [4]
12Sjoerd Zwart [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)