GALaC

Affichage des résultats 1 à 12 sur 379 au total

GALaC : 1 à 12 sur 379 au 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

    Année de publication

    Publication HAL

  • 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

    Année de publication

    Disponible en libre accès

    Publication HAL

  • 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

    Année de publication

    Disponible en libre accès

    Publication HAL

  • 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

    Année de publication

    Disponible en libre accès

    Publication HAL

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

    GALaC, VENISE

    Richard Kylian