Dominic Duggan

Publication Activity (10 Years)

Years Active: 1988-2017
Publications (10 Years): 4

Top Topics

Nested Transactions

Extended Abstract

Concurrency Control Protocols

Top Venues

Publications

Ivan Gazeau, Tom Chothia, Dominic Duggan
Types for Location and Data Security in Cloud Environments. CoRR (2017)
Ivan Gazeau, Tom Chothia, Dominic Duggan
Types for Location and Data Security in Cloud Environments. CSF (2017)
Dominic Duggan, Jianhua Yao
Parameterized Dataflow (Extended Abstract). QAPL (2016)
Dominic Duggan, Justice A. Muh, Leonard Ndongo, Jianhua Yao, Lian Yu
Mobile Device Administration for Secure and Manageable Health Data Collection in Under-Resourced Areas. ACM DEV (2016)
Firas H. Wehbe, Dominic Duggan, Monique Termote, Jesper Kjær
The Development and Adoption of an HIV Data Exchange Protocol by Large Global HIV Networks - Lessons Learned and Future Direction. MedInfo (2013)
Dominic Duggan, Ye Wu
Security Correctness for Secure Nested Transactions - Extended Abstract. TGC (2013)
Dominic Duggan, Jianhua Yao
Sessional dataflow: short paper. DAMP (2012)
Dominic Duggan, Jianhua Yao
Static Sessional Dataflow. ECOOP (2012)
Dominic Duggan, Ye Wu
Security correctness for secure nested transactions: position paper. PLAS (2012)
Dominic Duggan, Ye Wu
Transactional Correctness for Secure Nested Transactions - (Extended Abstract). TGC (2011)
Dominic Duggan, Ye Wu
Causality and Accountability. Formal Aspects in Security and Trust (2008)
Tom Chothia, Dominic Duggan, Ye Wu
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 171 (4) (2007)
Tom Chothia, Dominic Duggan
Capability passing processes. Sci. Comput. Program. 66 (3) (2007)
Tom Chothia, Dominic Duggan
Capability-Passing Processes. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Tom Chothia, Dominic Duggan
Type-Based Distributed Access Control vs. Untyped Attackers. Formal Aspects in Security and Trust (2005)
Dominic Duggan
Type-based hot swapping of running modules. Acta Informatica 41 (4-5) (2005)
Dominic Duggan
Type-based cryptographic operations. J. Comput. Secur. 12 (3-4) (2004)
Tom Chothia, Dominic Duggan
Abstractions for fault-tolerant global computing. Theor. Comput. Sci. 322 (3) (2004)
Tom Chothia, Dominic Duggan, Jan Vitek
Type-Based Distributed Access Control. CSFW (2003)
Dominic Duggan
Type-Safe linking with recursive DLLs and shared libraries. ACM Trans. Program. Lang. Syst. 24 (6) (2002)
Dominic Duggan
Abstractions for Fault-Tolerant Global Computing. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Dominic Duggan, John Ophel
Open and closed scopes for constrained genericity. Theor. Comput. Sci. 275 (1-2) (2002)
Dominic Duggan
Object type constructors. Acta Informatica 38 (6) (2002)
Dominic Duggan
Cryptographic Types. CSFW (2002)
Dominic Duggan, John Ophel
Type-checking multi-parameter type classes. J. Funct. Program. 12 (2) (2002)
Dominic Duggan
Higher-Order Substitutions. Inf. Comput. 164 (1) (2001)
Dominic Duggan
Finite subtype inference with explicit polymorphism. Sci. Comput. Program. 39 (1) (2001)
Dominic Duggan
Type-Based Hot Swapping of Running Modules. ICFP (2001)
Dominic Duggan, Ching-Ching Techaubol
Modular Mixin-Based Inheritance for Application Frameworks. OOPSLA (2001)
Dominic Duggan
Sharing in Typed Module Assembly Language. Types in Compilation (2000)
Dominic Duggan
Atomic Failure in Wide-Area Computation. FMOODS (2000)
Dominic Duggan
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages. ECOOP (2000)
Dominic Duggan
Modular Type-Based Reverse Engineering of Parameterized Types in Java Code. OOPSLA (1999)
Dominic Duggan
Dynamic Typing for Distributed Programming in Polymorphic Languages. ACM Trans. Program. Lang. Syst. 21 (1) (1999)
Dominic Duggan
Derivatives: A Construct for Internet Programming. ICCL Workshop: Internet Programming Languages (1998)
Dominic Duggan
Unification with Extended Patterns. Theor. Comput. Sci. 206 (1-2) (1998)
Dominic Duggan
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. Types in Compilation (1998)
Dominic Duggan
Finite Subtype Inference with Explicit Polymorphism. SAS (1998)
Dominic Duggan, Frederick Bent
Explaining Type Inference. Sci. Comput. Program. 27 (1) (1996)
Dominic Duggan
A Type-Based Implementation of a Language with Distributed Scope. Mobile Object Systems (1996)
Dominic Duggan, Gordon V. Cormack, John Ophel
Kinded Type Inference for Parametric Overloading. Acta Informatica 33 (1) (1996)
Dominic Duggan, Constantinos Sourelis
Mixin Modules. ICFP (1996)
Gregory F. Johnson, Dominic Duggan
First-Class Stores and Partial Continuations in a Programming Language and Environment. Comput. Lang. 20 (1) (1994)
Jun Shen, Gordon V. Cormack, Dominic Duggan
On Abstraction and Sharing in Generic Modules. COODBSE (1994)
Dominic Duggan
Logical Closures. LPAR (1994)
Gregory F. Johnson, Dominic Duggan
Stores and Partial Continuations as First-Class Objects in a Language and its Environment. POPL (1988)