Publications (102) Publications auxquelles un chercheur a participé

2009

  1. A hierarchical methodology to specify and simulate complex computational systems

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

  2. A new selective chromogenic and turn-on fluorogenic probe for copper(ll) in water-acetonitrile 1:1 solution

    Organic Letters, Vol. 11, Núm. 6, pp. 1269-1272

  3. A role for DNA polymerase μ in the emerging DJH rearrangements of the postgastrulation mouse embryo

    Molecular and Cellular Biology, Vol. 29, Núm. 5, pp. 1266-1275

  4. A weak link in metabolism: the metabolic capacity for glycine biosynthesis does not satisfy the need for collagen synthesis

    Journal of Biosciences, Vol. 34, Núm. 6, pp. 853-872

  5. Accumulation of ubiquitin conjugates in a polyglutamine disease model occurs without global ubiquitin/proteasome system impairment

    Proceedings of the National Academy of Sciences of the United States of America, Vol. 106, Núm. 33, pp. 13986-13991

  6. Advantages of mutation in passive testing: An empirical study

    IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

  7. An approach to software project scheduling using personal software process and soft computing techniques

    Proceedings of the 2009 International Conference on Artificial Intelligence, ICAI 2009

  8. Analysis of the OLSR protocol by using formal passive testing

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC

  9. Analyzing the metrics of the perceptual space in a new multistage physiological colour vision model

    Color Research and Application, Vol. 34, Núm. 5, pp. 359-366

  10. Anammox for ammonia removal from pig manure effluents: Effect of organic matter content on process performance

    Bioresource Technology, Vol. 100, Núm. 7, pp. 2171-2175

  11. Applying formal passive testing to study temporal properties of the stream control transmission protocol

    SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

  12. Aprendizaje colaborativo en el ámbito internacional

    Investigación educativa e innovación docente en el proceso de convergencia europea (Prensas de la Universidad de Zaragoza), pp. 77-77

  13. Architecture and functional traits of semi-arid shrub species in Cabo de Gata Natural Park, se Spain

    Candollea, Vol. 64, Núm. 1, pp. 69-84

  14. Biseparating maps between Lipschitz function spaces

    Journal of Mathematical Analysis and Applications, Vol. 357, Núm. 1, pp. 191-200

  15. Cell cycle control of Notch signaling and the functional regionalization of the neuroepithelium during vertebrate neurogenesis

    International Journal of Developmental Biology, Vol. 53, Núm. 7, pp. 895-908

  16. Changes in subpopulations of boar sperm defined according to viability and plasma and acrosome membrane status observed during storage at 15 °C

    Theriogenology, Vol. 71, Núm. 2, pp. 311-317

  17. Colorimetric and spectral evaluation of the optical anisotropy of metallic and pearlescent samples

    Journal of Modern Optics, Vol. 56, Núm. 13, pp. 1457-1465

  18. Combining genetic algorithms and mutation testing to generate test sequences

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

  19. Computing the Energy Cost of the Information Transmitted by Model Biological Neurons

    COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING, VOL 2

  20. Computing the energy cost of the information transmitted by model biological neurons

    AIP Conference Proceedings