Michael Guedj
Michael Guedj
CCI SEINE ET MARNE
Email verificata su seineetmarne.cci.fr
Titolo
Citata da
Citata da
Anno
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
2712012
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
162010
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
122014
Deductive verification of state-space algorithms
F Gava, J Fortin, M Guedj
International Conference on Integrated Formal Methods, 124-138, 2013
102013
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
6
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
42012
Levelized taxonomy approach for the job seeking/recruitment problem
M Guedj
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016
32016
Bsp algorithms for LTL & CTL* model checking of security protocols
M Guedj
Université de Paris-Est/Créteil, 2012
32012
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
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
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
799 Molecular subgroups of breast cancer show distinct genomic profiles and different clinical courses: a novel definition of disease subclasses
C Theillet, M Guedj, F Bibeau, M Longy, G MacGrogan, F Lerebours, ...
ejc supplements 5 (8), 201, 2010
2010
New developments in the molecular typology of breast cancers and perspectives on managing the illness
B Orsetti, M Guedj, F Bibeau, C Guillaume, R Lidereau, de The, H., ...
BULLETIN DU CANCER 95, S38-S39, 2008
2008
ISPDC 2012
H Pabst, B Bachmayer, M Klemm, F Gava, M Guedj, F Pommereau
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–18