Cédric Ho Thanh

Orcid: 0000-0003-4476-2034

According to our database¹, Cédric Ho Thanh authored at least 4 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging.

[BibT_eX]

[DOI]

Appl. Soft Comput., October, 2023

2021

Frenetic at the SBST 2021 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

2020

Opetopes: Syntactic and Algebraic Aspects. (Opétopes : Aspects Syntaxiques et Algébriques).

[BibT_eX]

[DOI]

Cédric Ho Thanh

PhD thesis, 2020

2019

A Sequent Calculus for Opetopes.

[BibT_eX]

[DOI]

Cédric Ho Thanh

Pierre-Louis Curien

Samuel Mimram

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Cédric Ho Thanh

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...