Publications (45) Publications in which a researcher has participated

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. A unified approach for scheduling and allocation

    Integration, the VLSI Journal, Vol. 23, Núm. 1, pp. 1-35

  3. Aspectos contables de la problemática medioambiental

    Ensayos y estudios contables: en homenaje a, D. Enrique Fernández Peña, D. Rafael Muñoz Yusta, D. Marcos y Melecio Riesco Escudero (Instituto de Contabilidad y Auditoría de Cuentas), pp. 527-540

  4. Asymptotic behaviour of the posterior predictive p-value

    Communications in Statistics - Theory and Methods, Vol. 26, Núm. 11, pp. 2689-2699

  5. Boolean networks decomposition using genetic algorithms

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

  6. Classical size behavior of the Nernst-Ettingshausen effect induced by pulsed laser light in bismuth films

    Physical Review B - Condensed Matter and Materials Physics, Vol. 56, Núm. 4, pp. 2221-2227

  7. Combining reinforcement learning and differential inverse kinematics for collision-free motion of multilink manipulators

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  8. Constraint logic programming with hereditary Harrop formulas

    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM

  9. Desarrollo de sistemas de ayuda basados en técnicas de recuperación de información y análisis formal de conceptos

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

  10. Dipolar interactions in systems of restricted dimensionality: application to membrane model systems and micelles

    26.ª Reunión bienal de la Real Sociedad Española de Química: actas. Cádiz, 23 al 26 de septiembre, 1997

  11. Diseño de programas: formalismo y abstracción

    Madrid [etc. : Prentice Hall, D.L. 1997

  12. Diseño y semántica de lenguajes lógico-funcionales

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

  13. Eden coordination model for distributed memory systems

    Proceedings of the International Workshop on High-Level Programming Models and Supportive Environments, HIPS

  14. Evolution operator equations: Integration with algebraic and finite-difference methods. Applications to physical problems in classical and quantum mechanics and quantum field theory

    Rivista del Nuovo Cimento, Vol. 20, Núm. 2, pp. 1-133

  15. Final implementation of SEACON: New scope and new open system platform

    IEEE Power Industry Computer Applications Conference

  16. Final implementation of seacon: new scope and new open system platform

    IEEE Power Engineering Review, Vol. 17, Núm. 12, pp. 60

  17. Formal techniques for hardware allocation

    Proceedings of the IEEE International Conference on VLSI Design

  18. Formal techniques for hardware allocation

    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS

  19. Formulación matemática de un modelo de datos y funciones para sistemas de información contable en entorno informático

    Ensayos y estudios contables: en homenaje a, D. Enrique Fernández Peña, D. Rafael Muñoz Yusta, D. Marcos y Melecio Riesco Escudero (Instituto de Contabilidad y Auditoría de Cuentas), pp. 387-420

  20. Functional partitioning for hardware-software codesign using genetic algorithms

    Conference Proceedings of the EUROMICRO