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

• 2024 - (1)

  • Communications sans actes - (1)

    • SAT-Based Automated Completion for Reachability Analysis
      Auteur(s) : Yohan BOICHUT, Adrien BOIRET, Vincent HUGOT
      

      HAL : 4605772

• 2019 - (2)

  • Chapitre d'ouvrages scientifiques - (1)

    • Modeling Concurrent Behaviors as Words
      Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Xavier FERRY, Mohamadou Tafsir SAKHO
      

      HAL : 3377146

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

    • Towards more precise rewriting approximations
      Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
      

      HAL : 1521746

• 2018 - (1)

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

    • Approximating any Logic Program by a CS-Program
      Auteur(s) : Yohan BOICHUT, Pierre RETY, Vivien PELLETIER
      

      HAL : 1903092

• 2016 - (1)

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

    • Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems
      Auteur(s) : Yohan BOICHUT, Pierre RETY, Vivien PELLETIER
      

      HAL : 1291393

• 2013 - (1)

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

    • Over-approximating Descendants by Synchronized Tree Languages
      Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
      

      HAL : 808871

• 2012 - (1)

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

    • Equational Abstraction Refinement for Certified Tree Regular Model Checking
      Auteur(s) : Yohan BOICHUT, Benoit BOYER, Thomas GENET, Axel LEGAY
      

      HAL : 759149

• 2011 - (2)

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

    • Characterizing Conclusive Approximations by Logical Formulae
      Auteur(s) : Yohan BOICHUT, Thi-Bich-Hanh DIEP-DAO, Valérie MURAT
      

      HAL : 606100

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

    • Functional Term Rewriting Systems towards Symbolic Model-Checking
      Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Duy Tung NGUYEN
      

      HAL : 591994

• 2010 - (1)

  • Autres Publications - (1)

    • Functional Term Rewriting Systems
      Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Duy Tung NGUYEN
      

      HAL : 484023

• 2009 - (3)

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

    • How to Tackle Integer Weighted Automata Positivity
      Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, Olga KOUCHNARENKO
      

      HAL : 428998

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

    • Handling Non Left-Linear Rules When Completing Tree Automata
      Auteur(s) : Yohan BOICHUT, Roméo COURBIS, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO
      

      HAL : 561373

    • Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
      Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO
      

      HAL : 561374

• 2008 - (3)

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

    • Handling Left-Quadratic Rules When Completing Tree Automata
      Auteur(s) : Yohan BOICHUT, Roméo COURBIS, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO
      

      HAL : 563293

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

    • Approximation based tree regular model checking
      Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, Olga KOUCHNARENKO
      

      HAL : 429345

    • A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
      Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM
      

      HAL : 328487