We stand with Ukraine  

Thanh-Hai Tran

Affiliations:
  • ConsenSys
  • Vienna University of Technology, Austria (former)


According to our database1, Thanh-Hai Tran authored at least 5 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Technical Report: Exploring Automatic Model-Checking of the Ethereum specification.
[BibTeX]
[DOI]
Igor Konnov
,
Jure Kukovec
,
Thomas Pani
,
Roberto Saltini
,
Thanh-Hai Tran
CoRR, January, 2025

2023
A case study on parametric verification of failure detectors.
[BibTeX]
[DOI]
Thanh-Hai Tran
,
Igor Konnov
,
Josef Widder
Log. Methods Comput. Sci., 2023

2020
Extracting symbolic transitions from TLA<sup>+</sup> specifications.
[BibTeX]
[DOI]
Jure Kukovec
,
Thanh-Hai Tran
,
Igor Konnov
Sci. Comput. Program., 2020

Cutoffs for Symmetric Point-to-Point Distributed Algorithms.
[BibTeX]
[DOI]
Thanh-Hai Tran
,
Igor Konnov
,
Josef Widder
Proceedings of the Networked Systems - 8th International Conference, 2020

2019
TLA+ model checking made symbolic.
[BibTeX]
[DOI]
Igor Konnov
,
Jure Kukovec
,
Thanh-Hai Tran
Proc. ACM Program. Lang., 2019


  Loading...