Follow
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
2221995
Quasi-metric properties of complexity spaces
S Romaguera, M Schellekens
Topology and its Applications 98 (1), 311-322, 1999
1641999
A characterization of partial metrizability: domains are quantifiable
MP Schellekens
Theoretical Computer Science 305 (1), 409-432, 2003
1502003
The correspondence between partial metrics and semivaluations
MP Schellekens
Theoretical Computer Science 315 (1), 135-149, 2004
1492004
Partial quasi-metrics
HPA Künzi, H Pajoohesh, MP Schellekens
Theoretical Computer Science 365 (3), 237-246, 2006
1352006
Partial metric monoids and semivaluation spaces
S Romaguera, M Schellekens
Topology and its Applications 153 (5), 948-962, 2005
1042005
Duality and quasi-normability for complexity spaces
S Romaguera, MP Schellekens
Applied General Topology 3 (1), 91-112, 2002
962002
On the Yoneda completion of a quasi-metric space
HP Künzi, MP Schellekens
Theoretical Computer Science 278 (1), 159-194, 2002
902002
A modular calculus for the average cost of data structuring
M Schellekens
Springer Science & Business Media, 2008
472008
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
342008
Weightable quasi-metric semigroups and semilattices
S Romaguera, M Schellekens
Electronic Notes in Theoretical Computer Science 40, 347-358, 2001
272001
On upper weightable spaces
M Schellekens
Annals of the New York Academy of Sciences 806 (1), 348-363, 1996
261996
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
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
222011
The quasi-metric of complexity convergence
S Romaguera, M Schellekens
Quaestiones Mathematicae 23 (3), 359-374, 2000
212000
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
20*2007
Complexity spaces revisited
M Schellekens
Extended Abstract, 8th Prague Topological Symp, 337-348, 1996
191996
Complexity spaces as quantitative domains of computation
S Romaguera, MP Schellekens, O Valero
Topology and its Applications 158 (7), 853-860, 2011
182011
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
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
152012
The system can't perform the operation now. Try again later.
Articles 1–20