Bent Thomsen

1.6k total citations
46 papers, 697 citations indexed

About

Bent Thomsen is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Bent Thomsen has authored 46 papers receiving a total of 697 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Hardware and Architecture, 17 papers in Computational Theory and Mathematics and 15 papers in Artificial Intelligence. Recurrent topics in Bent Thomsen's work include Formal Methods in Verification (17 papers), Real-Time Systems Scheduling (15 papers) and Logic, programming, and type systems (10 papers). Bent Thomsen is often cited by papers focused on Formal Methods in Verification (17 papers), Real-Time Systems Scheduling (15 papers) and Logic, programming, and type systems (10 papers). Bent Thomsen collaborates with scholars based in Denmark, United Kingdom and United States. Bent Thomsen's co-authors include Kim G. Larsen, René Rydhof Hansen, Christian S. Jensen, Anders P. Ravn, Kasper Søe Luckow, Peter Dolog, Martin Schoeberl, Corina S. Păsăreanu, Jan Stage and Peter Sestoft and has published in prestigious journals such as ACM Computing Surveys, Theoretical Computer Science and Information and Computation.

In The Last Decade

Bent Thomsen

43 papers receiving 635 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Bent Thomsen Denmark 12 389 369 161 154 143 46 697
René Rydhof Hansen Denmark 13 224 0.6× 105 0.3× 255 1.6× 170 1.1× 151 1.1× 66 641
Anastasios Viglas Australia 12 117 0.3× 244 0.7× 214 1.3× 115 0.7× 186 1.3× 30 604
Carl A. Sunshine United States 12 234 0.6× 285 0.8× 424 2.6× 144 0.9× 128 0.9× 32 740
Ana Cavalli France 13 145 0.4× 170 0.5× 232 1.4× 368 2.4× 135 0.9× 81 639
Gerd Behrmann Denmark 12 160 0.4× 363 1.0× 292 1.8× 209 1.4× 129 0.9× 31 726
Gera Weiss Israel 11 188 0.5× 188 0.5× 152 0.9× 92 0.6× 101 0.7× 56 510
Roberto Segala Italy 15 310 0.8× 562 1.5× 254 1.6× 224 1.5× 163 1.1× 46 787
Jussi Rintanen Australia 19 845 2.2× 343 0.9× 271 1.7× 163 1.1× 23 0.2× 57 1.1k
Rajeev Joshi United States 16 294 0.8× 210 0.6× 221 1.4× 310 2.0× 166 1.2× 30 672
Kristin Yvonne Rozier United States 10 223 0.6× 218 0.6× 54 0.3× 163 1.1× 49 0.3× 34 412

Countries citing papers authored by Bent Thomsen

Since Specialization
Citations

This map shows the geographic impact of Bent Thomsen'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 Bent Thomsen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bent Thomsen more than expected).

Fields of papers citing papers by Bent Thomsen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Bent Thomsen. 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 Bent Thomsen. The network helps show where Bent Thomsen may publish in the future.

Co-authorship network of co-authors of Bent Thomsen

This figure shows the co-authorship network connecting the top 25 collaborators of Bent Thomsen. A scholar is included among the top collaborators of Bent Thomsen 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 Bent Thomsen. Bent Thomsen is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Sestoft, Peter, et al.. (2022). On the cost semantics for spreadsheets with sheet-defined functions. VBN Forskningsportal (Aalborg Universitet). 69. 101103–101103. 1 indexed citations
2.
Luckow, Kasper Søe, et al.. (2016). HVMTP: A time predictable and portable java virtual machine for hard real‐time embedded systems. Concurrency and Computation Practice and Experience. 29(22). 2 indexed citations
3.
Luckow, Kasper Søe, Corina S. Păsăreanu, & Bent Thomsen. (2015). Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP Journal on Embedded Systems. 2015(1). 10 indexed citations
4.
Luckow, Kasper Søe, et al.. (2013). Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS. VBN Forskningsportal (Aalborg Universitet). 41–44. 5 indexed citations
5.
Thomsen, Bent, et al.. (2012). Schedulability Analysis Abstractions for Safety Critical Java. VBN Forskningsportal (Aalborg Universitet). 71–78. 1 indexed citations
6.
Thomsen, Bent, et al.. (2010). Computational Abstraction Steps.. The Journal of Object Technology. 9(6). 1–1. 3 indexed citations
7.
Dolog, Peter, et al.. (2010). Competence Centered Specialization in Web Engineering Topics in a Software Engineering Masters Degree Programme. VBN Forskningsportal (Aalborg Universitet). 7 indexed citations
8.
Hansen, René Rydhof, et al.. (2010). Schedulability analysis for Java finalizers. VBN Forskningsportal (Aalborg Universitet). 1–7. 3 indexed citations
9.
Thomsen, Bent, et al.. (2009). Towards Transactional Memory for Real-Time Systems. VBN Forskningsportal (Aalborg Universitet). 1 indexed citations
10.
Amadio, Roberto M., et al.. (2008). From a Concurrent lambda-calculus to the pi-calculus. 1 indexed citations
11.
Thomsen, Bent, et al.. (2008). Mapping and Visiting in Functional and Object-Oriented Programming.. The Journal of Object Technology. 7(7). 75–75. 2 indexed citations
12.
Ravn, Anders P., et al.. (2008). A Practical Approach to Mode Change in Real-Time Systems. VBN Forskningsportal (Aalborg Universitet). 1 indexed citations
13.
Larsen, Kim G. & Bent Thomsen. (2003). A modal process logic. 203–210. 193 indexed citations
14.
Thomsen, Bent & Samson Abramsky. (2001). A fully abstract denotational semantics for the calculus of higher-order communicating systems. Theoretical Computer Science. 254(1-2). 557–589. 1 indexed citations
15.
Thomsen, Bent. (1996). Programming languages, analysis tools, and concurrency theory. ACM Computing Surveys. 28(4es). 57–57. 2 indexed citations
16.
Thomsen, Bent. (1995). A Theory of Higher Order Communicating Systems. Information and Computation. 116(1). 38–57. 43 indexed citations
17.
Thomsen, Bent, et al.. (1995). Some facile chemistry. Formal Aspects of Computing. 7(3). 314–328. 12 indexed citations
18.
Glauert, John, et al.. (1993). A new process model for functions. UEA Digital Repository (University of East Anglia). 30. 269–282. 1 indexed citations
19.
Thomsen, Bent. (1993). Plain CHOCS A second generation calculus for higher order processes. Acta Informatica. 30(1). 1–59. 73 indexed citations
20.
Larsen, Kim G. & Bent Thomsen. (1991). Partial specifications and compositional verification. Theoretical Computer Science. 88(1). 15–32. 5 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

Breakdown of academic impact, for papers by René Rydhof Hansen Breakdown of academic impact, for papers by Anastasios Viglas Breakdown of academic impact, for papers by Carl A. Sunshine Breakdown of academic impact, for papers by Ana Cavalli Breakdown of academic impact, for papers by Gerd Behrmann Breakdown of academic impact, for papers by Gera Weiss Breakdown of academic impact, for papers by Roberto Segala Breakdown of academic impact, for papers by Jussi Rintanen Breakdown of academic impact, for papers by Rajeev Joshi Breakdown of academic impact, for papers by Kristin Yvonne Rozier
Rankless by CCL
2026