Henrik Nilsson

1.9k total citations
60 papers, 960 citations indexed

About

Henrik Nilsson is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Henrik Nilsson has authored 60 papers receiving a total of 960 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 19 papers in Hardware and Architecture. Recurrent topics in Henrik Nilsson's work include Logic, programming, and type systems (15 papers), Formal Methods in Verification (15 papers) and Modeling and Simulation Systems (11 papers). Henrik Nilsson is often cited by papers focused on Logic, programming, and type systems (15 papers), Formal Methods in Verification (15 papers) and Modeling and Simulation Systems (11 papers). Henrik Nilsson collaborates with scholars based in United Kingdom, United States and Sweden. Henrik Nilsson's co-authors include Antony Courtney, John Peterson, John Peterson, Peter Fritzson, Marcus Larsson, Tomas Strömberg, Gregory D. Hager, Kimberly A. Dick, Peter Wickert and Erik Norberg and has published in prestigious journals such as Water Resources Research, Nanotechnology and Journal of The Royal Society Interface.

In The Last Decade

Henrik Nilsson

53 papers receiving 781 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Henrik Nilsson United Kingdom	16	360	336	311	169	140	60	960
Shmuel Katz Israel	22	780 2.2×	458 1.4×	217 0.7×	261 1.5×	590 4.2×	84	1.6k
Pallab Dasgupta India	15	264 0.7×	318 0.9×	352 1.1×	178 1.1×	150 1.1×	197	1.1k
Behrooz Parhami United States	18	215 0.6×	275 0.8×	268 0.9×	72 0.4×	833 6.0×	125	1.3k
Christopher Rouff United States	15	442 1.2×	142 0.4×	34 0.1×	125 0.7×	357 2.5×	83	833
Alberto Bartoli Italy	18	438 1.2×	55 0.2×	71 0.2×	82 0.5×	383 2.7×	105	965
Ernst L. Leiss United States	14	282 0.8×	272 0.8×	81 0.3×	24 0.1×	124 0.9×	94	678
Garrison W. Greenwood United States	17	343 1.0×	148 0.4×	95 0.3×	16 0.1×	81 0.6×	97	810
Christoph Grimm Germany	14	52 0.1×	125 0.4×	373 1.2×	33 0.2×	202 1.4×	138	789
Sumit Kumar Jha United States	17	291 0.8×	185 0.6×	145 0.5×	96 0.6×	91 0.7×	124	1.0k
Aibin Yan China	30	152 0.4×	104 0.3×	616 2.0×	17 0.1×	189 1.4×	118	1.9k

Countries citing papers authored by Henrik Nilsson

Since Specialization

Citations

This map shows the geographic impact of Henrik Nilsson's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Henrik Nilsson with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Henrik Nilsson more than expected).

Fields of papers citing papers by Henrik Nilsson

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Henrik Nilsson. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Henrik Nilsson. The network helps show where Henrik Nilsson may publish in the future.

Co-authorship network of co-authors of Henrik Nilsson

This figure shows the co-authorship network connecting the top 25 collaborators of Henrik Nilsson. A scholar is included among the top collaborators of Henrik Nilsson based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Henrik Nilsson. Henrik Nilsson is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Nilsson, Henrik, et al.. (2020). Runtime verification and validation of functional reactive systems. Journal of Functional Programming. 30. 2 indexed citations

Gürlebeck, Klaus, et al.. (2019). Conceptual modelling: Towards detecting modelling errors in engineering applications. Mathematical Methods in the Applied Sciences. 43(3). 1243–1252. 6 indexed citations

Nilsson, Henrik, et al.. (2017). Abstract modelling. 61–64. 4 indexed citations

Nilsson, Henrik, et al.. (2016). Supermonads: one notion to bind them all. Repository@Nottingham (University of Nottingham). 158–169. 3 indexed citations

Nilsson, Henrik, et al.. (2016). Functional reactive programming, refactored. 33–44. 29 indexed citations

Nilsson, Henrik, et al.. (2015). Bridging the GUI gap with reactive values and relations. 47–58. 11 indexed citations

Nilsson, Henrik. (2015). Kultur och utbildning : – en tolkning av två grundskolors mångkulturella kontexter. KTH Publication Database DiVA (KTH Royal Institute of Technology). 2 indexed citations

Nilsson, Henrik, et al.. (2015). Polymonad programming in Haskell. Repository@Nottingham (University of Nottingham). 1–12. 3 indexed citations

Nilsson, Henrik, et al.. (2015). Bridging the GUI gap with reactive values and relations. ACM SIGPLAN Notices. 50(12). 47–58. 1 indexed citations

10.

Nilsson, Henrik & Thomas A. Nielsen. (2014). Declarative modelling for Bayesian inference by shallow embedding. 39–42. 3 indexed citations

11.

Nilsson, Henrik, et al.. (2009). Optimisation of dynamic, hybrid signal function networks. Nottingham Trent University's Institutional Repository (Nottingham Trent Repository). 97–112. 4 indexed citations

12.

Matheson, Tom, et al.. (2009). Braincurry: A Domain-specific Language for Integrative Neuroscience.. 161–176. 1 indexed citations

13.

Sundgren, Stefan, et al.. (2009). Internationell redovisning, teori och praxis. 1 indexed citations

14.

Borgström, Magnus T., Erik Norberg, Peter Wickert, et al.. (2008). Precursor evaluation forin situInP nanowire doping. Nanotechnology. 19(44). 445602–445602. 88 indexed citations

15.

Larsson, Marcus, Henrik Nilsson, & Tomas Strömberg. (2003). In vivo determination of local skin optical properties and photon path length by use of spatially resolved diffuse reflectance with applications in laser Doppler flowmetry. Applied Optics. 42(1). 124–124. 34 indexed citations

16.

Courtney, Antony, et al.. (2002). Arrows, Robots, and Functional Reactive Programming. 11 indexed citations

17.

Nilsson, Henrik, Marcus Larsson, Gert Nilsson, & Tomas Strömberg. (2002). Photon pathlength determination based on spatially resolved diffuse reflectance. Journal of Biomedical Optics. 7(3). 478–478. 17 indexed citations

18.

Nilsson, Henrik, et al.. (2002). System Presentation - Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific Languages. 168–179. 1 indexed citations

19.

Karlsson, Daniel & Henrik Nilsson. (2001). A Study of Two-Photon Excitation in Turbid Media Possibilities in Photodynamic Therapy. Lund University Publications Student Papers (Lund University). 1 indexed citations

20.

Nilsson, Henrik. (1998). Declarative debugging for lazy functional languages. 108 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact