H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 33 Citations 4,248 181 World Ranking 6800 National Ranking 3245

Overview

What is he best known for?

The fields of study he is best known for:

  • Operating system
  • Programming language
  • Algorithm

Embedded system, Parallel computing, Computer architecture, Cache and Instruction set are his primary areas of study. His studies link Formal equivalence checking with Embedded system. His research in Parallel computing focuses on subjects like Bottleneck, which are connected to Automatic test pattern generation, Fault model, Fault coverage and Functional verification.

As a member of one scientific family, he mostly works in the field of Computer architecture, focusing on Architecture description language and, on occasion, Very long instruction word, Hardware description language and Software architecture description. His Cache pollution and Cache algorithms study in the realm of Cache interacts with subjects such as Control reconfiguration. His Instruction set research is multidisciplinary, relying on both Feature and Compile time.

His most cited work include:

  • Instruction set compiled simulation: a technique for fast and flexible instruction set simulation (114 citations)
  • Lossless data compression and real-time decompression (107 citations)
  • Functional Coverage Driven Test Generation for Validation of Pipelined Processors (100 citations)

What are the main themes of his work throughout his whole career to date?

Prabhat Mishra spends much of his time researching Embedded system, Computer architecture, Model checking, Debugging and Parallel computing. His research investigates the link between Embedded system and topics such as Scalability that cross with problems in Hardware Trojan. The various areas that he examines in his Computer architecture study include Instruction set, Formal specification, Hardware description language and Architecture description language.

The concepts of his Model checking study are interwoven with issues in Property, Formal verification, Automatic test pattern generation and Bottleneck. The Functional verification research he does as part of his general Formal verification study is frequently linked to other disciplines of science, such as Intelligent verification, therefore creating a link between diverse domains of science. His work on Cache algorithms as part of general Cache research is frequently linked to Control reconfiguration, bridging the gap between disciplines.

He most often published in these fields:

  • Embedded system (32.31%)
  • Computer architecture (14.23%)
  • Model checking (13.08%)

What were the highlights of his more recent work (between 2019-2021)?

  • Embedded system (32.31%)
  • Trojan (9.62%)
  • Computer network (5.00%)

In recent papers he was focusing on the following fields of study:

His main research concerns Embedded system, Trojan, Computer network, Scalability and Hardware Trojan. His study focuses on the intersection of Embedded system and fields such as Encryption with connections in the field of Network interface. His studies in Trojan integrate themes in fields like Side channel attack, Reliability and Computer engineering.

His research integrates issues of Model checking, Clique, Assertion and Symbolic execution in his study of Scalability. The Hardware Trojan study combines topics in areas such as Electronic circuit, Oscilloscope and Netlist. His work deals with themes such as Software and System on a chip, which intersect with Network packet.

Between 2019 and 2021, his most popular works were:

  • Automated test generation for trojan detection using delay-based side channel analysis (14 citations)
  • Automated Trigger Activation by Repeated Maximal Clique Sampling (14 citations)
  • Test generation using reinforcement learning for delay-based side-channel analysis (13 citations)

In his most recent research, the most cited papers focused on:

  • Operating system
  • Programming language
  • Algorithm

Prabhat Mishra mainly investigates Scalability, Embedded system, Trojan, Overhead and System on a chip. His study looks at the intersection of Scalability and topics like Clique with Parallel computing and Theoretical computer science. His biological study spans a wide range of topics, including Concolic testing and Encryption.

His studies deal with areas such as Side channel attack, Reliability, Computer engineering and Reinforcement learning as well as Trojan. His Computer engineering research integrates issues from Critical path method and Automatic test pattern generation. His Overhead study combines topics from a wide range of disciplines, such as Routing, Network packet, Routing protocol and Secure communication.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Instruction set compiled simulation: a technique for fast and flexible instruction set simulation

Mehrdad Reshadi;Prabhat Mishra;Nikil Dutt.
design automation conference (2003)

192 Citations

Processor Description Languages

Prabhat Mishra;Nikil Dutt.
(2008)

153 Citations

Lossless data compression and real-time decompression

Prabhat Mishra;Seok-Won Seong;Kanad Basu;Weixun Wang.
(2008)

150 Citations

Functional Coverage Driven Test Generation for Validation of Pipelined Processors

Prabhat Mishra;Nikil Dutt.
design, automation, and test in europe (2005)

107 Citations

Architecture description languages for programmable embedded systems

Prabhat Mishra;Nihil Dutt.
IEE Proceedings - Computers and Digital Techniques (2005)

104 Citations

Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems

Weixun Wang;Prabhat Mishra;Sanjay Ranka.
design automation conference (2011)

100 Citations

Bitmask-Based Code Compression for Embedded Systems

Seok-Won Seong;P. Mishra.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2008)

88 Citations

Graph-based functional test program generation for pipelined processors

Prabhat Mishra;Nikil Dutt.
design, automation, and test in europe (2004)

87 Citations

MERS: Statistical Test Generation for Side-Channel Analysis based Trojan Detection

Yuanwen Huang;Swarup Bhunia;Prabhat Mishra.
computer and communications security (2016)

86 Citations

RATS: Restoration-Aware Trace Signal Selection for Post-Silicon Validation

K. Basu;P. Mishra.
IEEE Transactions on Very Large Scale Integration Systems (2013)

84 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Prabhat Mishra

Rainer Leupers

Rainer Leupers

RWTH Aachen University

Publications: 34

Heinrich Meyr

Heinrich Meyr

RWTH Aachen University

Publications: 25

Nikil Dutt

Nikil Dutt

University of California, Irvine

Publications: 16

Masahiro Fujita

Masahiro Fujita

University of Tokyo

Publications: 14

Yier Jin

Yier Jin

University of Florida

Publications: 12

Swarup Bhunia

Swarup Bhunia

University of Florida

Publications: 12

Jorg Henkel

Jorg Henkel

Karlsruhe Institute of Technology

Publications: 12

Muhammad Shafique

Muhammad Shafique

New York University Abu Dhabi

Publications: 10

Rolf Drechsler

Rolf Drechsler

University of Bremen

Publications: 9

Ramesh Karri

Ramesh Karri

New York University

Publications: 8

Sharad Malik

Sharad Malik

Princeton University

Publications: 8

Alois Knoll

Alois Knoll

Technical University of Munich

Publications: 7

David I. August

David I. August

Princeton University

Publications: 6

Anand Raghunathan

Anand Raghunathan

Purdue University West Lafayette

Publications: 6

Valeria Bertacco

Valeria Bertacco

University of Michigan–Ann Arbor

Publications: 5

Gang Qu

Gang Qu

University of Maryland, College Park

Publications: 5

Something went wrong. Please try again later.