GALaC

Showing results 1 to 12 of 379 in total

GALaC : 1 to 12 of 379 in total

  • Communication dans un congrès

    Manon Blanc, Olivier Bournez. Quantifiying the robustness of dynamical systems. Relating time and space to length and precision. Computer Science Logic CSL'24, Feb 2024, Naples, Italy. pp.17:1-17:20, ⟨10.4230/lipics.csl.2024.17⟩. ⟨hal-04303119⟩

    GALaC, GALaC

    Year of publication

    HAL publication

  • Communication dans un congrès

    Djamel Eddine Amir, Benjamin Hellouin de Menibus. Minimality and computability of languages of G-shifts. ICALP 2025, Aarhus University, Jul 2025, Aarhus, Denmark. ⟨hal-05117426⟩

    GALaC

    Year of publication

    Available in free access

    HAL publication

  • Logiciel

    Pierre Thomas Froidevaux, Alexandre Blondin-Massé, Chiara Marmo, Jérémy Neveu, Jean Privat, et al.. Travo. 2025, ⟨swh:1:dir:25c53be9cb372dca46dc311c114c9d961127225b;origin=https://gitlab.com/travo-cr/travo;visit=swh:1:snp:5f0faa62d3619f576a8a041c609ac66820f54a80;anchor=swh:1:rev:fd9302aab27cb93dc1ef24b3ab13a3da163564ca⟩. ⟨hal-05030605⟩

    GALaC

    Year of publication

    Available in free access

    HAL publication

  • Pré-publication, Document de travail

    Felipe V. Furquim, Daniel Cordeiro, Valentin Dardilhac, Johanne Cohen. Characterizing Strategyproofness Through Score Functions in Voting Mechanisms. 2025. ⟨hal-05040764⟩

    GALaC

    Year of publication

    Available in free access

    HAL publication

  • Algorithmes, apprentissage et calcul, Interaction avec l’Humain

    GALaC, VENISE

    Richard Kylian