Jesse Hughes

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Blame it on me Journal of Philosophical Logic	2020-04-07	Paper
Concise graphs and functional bisimulations	2013-09-09	Paper
Simulations in coalgebra	2013-08-23	Paper
Factorization systems and fibrations: toward a fibred Birkhoff variety theorem Electronic Notes in Theoretical Computer Science	2013-08-16	Paper
Some co-Birkhoff type theorems Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Modal operators for coequations Electronic Notes in Theoretical Computer Science	2013-04-26	Paper
The coinductive approach to verifying cryptographic protocols. Lecture Notes in Computer Science	2010-04-20	Paper
Don’t Ever Do That! Long-Term Duties in PD e L Deontic Logic and Artificial Normative Systems	2008-10-09	Paper
Don't ever do that! Long-term duties in \(PD_{e}L\) Studia Logica	2008-07-31	Paper
A semantics for means-end relations Synthese	2007-11-14	Paper
Means-end relations and a measure of efficacy Journal of Logic, Language and Information	2006-11-17	Paper
Admissible digit sets Theoretical Computer Science	2006-03-20	Paper
Simulations in coalgebra Theoretical Computer Science	2005-01-11	Paper
Distributivity of categories of coalgebras Theoretical Computer Science	2004-10-27	Paper
Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. Mathematical Structures in Computer Science	2003-01-01	Paper

Research outcomes over time

This page was built for person: Jesse Hughes