Concepedia

Graham Hughes

GH

11

Publications

604

Citations

10

H-Index

1962

Active since

Affiliations

University of California, Santa Barbara(Current)

Graham Hughes is an author at University of California, Santa Barbara specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSoftware AnalysisVerificationFormal MethodsSystem SoftwareProgram AnalysisFormal VerificationSoftware DesignSystems Engineering

Publications per year

1962–2010

11

Publications

11

The Decline of the Rehabilitative Ideal: Penal Policy and Social Purpose

Graham Hughes, Francis A. Allen · The Journal of Criminal Law and Criminology (1973-) · 1982 · 307 citations

Penology, Social Purpose, Criminal Justice Reform +10

Automated verification of access control policies using a SAT solver

Graham Hughes, Tevfik Bultan · International Journal on Software Tools for Technology Transfer · 2008 · 100 citations

Engineering, Logical Access Control, Automated Reasoning +14

Runtime Verification of Web Service Interface Contracts

Sylvain Hallé, Tevfik Bultan, Graham Hughes et al. · Computer · 2010 · 49 citations

Engineering, Business Intelligence, Verification +24

Automated Verification of Access Control Policies

Graham Hughes, Tevfik Bultan · 2004 · 37 citations

Alloy Language, Engineering, Information Security +21

Worship as Meaning: A Liturgical Theology for Late Modernity

Graham Hughes · Pro Ecclesia A Journal of Catholic and Evangelical Theology · 2004 · 22 citations

Christian Symbolism, Religious Symbol, Liturgical Theology +9

Rows per page

1–5 of 11