15
Publications
473
Citations
13
H-Index
1987
Active since
Richard Connor is an author at University of St Andrews specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSoftware EngineeringData ManagementSoftware DesignSystem SoftwareProgram AnalysisSoftware AnalysisFormal Verification
Publications per year
1987–2024
15
15
Ron Morrison, Fred Brown, Richard Connor et al. · 1997 · 73 citations
Standardization, Specification (Technical Standard), Napier88 Reference Manual
An ad hoc approach to the implementation of polymorphism
Ron Morrison, Alan Dearle, Richard Connor et al. · ACM Transactions on Programming Languages and Systems · 1991 · 63 citations · Full text
Quintin Cutts, Richard Connor, Greg Michaelson et al. · 2014 · 52 citations
Correlations of Cross-Entropy Loss in Machine Learning
Richard Connor, Alan Dearle, Ben Claydon et al. · Entropy · 2024 · 42 citations · Full text
Exploiting Persistent Linkage in Software Engineering Environments
Ron Morrison, Richard Connor, Quintin Cutts et al. · The Computer Journal · 1995 · 38 citations · Full text
Rows per page
1–5 of 15