27
Publications
1.3K
Citations
18
H-Index
1994
Active since
Affiliations
Henrik Nilsson is an author at University of Nottingham specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware EngineeringProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringSystems Engineering
Publications per year
1994–2019
27
27
Functional reactive programming, continued
Henrik Nilsson, Antony Courtney, John Peterson · 2002 · 209 citations
Mathematical Programming, Engineering, Software Engineering +17
Declarative debugging for lazy functional languages
Henrik Nilsson · 1998 · 147 citations
Antony Courtney, Henrik Nilsson, John Peterson · 2003 · 114 citations
Game Ai, Engineering, Game Theory +20
Precursor evaluation for<i>in situ</i>InP nanowire doping
Magnus T. Borgström, Erik Norberg, Peter Wickert et al. · Nanotechnology · 2008 · 99 citations
Rows per page
1–5 of 27