• Publications
  • Influence
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é)
TLDR
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. Expand
B-04 Histoplasmose chez les patients infectés par le VIH : 25 années d’expérience en Guyane française
En Guyane francaise, histoplasmose a Histoplasma capsulatum var.capsulatum et tuberculose inaugurent le plus souvent le stade sida. Les series d’histoplasmoses publiees sont cependant rares. CetteExpand
Application de l'analyse d'images a la physique des roches
On simule des diagraphies acoustiques par la propagation d'ondes ultrasonores a travers un echantillon de roche dans des conditons (pression temperature, saturation) parfaitement determinees. OnExpand
K-01 Caractéristiques cliniques, biologiques et thérapeutiques de 10 458 patients VIH suivis dans la cohorte NADIS au 30/09/2007
Objectifs Decrire les caracteristiques demographiques, cliniques, biologiques et therapeutiques des patients suivis dans 9 centres equipes du dossier medical Nadis. Methode Etude transversale au 30Expand
K-02 Caractéristiques cliniques, biologiques et thérapeutiques des patients de la cohorte NADIS suivis aux Antilles-Guyane et en France métropolitaine
Objectifs Comparer les caracteristiques demographiques, cliniques, biologiques et therapeutiques des patients suivis dans 2 centres des Antilles-Guyane (AG) et dans 7 centres metropolitains (MT).Expand
État des lieux après deux ans de consultation PREP en Amazonie française
Introduction La Guyane Francaise est le departement francais le plus touche par l’infection par le VIH avec un taux d’incidence 11 fois plus eleve qu’au niveau national. Plusieurs essais cliniquesExpand
Arthrite sévère des deux hanches due à Salmonella typhimurium chez une patiente non-immunodéprimée
Summary We report a case of a hip osteoarthritis due to S. typhimurium in a patient without predisposing factors. The outcome was unsatisfactory in spite of early diagnosis and treatment; a relapseExpand
...
1
2
...