A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. - Frédéric Gava; Michaël Guedj; Franck Pommereau (ISPDC, 2012)

Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. - Frédéric Gava; Michaël Guedj; Franck Pommereau (PDP, 2012)

BSP Algorithms for LTL & CTL* Model Checking of Security Protocols. (Algorithmes BSP pour la vérification de modèles LTL et CTL* pour les protocoles de sécurité). - Michaël Guedj (2012)

Deductive Verification of State-Space Algorithms. - Frédéric Gava; Jean Fortin; Michaël Guedj (IFM, 2013)

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. - Frédéric Gava; Franck Pommereau; Michaël Guedj (J. Supercomput., 2014)

Ranking preferences deduction based on semantic similarity for the stable marriage problem. - Michaël Guedj (ICCI*CC, 2016)

Levelized Taxonomy Approach for the Job Seeking/Recruitment Problem. - Michaël Guedj (CSE/EUC/DCABES, 2016)