Volgen
Michael Guedj
Michael Guedj
CCI SEINE ET MARNE
Geverifieerd e-mailadres voor seineetmarne.cci.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
3242012
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
172010
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
162014
Deductive verification of state-space algorithms
F Gava, J Fortin, M Guedj
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013
112013
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
72012
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
52016
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
52012
Bsp algorithms for LTL & CTL* model checking of security protocols
M Guedj
Université de Paris-Est/Créteil, 2012
42012
Domains Characterizations of Divide-and-Conquer Sequences
M Guedj
12020
Ranking preferences deduction based on semantic similarity for the stable marriage problem
M Guedj
2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive …, 2016
12016
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
Delineation of molecular subgroups of breast cancer with distinct genomic profiles and different clinical courses: a novel definition of disease subclasses
C Theillet, M Guedj, L Marisa, A de Reynies, B Orsetti, R Schiappa, ...
Cancer Genetics and Cytogenetics 203 (1), 44, 2010
2010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20