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

• 2019 - (1)

  • Chapitre d'ouvrages scientifiques - (1)

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

      HAL : 3377146

• 2017 - (1)

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

    • A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes
      Auteur(s) : Jean-Michel COUVREUR, Joaquín EZPELETA
      

      Lecture Notes in Business Information Processing - HAL : 2060720

• 2013 - (1)

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

    • Branching processes of general Petri nets
      Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD, Pascal WEIL
      

      HAL : 713883

• 2011 - (1)

  • 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 - (2)

  • Chapitre d'ouvrages scientifiques - (1)

    • Petri Net Unfoldings -- Properties
      Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD
      

      HAL : 468324

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

    • On-the-fly Emptiness Check of Transition-Based Streett Automata
      Auteur(s) : Jean-Michel COUVREUR, Alexandre DURET-LUTZ, Denis POITRENAUD
      

      HAL : 468314

• 2008 - (1)

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

    • Tree Data Decision Diagrams
      Auteur(s) : Jean-Michel COUVREUR, Duy Tung NGUYEN
      

      HAL : 468333