Cédric Ho Thanh

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Sequent Calculus

Top Venues

GECCO Companion

Appl. Soft Comput.

Publications

Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). GECCO Companion (2024)
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146 (2023)
Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini
Frenetic at the SBST 2021 Tool Competition. SBST@ICSE (2021)
Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram
A Sequent Calculus for Opetopes. LICS (2019)