In 1994, S.G. Matthews introduced the notion of a partial metric space and obtained, among other results, a Banach contraction mapping for these spaces. Later on, S.J. Oâ€™Neill generalized Matthewsâ€™â€¦ (More)

In this paper, we continue the study of contractive conditions for mappings in complete partial metric spaces. Concretely, we present fixed point results for weakly contractive and weakly Kannanâ€¦ (More)

In this paper, we obtain a unique common fixed point theorem for four self maps satisfing Ïˆ âˆ’ Ï† contractive condition in partial metric spaces. Our result generalizes and improves a theorem of Altunâ€¦ (More)

Given a normed cone(X, p) and a subconeY, we construct and study the quotient normed cone (X/Y, pÌƒ) generated byY. In particular we characterize the bicompleteness of (X/Y, pÌƒ) in terms of theâ€¦ (More)

In 1994, Matthews introduced the notion of a partial metric space in order to obtain a suitable mathematical tool for program verification (Matthews in Ann. N.Y. Acad. Sci. 728:183-197, 1994). Heâ€¦ (More)

In this paper we show an application of indistinguishability operators to model response functions. Such functions are used in the mathematical modeling of the task allocation problem in multi-agentâ€¦ (More)

*Correspondence: nshahzad@kau.edu.sa 1Operator Theory and Applications Research Group, Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah, 21859, Saudi Arabia Full list ofâ€¦ (More)

Following the mathematical formalism introduced by M. Schellekens [Electronic Notes in Theoret. Comput. Sci. 1 (1995), 211-232] in order to give a common foundation for Denotational Semantics andâ€¦ (More)