O. Valero
O. Valero
Departamento de Ciencias Matemáticas e Informática, Universitat de les Illes Balears and IdISBa
Dirección de correo verificada de uib.es - Página principal
Título
Citado por
Citado por
Año
Banach's fixed point theorem for partial metric spaces
S Oltra, O Valero
Università degli Studi di Trieste. Dipartimento di Matematica e Informatica, 2004
3862004
On Banach fixed point theorems for partial metric spaces
O Valero
Applied General Topology 6 (2), 229-240, 2005
2772005
A quantitative computational model for complete partial metric spaces via formal balls
S Romaguera, O Valero
Mathematical Structures in Computer Science 19 (3), 541, 2009
1192009
On fixed point theory in partial metric spaces
MA Alghamdi, N Shahzad, O Valero
Fixed Point Theory and Applications 2012 (1), 175, 2012
62*2012
On fixed point theory in partial metric spaces
MA Alghamdi, N Shahzad, O Valero
Fixed Point Theory and Applications 2012 (1), 1-25, 2012
62*2012
On fixed point theory in partial metric spaces
MA Alghamdi, N Shahzad, O Valero
Fixed Point Theory and Applications 2012 (1), 175, 2012
472012
Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
S Romaguera, O Valero
Mathematical Structures in Computer Science 20 (3), 453, 2010
472010
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-4), 623-630, 2008
452008
Computing complexity distances between algorithms
S Romaguera, EA Sánchez-Pérez, O Valero
Kybernetika 39 (5), [569]-582, 2003
412003
Aggregation of asymmetric distances in computer science
G Mayor, O Valero
Information Sciences 180 (6), 803-812, 2010
352010
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-14), 1728-1741, 2012
232012
Metrizability of the unit ball of the dual of a quasi-normed cone
LM García-Raffi, S Romaguera, EA Sánchez-Pérez, O Valero
Bollettino dell'Unione Matematica Italiana 7 (2), 483-492, 2004
212004
Multi-robot coalitions formation with deadlines: complexity analysis and solutions
J Guerrero, G Oliver, O Valero
PloS one 12 (1), e0170659, 2017
192017
The complexity space of partial functions: a connection between complexity analysis and denotational semantics
S Romaguera, MP Schellekens, O Valero
International Journal of Computer Mathematics 88 (9), 1819-1829, 2011
192011
Complexity spaces as quantitative domains of computation
S Romaguera, MP Schellekens, O Valero
Topology and its Applications 158 (7), 853-860, 2011
182011
Quasi-uniform isomorphisms in fuzzy quasi-metric spaces, bicompletion and D -completion
S Romaguera, A Sapena, O Valero
Acta Mathematica Hungarica 114 (1-2), 49-60, 2007
182007
On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
N Shahzad, O Valero
Abstract and Applied Analysis 2013, 2013
172013
On the structure of the space of complexity partial functions
S Romaguera, O Valero
International Journal of Computer Mathematics 85 (3-4), 631-640, 2008
172008
Fixed point theorems in generalized metric spaces with applications to computer science
MA Alghamdi, N Shahzad, O Valero
Fixed Point Theory and Applications 2013 (1), 118, 2013
152013
Functionally expressible multidistances
J Martín, G Mayor, O Valero
Proceedings of the 7th conference of the European Society for Fuzzy Logic …, 2011
152011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20