| Banach's fixed point theorem for partial metric spaces S Oltra, O Valero Università degli Studi di Trieste. Dipartimento di Matematica e Informatica, 2004 | 481 | 2004 |
| On Banach fixed point theorems for partial metric spaces O Valero Applied General Topology 6 (2), 229-240, 2005 | 342 | 2005 |
| 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 | 145 | 2009 |
| On fixed point theory in partial metric spaces MA Alghamdi, N Shahzad, O Valero Fixed Point Theory and Applications 2012 (1), 1-25, 2012 | 82* | 2012 |
| 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 | 58 | 2010 |
| Aggregation of asymmetric distances in computer science G Mayor, O Valero Information Sciences 180 (6), 803-812, 2010 | 50 | 2010 |
| 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 | 48 | 2008 |
| Multi-robot coalitions formation with deadlines: Complexity analysis and solutions J Guerrero, G Oliver, O Valero PloS one 12 (1), e0170659, 2017 | 42 | 2017 |
| Computing complexity distances between algorithms S Romaguera, EA Sánchez-Pérez, O Valero Kybernetika 39 (5), [569]-582, 2003 | 41 | 2003 |
| Aggregation of fuzzy quasi-metrics T Pedraza, J Rodríguez-López, Ó Valero Information Sciences 581, 362-389, 2021 | 34 | 2021 |
| 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 | 33 | 2013 |
| On 0‐Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics N Shahzad, O Valero Abstract and Applied Analysis 2013 (1), 985095, 2013 | 31 | 2013 |
| 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 | 29 | 2012 |
| 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 | 29 | 2004 |
| 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 | 22 | 2011 |
| A fixed point theorem in partial quasi-metric spaces and an application to software engineering N Shahzad, O Valero, MA Alghamdi, MA Alghamdi Applied Mathematics and Computation 268, 1292-1301, 2015 | 21 | 2015 |
| Complete partial metric spaces have partially metrizable computational models S Romaguera, P Tirado, O Valero International Journal of Computer Mathematics 89 (3), 284-290, 2012 | 20 | 2012 |
| 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 | 19 | 2008 |
| 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, 2007 | 19 | 2007 |
| Complexity spaces as quantitative domains of computation S Romaguera, MP Schellekens, O Valero Topology and its Applications 158 (7), 853-860, 2011 | 18 | 2011 |
Juan-José MiñanaUniversitat Politècnica de ValènciaVerified email at mat.upv.es
