Michel Schellekens
TitleCited byYear
The Smyth completion: a common foundation for denotational semantics and complexity analysis
M Schellekens
Electronic Notes in Theoretical Computer Science 1, 535-556, 1995
1871995
Quasi-metric properties of complexity spaces
S Romaguera, M Schellekens
Topology and its Applications 98 (1), 311-322, 1999
1411999
A characterization of partial metrizability: domains are quantifiable
MP Schellekens
Theoretical Computer Science 305 (1), 409-432, 2003
1162003
The correspondence between partial metrics and semivaluations
MP Schellekens
Theoretical Computer Science 315 (1), 135-149, 2004
1142004
Partial quasi-metrics
HPA Künzi, H Pajoohesh, MP Schellekens
Theoretical Computer Science 365 (3), 237-246, 2006
1022006
Partial metric monoids and semivaluation spaces
S Romaguera, M Schellekens
Topology and its Applications 153 (5), 948-962, 2005
932005
Duality and quasi-normability for complexity spaces
S Romaguera, MP Schellekens
Applied General Topology 3 (1), 91-112, 2002
852002
On the Yoneda completion of a quasi-metric space
HP Künzi, MP Schellekens
Theoretical Computer Science 278 (1), 159-194, 2002
762002
A modular calculus for the average cost of data structuring
M Schellekens
Springer Science & Business Media, 2008
412008
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
302008
On upper weightable spaces
M Schellekens
Annals of the New York Academy of Sciences 806 (1), 348-363, 1996
231996
MOQA; unlocking the potential of compositional static average-case analysis
MP Schellekens
The Journal of Logic and Algebraic Programming 79 (1), 61-83, 2010
222010
Weightable quasi-metric semigroups and semilattices
S Romaguera, M Schellekens
Electronic Notes in Theoretical Computer Science 40, 347-358, 2001
212001
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
182011
Complexity spaces as quantitative domains of computation
S Romaguera, MP Schellekens, O Valero
Topology and its Applications 158 (7), 853-860, 2011
182011
Complexity spaces revisited
M Schellekens
Extended Abstract, 8th Prague Topological Symp, 337-348, 1996
181996
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
162009
The quasi-metric of complexity convergence
S Romaguera, M Schellekens
Quaestiones Mathematicae 23 (3), 359-374, 2000
162000
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
142007
Process algebraic approach to SystemVerilog
KL Man, M Boubekeur, MP Schellekens
2007 Canadian Conference on Electrical and Computer Engineering, 86-89, 2007
132007
The system can't perform the operation now. Try again later.
Articles 1–20