Nicholas Cameron
Central Washington University(US)Saudi Heart Association(SA)
Publications by Year
Research Areas
Logic, programming, and type systems, Distributed systems and fault tolerance, Software Engineering Research, Advanced Software Engineering Methodologies, Security and Verification in Computing
Most-Cited Works
- → TiDB(2020)269 cited
- → Multiple ownership(2007)74 cited
- → A Model for Java with Wildcards(2008)57 cited
- → The importance of fluid pressures and migration to the hydrocarbon prospectivity of the Faeroe–Shetland White Zone(1999)42 cited
- → Encoding Featherweight Java with assignment and immutability using the Coq proof assistant(2012)25 cited
- → The Lower Cretaceous (Pre-Salt) lithostratigraphy of the Kwanza Basin, Angola(2001)23 cited
- → Tribal ownership(2010)21 cited
- → Existential Quantification for Variant Ownership(2009)21 cited
- → GoHotDraw(2010)19 cited
- → On subtyping, wildcards, and existential types(2009)17 cited