Departamento
Sistemas Informáticos y Computación
Artículos (19) Publicaciones en las que ha participado algún/a investigador/a
2008
-
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science, Vol. 216, Núm. C, pp. 79-92
-
Abstraction-carrying code: A model for mobile code safety
New Generation Computing, Vol. 26, Núm. 2, pp. 171-204
-
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 91-110
-
An approach to effortless construction of program animations
Computers and Education, Vol. 50, Núm. 1, pp. 179-192
-
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Electronic Notes in Theoretical Computer Science, Vol. 212, Núm. C, pp. 149-162
-
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 41-58
-
El campus virtual de la Universidad Complutense de Madrid
Pixel-Bit: Revista de medios y educación, Núm. 32, pp. 55-65
-
Equational abstractions
Theoretical Computer Science, Vol. 403, Núm. 2-3, pp. 239-264
-
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
-
Formal testing from timed finite state machines
Computer Networks, Vol. 52, Núm. 2, pp. 432-460
-
Functions and Lazy Evaluation in Prolog
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 153-174
-
HOTL: Hypotheses and observations testing logic
Journal of Logic and Algebraic Programming, Vol. 74, Núm. 2, pp. 57-93
-
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic, Vol. 9, Núm. 3
-
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
-
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
-
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
-
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
-
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
-
Wheeling around von Neumann-Jordan constant in Banach spaces
Studia Mathematica, Vol. 188, Núm. 2, pp. 135-150