Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Thi Thu Ha Doan

Ha Thi Thu Doan

> Home > Persons

Person information

affiliation: Japan Advanced Institute of Science and Technology (JAIST), School of Information Science, Nomi, Japan

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eswa/DuongDCN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/DuongDCN23
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: 120107 (2023)
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/DoanO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/DoanO22
Ha Thi Thu Doan, Kazuhiro Ogata:
Specifying and Model Checking Distributed Control Algorithms at Meta-level. Comput. J. 65(12): 2998-3019 (2022)
2019
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cai/DoanO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/DoanO19
Ha Thi Thu Doan, Kazuhiro Ogata:
A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property. Comput. Informatics 38(5): 1009-1038 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DoanT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DoanT21
Thi Thu Ha Doan, Peter Thiemann:
A Typed Programmatic Interface to Contracts on the Blockchain. APLAS 2021: 222-240
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Doan021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Doan021
Thi Thu Ha Doan, Peter Thiemann:
Towards Contract Modules for the Tezos Blockchain (Short Paper). FMBC@CAV 2021: 5:1-5:9
2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/Doan0019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/Doan0019
Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata:
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. SSS 2019: 111-126
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/DoanOB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/DoanOB17
Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet:
Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level. ICDCS 2017: 1586-1596
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/opodis/Doan0017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/opodis/Doan0017
Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata:
Model Checking of Robot Gathering. OPODIS 2017: 12:1-12:16
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/DoanBO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/DoanBO16
Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata:
Model Checking of a Mobile Robots Perpetual Exploration Algorithm. SOFL+MSVL 2016: 201-219

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-11867
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-11867
Thi Thu Ha Doan, Peter Thiemann:
A Typed Programmatic Interface to Contracts on the Blockchain. CoRR abs/2108.11867 (2021)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.