The Smyth completion: a common foundation for denotational semantics and complexity analysis M Schellekens Electronic Notes in Theoretical Computer Science 1, 535-556, 1995 | 227 | 1995 |
Quasi-metric properties of complexity spaces S Romaguera, M Schellekens Topology and its Applications 98 (1), 311-322, 1999 | 164 | 1999 |
A characterization of partial metrizability: domains are quantifiable MP Schellekens Theoretical Computer Science 305 (1), 409-432, 2003 | 158 | 2003 |
The correspondence between partial metrics and semivaluations MP Schellekens Theoretical Computer Science 315 (1), 135-149, 2004 | 151 | 2004 |
Partial quasi-metrics HPA Künzi, H Pajoohesh, MP Schellekens Theoretical Computer Science 365 (3), 237-246, 2006 | 139 | 2006 |
Partial metric monoids and semivaluation spaces S Romaguera, M Schellekens Topology and its Applications 153 (5), 948-962, 2005 | 110 | 2005 |
Duality and quasi-normability for complexity spaces S Romaguera, MP Schellekens Applied General Topology 3 (1), 91-112, 2002 | 95 | 2002 |
On the Yoneda completion of a quasi-metric space HP Künzi, MP Schellekens Theoretical Computer Science 278 (1), 159-194, 2002 | 90 | 2002 |
A modular calculus for the average cost of data structuring M Schellekens Springer Science & Business Media, 2008 | 46 | 2008 |
Applications of the complexity space to the general probabilistic divide and conquer algorithms LM García-Raffi, S Romaguera, MP Schellekens Journal of Mathematical Analysis and Applications 348 (1), 346-355, 2008 | 36 | 2008 |
Weightable quasi-metric semigroups and semilattices S Romaguera, M Schellekens Electronic Notes in Theoretical Computer Science 40, 347-358, 2001 | 31 | 2001 |
On upper weightable spaces M Schellekens Annals of the New York Academy of Sciences 806 (1), 348-363, 1996 | 26 | 1996 |
MOQA; unlocking the potential of compositional static average-case analysis MP Schellekens The Journal of Logic and Algebraic Programming 79 (1), 61-83, 2010 | 25 | 2010 |
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 |
SC2SCFL: Automated SystemC to SystemC^{\ mathbb {FL}} Translation KL Man, A Fedeli, M Mercaldi, M Boubekeur, M Schellekens International Workshop on Embedded Computer Systems, 34-45, 2007 | 21* | 2007 |
The quasi-metric of complexity convergence S Romaguera, M Schellekens Quaestiones Mathematicae 23 (3), 359-374, 2000 | 20 | 2000 |
Complexity spaces as quantitative domains of computation S Romaguera, MP Schellekens, O Valero Topology and its Applications 158 (7), 853-860, 2011 | 18 | 2011 |
Complexity spaces revisited M Schellekens Extended Abstract, 8th Prague Topological Symp, 337-348, 1996 | 18 | 1996 |
A low-power pairing-based cryptographic accelerator for embedded security applications T English, M Keller, KL Man, E Popovici, M Schellekens, W Marnane 2009 IEEE International SOC Conference (SOCC), 369-372, 2009 | 17 | 2009 |
The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science MA Cerdà-Uguet, MP Schellekens, O Valero Theory of Computing Systems 50 (2), 387-399, 2012 | 15 | 2012 |