Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2026 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Approximation theory for distant Bang calculus
      Auteur(s) : Jules CHOUQUET, Kostia CHARDONNET, Axel KERINEC
      

      Series: Leibniz International Proceedings in Informatics (LIPIcs).Conference: Formal Structures for Computation and Deduction (FSCD). - HAL : 5674644

• 2025 - (2)

  • Communications sans actes - (1)

    • Une sémantique mécanisée d'un langage FRP avec effets
      Auteur(s) : Jordan ISCHARD, Frédéric DABROWSKI, Jules CHOUQUET, Frédéric LOULERGUE
      

      HAL : 5135592

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • A Mechanized Formalization of an FRP Language with Effects
      Auteur(s) : Jordan ISCHARD, Frédéric DABROWSKI, Jules CHOUQUET, Frédéric LOULERGUE
      

      HAL : 5048931

• 2021 - (1)

  • Revue internationale à comité de lecture - (1)

    • An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
      Auteur(s) : Jules CHOUQUET, Lionel VAUX
      

      HAL : 3517397