cx a22 3 45
147205336
http://www.idref.fr/147205336
20101013
20240328183817.000
751052110
751050002
Tp5
0000000140913427
ISNI
VIAF
20200302
http://viaf.org/viaf/189805824
VIAF
VIAF
20200302
0000-0001-8140-0273
ORCID
20220615
20101013afrey50 ba0
ara
fre
639-2
DZ
1978
0
1
0
ba
AFNOR
ba0yba0y
0
Baarir
Souheib
1978-....
ba0yba0y
Maitre de Conférences à l'Université de Paris Nanterre (en 2023). En poste au sein du Laboratoire d'Informatique de Paris 6 (LIP6), dans l'équipe Modélisation et Vérification (MoVe)
ba0yba0y
Thèse de doctorat en Informatique soutenue en 2007 à l'Université Pierre et Marie Curie - Paris 6
SCANR
102020
ESR
FR
Abes
20240328
AFNOR
Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes finis / Souheib Baarir ; sous la direction de Serge Haddad, 2007
https://pages.lip6.fr/Souheib.Baarir/, le 2024-03-28
Maitre de Conférences à l'Université de Paris Nanterre (en 2023). En poste au sein du Laboratoire d'Informatique de Paris 6 (LIP6), dans l'équipe Modélisation et Vérification (MoVe)
Baarir, Souheib (1978-....)