Stuart Sutherland
Health Education England(GB)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Simulation Techniques and Applications, Formal Methods in Verification, Logic, programming, and type systems
Most-Cited Works
- Irrationality: The Enemy Within(1992)
- INDUSTRY FOUNDATION CLASSES FOR PROJECT MANAGEMENT - A TRIAL IMPLEMENTATION(1999)
- → The MACHO Project LMC Variable Star Inventory.II.LMC RR Lyrae Stars- Pulsational Characteristics and Indications of a Global Youth of the LMC(1996)96 cited
- → Macmillan Dictionary of Psychology(1989)91 cited
- → SystemVerilog For Design: A Guide to Using SystemVerilog for Hardware Design and Modeling(2013)63 cited
- → Genetic differences between nitrate-negative and nitrate-positive C. pseudotuberculosis strains using restriction fragment length polymorphisms(1996)57 cited
- → The Macmillan Dictionary of Psychology(1995)51 cited
- → The Verilog PLI Handbook(1999)22 cited