Learn More
Candida glabrata has emerged as one of the most common causes of candidosis. In order to identify factors that are necessary for viability and pathogenicity of this fungal pathogen, we analysed the role of the KEX2 gene, which codes for a regulatory endoproteinase that is known to process certain virulence factors in Candida albicans. The KEX2 gene from C.(More)
While after 10 years use of BDDs various BDD-based algorithms have been developed and BDD-techniques have seen dramatic improvements only recently, SAT based techniques are reconsidered with respect to their usability in Electronic Design Automation and in other applications. The organizers took the opportunity to bring together researchers from different(More)
  • 1