Thi Thu Ha Doan

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Lambda Calculus

Visual Interface

Top Venues

Expert Syst. Appl.

Publications

Linh T. Duong, Thi Thu Ha Doan, Cong Q. Chu, Phuong T. Nguyen
Fusion of edge detection and graph neural networks to classifying electrocardiogram signals. Expert Syst. Appl. 225 (2023)
Thi Thu Ha Doan, Peter Thiemann
A Typed Programmatic Interface to Contracts on the Blockchain. APLAS (2021)
Thi Thu Ha Doan, Peter Thiemann
Towards Contract Modules for the Tezos Blockchain (Short Paper). FMBC@CAV (2021)
Thi Thu Ha Doan, Peter Thiemann
A Typed Programmatic Interface to Contracts on the Blockchain. CoRR (2021)