| A refined molecular taxonomy of breast cancer M Guedj, L Marisa, A De Reynies, B Orsetti, R Schiappa, F Bibeau, ... Oncogene 31 (9), 1196-1206, 2012 | 329 | 2012 |
| A BSP algorithm for the state space construction of security protocols F Gava, M Guedj, F Pommereau 2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010 | 17 | 2010 |
| A BSP algorithm for on-the-fly checking CTL* formulas on security protocols F Gava, F Pommereau, M Guedj The Journal of Supercomputing 69 (2), 629-672, 2014 | 16 | 2014 |
| Deductive verification of state-space algorithms F Gava, J Fortin, M Guedj Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013 | 11 | 2013 |
| Performance evaluations of a bsp algorithm for state space construction of security protocols F Gava, M Guedj, F Pommereau 2012 20th Euromicro International Conference on Parallel, Distributed and …, 2012 | 7 | 2012 |
| de Thé, H., Theillet, C., 2011. A refined molecular taxonomy of breast cancer M Guedj, L Marisa, A de Reynies, B Orsetti, R Schiappa, F Bibeau, ... Oncogene 31 (9), 10, 0 | 7 | |
| Levelized taxonomy approach for the job seeking/recruitment problem M Guedj 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016 | 5 | 2016 |
| H. de The, and C. Theillet M Guedj, L Marisa, A de Reynies, B Orsetti, R Schiappa, F Bibeau, ... A refined molecular taxonomy of breast cancer, 1196-206, 2012 | 5 | 2012 |
| Bsp algorithms for LTL & CTL* model checking of security protocols M Guedj Université de Paris-Est/Créteil, 2012 | 4 | 2012 |
| Domains Characterizations of Divide-and-Conquer Sequences M Guedj | 1 | 2020 |
| Ranking preferences deduction based on semantic similarity for the stable marriage problem M Guedj 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive …, 2016 | 1 | 2016 |
| Upper Bounds for Possibly Negatives Divide-and-Conquer Sequences M Guedj | | 2021 |
| An Asymptotic Theorem for Multi-term Divide-and-Conquer Sequences Assuming a d-Condition M Guedj | | 2021 |
| An Extended Big Theta Master Theorem for Divide-and-Conquer Sequences M Guedj | | 2021 |
| A Simple but Powerful Extension of the Master Theorem for Divide-and-Conquer Sequences M Guedj | | 2021 |
| Dénition de prédicat relativement à des jugements a priori M Guedj | | 2020 |
| Explicitation of Domains of Divide-and-Conquer Sequences M Guedj | | 2020 |
| An Extended Theorem Furnishing Asymptotic Approximations for Divide-and-Conquer Sequences M Guedj | | 2020 |
| A BSP algorithm for on-the-fly checking CTL* formulas on security protocols F Gava, M Guedj, F Pommereau 13th International Conference on Parallel and Distributed Computing …, 2012 | | 2012 |
| BSP algorithms for LTL & CTL model checking of security protocols| Theses. fr M Guedj Paris Est, 2012 | | 2012 |
Frédéric GavaLACL, University of Paris-East在 univ-paris-est.fr 的电子邮件经过验证
Frédéric GavaLACL, University of Paris-East在 univ-paris-est.fr 的电子邮件经过验证
Franck PommereauProfessor of Computer Science, Évry University, Paris-Saclay University在 univ-evry.fr 的电子邮件经过验证