We stand with Ukraine  

Michael Hsiao

According to our database1, Michael Hsiao authored at least 7 papers between 2017 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Awards

IEEE Fellow

IEEE Fellow 2013, "For contributions to automatic test pattern generation of integrated circuits".

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
NeuroProlog: Multi-Task Fine-Tuning for Neurosymbolic Mathematical Reasoning via the Cocktail Effect.
[BibTeX]
[DOI]
Pratibha Zunjare
,
Michael Hsiao
CoRR, March, 2026

2025
A Hybrid Multi-Agent Prompting Approach for Simplifying Complex Sentences.
[BibTeX]
[DOI]
Pratibha Zunjare
,
Michael Hsiao
CoRR, June, 2025

2019
RTL Test Generation on Multi-core and Many-Core Architectures.
[BibTeX]
[DOI]
Aravind Krishnan Varadarajan
,
Michael Hsiao
Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

2018
Guiding RTL Test Generation Using Relevant Potential Invariants.
[BibTeX]
[DOI]
Tania Khanna
,
Michael Hsiao
Proceedings of the 36th IEEE International Conference on Computer Design, 2018

A Natural Language Programming Application for Lego Mindstorms EV3.
[BibTeX]
[DOI]
Yue Zhan
,
Michael Hsiao
Proceedings of the 2018 IEEE International Conference on Artificial Intelligence and Virtual Reality, 2018

Converting Natural Language Text to ROS-Compatible Instruction Base.
[BibTeX]
[DOI]
Takondwa Kakusa
,
Michael Hsiao
Proceedings of the 2018 IEEE International Conference on Artificial Intelligence and Virtual Reality, 2018

2017
Reachability analysis in RTL circuits using k-induction bounded model checking.
[BibTeX]
[DOI]
Tonmoy Roy
,
Michael Hsiao
Proceedings of the 2017 IEEE International High Level Design Validation and Test Workshop, 2017


  Loading...