Michel Schellekens
Title
Cited by
Cited by
Year
The Smyth completion: a common foundation for denotational semantics and complexity analysis
M Schellekens
Electronic Notes in Theoretical Computer Science 1, 535-556, 1995
2031995
Quasi-metric properties of complexity spaces
S Romaguera, M Schellekens
Topology and its Applications 98 (1), 311-322, 1999
1511999
A characterization of partial metrizability: domains are quantifiable
MP Schellekens
Theoretical Computer Science 305 (1), 409-432, 2003
1292003
The correspondence between partial metrics and semivaluations
MP Schellekens
Theoretical Computer Science 315 (1), 135-149, 2004
1212004
Partial quasi-metrics
HPA Künzi, H Pajoohesh, MP Schellekens
Theoretical Computer Science 365 (3), 237-246, 2006
1182006
Partial metric monoids and semivaluation spaces
S Romaguera, M Schellekens
Topology and its Applications 153 (5), 948-962, 2005
992005
Duality and quasi-normability for complexity spaces
S Romaguera, MP Schellekens
Applied General Topology 3 (1), 91-112, 2002
882002
On the Yoneda completion of a quasi-metric space
HP Künzi, MP Schellekens
Theoretical Computer Science 278 (1), 159-194, 2002
792002
A modular calculus for the average cost of data structuring
M Schellekens
Springer Science & Business Media, 2008
442008
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
322008
MOQA; unlocking the potential of compositional static average-case analysis
MP Schellekens
The Journal of Logic and Algebraic Programming 79 (1), 61-83, 2010
242010
Weightable quasi-metric semigroups and semilattices
S Romaguera, M Schellekens
Electronic Notes in Theoretical Computer Science 40, 347-358, 2001
232001
On upper weightable spaces
M Schellekens
Annals of the New York Academy of Sciences 806 (1), 348-363, 1996
231996
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
202011
The quasi-metric of complexity convergence
S Romaguera, M Schellekens
Quaestiones Mathematicae 23 (3), 359-374, 2000
192000
Complexity spaces as quantitative domains of computation
S Romaguera, MP Schellekens, O Valero
Topology and its Applications 158 (7), 853-860, 2011
172011
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
172009
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
172007
Complexity spaces revisited
M Schellekens
Extended Abstract, 8th Prague Topological Symp, 337-348, 1996
141996
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
132012
The system can't perform the operation now. Try again later.
Articles 1–20