O. Valero
机构: Departamento de Ciencias Matemáticas e Informática, Universitat de les Illes Balears and IdISBa
主页: uib.eu
每年引用次数
引用次数
引用: 2,070
H-指数: 18
I10-指数 : 44
出版物: 156
Un ejemplo de actualización e integración del profesorado novel universitario mediante el desarrollo de proyectos didácticos: las prácticas de matemáticas con ordenador
O. Valero Sierra , E.A. Sánchez Pérez , S Oltra Crespo
Tarbiya, revista de Investigación e Innovación Educativa ( 30) 79 -90
2002
Un modelo estocástico de propagación de incendios forestales
Lluís Miquel García Raffi , J. V. Sánchez-Pérez , Enrique Alfonso Sánchez Pérez , O. Valero
Epsilon: Revista de la Sociedad Andaluza de Educación Matemática "Thales" ( 54) 457 -468
1
2002
A connection between computer science and fuzzy theory: midpoints and running time of computing
O. Valero , J. Casasnovas
soft computing 15 ( 3) 251 -261
5
2008
On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics
N. Shahzad , O. Valero
Abstract and Applied Analysis 2013 1 -11
17
2013
Complete partial metric spaces have partially metrizable computational models
S. Romaguera , P. Tirado , O. Valero
International Journal of Computer Mathematics 89 ( 3) 284 -290
9
2012
New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces
S. Romaguera , P. Tirado , O. Valero
International Journal of Computer Mathematics 89 ( 13) 1728 -1741
16
2012
The complexity space of a valued linearly ordered set
S. Romaguera , E.A. Sánchez-Pérez , O. Valero
Electronic Notes in Theoretical Computer Science 74 158 -171
4
2003
A Characterization of Generalized Monotone Normed Cones
S. Romaguera , E. A. Sánchez-Pérez , O. Valero
Acta Mathematica Sinica 23 ( 6) 1067 -1074
7
2007
Quasi-uniform isomorphisms in fuzzy quasi-metric spaces, bicompletion and D-completion
S. Romaguera , A. Sapena , O. Valero
Acta Mathematica Hungarica 114 ( 1) 49 -60
11
2007
Complexity spaces as quantitative domains of computation
S. Romaguera , M.P. Schellekens , O. Valero
Topology and its Applications 158 ( 7) 853 -860
11
2011
An extension of the dual complexity space and an application to Computer Science
J. Rodríguez-López , M.P. Schellekens , O. Valero
Topology and its Applications 156 ( 18) 3052 -3061
11
2009
On the domain of formal balls of the Sorgenfrey quasi-metric space
S. Romaguera , M.P. Schellekens , P. Tirado , O. Valero
Topology and its Applications 203 177 -187
1
2016
A Characterization of Completeness via Absolutely Convergent Series and the Weierstrass Test in Asymmetric Normed Semilinear Spaces
N. Shahzad , O. Valero
Abstract and Applied Analysis 2014 1 -8
2014
On aggregation of normed structures
J. Martín , G. Mayor , O. Valero
Mathematical and Computer Modelling 54 ( 1) 815 -827
6
2011
The Dual Complexity Space as the Dual of a Normed Cone
S. Romaguera , E.A. Sánchez-Pérez , O. Valero
Electronic Notes in Theoretical Computer Science 161 165 -174
7
2006
Denotational semantics for programming languages, balanced quasi-metrics and fixed points
J. Rodríguez-López , S. Romaguera , O. Valero
International Journal of Computer Mathematics 85 ( 3) 623 -630
30
2008
The complexity space of partial functions: a connection between complexity analysis and denotational semantics
S. Romaguera , M. P. Schellekens , O. Valero
International Journal of Computer Mathematics 88 ( 9) 1819 -1829
14
2011
Smallest enclosing ball multidistance
I. Aguiló , J. Martín , G. Mayor , J. Suñer
Communications in information and systems 12 ( 3) 185 -194
6
2012
Aggregation of asymmetric distances in Computer Science
G. Mayor , O. Valero
Information Sciences 180 ( 6) 803 -812
27
2010
The Baire Partial Quasi-Metric Space: A Mathematical Tool for Asymptotic Complexity Analysis in Computer Science
M. A. Cerdà-Uguet , M. P. Schellekens , O. Valero
Theory of Computing Systems \/ Mathematical Systems Theory 50 ( 2) 387 -399
11
2012
Juan-José Miñana Naseer Shahzad Enrique Alfonso Sánchez Pérez José Guerrero Sastre Javier Martin Gaspar Mayor Michel Schellekens Pilar Fuster Parra Jesús Rodríguez López Gabriel Oliver-Codina Sebastia Massanet Maria Jesus Campion Esteban Induráin L. M. Garcia-Raffi J. V. Sánchez-Pérez Isabel Aguiló Pons