litlas
ログインアカウント作成

Bengt Jonsson

1957–2025 年に発表

別表記
Bengt Jönsson
268
論文数
36,986
被引用数
97
h 指数
209
i10 指数

被引用数

Bengt Jonsson の年別被引用数1967 年: 被引用 8 件1968 年: 被引用 2 件1969 年: 被引用 4 件1970 年: 被引用 5 件1971 年: 被引用 4 件1972 年: 被引用 3 件1973 年: 被引用 4 件1974 年: 被引用 3 件1975 年: 被引用 6 件1976 年: 被引用 3 件1977 年: 被引用 7 件1978 年: 被引用 4 件1979 年: 被引用 1 件1980 年: 被引用 9 件1981 年: 被引用 2 件1982 年: 被引用 8 件1983 年: 被引用 14 件1984 年: 被引用 5 件1985 年: 被引用 9 件1986 年: 被引用 10 件1987 年: 被引用 12 件1988 年: 被引用 5 件1989 年: 被引用 23 件1990 年: 被引用 28 件1991 年: 被引用 48 件1992 年: 被引用 57 件1993 年: 被引用 25 件1994 年: 被引用 71 件1995 年: 被引用 64 件1996 年: 被引用 54 件1997 年: 被引用 89 件1998 年: 被引用 111 件1999 年: 被引用 140 件2000 年: 被引用 164 件2001 年: 被引用 211 件2002 年: 被引用 238 件2003 年: 被引用 240 件2004 年: 被引用 360 件2005 年: 被引用 337 件2006 年: 被引用 405 件2007 年: 被引用 514 件2008 年: 被引用 563 件2009 年: 被引用 495 件2010 年: 被引用 551 件2011 年: 被引用 542 件2012 年: 被引用 576 件2013 年: 被引用 567 件2014 年: 被引用 561 件2015 年: 被引用 511 件2016 年: 被引用 477 件2017 年: 被引用 514 件2018 年: 被引用 482 件2019 年: 被引用 821 件2020 年: 被引用 752 件2021 年: 被引用 845 件2022 年: 被引用 534 件2023 年: 被引用 415 件2024 年: 被引用 564 件2025 年: 被引用 283 件2026 年: 被引用 76 件

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 2,403 件、この内訳の 14.1%イギリス: 引用元論文 1,784 件、この内訳の 10.5%ドイツ: 引用元論文 1,662 件、この内訳の 9.8%フランス: 引用元論文 1,055 件、この内訳の 6.2%イタリア: 引用元論文 929 件、この内訳の 5.5%スウェーデン: 引用元論文 922 件、この内訳の 5.4%オランダ: 引用元論文 907 件、この内訳の 5.3%中国: 引用元論文 633 件、この内訳の 3.7%カナダ: 引用元論文 605 件、この内訳の 3.5%オーストラリア: 引用元論文 571 件、この内訳の 3.4%スペイン: 引用元論文 499 件、この内訳の 2.9%ベルギー: 引用元論文 397 件、この内訳の 2.3%
0%14.1%その他 27.4%

機関

分野

  • Computer Science47.3%
  • Medicine31.4%
  • Psychology4.4%
  • Economics, Econometrics and Finance3.3%
  • Biochemistry, Genetics and Molecular Biology3.1%
  • Health Professions2.8%
  • その他7.7%

トピック

  • 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%
  • その他72.3%

共著者

全論文

検索で開く
  1. The size and burden of mental disorders and other disorders of the brain in Europe 2010

    著者: 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 被引用: 3,812

  2. A Logic for Reasoning about Time and Reliability

    著者: Hans Hansson, Bengt Jonsson - Formal Aspects of Computing, Formal Aspects Comput. 1994 被引用: 1,365

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

    著者: J. A. Kanis, Olof Johnell, Anders Odén, Ingemar Sernbo, Inga Redlund-Johnell, Andrew Dawson, Chris De Laet, Bengt Jönsson - Osteoporosis International 2000 被引用: 1,019

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

    著者: 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 被引用: 837

  5. The cost of cancer in Europe 2018

    著者: Thomas Hofmarcher, Peter Lindgren, Nils Wilking, Bengt Jönsson - European Journal of Cancer 2020 被引用: 323

  6. Optimal dynamic partial order reduction

    著者: Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas - ACM SIGPLAN Notices, POPL 2014 被引用: 181

  7. General Decidability Theorems for Infinite-State Systems

    著者: Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay - Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996 被引用: 411

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

    著者: 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 被引用: 105

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

    著者: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas - on Programming Languages, Proc. ACM Program. Lang. 2019 被引用: 52

  10. Mortality after osteoporotic fractures

    著者: Olof Johnell, John А. Kanis, Anders Odén, Ingemar Sernbo, Inga Redlund-Johnell, Christina Petterson, Chris De Laet, Bengt Jönsson - Osteoporosis International 2003 被引用: 850

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

    著者: J. A. Kanis, Olof Johnell, Anders Odén, Bengt Jönsson, Chris De Laet, Andrew Dawson - Bone 2000 被引用: 451

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

    著者: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo - on Programming Languages, Proc. ACM Program. Lang. 2018 被引用: 68

  13. Specification and Refinement of Probabilistic Processes

    著者: Bengt Jonsson, Kim Guldstrand Larsen - [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, LICS 1991 被引用: 343

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

    著者: 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 被引用: 128

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

    著者: Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist - Proceedings 2023 Network and Distributed System Security Symposium, NDSS 2023 被引用: 18

  16. Stateless Model Checking for TSO and PSO

    著者: Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas - Acta Informatica 2015 被引用: 107

  17. Assessment of fracture risk

    著者: 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 被引用: 1,240

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

    著者: O. Ström, F. Borgström, John А. Kanis, Juliet Compston, Cyrus Cooper, Eugène McCloskey, Bengt Jönsson - Archives of Osteoporosis 2011 被引用: 544

  19. DTLS-Fuzzer: A DTLS Protocol State Fuzzer

    著者: Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist - IEEE Conference on Software Testing, Verification and Validation (ICST) 2022 被引用: 18

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

    著者: Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay - Information and Computation, Inf. Comput. 2000 被引用: 201

  21. Active learning for extended finite state machines

    著者: Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen - Formal Aspects of Computing, Formal Aspects Comput. 2016 被引用: 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]

    著者: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner - Lecture notes in computer science, Model-Based Testing of Reactive Systems 2005 被引用: 506

  23. Regular Model Checking

    著者: Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili - Lecture notes in computer science, CAV 2000 被引用: 288

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

    著者: Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas - Journal of the ACM, J. ACM 2017 被引用: 47