Hassen Kacem

  • Citations Per Year
Learn More
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. Timed automata is a class of continuous real-time models of reactive systems for which efficient model-checking algorithms have been devised. In this paper, we show that these algorithms can very easily(More)
MUC16 plays an important role in epithelial ovarian cancer. In this paper, we studied the association between two tags SNPs of MUC16 and the risk of epithelial ovarian cancer. We aimed also to test the association between these tags SNPs and elevated level of the protein CA125. We analyzed a collection of 117 cases. Forty-one samples of patients with(More)
Intronic microsatellites repeats were implicated in the pathogenic mechanisms of several diseases. SLC26A4 gene, involved in the genetic susceptibility of autoimmune thyroid disease (AITD), harbours large non-coding introns. Using the tandem repeat finder (TRF) Software, two new polymorphic microsatellite markers, rs59736472 and rs57250751, located at(More)
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. Timed automata is a class of continuous real-time models of reactive systems for which eecient model-checking algorithms have been devised. In this paper, we show that these algorithms can very easily be(More)
  • 1