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

Zohar Manna

1899–2010 年に発表

191
論文数
19,021
被引用数
66
h 指数
153
i10 指数

被引用数

Zohar Manna の年別被引用数1926 年: 被引用 1 件1968 年: 被引用 1 件1969 年: 被引用 7 件1970 年: 被引用 20 件1971 年: 被引用 31 件1972 年: 被引用 58 件1973 年: 被引用 39 件1974 年: 被引用 70 件1975 年: 被引用 62 件1976 年: 被引用 96 件1977 年: 被引用 108 件1978 年: 被引用 92 件1979 年: 被引用 99 件1980 年: 被引用 96 件1981 年: 被引用 133 件1982 年: 被引用 106 件1983 年: 被引用 133 件1984 年: 被引用 132 件1985 年: 被引用 130 件1986 年: 被引用 116 件1987 年: 被引用 144 件1988 年: 被引用 127 件1989 年: 被引用 201 件1990 年: 被引用 201 件1991 年: 被引用 192 件1992 年: 被引用 238 件1993 年: 被引用 223 件1994 年: 被引用 325 件1995 年: 被引用 276 件1996 年: 被引用 346 件1997 年: 被引用 339 件1998 年: 被引用 385 件1999 年: 被引用 332 件2000 年: 被引用 377 件2001 年: 被引用 336 件2002 年: 被引用 375 件2003 年: 被引用 395 件2004 年: 被引用 470 件2005 年: 被引用 451 件2006 年: 被引用 420 件2007 年: 被引用 436 件2008 年: 被引用 499 件2009 年: 被引用 372 件2010 年: 被引用 435 件2011 年: 被引用 376 件2012 年: 被引用 373 件2013 年: 被引用 393 件2014 年: 被引用 424 件2015 年: 被引用 328 件2016 年: 被引用 264 件2017 年: 被引用 294 件2018 年: 被引用 255 件2019 年: 被引用 361 件2020 年: 被引用 265 件2021 年: 被引用 249 件2022 年: 被引用 155 件2023 年: 被引用 206 件2024 年: 被引用 195 件2025 年: 被引用 124 件2026 年: 被引用 37 件1927〜1967 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 3,028 件、この内訳の 25.7%ドイツ: 引用元論文 1,221 件、この内訳の 10.3%イギリス: 引用元論文 1,107 件、この内訳の 9.4%フランス: 引用元論文 1,083 件、この内訳の 9.2%イタリア: 引用元論文 592 件、この内訳の 5%イスラエル: 引用元論文 461 件、この内訳の 3.9%中国: 引用元論文 432 件、この内訳の 3.7%カナダ: 引用元論文 356 件、この内訳の 3%オランダ: 引用元論文 329 件、この内訳の 2.8%スペイン: 引用元論文 282 件、この内訳の 2.4%オーストリア: 引用元論文 244 件、この内訳の 2.1%スイス: 引用元論文 220 件、この内訳の 1.9%
0%25.7%その他 20.6%

機関

分野

  • Computer Science93.9%
  • Engineering1.7%
  • Decision Sciences0.9%
  • Social Sciences0.8%
  • Business, Management and Accounting0.8%
  • Biochemistry, Genetics and Molecular Biology0.4%
  • その他1.5%

トピック

  • Formal Methods in Verification21.8%
  • Logic, programming, and type systems14.8%
  • Logic, Reasoning, and Knowledge6.4%
  • Software Testing and Debugging Techniques5.6%
  • Model-Driven Software Engineering Techniques4.1%
  • Advanced Software Engineering Methodologies3.4%
  • その他43.9%

共著者

全論文

検索で開く
  1. LOLA: Runtime Monitoring of Synchronous Systems

    著者: Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna - International Symposium on Temporal Representation and Reasoning (TIME'05) 2005 被引用: 287

  2. The temporal logic of reactive and concurrent systems - specification

    著者: Zohar Manna, Amir Pnueli - DAGLIB 1991 被引用: 2,967

  3. Toward Automatic Program Synthesis

    著者: Zohar Manna, Richard J. Waldinger - Communications of the ACM, Commun. ACM 1971 被引用: 297

  4. Temporal Verification of Reactive Systems

    著者: Zohar Manna, Amir Pnueli - 1995 被引用: 815

  5. Constraint-Based Linear-Relations Analysis

    著者: Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - Lecture notes in computer science, SAS 2004 被引用: 117

  6. A Hierarchy of Temporal Properties

    著者: Zohar Manna, Amir Pnueli - ninth annual ACM symposium on Principles of distributed computing, PODC 1987 被引用: 186

  7. What's Decidable About Arrays?

    著者: Aaron R. Bradley, Zohar Manna, Henny B. Sipma - Lecture notes in computer science, VMCAI 2005 被引用: 291

  8. The calculus of computation - decision procedures with applications to verification

    著者: Aaron R. Bradley, Zohar Manna - DAGLIB 2007 被引用: 194

  9. Synthesis: Dreams - Programs

    著者: Zohar Manna, Richard J. Waldinger - IEEE Transactions on Software Engineering, IEEE Trans. Software Eng. 1979 被引用: 157

  10. Axiomatic Approach to Total Correctness of Programs

    著者: Zohar Manna, Amir Pnueli - Acta Informatica 1973 被引用: 99

  11. Proving Termination with Multiset Orderings

    著者: Nachum Dershowitz, Zohar Manna - Communications of the ACM, Commun. ACM 1979 被引用: 540

  12. Completing the Temporal Picture

    著者: Zohar Manna, Amir Pnueli - Lecture notes in computer science, ICALP 1989 被引用: 218

  13. Linear Ranking with Reachability

    著者: Aaron R. Bradley, Zohar Manna, Henny B. Sipma - Lecture notes in computer science, CAV 2005 被引用: 205

  14. A Hardware Semantics Based on Temporal Intervals

    著者: Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski - Lecture notes in computer science, ICALP 1983 被引用: 151

  15. Characterization of Temporal Property Classes

    著者: Edward Y. Chang, Zohar Manna, Amir Pnueli - Lecture notes in computer science, ICALP 1992 被引用: 96

  16. Non-linear loop invariant generation using Gröbner bases

    著者: Sriram Sankaranarayanan, Henny Sipma, Zohar Manna - ACM SIGPLAN Notices, POPL 2004 被引用: 252

  17. Temporal verification of reactive systems - safety

    著者: Zohar Manna, Amir Pnueli - Medical Entomology and Zoology 1995 被引用: 950

  18. Property-directed incremental invariant generation

    著者: Aaron R. Bradley, Zohar Manna - Formal Aspects of Computing, Formal Aspects Comput. 2008 被引用: 78

  19. What Good Are Digital Clocks?

    著者: Thomas A. Henzinger, Zohar Manna, Amir Pnueli - Lecture notes in computer science, ICALP 1992 被引用: 280

  20. The Polyranking Principle

    著者: Aaron R. Bradley, Zohar Manna, Henny B. Sipma - Lecture notes in computer science, ICALP 2005 被引用: 125

  21. Formal verification of probabilistic systems

    著者: Zohar Manna, Luca de Alfaro - 1997 被引用: 374

  22. Scalable Analysis of Linear Systems Using Mathematical Programming

    著者: Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - Lecture notes in computer science, VMCAI 2005 被引用: 213

  23. Verifying Hybrid Systems

    著者: Zohar Manna, Amir Pnueli - Lecture notes in computer science, Hybrid Systems 1992 被引用: 176

  24. Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs

    著者: Zohar Manna, Amir Pnueli - Science of Computer Programming, Sci. Comput. Program. 1984 被引用: 148