Ciencias

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. Advantages of mutation in passive testing: An empirical study

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

3. 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

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

   Proceedings - Asia-Pacific Software Engineering Conference, APSEC

5. 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

6. 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)

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

   COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING, VOL 2

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

   AIP Conference Proceedings

9. Consensus dynamics in a dolphin social network

   CEUR Workshop Proceedings

10. Design and Manufacturing of a Modular Prototype Mold to be employed in Micro Injection Molding Experiments

    THIRD MANUFACTURING ENGINEERING SOCIETY INTERNATIONAL CONFERENCE: MESIC-09

11. Disminución de la capacidad fagocítica de las células dendríticas mieloides del sistema inmune intestinal en ratas cirróticas con ascitis

    XXXIV Congreso Anual de la Asociación Española para el Estudio del Hígado

12. Evolución de la activación sistémica del sistema inmune-inflamatorio en cirrosis experimental: relación con la inflamación en ganglio linfático mesentérico (GM) y hepático (GH)

    XXXIV Congreso Anual de la Asociación Española para el Estudio del Hígado

13. Formal correctness of a passive testing approach for timed systems

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

14. La recirculación de células inmunitarias activadas en el hígado inicia la activación sistémica del sistemainmune en ratas con cirrosis compensada

    Semana de las enfermedades digestivas

15. One-pot three-step synthesis of pyrazinothienopyrimidines using tandem aza-wittig/electrocyclic ring closure

    Synthesis

16. Passive testing of stochastic timed systems

    Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009

17. Patterns in the Field of Software Engineering

    2009 COMPUTATION WORLD: FUTURE COMPUTING, SERVICE COMPUTATION, COGNITIVE, ADAPTIVE, CONTENT, PATTERNS

18. Recent Progress with Extensions to CIECAM02

    SEVENTEENTH COLOR IMAGING CONFERENCE - COLOR SCIENCE AND ENGINEERING SYSTEMS, TECHNOLOGIES, AND APPLICATIONS

19. Recent progress with extensions to CIECAM02

    Final Program and Proceedings - IS and T/SID Color Imaging Conference

20. Recirculation of immune system cells activated in the liver initiates systemic inflammation in experimental compensated cirrhosis

    60th Annual Meeting of the American-Association-for-the-Study-of-Liver-Diseases