Hsieh, Chiao
456  results:
Search for persons X
?
1

Perception Contracts for Safety of ML-Enabled Systems:

Astorga, Angello ; Hsieh, Chiao ; Madhusudan, P..
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 2196-2223 , 2023
 
?
2

Verifying Controllers With Vision-Based Perception Using Sa..:

Hsieh, Chiao ; Li, Yangge ; Sun, Dawei...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  41 (2022)  11 - p. 4205-4216 , 2022
 
?
3

Koord: a language for programming and verifying distributed..:

Ghosh, Ritwika ; Hsieh, Chiao ; Misailovic, Sasa.
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-30 , 2020
 
?
4

Koord: a language for programming and verifying distributed..:

Ghosh, Ritwika ; Hsieh, Chiao ; Misailovic, Sasa.
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-30 , 2020
 
?
 
?
8

Scanning Tunneling Microscopy Examination of Molecules with..:

Balasaravanan, Rajendiran ; Hsieh, Chiao-An ; Jhou, Meng-Li...
The Journal of Physical Chemistry C.  128 (2024)  11 - p. 4796-4802 , 2024
 
?
10

scDrug: From single-cell RNA-seq to drug response predictio:

Hsieh, Chiao-Yu ; Wen, Jian-Hung ; Lin, Shih-Ming...
Computational and Structural Biotechnology Journal.  21 (2023)  - p. 150-157 , 2023
 
?
 
1-15