Articles (5) Publications auxquelles un chercheur a participé

1997

  1. A method for multiple-level logic synthesis based on the simulated annealing algorithm

    Microelectronics Journal, Vol. 28, Núm. 2, pp. 143-150

  2. Boolean networks decomposition using genetic algorithms

    Microelectronics Journal, Vol. 28, Núm. 5, pp. 551-560

  3. Insemination of susceptible and preimmunized gilts with boar semen containing porcine reproductive and respiratory syndrome virus

    Theriogenology, Vol. 47, Núm. 3, pp. 647-654

  4. Paramodulation with built-in AC-theories and symbolic constraints

    Journal of Symbolic Computation, Vol. 23, Núm. 1, pp. 1-21

  5. Transplacental infection following exposure of gilts to porcine reproductive and respiratory syndrome virus at the onset of gestation

    Veterinary Microbiology, Vol. 57, Núm. 4, pp. 301-311