Takip et
O. Valero
O. Valero
Departamento de Ciencias Matemáticas e Informática, Universitat de les Illes Balears and IdISBa
uib.es üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Banach's fixed point theorem for partial metric spaces
S Oltra, O Valero
Università degli Studi di Trieste. Dipartimento di Matematica e Informatica, 2004
4562004
On Banach fixed point theorems for partial metric spaces
O Valero
Applied General Topology 6 (2), 229-240, 2005
3232005
A quantitative computational model for complete partial metric spaces via formal balls
S Romaguera, O Valero
Mathematical Structures in Computer Science 19 (3), 541-563, 2009
1412009
On fixed point theory in partial metric spaces
MA Alghamdi, N Shahzad, O Valero
Fixed Point Theory and Applications 2012, 1-25, 2012
80*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
80*2012
On fixed point theory in partial metric spaces
MA Alghamdi, N Shahzad, O Valero
Fixed Point Theory and Applications 2012, 1-25, 2012
612012
Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
S Romaguera, O Valero
Mathematical Structures in Computer Science 20 (3), 453-472, 2010
552010
Aggregation of asymmetric distances in computer science
G Mayor, O Valero
Information Sciences 180 (6), 803-812, 2010
482010
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
482008
Computing complexity distances between algorithms
S Romaguera, EA Sánchez-Pérez, O Valero
Kybernetika 39 (5), [569]-582, 2003
412003
Multi-robot coalitions formation with deadlines: Complexity analysis and solutions
J Guerrero, G Oliver, O Valero
PloS one 12 (1), e0170659, 2017
402017
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-20, 2013
312013
Aggregation of fuzzy quasi-metrics
T Pedraza, J Rodríguez-López, Ó Valero
Information Sciences 581, 362-389, 2021
282021
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
282012
On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
N Shahzad, O Valero
Abstract and Applied Analysis 2013, 2013
262013
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, 483-492, 2004
232004
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
222011
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
192008
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20