Concepedia

Nathan Collins

NC

8

Publications

249

Citations

8

H-Index

2008

Active since

Affiliations

Portland State University(Current)

Brigham Young University

University of Pennsylvania

University of Iowa

Harvard University Press

Nathan Collins is an author at Portland State University specializing in engineering, program analysis, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationVerificationHardware SecuritySoftware AnalysisLinguisticsData Security

Publications per year

2008–2018

8

Publications

8

Fault Tolerant ICAP Controller for High-Reliable Internal Scrubbing

Jonathan Heiner, Nathan Collins, Michael Wirthlin · Proceedings - IEEE Aerospace Conference · 2008 · 90 citations

Hardware Security, Fault Injection, Reliability Engineering +14

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · 2014 · 57 citations · Full text

Engineering, Information Security, Verification +22

Equational reasoning about programs with general recursion and call-by-value semantics

Garrin Kimmell, Aaron Stump, Harley Eades et al. · 2012 · 25 citations

Engineering, Type Theory, Verification +20

Total hemispherical apparent radiative properties of the infinite V-groove with specular reflection

Rydge B. Mulford, Nathan Collins, Michael S. Farnsworth et al. · International Journal of Heat and Mass Transfer · 2018 · 24 citations

Optical Materials, Engineering, Radiative Transfer +10

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 17 citations · Full text

Programming Language Theory, Syntax, Engineering +15

Rows per page

1–5 of 8