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

Sharad Malik

1988–2026 年に発表

277
論文数
18,714
被引用数
60
h 指数
175
i10 指数

被引用数

Sharad Malik の年別被引用数1967 年: 被引用 1 件1975 年: 被引用 1 件1980 年: 被引用 1 件1984 年: 被引用 1 件1985 年: 被引用 1 件1988 年: 被引用 4 件1989 年: 被引用 4 件1990 年: 被引用 13 件1991 年: 被引用 32 件1992 年: 被引用 40 件1993 年: 被引用 54 件1994 年: 被引用 73 件1995 年: 被引用 129 件1996 年: 被引用 146 件1997 年: 被引用 198 件1998 年: 被引用 191 件1999 年: 被引用 274 件2000 年: 被引用 293 件2001 年: 被引用 266 件2002 年: 被引用 418 件2003 年: 被引用 516 件2004 年: 被引用 698 件2005 年: 被引用 724 件2006 年: 被引用 683 件2007 年: 被引用 704 件2008 年: 被引用 625 件2009 年: 被引用 575 件2010 年: 被引用 587 件2011 年: 被引用 459 件2012 年: 被引用 472 件2013 年: 被引用 479 件2014 年: 被引用 413 件2015 年: 被引用 405 件2016 年: 被引用 418 件2017 年: 被引用 432 件2018 年: 被引用 432 件2019 年: 被引用 470 件2020 年: 被引用 410 件2021 年: 被引用 372 件2022 年: 被引用 286 件2023 年: 被引用 267 件2024 年: 被引用 261 件2025 年: 被引用 193 件2026 年: 被引用 81 件1968〜1974 年は被引用が無いため表示していません1976〜1979 年は被引用が無いため表示していません1981〜1983 年は被引用が無いため表示していません1986〜1987 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 4,269 件、この内訳の 34.5%ドイツ: 引用元論文 1,077 件、この内訳の 8.7%フランス: 引用元論文 602 件、この内訳の 4.9%中国: 引用元論文 591 件、この内訳の 4.8%イギリス: 引用元論文 501 件、この内訳の 4.1%イタリア: 引用元論文 480 件、この内訳の 3.9%カナダ: 引用元論文 401 件、この内訳の 3.3%インド: 引用元論文 351 件、この内訳の 2.8%スペイン: 引用元論文 293 件、この内訳の 2.4%オーストリア: 引用元論文 289 件、この内訳の 2.3%日本: 引用元論文 276 件、この内訳の 2.2%台湾: 引用元論文 215 件、この内訳の 1.7%
0%34.5%その他 24.4%

機関

分野

  • Computer Science87.9%
  • Engineering9.8%
  • Decision Sciences0.6%
  • Biochemistry, Genetics and Molecular Biology0.3%
  • Social Sciences0.2%
  • Business, Management and Accounting0.2%
  • その他1%

トピック

  • Formal Methods in Verification10.9%
  • Parallel Computing and Optimization Techniques9.1%
  • Embedded Systems Design Techniques8.6%
  • Interconnection Networks and Systems5.2%
  • VLSI and Analog Circuit Testing4.1%
  • Low-power high-performance VLSI design3.8%
  • その他58.3%

共著者

全論文

検索で開く
  1. Evaluating the security of logic encryption algorithms

    著者: Pramod Subramanyan, Sayak Ray, Sharad Malik - IEEE International Symposium on Hardware Oriented Security and Trust (HOST) 2015 被引用: 772

  2. Chaff: Engineering an Efficient SAT Solver

    著者: Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - Design Automation Conference (IEEE Cat. No.01CH37232), DAC 2001 被引用: 2,904

  3. Boolean Satisfiability Solvers and Their Applications in Model Checking

    著者: Yakir Vizel, Georg Weissenbacher, Sharad Malik - IEEE, Proc. IEEE 2015 被引用: 117

  4. On Solving the Partial MAX-SAT Problem

    著者: Zhaohui Fu, Sharad Malik - Lecture notes in computer science, SAT 2006 被引用: 265

  5. Conflict-Driven Clause Learning SAT Solvers

    著者: João Marques-Silva, Inês Lynce, Sharad Malik - Frontiers in artificial intelligence and applications, Handbook of Satisfiability 2009 被引用: 321

  6. Reverse Engineering Digital Circuits Using Structural and Functional Analyses

    著者: Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik - IEEE Transactions on Emerging Topics in Computing, IEEE Trans. Emerg. Top. Comput. 2014 被引用: 139

  7. Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn

    著者: Mark Gallagher, Lauren Biernacki, Shibo Chen, Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Misiker Tadesse Aga, Austin Harris, Zhixing Xu, Baris Kasikci, Valeria Bertacco, Sharad Malik, Mohit Tiwari, Todd Austin - Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019 被引用: 53

  8. Power analysis of embedded software: a first step towards software power minimization

    著者: Vivek Tiwari, Sharad Malik, Andrew Wolfe - IEEE Transactions on Very Large Scale Integration (VLSI) Systems, ICCAD 1994 被引用: 997

  9. Malware detection using machine learning based analysis of virtual memory access patterns

    著者: Zhixing Xu, Sayak Ray, Pramod Subramanyan, Sharad Malik - Design, Automation & Test in Europe Conference & Exhibition (DATE) 2017 被引用: 125

  10. All-SAT Using Minimal Blocking Clauses

    著者: Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik - 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, VLSID 2014 被引用: 38

  11. WordRev: Finding word-level structures in a sea of bit-level gates

    著者: Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia - IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) 2013 被引用: 89

  12. Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

    著者: Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik - ACM Transactions on Design Automation of Electronic Systems, ACM Trans. Design Autom. Electr. Syst. 2018 被引用: 42

  13. Propositional SAT Solving

    著者: João Marques-Silva, Sharad Malik - Handbook of Model Checking 2018 被引用: 24

  14. Lazy Self-composition for Security Verification

    著者: Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik - Lecture notes in computer science, CAV (2) 2018 被引用: 19

  15. Boolean satisfiability from theoretical hardness to practical success

    著者: Sharad Malik, Lintao Zhang - Communications of the ACM, Commun. ACM 2009 被引用: 169

  16. ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions

    著者: Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik - Lecture notes in computer science, TACAS (1) 2019 被引用: 17

  17. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models

    著者: Yue Xing, Aarti Gupta, Sharad Malik - 27th Asia and South Pacific Design Automation Conference (ASP-DAC) 2022 被引用: 8

  18. Logic verification using binary decision diagrams in a logic synthesis environment

    著者: Sharad Malik, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli - [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers 1988 被引用: 509

  19. Template-based Synthesis of Instruction-Level Abstractions for SoC Verification

    著者: Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik - Formal Methods in Computer-Aided Design (FMCAD) 2015 被引用: 32

  20. Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search

    著者: Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta - Lecture notes in computer science, Haifa Verification Conference 2011 被引用: 17

  21. Synthesizing Environment Invariants for Modular Hardware Verification

    著者: Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik - Lecture notes in computer science, VMCAI 2020 被引用: 13

  22. RTL Verification for Secure Speculation Using Contract Shadow Logic

    著者: Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan - International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, ASPLOS (1) 2025 被引用: 7

  23. Automatic Generation of Architecture-Level Models from RTL Designs for Processors and Accelerators

    著者: Yu Zeng, Aarti Gupta, Sharad Malik - Design, Automation & Test in Europe Conference & Exhibition (DATE) 2022 被引用: 7

  24. Security Verification of Low-Trust Architectures

    著者: Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin - SIGSAC Conference on Computer and Communications Security, CCS 2023 被引用: 6