litlas
Log inCreate account

Bengt Jonsson

Active 1957–2025

Also published as
Bengt Jönsson
268
Papers
36,986
Citations
97
h-index
209
i10-index

Citations

Citations per year for Bengt Jonsson1967: 8 citations1968: 2 citations1969: 4 citations1970: 5 citations1971: 4 citations1972: 3 citations1973: 4 citations1974: 3 citations1975: 6 citations1976: 3 citations1977: 7 citations1978: 4 citations1979: 1 citations1980: 9 citations1981: 2 citations1982: 8 citations1983: 14 citations1984: 5 citations1985: 9 citations1986: 10 citations1987: 12 citations1988: 5 citations1989: 23 citations1990: 28 citations1991: 48 citations1992: 57 citations1993: 25 citations1994: 71 citations1995: 64 citations1996: 54 citations1997: 89 citations1998: 111 citations1999: 140 citations2000: 164 citations2001: 211 citations2002: 238 citations2003: 240 citations2004: 360 citations2005: 337 citations2006: 405 citations2007: 514 citations2008: 563 citations2009: 495 citations2010: 551 citations2011: 542 citations2012: 576 citations2013: 567 citations2014: 561 citations2015: 511 citations2016: 477 citations2017: 514 citations2018: 482 citations2019: 821 citations2020: 752 citations2021: 845 citations2022: 534 citations2023: 415 citations2024: 564 citations2025: 283 citations2026: 76 citations

Citation sources

Countries

World map of the countries and regions citing this authorUnited States: 2,403 citing papers, 14.1% of this breakdownUnited Kingdom: 1,784 citing papers, 10.5% of this breakdownGermany: 1,662 citing papers, 9.8% of this breakdownFrance: 1,055 citing papers, 6.2% of this breakdownItaly: 929 citing papers, 5.5% of this breakdownSweden: 922 citing papers, 5.4% of this breakdownNetherlands: 907 citing papers, 5.3% of this breakdownChina: 633 citing papers, 3.7% of this breakdownCanada: 605 citing papers, 3.5% of this breakdownAustralia: 571 citing papers, 3.4% of this breakdownSpain: 499 citing papers, 2.9% of this breakdownBelgium: 397 citing papers, 2.3% of this breakdown
0%14.1%Other 27.4%

Institutions

Fields

  • Computer Science47.3%
  • Medicine31.4%
  • Psychology4.4%
  • Economics, Econometrics and Finance3.3%
  • Biochemistry, Genetics and Molecular Biology3.1%
  • Health Professions2.8%
  • Other7.7%

Topics

  • Formal Methods in Verification10.9%
  • Bone health and osteoporosis research4%
  • Software Testing and Debugging Techniques3.9%
  • Logic, programming, and type systems3.7%
  • Petri Nets in System Modeling2.7%
  • Software Reliability and Analysis Research2.5%
  • Other72.3%

Coauthors

All papers

