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

Bertrand Meyer

1978–2026 年に発表

367
論文数
28,883
被引用数
61
h 指数
165
i10 指数

被引用数

Bertrand Meyer の年別被引用数1979 年: 被引用 1 件1980 年: 被引用 1 件1983 年: 被引用 1 件1984 年: 被引用 1 件1985 年: 被引用 3 件1986 年: 被引用 7 件1987 年: 被引用 21 件1988 年: 被引用 32 件1989 年: 被引用 49 件1990 年: 被引用 113 件1991 年: 被引用 127 件1992 年: 被引用 201 件1993 年: 被引用 166 件1994 年: 被引用 167 件1995 年: 被引用 153 件1996 年: 被引用 152 件1997 年: 被引用 183 件1998 年: 被引用 180 件1999 年: 被引用 224 件2000 年: 被引用 253 件2001 年: 被引用 250 件2002 年: 被引用 305 件2003 年: 被引用 368 件2004 年: 被引用 345 件2005 年: 被引用 437 件2006 年: 被引用 420 件2007 年: 被引用 435 件2008 年: 被引用 426 件2009 年: 被引用 451 件2010 年: 被引用 501 件2011 年: 被引用 439 件2012 年: 被引用 404 件2013 年: 被引用 417 件2014 年: 被引用 490 件2015 年: 被引用 413 件2016 年: 被引用 422 件2017 年: 被引用 369 件2018 年: 被引用 369 件2019 年: 被引用 421 件2020 年: 被引用 322 件2021 年: 被引用 298 件2022 年: 被引用 273 件2023 年: 被引用 230 件2024 年: 被引用 249 件2025 年: 被引用 165 件2026 年: 被引用 47 件1981〜1982 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 2,064 件、この内訳の 19.2%ドイツ: 引用元論文 982 件、この内訳の 9.1%中国: 引用元論文 906 件、この内訳の 8.4%イギリス: 引用元論文 742 件、この内訳の 6.9%フランス: 引用元論文 694 件、この内訳の 6.4%イタリア: 引用元論文 428 件、この内訳の 4%スイス: 引用元論文 426 件、この内訳の 4%オーストラリア: 引用元論文 409 件、この内訳の 3.8%カナダ: 引用元論文 384 件、この内訳の 3.6%オランダ: 引用元論文 288 件、この内訳の 2.7%ブラジル: 引用元論文 283 件、この内訳の 2.6%スペイン: 引用元論文 264 件、この内訳の 2.4%
0%19.2%その他 26.9%

機関

分野

  • Computer Science79.8%
  • Earth and Planetary Sciences7.9%
  • Engineering3.1%
  • Materials Science1.8%
  • Business, Management and Accounting1.5%
  • Decision Sciences1.3%
  • その他4.6%

トピック

  • Software Engineering Research10.2%
  • Advanced Software Engineering Methodologies8.9%
  • Software Testing and Debugging Techniques6.8%
  • Logic, programming, and type systems6.2%
  • Formal Methods in Verification4.9%
  • Software Reliability and Analysis Research4.8%
  • その他58.2%

共著者

全論文

検索で開く
  1. Applying "Design by Contract"

    著者: Bertrand Meyer - Computer 1992 被引用: 2,120

  2. Oblique Stepwise Rise and Growth of the Tibet Plateau

    著者: Paul Tapponnier, Xu Zhiqin, Françoise Roger, Bertrand Meyer, Nicolas Arnaud, G. Wittlinger, Yang Jingsui - Science 2001 被引用: 3,925

  3. Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013

    著者: Bertrand Meyer, Luciano Baresi, Mira Mezini - ESEC/SIGSOFT FSE 2013 被引用: 144

  4. Present and Ulterior Software Engineering

    著者: Manuel Mazzara, Bertrand Meyer - IEEE Symposium on Security and Privacy, SP 2017 被引用: 115

  5. An Empirical Study of API Usability

    著者: Marco Piccioni, Carlo A. Furia, Bertrand Meyer - ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2013 被引用: 113

  6. Automated Fixing of Programs with Contracts

    著者: Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller - IEEE Transactions on Software Engineering, IEEE Trans. Software Eng. 2014 被引用: 147

  7. Automated fixing of programs with contracts

    著者: Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller - symposium on Software testing and analysis, ISSTA 2010 被引用: 237

  8. Inferring better contracts

    著者: Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer - Conference on Software Engineering, ICSE 2011 被引用: 98

  9. The Role of Formalism in System Requirements

    著者: Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer - ACM Computing Surveys, ACM Comput. Surv. 2021 被引用: 27

  10. Eiffel: A language and environment for software engineering

    著者: Bertrand Meyer - Journal of Systems and Software, J. Syst. Softw. 1988 被引用: 120

  11. Seven Principles of Software Testing

    著者: Bertrand Meyer - Computer 2008 被引用: 72

  12. Handbook of Requirements and Business Analysis

    著者: Bertrand Meyer - IEEE Symposium on Security and Privacy, SP 2022 被引用: 16

  13. Crustal thickening in Gansu-Qinghai, lithospheric mantle subduction, and oblique, strike-slip controlled growth of the Tibet plateau

    著者: Bertrand Meyer, P. Tapponnier, Laurence Bourjot, François Métivier, Y. Gaudemer, G. Peltzer, Guo Shunmin, Zhitai Chen - Geophysical Journal International 1998 被引用: 971

  14. ARTOO: adaptive random testing for object-oriented software

    著者: Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer - conference on Software engineering, ICSE 2008 被引用: 197

  15. Compiler error messages: what can help novices?

    著者: Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer - ACM SIGCSE Bulletin 2008 被引用: 77

  16. Reconciling Manual and Automated Testing: The AutoTest Experience

    著者: Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard - 40th Annual Hawaii International Conference on System Sciences (HICSS'07) 2007 被引用: 60

  17. Lessons from Formally Verified Deployed Software Systems

    著者: Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege - CoRR 2023 被引用: 6

  18. Partitioning of crustal slip between linked, active faults in the eastern Qilian Shan, and evidence for a major seismic gap, the ‘Tianzhu gap', on the western Haiyuan Fault, Gansu (China)

    著者: Y. Gaudemer, P. Tapponnier, Bertrand Meyer, G. Peltzer, Guo Shunmin, Zhitai Chen, Huagung Dai, Inés Cifuentes - Geophysical Journal International 1995 被引用: 375

  19. Evidence-Based Automated Program Fixing

    著者: Yu Pei, Wei Yi, Carlo A. Furia, Martín Nordio, Bertrand Meyer - 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) 2011 被引用: 53

  20. Flexible Invariants Through Semantic Collaboration

    著者: Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer - Lecture notes in computer science, FM 2014 被引用: 38

  21. Incremental String Matching

    著者: Bertrand Meyer - Information Processing Letters, Inf. Process. Lett. 1985 被引用: 26

  22. SmartWalker: Towards an Intelligent Robotic Walker for the Elderly

    著者: Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer - International Conference on Intelligent Environments 2015 被引用: 18

  23. Efficient unit test case minimization

    著者: Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer - twenty-second IEEE/ACM international conference on Automated software engineering, ASE 2007 被引用: 108

  24. Viewpoint - Research evaluation for computer science

    著者: Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan Van Leeuwen - Communications of the ACM, Commun. ACM 2009 被引用: 84