H.-K.T. Ma

802 citations

20 papers · 513 indexed · h-index 9

Hardware and Architecture top 1%
- VLSI and Analog Circuit Testing 15
- Physical Unclonable Functions (PUFs) and Hardware Security 2
Software top 5%
- Software Testing and Debugging Techniques 6
Electrical and Electronic Engineering top 10%
- Integrated Circuits and Semiconductor Failure Analysis 9
- Radiation Effects in Electronics 8
- VLSI and FPGA Design Techniques 3
Computational Theory and Mathematics top 5%
- Formal Methods in Verification 5
Computer Networks and Communications
Artificial Intelligence
- Logic, programming, and type systems 2

Co-authors: Srinivas Devadas Alberto Sangiovanni‐Vincentelli A. Richard Newton Kwang‐Ting Cheng J.L. Burns Francesco Romeo Kartikeya Mayaram Daniel Martín
Cited by: Hardware and Architecture Software Electrical and Electronic Engineering
Journals: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (8 papers)International Journal of Dynamics and Control (1 paper)Rare & Special e-Zone (The Hong Kong University of Science and Technology) (1 paper)
Partner nations: United States Switzerland China

In The Last Decade

H.-K.T. Ma

20 papers receiving 481 citations

Peers

Countries citing papers authored by H.-K.T. Ma

Since Specialization

Citations

This map shows the geographic impact of H.-K.T. Ma's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by H.-K.T. Ma with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites H.-K.T. Ma more than expected).

Fields of papers citing papers by H.-K.T. Ma

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by H.-K.T. Ma. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by H.-K.T. Ma. The network helps show where H.-K.T. Ma may publish in the future.

Co-authorship network

The 15 scholars most cited alongside H.-K.T. Ma, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with H.-K.T. Ma Line = papers co-authored together H.-K.T. Ma links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work
1	Moving window incremental multidimensional scale analysis-based operational modal analysis for linear slow time varying structure International Journal of Dynamics and Control ·H.-K.T. Ma,Cheng Wang,Jianwei Chen	2023	1
2	Cell Swapping Based Migration Methodology for Analog and Custom Layouts Shelly Octaviana,Kay W. Axhausen,刘永昌,H.-K.T. Ma,Narendra Shenoy	2008	7
3	Design of a test suite for NCAP-to-NCAP communication based on IEEE 1451 Anu Singla,Fernando Figueroa,Roman Al. Shchepin,H.-K.T. Ma,СЮЭ Г.,Deniz Gurkan,Pan Jingxian,Xiaojing Yuan,大造伊泊,M. Pejsa-Reitz	2008	3
4	An incomplete scan design approach to test generation for sequential machines H.-K.T. Ma,Srinivas Devadas,A. Richard Newton,Alberto Sangiovanni‐Vincentelli	2003	8
5	Easily testable PLA-based finite state machines Srinivas Devadas,H.-K.T. Ma,A. Richard Newton	2003	1
6	On the over-specification problem in sequential ATPG algorithms Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Kwang‐Ting Cheng,H.-K.T. Ma	2003	3
7	Redundancies and don't cares in sequential logic synthesis Srinivas Devadas,H.-K.T. Ma,A. Richard Newton	2003	1
8	Optimal logic synthesis and testability: two faces of the same coin Srinivas Devadas,H.-K.T. Ma,A. Richard Newton,Alberto Sangiovanni‐Vincentelli	2003	5
9	Synthesis and optimization procedures for fully and easily testable sequential machines Srinivas Devadas,H.-K.T. Ma,A. Richard Newton,Alberto Sangiovanni‐Vincentelli	2003	7
10	A simulation-based protocol-driven scan test design rule checker Tein Fu Wang,Daniel Martín,H.-K.T. Ma	2002	6
11	Irredundant sequential machines via optimal logic synthesis Štípková,H.-K.T. Ma,A. Richard Newton,Alberto Sangiovanni‐Vincentelli	2002	8
12	On the over-specification problem in sequential ATPG algorithms IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Kwang‐Ting Cheng,H.-K.T. Ma	1993	14
13	Easily testable PLA-based finite state machines IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Srinivas Devadas,H.-K.T. Ma	1990	14
14	Irredundant sequential machines via optimal logic synthesis IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Srinivas Devadas,H.-K.T. Ma,A. Richard Newton,Alberto Sangiovanni‐Vincentelli	1990	64
15	Logic verification algorithms and their parallel implementation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·H.-K.T. Ma,Srinivas Devadas,Fajar Setyaning Dwi Putra,Alberto Sangiovanni‐Vincentelli	1989	18
16	A synthesis and optimization procedure for fully and easily testable sequential machines IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Srinivas Devadas,H.-K.T. Ma,A. Richard Newton,Alberto Sangiovanni‐Vincentelli	1989	75
17	Techniques for multilayer channel routing IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Ma. Eugenia Cisneros López,J.L. Burns,Francesco Romeo,Alberto Sangiovanni‐Vincentelli,Kartikeya Mayaram,Srinivas Devadas,H.-K.T. Ma	1988	19
18	Test generation for sequential circuits IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·H.-K.T. Ma,Srinivas Devadas,A. Richard Newton,Alberto Sangiovanni‐Vincentelli	1988	156
19	On the verification of sequential machines at differing levels of abstraction IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Srinivas Devadas,H.-K.T. Ma,A. Richard Newton	1988	56
20	Logic verification algorithms and their parallel implementation H.-K.T. Ma,Srinivas Devadas,Alberto Sangiovanni‐Vincentelli,Husrul Nizam Husin	1987	47

About H.-K.T. Ma

H.-K.T. Ma is a scholar working on Hardware and Architecture, Software, Computational Theory and Mathematics, Electrical and Electronic Engineering and Artificial Intelligence, having authored 20 papers that have together received 513 indexed citations. Recurring topics across this work include VLSI and Analog Circuit Testing (15 papers), Integrated Circuits and Semiconductor Failure Analysis (9 papers), Radiation Effects in Electronics (8 papers), Software Testing and Debugging Techniques (6 papers), Formal Methods in Verification (5 papers), VLSI and FPGA Design Techniques (3 papers), Logic, programming, and type systems (2 papers) and Physical Unclonable Functions (PUFs) and Hardware Security (2 papers). The work is most often cited by research in Hardware and Architecture (458 citations), Software (60 citations), Electrical and Electronic Engineering (401 citations), Computational Theory and Mathematics (101 citations) and Computer Networks and Communications (57 citations). H.-K.T. Ma has collaborated with scholars based in United States, Switzerland and China. Frequent co-authors include Srinivas Devadas, Alberto Sangiovanni‐Vincentelli, A. Richard Newton, Kwang‐Ting Cheng, J.L. Burns, Francesco Romeo, Kartikeya Mayaram, Daniel Martín, Narendra Shenoy and Cheng Wang. Their work appears in journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, International Journal of Dynamics and Control and Rare & Special e-Zone (The Hong Kong University of Science and Technology).

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact