Concepedia

Dominic J. D. Hughes

DJ

Statistics

Publications

7

Citations

206

H-Index

7

Active since

2002

Affiliations

Stanford University(Current)

University of California, Berkeley

Dominic J. D. Hughes is an author at Stanford University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceProof ComplexityGamesBusinessLanguageIntuitionSemantics

Publications per year

2002–2021

7

Publications

7

Proof nets for unit-free multiplicative-additive linear logic

Dominic J. D. Hughes, Rob J. van Glabbeek · ACM Transactions on Computational Logic · 2005 · 83 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +11

Towards Hilbert's 24th Problem: Combinatorial Proof Invariants

Dominic J. D. Hughes · Electronic Notes in Theoretical Computer Science · 2006 · 31 citations · Full text

Engineering, Combinatorial Proofs, Automated Reasoning +13

Unsupervised Extractive Text Summarization with Distance-Augmented Sentence Graphs

Jingzhou Liu, Dominic J. D. Hughes, Yiming Yang · 2021 · 26 citations · Full text

Structured Prediction, Engineering, Machine Learning +17

Games and definability for system F

Dominic J. D. Hughes · 2002 · 25 citations

Engineering, Type Theory, Game Theory +17

Simple free star-autonomous categories and full coherence

Dominic J. D. Hughes · Journal of Pure and Applied Algebra · 2012 · 20 citations

Full Coherence, Automated Reasoning, Higher Category Theory +2

Rows per page

1–5 of 7