Romaguera, S.; Schellekens, M. P.; Tirado, P.; Valero, O. On the domain of formal balls of the Sorgenfrey quasi-metric space. (English) Zbl 1337.54018 Topology Appl. 203, 177-187 (2016). Reviewer: Hans Peter Künzi (Rondebosch) MSC: 54E35 54H99 06B35 PDFBibTeX XMLCite \textit{S. Romaguera} et al., Topology Appl. 203, 177--187 (2016; Zbl 1337.54018) Full Text: DOI
Romaguera, S.; Schellekens, M. P.; Valero, O. The complexity space of partial functions: a connection between complexity analysis and denotational semantics. (English) Zbl 1237.68104 Int. J. Comput. Math. 88, No. 9, 1819-1829 (2011). MSC: 68Q25 54E50 68N30 68P10 68Q55 PDFBibTeX XMLCite \textit{S. Romaguera} et al., Int. J. Comput. Math. 88, No. 9, 1819--1829 (2011; Zbl 1237.68104) Full Text: DOI Link
Rodríguez-López, J.; Schellekens, M. P.; Valero, O. An extension of the dual complexity space and an application to computer science. (English) Zbl 1198.68153 Topology Appl. 156, No. 18, 3052-3061 (2009). MSC: 68Q25 54E50 54F05 PDFBibTeX XMLCite \textit{J. Rodríguez-López} et al., Topology Appl. 156, No. 18, 3052--3061 (2009; Zbl 1198.68153) Full Text: DOI
Romaguera, Salvador; Valero, Oscar On the structure of the space of complexity partial functions. (English) Zbl 1146.68376 Int. J. Comput. Math. 85, No. 3-4, 631-640 (2008). MSC: 68Q15 06F05 54E35 54E50 68W30 PDFBibTeX XMLCite \textit{S. Romaguera} and \textit{O. Valero}, Int. J. Comput. Math. 85, No. 3--4, 631--640 (2008; Zbl 1146.68376) Full Text: DOI
Rodríguez-López, J.; Romaguera, S.; Valero, O. Denotational semantics for programming languages, balanced quasi-metrics and fixed points. (English) Zbl 1146.68049 Int. J. Comput. Math. 85, No. 3-4, 623-630 (2008). MSC: 68Q55 68N15 68Q25 54E35 PDFBibTeX XMLCite \textit{J. Rodríguez-López} et al., Int. J. Comput. Math. 85, No. 3--4, 623--630 (2008; Zbl 1146.68049) Full Text: DOI HAL
Romaguera, S.; Sánchez-Pérez, E. A.; Valero, O. A characterization of generalized monotone normed cones. (English) Zbl 1133.54029 Acta Math. Sin., Engl. Ser. 23, No. 6, 1067-1074 (2007). Reviewer: H. Brandenburg (Berlin) MSC: 54H99 46A99 68Q99 PDFBibTeX XMLCite \textit{S. Romaguera} et al., Acta Math. Sin., Engl. Ser. 23, No. 6, 1067--1074 (2007; Zbl 1133.54029) Full Text: DOI
Romaguera, S.; Sapena, A.; Valero, O. Quasi-uniform isomorphisms in fuzzy quasi-metric spaces, bicompletion and D-completion. (English) Zbl 1121.54016 Acta Math. Hung. 114, No. 1-2, 49-60 (2007). MSC: 54A40 54E15 54D35 54E35 PDFBibTeX XMLCite \textit{S. Romaguera} et al., Acta Math. Hung. 114, No. 1--2, 49--60 (2007; Zbl 1121.54016) Full Text: DOI
Valero, Oscar Quotient normed cones. (English) Zbl 1125.46016 Proc. Indian Acad. Sci., Math. Sci. 116, No. 2, 175-191 (2006). MSC: 46B40 PDFBibTeX XMLCite \textit{O. Valero}, Proc. Indian Acad. Sci., Math. Sci. 116, No. 2, 175--191 (2006; Zbl 1125.46016) Full Text: DOI arXiv
Romaguera, S.; Sánchez-Pérez, E. A.; Valero, O. The complexity space of a valued linearly ordered set. (English) Zbl 1270.54035 Flynn, Sharon et al., MFCSIT 2002. Proceedings of the second Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Galway, Ireland, July 18–19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 74, 158-171 (2003). MSC: 54F05 68Q25 PDFBibTeX XMLCite \textit{S. Romaguera} et al., Electron. Notes Theor. Comput. Sci. 74, 158--171 (2003; Zbl 1270.54035) Full Text: Link
Romaguera, S.; Sánchez-Pérez, E. A.; Valero, O. Computing complexity distances between algorithms. (English) Zbl 1249.54069 Kybernetika 39, No. 5, 569-582 (2003). MSC: 54E50 54H25 54H99 68Q25 PDFBibTeX XMLCite \textit{S. Romaguera} et al., Kybernetika 39, No. 5, 569--582 (2003; Zbl 1249.54069) Full Text: EuDML Link