Dominic Duggan
Artificial Intelligence · 2012
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 2 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 6 citations into it; #29,678 of 35,345 by trust here, #34,213 by citations
Whom Dominic Duggan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Dominic Duggan overall
Papers from Dominic Duggan's perspective
Ordered by how strongly the researchers Dominic Duggan trusts endorse each paper. Same corpus, a different order for every researcher.
- Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
- Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
- Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
- The protection of information in computer systems
- Probabilistic noninterference for multi-threaded programs (Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13)
- Cryptography and Data Security
- Bisimulation through Probabilistic Testing
- Simple object access protocol (SOAP) 1.1
Their papers
- Service-Oriented Architecture (2012) — 663 citations