William R. Harris
Publications by Year
Research Areas
Security and Verification in Computing, Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Advanced Malware Detection Techniques
Most-Cited Works
- → Spreadsheet data manipulation using examples(2012)292 cited
- → Development of a Virtual Screening Method for Identification of “Frequent Hitters” in Compound Libraries(2001)250 cited
- → Inhibitors of protein kinase C. 2. Substituted bisindolylmaleimides with improved potency and selectivity(1992)214 cited
- → Inhibitors of protein kinase C. 3. Potent and highly selective bisindolylmaleimides by conformational restriction(1993)156 cited
- → Spreadsheet table transformations from examples(2011)153 cited
- → Enforcing Kernel Security Invariants with Data Flow Integrity(2016)110 cited
- → Enforcing Unique Code Target Property for Control-Flow Integrity(2018)