Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Thanh-Hai Tran 0002

> Home > Persons

Person information

affiliation: ConsenSys
affiliation (former): Vienna University of Technology, Austria

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

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/lmcs/TranKW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/TranKW23
Thanh-Hai Tran, Igor Konnov, Josef Widder:
A case study on parametric verification of failure detectors. Log. Methods Comput. Sci. 19(1) (2023)
2021
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Tran0W21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Tran0W21
Thanh-Hai Tran, Igor Konnov, Josef Widder:
A Case Study on Parametric Verification of Failure Detectors. FORTE 2021: 138-156
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-08826
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-08826
Thanh-Hai Tran, Igor Konnov, Josef Widder:
A case study on parametric verification of failure detectors. CoRR abs/2112.08826 (2021)
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KukovecTK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KukovecTK20
Jure Kukovec, Thanh-Hai Tran, Igor Konnov:
Extracting symbolic transitions from TLA⁺ specifications. Sci. Comput. Program. 187: 102361 (2020)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/TranKW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/TranKW20
Thanh-Hai Tran, Igor Konnov, Josef Widder:
Cutoffs for Symmetric Point-to-Point Distributed Algorithms. NETYS 2020: 329-346

2010 – 2019

see FAQ

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

2019
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/0001KT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/0001KT19
Igor Konnov, Jure Kukovec, Thanh-Hai Tran:
TLA+ model checking made symbolic. Proc. ACM Program. Lang. 3(OOPSLA): 123:1-123:30 (2019)
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/KukovecTK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/KukovecTK18
Jure Kukovec, Thanh-Hai Tran, Igor Konnov:
Extracting Symbolic Transitions from TLA⁺ Specifications. ABZ 2018: 89-104

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.