Thi Thu Ha Doan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | APLAS | A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. | Thi Thu Ha Doan, Peter Thiemann |
| 2024 | ECOOP | A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. | Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann |
| 2021 | APLAS | A Typed Programmatic Interface to Contracts on the Blockchain. | Thi Thu Ha Doan, Peter Thiemann |
| 2021 | CAV | Towards Contract Modules for the Tezos Blockchain (Short Paper). | Thi Thu Ha Doan, Peter Thiemann |