Sistemas Informáticos y Computación

2008

1. A New Proposal for Debugging Datalog Programs

   Electronic Notes in Theoretical Computer Science, Vol. 216, Núm. C, pp. 79-92

2. Abstraction-carrying code: A model for mobile code safety

   New Generation Computing, Vol. 26, Núm. 2, pp. 171-204

3. Algebraic Stuttering Simulations

   Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 91-110

4. An approach to effortless construction of program animations

   Computers and Education, Vol. 50, Núm. 1, pp. 179-192

5. Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences

   Electronic Notes in Theoretical Computer Science, Vol. 212, Núm. C, pp. 149-162

6. Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations

   Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 41-58

7. El campus virtual de la Universidad Complutense de Madrid

   Pixel-Bit: Revista de medios y educación, Núm. 32, pp. 55-65

8. Equational abstractions

   Theoretical Computer Science, Vol. 403, Núm. 2-3, pp. 239-264

9. Extending EFSMs to specify and test timed systems with action durations and time-outs

   IEEE Transactions on Computers, Vol. 57, Núm. 6, pp. 835-848

10. Formal testing from timed finite state machines

    Computer Networks, Vol. 52, Núm. 2, pp. 432-460

11. Functions and Lazy Evaluation in Prolog

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 153-174

12. HOTL: Hypotheses and observations testing logic

    Journal of Logic and Algebraic Programming, Vol. 74, Núm. 2, pp. 57-93

13. Inferring non-suspension conditions for logic programs with dynamic scheduling

    ACM Transactions on Computational Logic, Vol. 9, Núm. 3

14. Laboratorio de geometría y demostración: experimentación, deducción y demostración con sistemas de geometría dinámica

    Anales de ingeniería técnica en informática de sistemas, Núm. 2, pp. 57-74

15. Reutilización de tesauros: el documentalista frente al reto de la web semántica

    El profesional de la información, Vol. 17, Núm. 1, pp. 8-21

16. Testing the Behaviour of Entities in a Cognitive Language

    International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 2, Núm. 1, pp. 29-43

17. Un solitario con cartas (CUPCAM 2007, problema F, enunciado)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 194, pp. 76

18. Un solitario con cartas (CUPCAM 2007, problema F, solución)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 196, pp. 76

19. Wheeling around von Neumann-Jordan constant in Banach spaces

    Studia Mathematica, Vol. 188, Núm. 2, pp. 135-150