Stores and Partial Continuations as First-Class Objects in a Language and its Environment. - Gregory F. Johnson; Dominic Duggan (POPL, 1988)

On Abstraction and Sharing in Generic Modules. - Jun Shen; Gordon V. Cormack; Dominic Duggan (COODBSE, 1994)

Logical Closures. - Dominic Duggan (LPAR, 1994)

First-Class Stores and Partial Continuations in a Programming Language and Environment. - Gregory F. Johnson; Dominic Duggan (Comput. Lang., 1994)

Mixin Modules. - Dominic Duggan; Constantinos Sourelis (ICFP, 1996)

A Type-Based Implementation of a Language with Distributed Scope. - Dominic Duggan (Mobile Object Systems, 1996)

Kinded Type Inference for Parametric Overloading. - Dominic Duggan; Gordon V. Cormack; John Ophel (Acta Informatica, 1996)

Explaining Type Inference. - Dominic Duggan; Frederick Bent (Sci. Comput. Program., 1996)

Derivatives: A Construct for Internet Programming. - Dominic Duggan (ICCL Workshop: Internet Programming Languages, 1998)

A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. - Dominic Duggan (Types in Compilation, 1998)

Unification with Extended Patterns. - Dominic Duggan (Theor. Comput. Sci., 1998)

Modular Type-Based Reverse Engineering of Parameterized Types in Java Code. - Dominic Duggan (OOPSLA, 1999)

Dynamic Typing for Distributed Programming in Polymorphic Languages. - Dominic Duggan (ACM Trans. Program. Lang. Syst., 1999)

A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages. - Dominic Duggan (ECOOP, 2000)

Atomic Failure in Wide-Area Computation. - Dominic Duggan (FMOODS, 2000)

Sharing in Typed Module Assembly Language. - Dominic Duggan (Types in Compilation, 2000)

Modular Mixin-Based Inheritance for Application Frameworks. - Dominic Duggan; Ching-Ching Techaubol (OOPSLA, 2001)

Higher-Order Substitutions. - Dominic Duggan (Inf. Comput., 2001)

Finite subtype inference with explicit polymorphism. - Dominic Duggan (Sci. Comput. Program., 2001)

Cryptographic Types. - Dominic Duggan (CSFW, 2002)

Object type constructors. - Dominic Duggan (Acta Informatica, 2002)

Abstractions for Fault-Tolerant Global Computing. - Dominic Duggan (F-WAN@ICALP, 2002)

Type-checking multi-parameter type classes. - Dominic Duggan; John Ophel (J. Funct. Program., 2002)

Open and closed scopes for constrained genericity. - Dominic Duggan; John Ophel (Theor. Comput. Sci., 2002)

Type-Safe linking with recursive DLLs and shared libraries. - Dominic Duggan (ACM Trans. Program. Lang. Syst., 2002)

Type-Based Distributed Access Control. - Tom Chothia; Dominic Duggan; Jan Vitek (CSFW, 2003)

Type-based cryptographic operations. - Dominic Duggan (J. Comput. Secur., 2004)

Abstractions for fault-tolerant global computing. - Tom Chothia; Dominic Duggan (Theor. Comput. Sci., 2004)

Type-Based Distributed Access Control vs. Untyped Attackers. - Tom Chothia; Dominic Duggan (Formal Aspects in Security and Trust, 2005)

Type-based hot swapping of running modules. - Dominic Duggan (Acta Informatica, 2005)

An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). - Tom Chothia; Dominic Duggan; Ye Wu 006 (SecReT@ICALP, 2006)

Capability passing processes. - Tom Chothia; Dominic Duggan (Sci. Comput. Program., 2007)

Causality and Accountability. - Dominic Duggan; Ye Wu 006 (Formal Aspects in Security and Trust, 2008)

Transactional Correctness for Secure Nested Transactions - (Extended Abstract). - Dominic Duggan; Ye Wu 006 (TGC, 2011)

Static Sessional Dataflow. - Dominic Duggan; Jianhua Yao 003 (ECOOP, 2012)

Security correctness for secure nested transactions: position paper. - Dominic Duggan; Ye Wu 006 (PLAS, 2012)

Sessional dataflow: short paper. - Dominic Duggan; Jianhua Yao 003 (DAMP, 2012)

The Development and Adoption of an HIV Data Exchange Protocol by Large Global HIV Networks - Lessons Learned and Future Direction. - Firas H. Wehbe; Dominic Duggan; Monique Termote; Jesper Kjær (MedInfo, 2013)

Security Correctness for Secure Nested Transactions - Extended Abstract. - Dominic Duggan; Ye Wu 006 (TGC, 2013)

Mobile Device Administration for Secure and Manageable Health Data Collection in Under-Resourced Areas. - Dominic Duggan; Justice A. Muh; Leonard Ndongo; Jianhua Yao 003; Lian Yu (ACM DEV, 2016)

Parameterized Dataflow (Extended Abstract). - Dominic Duggan; Jianhua Yao 003 (QAPL, 2016)

Types for Location and Data Security in Cloud Environments. - Ivan Gazeau; Tom Chothia; Dominic Duggan (CSF, 2017)