Jesse Hughes

Sandia National Laboratories California — United States

Computer Science · Physical Sciences

9h-index258citations29works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(10), Homotopy and Cohomology in Algebraic Topology(6), Logic, Reasoning, and Knowledge(6), Advanced Algebra and Logic(6), Local Government Finance and Decentralization(3)

Publications29 total

Hyper-Heuristics to Automatically Target Code to Computer Architectures
2016Open Access
Transitioning to accrual accounting in the public sector
Econstor (Econstor)·2016· 1 citedOpen Access
Contributors
Elsevier eBooks·2009
International Public Sector Accounting Standards
2008· 21 cited
International Public Sector Accounting Standards
Public administration and public policy·2008· 3 cited
Don’t Ever Do That! Long-term Duties in PD e L
Studia Logica·2008· 2 cited
A Semantics for Means-end Relations
Synthese·2006· 19 cited
Means-End Relations and a Measure of Efficacy
Journal of Logic Language and Information·2006· 14 cited
Don’t Ever Do That! Long-Term Duties in PD e L
Lecture notes in computer science·2006· 3 cited
Admissible digit sets
Theoretical Computer Science·2005· 5 cited
Concise Graphs and Functional Bisimulations
Electronic Notes in Theoretical Computer Science·2004Open Access
Simulations in coalgebra
Theoretical Computer Science·2004· 87 citedOpen Access
Semantics for Means-End Ascriptions
2004
Distributivity of categories of coalgebras
Theoretical Computer Science·2003· 2 cited
Simulations in Coalgebra
Electronic Notes in Theoretical Computer Science·2003· 41 citedOpen Access
Modal operators and the formal dual of Birkhoff's completeness theorem
Mathematical Structures in Computer Science·2003· 9 cited
Factorization systems and fibrations
Electronic Notes in Theoretical Computer Science·2003· 15 citedOpen Access
The Coinductive Approach to Verifying Cryptographic Protocols
Lecture notes in computer science·2003· 2 cited
Some Co-Birkhoff Type Theorems
Electronic Notes in Theoretical Computer Science·2002· 2 citedOpen Access
Modal Operators for Coequations
Electronic Notes in Theoretical Computer Science·2001· 10 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Bart Jacobs(2), Peter Kroes(2), Sjoerd D. Zwart(2), Steve Awodey(2), Lambèr Royakkers(2), Bart Jacobs(1), Albert Esterline(1), B. Kimiaghalam(1), Raymond Laverdiere(1), Janne Motekat(1), Milad Niqui(1), Martijn Warnier(1), H. Peter Gumm(1), Tobias Schröder(1), Raymond D. Laverdiere(1), Zoran Minovski(1), Aleksandar Kocevski(1), Ling Cheung(1), 恒男 望月(1), Jennifer Alexander(1)