Facultad
Informática
Publicacións (75) Publicacións nas que participase algún/ha investigador/a
2005
-
A formal methodology to test complex embedded systems: Application to interactive driving system
IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136
-
A framework for protein structure prediction on the grid
New Generation Computing, Vol. 23, Núm. 4, pp. 277-290
-
A loosely coupled vision for computational Grids
IEEE Distributed Systems Online, Vol. 6, Núm. 5
-
A passive testing approach based on invariants: Application to the WAP
Computer Networks, Vol. 48, Núm. 2, pp. 247-266
-
A reconfiguration manager for dynamically reconfigurable hardware
IEEE Design and Test of Computers, Vol. 22, Núm. 5, pp. 452-460
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352
-
Agent-oriented software engineering
Knowledge Engineering Review, Vol. 20, Núm. 2, pp. 99-116
-
Agentes de información
Investigación bibliotecológica, Vol. 19, Núm. 39, pp. 28-46
-
An overview of current trends in European AOSE research
Informatica (Ljubljana), Vol. 29, Núm. 4, pp. 379-390
-
Analisis y síntesis de expresión emocional en cuentos leídos en voz alta
Procesamiento del lenguaje natural, Núm. 35, pp. 293-300
-
Authoring of adaptive computer assisted assessment of free-text answers
Educational Technology and Society, Vol. 8, Núm. 3, pp. 53-65
-
Bayesian model selection: A predictive approach with losses based on distances L1 and L2
Statistics and Probability Letters, Vol. 71, Núm. 3, pp. 257-265
-
Beneficios del uso de la tecnología grid computing en bioinformática usando la infraestructura de IRISGrid
RedIRIS: boletín de la Red Nacional de I+D RedIRIS, Núm. 72, pp. 28-35
-
Bias and overtaking equilibria for zero-sum continuous-time Markov games
Mathematical Methods of Operations Research, Vol. 61, Núm. 3, pp. 437-454
-
Case-based reasoning-inspired approaches to education
Knowledge Engineering Review, Vol. 20, Núm. 3, pp. 299-303
-
Central limit theorem for the estimator of the value of an optimal stopping problem
Test, Vol. 14, Núm. 1, pp. 215-237
-
Classification of n-dimensional subvarieties of G(1, 2n) that can be projected to G(1, n + 1)
Bulletin of the London Mathematical Society, Vol. 37, Núm. 5, pp. 673-682
-
Coloring fuzzy graphs
Omega, Vol. 33, Núm. 3, pp. 211-221
-
Development and execution of an impact cratering application on a computational Grid
Scientific Programming, Vol. 13, Núm. 1, pp. 19-30
-
Diccionarios basados en taxonomías con estructura de grafo orientado acíclico
Procesamiento del lenguaje natural, Núm. 35, pp. 259-266