2026 Michael Kishinevsky: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	30	14043	13611	5575	5300	141	4268

Overview

Michael Kishinevsky is a researcher affiliated with Intel in the United States. Their work spans multiple areas within computer science and engineering, with a focus on topics related to interconnection networks, optimization techniques, and sustainable computing technologies.

Their research contributions include publications in various reputable venues. Some notable recent papers are:

"A Survey on Energy Management for Mobile and IoT Devices," 2020, IEEE Design and Test
"RAMBO: Resource Allocation for Microservices Using Bayesian Optimization," 2021, IEEE Computer Architecture Letters
"Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration," 2021, 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
"Fast Performance Analysis for NoCs With Weighted Round-Robin Arbitration and Finite Buffers," 2023, IEEE Transactions on Very Large Scale Integration (VLSI) Systems
"Automatic Microprocessor Performance Bug Detection," 2020, arXiv (Cornell University)

Kishinevsky collaborates frequently with a number of co-authors, including:

Raid Ayoub
Ümit Y. Ogras
Sumit K. Mandal
Ahmed Abousamra
Shruti Yadav Narayana

They have published predominantly in venues such as:

arXiv (Cornell University)
IEEE Design and Test
IEEE Computer Architecture Letters
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Their main fields of study are Computer Science and Engineering. Within these fields, Kishinevsky's work focuses on several specialized subfields, including:

Computer Networks and Communications
Electrical and Electronic Engineering
Hardware and Architecture
Electronic, Optical and Magnetic Materials
Information Systems

The topics most frequently addressed in their research cover:

Interconnection Networks and Systems
Parallel Computing and Optimization Techniques
Advancements in Battery Materials
Supercapacitor Materials and Fabrication
IoT and Edge/Fog Computing
Low-power high-performance VLSI design
Green IT and Sustainability

Best Publications

Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

Jordi Cortadella;Michael Kishinevsky;Alex Kondratyev;Luciano Lavagno

768
Citations
Deriving Petri nets from finite transition systems

J. Cortadella;M. Kishinevsky;L. Lavagno;A. Yakovlev

337
Citations
Logic Synthesis for Asynchronous Controllers and Interfaces

Jordi Cortadella;Michael Kishinevsky;A. Kondratyev;Luciano Lavagno

318
Citations
Concurrent hardware : the theory and practice of self-timed design

Michael Kishinevsky;Alex Kondratyev;Alexander Taubin;Victor Varshavsky

293
Citations
Synthesis of synchronous elastic architectures

Jordi Cortadella;Mike Kishinevsky;Bill Grundmann

205
Citations
A Region-Based Algorithm for Discovering Petri Nets from Event Logs

Josep Carmona;Jordi Cortadella;Michael Kishinevsky

155
Citations
Basic Gate Implementation of Speed-Independendent Circuits

A. Kondratyev;M. Kishinevsky;B. Lin;P. Vanbekbergen

144
Citations
Elastic Circuits

J. Carmona;J. Cortadella;M. Kishinevsky;A. Taubin

140
Citations
Synthesizing Petri nets from state-based models

Jordi Cortadella;Michael Kishinevsky;Luciano Lavagno;Alex Yakovlev

124
Citations
In-network monitoring and control policy for DVFS of CMP networks-on-chip and last level caches

Xi Chen;Zheng Xu;Hyungjun Kim;Paul Gratz

118
Citations
New Region-Based Algorithms for Deriving Bounded Petri Nets

J. Carmona;J. Cortadella;M. Kishinevsky

90
Citations
On the models for asynchronous circuit behaviour with OR causality

Alexandre Yakovlev;Michael Kishinevsky;Alex Kondratyev;Luciano Lavagno

86
Citations
A region-based theory for state assignment in speed-independent circuits

J. Cortadella;M. Kishinevsky;A. Kondratyev;L. Lavagno

80
Citations
A Recursive Paradigm to Solve Boolean Relations

D. Baneres;J. Cortadella;M. Kishinevsky

79
Citations
System Level Design and Verification Using a Synchronous Language

Gérard Berry;Michael Kishinevsky;Satnam Singh

79
Citations
Dynamic voltage and frequency scaling for shared resources in multicore processor designs

Xi Chen;Zheng Xu;Hyungjun Kim;Paul V. Gratz

77
Citations
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

J Cortadella;A Kondratyev;M Kishinevsky;L Lavagno

76
Citations
Complete state encoding based on the theory of regions

J. Cortadella;M. Kishinevsky;A. Kondratyev;L. Lavagno

71
Citations
Synchronous elastic circuits with early evaluation and token counterflow

Jordi Cortadella;Mike Kishinevsky

67
Citations
A Survey on Energy Management for Mobile and IoT Devices

Sudeep Pasricha;Raid Ayoub;Michael Kishinevsky;Sumit K. Mandal

67
Citations
Checking signal transition graph implementability by symbolic BDD traversal

A. Kondratyev;J. Cortadella;M. Kishinevsky;E. Pastor

64
Citations
xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification

S. Chatterjee;M. Kishinevsky;U. Y. Ogras

63
Citations
Genet: A Tool for the Synthesis and Mining of Petri Nets

Josep Carmona;Jordi Cortadella;Michael Kishinevsky

61
Citations
Variable-latency design by function speculation

D. Banñeres;J. Cortadella;M. Kishinevsky

61
Citations
Hazard-free implementation of speed-independent circuits

A. Kondratyev;M. Kishinevsky;A. Yakovlev

61
Citations
Verifying deadlock-freedom of communication fabrics

Alexander Gotmanov;Satrajit Chatterjee;Michael Kishinevsky

61
Citations

Frequent Co-Authors

Jordi Cortadella Universitat Politècnica de Catalunya

Luciano Lavagno Polytechnic University of Turin

Umit Y. Ogras University of Wisconsin–Madison

Alex Yakovlev Newcastle University

Jiang Hu Texas A&M University

Gokhan Memik Northwestern University

Radu Marculescu The University of Texas at Austin

Sachin S. Sapatnekar University of Minnesota

Ran Ginosar Technion – Israel Institute of Technology

Partha Pratim Pande Washington State University

External Links

Personal website of Michael Kishinevsky

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

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA offers many flexible and affordable pathways. For students who want to complete their education quickly and jumpstart their careers, some of the fastest masters degree online options can be an attractive choice. These programs enable learners to earn an advanced credential in a shorter time frame, often through accelerated courses.

Choosing from the best masters degree to get can open doors in high-demand technology fields. Specializations like data science, cybersecurity, and artificial intelligence are especially sought after by employers, providing graduates with strong job prospects.

If you’re just starting out, an associate's degree online is a cost-effective and flexible introduction to computer science fundamentals. This option is ideal for those seeking entry-level roles or wanting to transfer credits to a bachelor’s program later.

Budget-conscious students can also consider the cheapest online degrees offered by accredited institutions. These degrees help minimize debt while providing quality education, making it easier to launch a computer science career without financial strain.