Jesse Hughes Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes: An artifact is to use: an introduction to instrumental functions. Synthese 168(1): 179-199 (2009)
2008
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes, Peter Kroes, Sjoerd Zwart: A Semantics for Means-end Relations. Synthese 158(2): 207-231 (2007)
2006
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes, Lambèr M. M. Royakkers: Don't Ever Do That! Long-Term Duties in PDeL. DEON 2006: 131-148
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse 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)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes, Milad Niqui: Admissible digit sets. Theor. Comput. Sci. 351(1): 61-73 (2006)
2004
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLing Cheung, Jesse Hughes: Concise Graphs and Functional Bisimulations. Electr. Notes Theor. Comput. Sci. 100: 5-29 (2004)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes, Bart Jacobs: Simulations in coalgebra. Theor. Comput. Sci. 327(1-2): 71-108 (2004)
2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Jesse Hughes: Simulations in Coalgebra. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Awodey, Jesse Hughes: Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. Mathematical Structures in Computer Science 13(2): 233-258 (2003)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLH. Peter Gumm, Jesse Hughes, Tobias Schröder: Distributivity of categories of coalgebras. Theor. Comput. Sci. 308(1-3): 131-143 (2003)
2002
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes, Martijn Warnier: The Coinductive Approach to Verifying Cryptographic Protocols. WADT 2002: 268-283
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes: Some Co-Birkhoff Type Theorems. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electr. Notes Theor. Comput. Sci. 69: (2002)
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse 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 © Mon Nov 16 17:22:42 2009 by Michael Ley (ley@uni-trier.de)