Open in search
  1. The size and burden of mental disorders and other disorders of the brain in Europe 2010

    Authors: Hans‐Ulrich Wïttchen, Frank Jacobi, Jürgen Rehm, Anders Gustavsson, Mikael Svensson, Bengt Jönsson, Jes Olesen, Christer Allgulander, Jordi Alonso, Carlo Faravelli, Laura Fratiglioni, Poul Jennum, R. Lieb, And re as Maercker, Jim van Os, Martin Preisig, Luis Salvador‐Carulla, Roland Simon, Hans‐Christoph Steinhausen - European Neuropsychopharmacology 2011 cited by 3,812

  2. A Logic for Reasoning about Time and Reliability

    Authors: Hans Hansson, Bengt Jonsson - Formal Aspects of Computing, Formal Aspects Comput. 1994 cited by 1,365

  3. Long-Term Risk of Osteoporotic Fracture in Malmö

    Authors: J. A. Kanis, Olof Johnell, Anders Odén, Ingemar Sernbo, Inga Redlund-Johnell, Andrew Dawson, Chris De Laet, Bengt Jönsson - Osteoporosis International 2000 cited by 1,019

  4. Cost-Effectiveness Analysis Alongside Clinical Trials II—An ISPOR Good Research Practices Task Force Report

    Authors: Scott D. Ramsey, Richard J. Willke, Henry A. Glick, Shelby D. Reed, Federico Augustovski, Bengt Jönsson, Andrew Briggs, Sean D. Sullivan - Value in Health 2015 cited by 837

  5. The cost of cancer in Europe 2018

    Authors: Thomas Hofmarcher, Peter Lindgren, Nils Wilking, Bengt Jönsson - European Journal of Cancer 2020 cited by 323

  6. Optimal dynamic partial order reduction

    Authors: Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas - ACM SIGPLAN Notices, POPL 2014 cited by 181

  7. General Decidability Theorems for Infinite-State Systems

    Authors: Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay - Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996 cited by 411

  8. European Groundshot—addressing Europe's cancer research challenges: a Lancet Oncology Commission

    Authors: Mark Lawler, Lynne Davies, Simon Oberst, Kathy Oliver, Alexander M.M. Eggermont, Anna Schmutz, Carlo La Vecchia, Claudia Allemani, Yolande Lievens, Peter Naredi, Tanja Čufer, Ajay Aggarwal, Matti Aapro, Kathi Apostolidis, Anne‐Marie Baird, Fátima Cardoso, Andreas Charalambous, Michel P. Coleman, Alberto Costa, Mirjam Crul, Csaba László Dégi, Federica Di Nicolantonio, Sema Erdem, Marius Geantă, Jan Geißler, Jacek Jassem, Beata Jagielska, Bengt Jönsson, Daniel Kelly, Olaf Kelm, Teodora Kolarova, Tezer Kutluk, Grant Lewison, Françoise Meunier, Jana Pelouchová, Thierry Philip, Richard Price, Beate Rau, Isabel T. Rubio, Peter J. Selby, Maja Južnič Sotlar, Gilliosa Spurrier‐Bernard, Jolanda C. van Hoeve, Eduard Vrdoljak, Willien Westerhuis, Urszula Wojciechowska, Richard Sullivan - The Lancet Oncology 2022 cited by 105

  9. Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency

    Authors: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas - on Programming Languages, Proc. ACM Program. Lang. 2019 cited by 52

  10. Mortality after osteoporotic fractures

    Authors: Olof Johnell, John А. Kanis, Anders Odén, Ingemar Sernbo, Inga Redlund-Johnell, Christina Petterson, Chris De Laet, Bengt Jönsson - Osteoporosis International 2003 cited by 850

  11. Risk of hip fracture according to the World Health Organization criteria for osteopenia and osteoporosis

    Authors: J. A. Kanis, Olof Johnell, Anders Odén, Bengt Jönsson, Chris De Laet, Andrew Dawson - Bone 2000 cited by 451

  12. Optimal Stateless Model Checking under the Release-Acquire Semantics

    Authors: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo - on Programming Languages, Proc. ACM Program. Lang. 2018 cited by 68

  13. Specification and Refinement of Probabilistic Processes

    Authors: Bengt Jonsson, Kim Guldstrand Larsen - [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, LICS 1991 cited by 343

  14. Cost of non-alcoholic steatohepatitis in Europe and the USA: The GAIN study

    Authors: Jamie O’Hara, Alan Finnegan, Harpal Dhillon, Leonardo Ruiz‐Casas, Gabriel Pedra, Bethany Franks, George Morgan, Vanessa Hebditch, Bengt Jönsson, Mzwandile Mabhala, Tatjana Reić, Ingo van Thiel, Vlad Ratziu, Manuel Romero‐Gómez, Elisabetta Bugianesi, Jörn M. Schattenberg, Quentin M. Anstee - JHEP Reports 2020 cited by 128

  15. Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations

    Authors: Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist - Proceedings 2023 Network and Distributed System Security Symposium, NDSS 2023 cited by 18

  16. Stateless Model Checking for TSO and PSO

    Authors: Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas - Acta Informatica 2015 cited by 107

  17. Assessment of fracture risk

    Authors: John А. Kanis, Frederik Borgström, Chris De Laet, Helena Johansson, Olof Johnell, Bengt Jönsson, Anders Odén, Niklas Zethraeus, Bruce Pfleger, Nikolaï Khaltaev - Osteoporosis International 2004 cited by 1,240

  18. Osteoporosis: burden, health care provision and opportunities in the EU

    Authors: O. Ström, F. Borgström, John А. Kanis, Juliet Compston, Cyrus Cooper, Eugène McCloskey, Bengt Jönsson - Archives of Osteoporosis 2011 cited by 544

  19. DTLS-Fuzzer: A DTLS Protocol State Fuzzer

    Authors: Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist - IEEE Conference on Software Testing, Verification and Validation (ICST) 2022 cited by 18

  20. Algorithmic Analysis of Programs with Well Quasi-ordered Domains

    Authors: Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay - Information and Computation, Inf. Comput. 2000 cited by 201

  21. Active learning for extended finite state machines

    Authors: Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen - Formal Aspects of Computing, Formal Aspects Comput. 2016 cited by 103

  22. Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]

    Authors: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner - Lecture notes in computer science, Model-Based Testing of Reactive Systems 2005 cited by 506

  23. Regular Model Checking

    Authors: Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili - Lecture notes in computer science, CAV 2000 cited by 288

  24. Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction

    Authors: Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas - Journal of the ACM, J. ACM 2017 cited by 47