Computability of Finite Simplicial Complexes. - Djamel Eddine Amir; Mathieu Hoyrup (ICALP, 2022)

Strong computable type. - Djamel Eddine Amir; Mathieu Hoyrup (Comput., 2023)

Computability of Topological Spaces. (Calculabilité des espaces topologiques). - Djamel Eddine Amir (2023)

Comparing Computability in two Topologies. - Djamel Eddine Amir; Mathieu Hoyrup (J. Symb. Log., 2024)

Minimality and Computability of Languages of G-Shifts. - Djamel Eddine Amir; Benjamin Hellouin de Menibus (ICALP, 2025)

Descriptive complexity of topological invariants. - Djamel Eddine Amir; Mathieu Hoyrup (Ann. Pure Appl. Log., 2025)