Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Hicks
Precision Medicine Integrating Whole-Genome Sequencing, Comprehensive Metabolomics, and Advanced Imaging
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
ACM SIGPLAN Notices
Computer Science
Towards Standardized Benchmarks for Dynamic Software Updating Systems
Merging Network Measurement With Data Transport
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Toward Specifying and Validating Cross-Domain Policies
Region-Based Memory Management in Cyclone