Concepedia

Óscar Valero

ÓV

36

Publications

1.2K

Citations

16

H-Index

2003

Active since

Affiliations

Universitat de les Illes Balears(Current)

Universitat Politècnica de València

King Abdulaziz University

University College Cork

Health Research Institute of the Balearic Islands

Óscar Valero is an author at Universitat de les Illes Balears specializing in engineering, computer science, and functional analysis.

ORCID

Top concepts

Publications per year

2003–2023

36

Publications

36

Banach's Fixed Point Theorem for Partial Metric Spaces

S. Oltra, Óscar Valero · OpenstarTs (Univeristy of Trieste https://www.units.it/) · 2004 · 225 citations · Full text

On Banach fixed point theorems for partial metric spaces

Óscar Valero · Applied General Topology · 2005 · 202 citations · Full text

A quantitative computational model for complete partial metric spaces via formal balls

Salvador Romaguera, Óscar Valero · Mathematical Structures in Computer Science · 2009 · 105 citations

, , +10

Denotational semantics for programming languages, balanced quasi-metrics and fixed points

Jesús Rodrı́guez-López, Salvador Romaguera, Óscar Valero · International Journal of Computer Mathematics · 2008 · 40 citations · Full text

Aggregation of asymmetric distances in Computer Science

Gaspar Mayor, Óscar Valero · Information Sciences · 2009 · 39 citations

, , +6

Rows per page

1–5 of 36