TY - JOUR AU - Nastasi, Antonella AU - Vetro, Pasquale PY - 2015 TI - Fixed point results on metric and partial metric spaces via simulation functions JO - Journal of Nonlinear Sciences and Applications SP - 1059--1069 VL - 8 IS - 6 AB - We prove existence and uniqueness of fixed point, by using a simulation function and a lower semi-continuous function in the setting of metric space. As consequences of this study, we deduce several related fixed point results, in metric and partial metric spaces. An example is given to support the new theory. SN - ISSN 2008-1901 UR - http://dx.doi.org/10.22436/jnsa.008.06.16 DO - 10.22436/jnsa.008.06.16 ID - Nastasi2015 ER - TY - JOUR TI - Nonlinear contractions involving simulation functions in a metric space with a partial order AU - H. Argoubi AU - B. Samet AU - C. Vetro JO - submitted PY - DA - // VL - ID - Argoubi ER - TY - JOUR TI - Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales AU - S. Banach JO - Fund. Math. PY - 1922 DA - 1922// VL - 3 ID - Banach1922 ER - TY - JOUR TI - Generalized contractions in quasimetric spaces AU - V. Berinde JO - Seminar on Fixed Point Theory, Babe-Bolyai Univ. Cluj-Napoca PY - 1993 DA - 1993// VL - 3 ID - Berinde1993 ER - TY - JOUR TI - On nonlinear contractions AU - D. W. Boyd AU - J. S. W. Wong JO - Proc. Amer. Math. Soc. PY - 1969 DA - 1969// VL - 20 ID - Boyd1969 ER - TY - JOUR TI - Towards computing distances between programs via Scott domains AU - M. A. Bukatin AU - J. S. Scott JO - Logical Foundations of Computer Science, Lecture Notes in Compt. Sci. Springer Berlin PY - 1997 DA - 1997// VL - 1234 ID - Bukatin1997 ER - TY - JOUR TI - Partial metrics and co-continuous valuations AU - M. A. Bukatin AU - S. Y. Shorina JO - Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science (ed. M. Nivat), Springer Berlin PY - 1998 DA - 1998// VL - 1378 ID - Bukatin1998 ER - TY - JOUR TI - Common fixed point theorems for families of occasionally weakly compatible mappings AU - L. Ćirić AU - B. Samet AU - C. Vetro JO - Math. Comput. Modelling PY - 2011 DA - 2011// VL - 53 ID - Ćirić2011 ER - TY - JOUR TI - Fixed point results for weak contractive mappings in ordered K-metric spaces AU - L. Ćirić AU - B. Samet AU - C. Vetro AU - M. Abbas JO - Fixed Point Theory PY - 2012 DA - 2012// VL - 13 ID - Ćirić2012 ER - TY - JOUR TI - Fixed point results on metric-type spaces AU - M. Cosentino AU - P. Salimi AU - P. Vetro JO - Acta Math. Sci. Ser. B Engl. Ed. PY - 2014 DA - 2014// VL - 34 ID - Cosentino2014 ER - TY - JOUR TI - A new approach to the study of fixed point theorems via simulation functions AU - F. Khojasteh AU - S. Shukla AU - S. Radenović JO - Filomat PY - 2014 DA - 2014// VL - ID - Khojasteh2014 ER - TY - JOUR TI - Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces AU - V. Lakshmikantham AU - L. Ćirić JO - Nonlinear Anal. PY - 2009 DA - 2009// VL - 70 ID - Lakshmikantham2009 ER - TY - JOUR TI - Partial metric topology AU - S. G. Matthews JO - Proc. 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. PY - 1994 DA - 1994// VL - 728 ID - Matthews1994 ER - TY - JOUR TI - Partial metrics, valuations and domain theory AU - S. J. O'Neill JO - Conference on General Topology and Applications, Ann. New York Acad. Sci. PY - 1996 DA - 1996// VL - 806 ID - O'Neill 1996 ER - TY - JOUR TI - Banach's fixed point theorem for partial metric spaces AU - S. Oltra AU - O. Valero JO - Rend. Istit. Mat. Univ. Trieste PY - 2006 DA - 2006// VL - 36 ID - Oltra2006 ER - TY - JOUR TI - Suzuki's type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces AU - D. Paesano AU - P. Vetro JO - Topology Appl. PY - 2012 DA - 2012// VL - 159 ID - Paesano2012 ER - TY - JOUR TI - A Kirk type characterization of completeness for partial metric spaces AU - S. Romaguera JO - Fixed Point Theory Appl. PY - 2010 DA - 2010// VL - 2010 ID - Romaguera 2010 ER - TY - JOUR TI - Partial metric monoids and semivaluation spaces AU - S. Romaguera AU - M. Schellekens JO - Topology Appl. PY - 2005 DA - 2005// VL - 153 ID - Romaguera2005 ER - TY - JOUR TI - Two Results in Metric Fixed Point Theory AU - D. Reem AU - S. Reich AU - A. J. Zaslavski JO - J. Fixed Point Theory Appl. PY - 2007 DA - 2007// VL - 1 ID - Reem2007 ER - TY - JOUR TI - Fixed points of contractive functions AU - S. Reich JO - Boll. Un. Mat. Ital. PY - 1972 DA - 1972// VL - 5 ID - Reich1972 ER - TY - JOUR TI - A Fixed Point Theorem for Matkowski Contractions AU - S. Reich AU - A. J. Zaslavski JO - Fixed Point Theory PY - 2007 DA - 2007// VL - 8 ID - Reich2007 ER - TY - JOUR TI - A Note on Rakotch contraction AU - S. Reich AU - A. J. Zaslavski JO - Fixed Point Theory PY - 2008 DA - 2008// VL - 9 ID - Reich2008 ER - TY - JOUR TI - Some theorems on weakly contractive maps AU - B. E. Rhoades JO - Nonlinear Anal. PY - 2001 DA - 2001// VL - 47 ID - Rhoades2001 ER - TY - JOUR TI - Coincidence point theorems on metric spaces via simulation functions AU - A. Roldán AU - E. Karapinar AU - C. Roldán AU - J. Martínez-Moreno JO - J. Comput. Appl. Math. PY - 2015 DA - 2015// VL - 275 ID - Roldán2015 ER - TY - BOOK TI - Generalized Contractions and Applications AU - I. A. Rus PB - Cluj University Press PY - 2001 DA - 2001// CY - Cluj-Napoca ID - Rus2001 ER - TY - BOOK TI - Fixed Point Theory AU - I. A. Rus AU - A. Petruşel AU - G. Petruşel PB - Cluj University Press PY - 2008 DA - 2008// CY - Cluj-Napoca ID - Rus2008 ER - TY - JOUR TI - From metric spaces to partial metric spaces AU - B. Samet AU - C. Vetro AU - F. Vetro JO - Fixed Point Theory Appl. PY - 2013 DA - 2013// VL - 2013 ID - Samet2013 ER - TY - JOUR TI - Common fixed points of mappings satisfying implicit relations in partial metric spaces AU - C. Vetro AU - F. Vetro JO - J. Nonlinear Sci. Appl. PY - 2013 DA - 2013// VL - 6 ID - Vetro2013 ER - TY - JOUR TI - Metric or partial metric spaces endowed with a finite number of graphs: a tool to obtain fixed point results AU - C. Vetro AU - F. Vetro JO - Topology Appl. PY - 2014 DA - 2014// VL - 164 ID - Vetro2014 ER -