The Smyth completion: a common foundation for denotational semantics and complexity analysis M Schellekens Electronic Notes in Theoretical Computer Science 1, 535-556, 1995 | 187 | 1995 |

Quasi-metric properties of complexity spaces S Romaguera, M Schellekens Topology and its Applications 98 (1), 311-322, 1999 | 141 | 1999 |

A characterization of partial metrizability: domains are quantifiable MP Schellekens Theoretical Computer Science 305 (1), 409-432, 2003 | 116 | 2003 |

The correspondence between partial metrics and semivaluations MP Schellekens Theoretical Computer Science 315 (1), 135-149, 2004 | 114 | 2004 |

Partial quasi-metrics HPA Künzi, H Pajoohesh, MP Schellekens Theoretical Computer Science 365 (3), 237-246, 2006 | 102 | 2006 |

Partial metric monoids and semivaluation spaces S Romaguera, M Schellekens Topology and its Applications 153 (5), 948-962, 2005 | 93 | 2005 |

Duality and quasi-normability for complexity spaces S Romaguera, MP Schellekens Applied General Topology 3 (1), 91-112, 2002 | 85 | 2002 |

On the Yoneda completion of a quasi-metric space HP Künzi, MP Schellekens Theoretical Computer Science 278 (1), 159-194, 2002 | 76 | 2002 |

A modular calculus for the average cost of data structuring M Schellekens Springer Science & Business Media, 2008 | 41 | 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 | 30 | 2008 |

On upper weightable spaces M Schellekens Annals of the New York Academy of Sciences 806 (1), 348-363, 1996 | 23 | 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 | 22 | 2010 |

Weightable quasi-metric semigroups and semilattices S Romaguera, M Schellekens Electronic Notes in Theoretical Computer Science 40, 347-358, 2001 | 21 | 2001 |

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 | 18 | 2011 |

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 | 16 | 2009 |

The quasi-metric of complexity convergence S Romaguera, M Schellekens Quaestiones Mathematicae 23 (3), 359-374, 2000 | 16 | 2000 |

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 | 14 | 2007 |

Process algebraic approach to SystemVerilog KL Man, M Boubekeur, MP Schellekens 2007 Canadian Conference on Electrical and Computer Engineering, 86-89, 2007 | 13 | 2007 |