Model checking guided abstraction and analysisSAÏDI, H.Lecture notes in computer science. 2000, pp 377-396, issn 0302-9743, isbn 3-540-67668-6Conference Paper

Vitamin A serostatus and heterosexual transmission of HIV : Case-control study in tanzania and review of the evidenceVILLAMOR, Eduardo; KAPIQA, Saidi H; FAWZI, Wafaie W et al.International journal for vitamin and nutrition research. 2006, Vol 76, Num 2, pp 81-85, issn 0300-9831, 5 p.Article

The association between HIV infection and alcohol use : A systematic review and meta-analysis of African studiesFISHER, Joseph C; BANG, Heejung; KAPIGA, Saidi H et al.Sexually transmitted diseases. 2007, Vol 34, Num 11, pp 856-863, issn 0148-5717, 8 p.Article

Initial injury care in Nairobi, Kenya: A call for trauma care regionalisationSAIDI, H. S.East African medical journal. 2003, Vol 80, Num 9, pp 480-483, issn 0012-835X, 4 p.Article

La tuberculose de la vésicule biliaire : Quel rôle de la lithiase ? = Tuberculosis of the gallbladderROUAS, L; MANSOURI, F; ELHACHIMI, A et al.RMLG. Revue médicale de Liège. 2003, Vol 58, Num 12, pp 757-760, issn 0370-629X, 4 p.Article

Comment éviter les lésions iatrogènes du rameau communicant médio-ulnaire de Martin-Grüber dans la voie d'abord transmusculaire médiale du coude ? = How to avoid operative injury to Martin-Grüber communicating branch in the transmuscular medial approach of the elbow?ZAYANE, S; MADHAR, M; CHAFIK, R et al.Chirurgie de la main. 2011, Vol 30, Num 2, pp 85-89, issn 1297-3203, 5 p.Article

Sarcome intimal de la veine cave inférieure = Intimal sarcoma of the inferior vena cavaROUAS, L; MABASSINI, N; JABID, A et al.La Presse médicale (1983). 2005, Vol 34, Num 20, pp 1515-1517, issn 0755-4982, 3 p., CAH1Article

Appendicite aiguë chez la femme enceinte : à propos de 18 cas = Acute appendicitis during pregnancy. A review of 18 casesNOUIRA, M; JERBI, M; SAHRAOUI, W et al.Revue française de gynécologie et d'obstétrique. 1999, Vol 94, Num 6, pp 486-491, issn 0035-290XArticle

Abstract and model check while you proveSAÏDI, H; SHANKAR, N.Lecture notes in computer science. 1999, pp 443-454, issn 0302-9743, isbn 3-540-66202-2Conference Paper

Maladie d'Unverricht-Lündborg : étude clinique et électrophysiologique de 19 familles maghrébines = Unverricht-Lundborg disease : clinical and electrophysiological aspects in 19 North African familiesGOUIDER, R; IBRAHIM, S; FREDJ, M et al.Revue neurologique (Paris). 1998, Vol 154, Num 6-7, pp 503-507, issn 0035-3787Article

The invariant checker : Automated deductive verification of reactive systemsSAIDI, H.Lecture notes in computer science. 1997, pp 436-439, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Long-term serotonin reinnervation of the suprachiasmatic nucleus after 5,7-dihydroxytryptamine axotomy in the adult ratBOSLER, O; VUILLON-CACCIUTTOLO, V; SAÏDI, H et al.Neuroscience letters. 1992, Vol 143, Num 1-2, pp 159-163, issn 0304-3940Article

BIOLOGICAL TREATMENT OF WASTE WITH HIGH ASH CONTENT USING A HYDROLYTICALLY ASSISTED EXTENDED AERATION PROCESS = TRAITEMENT BIOLOGIQUE DES DECHETS A FORTE TENEUR EN CENDRE, EN UTILISANT UN PROCEDE D'AERATION POUSSEE AIDE PAR HYDROLYSEGAUDY AF JR; MANICKAM TS; SAIDI H et al.1976; BIOTECHNOL. AND BIOENGNG; U.S.A.; DA. 1976; VOL. 18; NO 5; PP. 701-721; BIBL. 10 REF.Article

The Malaysian Fifth Fuel Policy: Re-strategising the Malaysian Renewable Energy InitiativesMAULUD, A. L; SAIDI, H.Energy policy. 2012, Vol 48, pp 88-92, issn 0301-4215, 5 p.Article

Experience with road traffic accident victims at the Nairobi hospitalSAIDI, H. S; KAHORO, P.East African medical journal. 2000, Vol 78, Num 8, pp 441-444, issn 0012-835XArticle

ALKALINE PHOSPHATASE ACTIVITY IN LYOPHILISED QUALITY CONTROL SERUMBULLOCK DG; MCSWEENEY FM; SAIDI H et al.1979; ANN. CLIN. BIOCHEM.; GBR; DA. 1979; VOL. 16; NO 5; PP. 271-274; BIBL. 11 REF.Article

Barrières chimiques pour la prévention du VIH et des infections sexuellement transmissibles. Actualités sur le développement de formulation à visée microbicide = Chemical barriers for the prevention of HIV and sexually transmitted infections : Overview on microbicide developmentBELEC, L; SAÏDI, H; CARBONNEIL, C et al.Médecine et maladies infectieuses. Supplément. 2005, Vol 35, Num 2, pp S105-S107, issn 1166-8237Conference Paper

Tumeur fibreuse localisée de la plèvre = Fibrous tumor of the pleuraROUAS, L; MAHASSINI, N; JAHID, A et al.Revue de pneumologie clinique (Paris). 2004, Vol 60, Num 3, pp 171-174, issn 0761-8417, 4 p.Article

A technique for invariant generationTIWARI, A; RUESS, H; SAÏDI, H et al.Lecture notes in computer science. 2001, pp 113-127, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Patterns of Alcohol Use, Problem Drinking, and HIV Infection Among High-Risk African WomenFISHER, Joseph C; COOK, Peter A; SAM, Noel E et al.Sexually transmitted diseases. 2008, Vol 35, Num 6, pp 537-544, issn 0148-5717, 8 p.Article

Place matters : multilevel investigation of HIV distribution in TanzaniaMSISHA, Wezi M; KAPIGA, Saidi H; EARLS, Felton J et al.AIDS (London). 2008, Vol 22, Num 6, pp 741-748, issn 0269-9370, 8 p.Article

Socioeconomic status and HIV seroprevalence in Tanzania : a counterintuitive relationship : HIV InfectionMSISHA, Wezi M; KAPIGA, Saidi H; EARLS, Felton et al.International journal of epidemiology. 2008, Vol 37, Num 6, pp 1297-1303, issn 0300-5771, 7 p.Article

Systematic review and meta-analysis: prevalence of alcohol use among young people in eastern AfricaFRANCIS, Joel M; GROSSKURTH, Heiner; CHANGALUCHA, John et al.TM & IH. Tropical medicine & international health. 2014, Vol 19, Num 4, pp 476-488, issn 1360-2276, 13 p.Article

Some first excited energy levels for the generalized Killingbeck potential with the differential quadratic methodBOUMEDJANE, Y; SAIDI, H; HASSOUNI, S et al.Applied mathematics and computation. 2007, Vol 194, Num 1, pp 243-249, issn 0096-3003, 7 p.Article

Energy spectra of the schrodinger equation and the differential quadrature method : Improvement of the solution using particle swarm optimizationSAIDI, H; KHELIL, N; HASSOUNI, S et al.Applied mathematics and computation. 2006, Vol 182, Num 1, pp 559-566, issn 0096-3003, 8 p.Article