Graham Hughes
Publications by Year
Research Areas
Hermeneutics and Narrative Identity, Criminal Law and Evidence, Umberto Eco and Semiotics, Biblical Studies and Interpretation, Service-Oriented Architecture and Web Services
Most-Cited Works
- → The Decline of the Rehabilitative Ideal: Penal Policy and Social Purpose(1982)307 cited
- → Automated verification of access control policies using a SAT solver(2008)101 cited
- → Runtime Verification of Web Service Interface Contracts(2010)49 cited
- Automated Verification of Access Control Policies(2004)
- → Meaning and modernity(2003)28 cited
- → Hebrews and hermeneutics the Epistle to the Hebrews as a New Testament example of biblical interpretation(1979)27 cited
- → Worship as Meaning: A Liturgical Theology for Late Modernity(2004)22 cited
- → Generating Interface Grammars from WSDL for Automated Verification of Web Services(2009)21 cited
- → Interface grammars for modular software model checking(2007)19 cited
- → Supporting Cloud Computing Management through an Object Mapping Declarative Language(2010)18 cited