Dominic Duggan - Concepedia

Author

Dominic Duggan

Also Known As

D. Duggan, D. JOSEPH DUGGAN, DOMINIC DUGGAN, Dominic Duggan, Dominique Guinard, Duggan, Dominic, Hayyan R. Sheikh, Jim Gray

Publications

685

Citations

H-Index

Concepts

All Affiliations

Stevens Institute of Technology University of Waterloo La Trobe University

About

Dominic Duggan is an author at Stevens Institute of Technology specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	13	498
2	Computer Science	11	11	440
3	Computer Engineering	6	6	259
4	Business	1	1	24
5	Language Studies	1	1	45

Dominic Duggan

Publications

529

Citations

H-Index

Page 1

	Year	Citations
Mixin modules Dominic Duggan, Constantinos Sourelis EngineeringGeneric ProgrammingProgram AnalysisAutomated ReasoningMixin Modules	1996	89
Explaining type inference Dominic Duggan, Frederick Bent Science of Computer Programming EngineeringAutomated ReasoningType TheoryDependently Typed ProgrammingFormal Methods	1996	84
Type-based hot swapping of running modules Dominic Duggan Acta Informatica Hardware SecurityEngineeringHardware Verification LanguageProgram AnalysisHigh-performance Architecture	2005	53
Type-based hot swapping of running modules (extended abstract) Dominic Duggan EngineeringComputer ArchitectureSoftware EngineeringDynamic LinkingSoftware Analysis	2001	48
Stores and partial continuations as first-class objects in a language and its environment Gregory F. Johnson, Dominic Duggan Language ConstructSyntaxEngineeringAutomated ReasoningFormal Methods	1988	45
Type-based distributed access control Tom Chothia, Dominic Duggan, Jan Vítek EngineeringInformation SecurityCryptographic ProtocolFormal VerificationHardware Security	2004	37
Dynamic typing for distributed programming in polymorphic languages Dominic Duggan ACM Transactions on Programming Languages and Systems Polymorphic LanguagesEngineeringVerificationSoftware EngineeringSoftware Analysis	1999	29
Modular type-based reverse engineering of parameterized types in Java code Dominic Duggan EngineeringVerificationSoftware EngineeringJava DialectsSoftware Analysis	1999	27
Type-Safe linking with recursive DLLs and shared libraries Dominic Duggan ACM Transactions on Programming Languages and Systems EngineeringLanguage InteroperabilitySoftware EngineeringDynamic LinkingSoftware Analysis	2002	24
Cryptographic types Dominic Duggan Hardware SecurityEngineeringProgram AnalysisInformation SecurityCryptographic Guarantees	2003	19

Page 1