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

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

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

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

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

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

    Synthesis

15. Passive testing of stochastic timed systems

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

16. Patterns in the Field of Software Engineering

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

17. Recent Progress with Extensions to CIECAM02

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

18. Recent progress with extensions to CIECAM02

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

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

20. Retos en la consolidación de una red social de b-learning en la Universidad de Alicante

    VII Jornades de Xarxes d'Investigació en Docència Universitària: la qualitat del procés d'ensenyança/aprenentatge universitari des de la perspectiva del canvi