Jesse Hughes

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2009
j13		Jesse Hughes: An artifact is to use: an introduction to instrumental functions. Synthese 168(1): 179-199 (2009)
	2008
j12		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
j11		Jesse Hughes, Peter Kroes, Sjoerd Zwart: A Semantics for Means-end Relations. Synthese 158(2): 207-231 (2007)
	2006
j10		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)
j9		Jesse Hughes, Milad Niqui: Admissible digit sets. Theor. Comput. Sci. 351(1): 61-73 (2006)
c2		Jesse Hughes, Lambèr M. M. Royakkers: Don't Ever Do That! Long-Term Duties in PD_eL. DEON 2006: 131-148
	2004
j8		Ling Cheung, Jesse Hughes: Concise Graphs and Functional Bisimulations. Electr. Notes Theor. Comput. Sci. 100: 5-29 (2004)
j7		Jesse Hughes, Bart Jacobs: Simulations in coalgebra. Theor. Comput. Sci. 327(1-2): 71-108 (2004)
	2003
j6		Bart Jacobs, Jesse Hughes: Simulations in Coalgebra. Electr. Notes Theor. Comput. Sci. 82(1): 128-149 (2003)
j5		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)
j4		H. Peter Gumm, Jesse Hughes, Tobias Schröder: Distributivity of categories of coalgebras. Theor. Comput. Sci. 308(1-3): 131-143 (2003)
	2002
j3		Jesse Hughes: Some Co-Birkhoff Type Theorems. Electr. Notes Theor. Comput. Sci. 65(1): 92-111 (2002)
j2		Jesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electr. Notes Theor. Comput. Sci. 69: 156-182 (2002)
c1		Jesse Hughes, Martijn Warnier: The Coinductive Approach to Verifying Cryptographic Protocols. WADT 2002: 268-283
	2001
j1		Jesse Hughes: Modal Operators for Coequations. Electr. Notes Theor. Comput. Sci. 44(1): 205-226 (2001)

Coauthor Index

1	Steven Awodey	[j5]
2	Ling Cheung	[j8]
3	Albert C. Esterline	[j10]
4	H. Peter Gumm	[j4]
5	Bart Jacobs	[j7] [j6] [j2]
6	Bahram Kimiaghalam	[j10]
7	Peter Kroes	[j11]
8	Milad Niqui	[j9]
9	Lambèr M. M. Royakkers	[j12] [c2]
10	Tobias Schröder	[j4]
11	Martijn Warnier	[c1]
12	Sjoerd Zwart	[j11]

Colors in the list of coauthors

Last update Fri May 24 12:14:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page