Department
Matemáticas y Computación
Book chapters (12) Publications in which a researcher has participated
2013
-
Can an e-Research project support e-Learning activities?
EDULEARN13 : 5th International Conference on Education and New Learning Technologies (IATED), pp. 5724
-
Certified symbolic manipulation: Bivariate simplicial polynomialsModos de exclusión de las mujeres en la sociedad actual
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 243-250
-
Feasibility of the Implementation of a UML to XML Evolution Architecture Using Eclipse as Technological Ecosystem
The Fifth International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2013, Jan. 27 - Febr. 1, pp. 231-234
-
Introduction [to Monomial ideals and system reliability]
Monomial ideals and system reliability (Springer), pp. VII-IX
-
LuaTeX: La nueva generación de sistemas de composición tipográfica para textos científicos
Buenas prácticas en la docencia universitaria con apoyo de TIC.: Experiencias en 2012 (Prensas de la Universidad de Zaragoza), pp. 175-178
-
Monomial ideals, computations and applications
Lecture Notes in Mathematics (Springer Verlag), pp. 1-194
-
Performance Analysis of a Verified Linear Algebra Program in SML
Taller de Programación Funcional - XII Spanish Conference on Programming and Computer Languages, PROLE 2013, pp. 28-35
-
Rate of Convergence of Wong–Zakai Approximations for Stochastic Partial Differential Equations
Progress in Probability (Birkhauser), pp. 95-130
-
Reasoning About UML/OCL Models Using Constraint Logic Programming and MDA
Proc. of the International Conference on Software Engineering Advances (ICSEA) (ICSEA), pp. 228-233
-
Relaciones entre las competencias matemáticas y las competencias profesionales de los maestros en formación de la rioja
Investigación en el ámbito escolar: un acercamiento multidimensional a las variables psicológicas y educativas (Grupo Editorial Universitario (GEU Editorial)), pp. 513-520
-
Spectral sequences for computing persistent homology of digital images
Proceedings Applications of Computer Algebra ACA 2013
-
Transversal competencies for computer science students
2013 International Conference on Engineering and Mathematics ENMA 2013 (Purple Gate Publishing), pp. 16-21