2009 |
19 | EE | Anthony Karel Seda,
Menouer Boubekeur,
Ted Hurley,
Mícheál Mac an Airchinnigh,
Michel P. Schellekens,
Glenn Strong:
Preface.
Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009) |
18 | EE | Michel P. Schellekens:
A Random Bag Preserving Product Operation.
Electr. Notes Theor. Comput. Sci. 225: 341-360 (2009) |
17 | EE | Jacinta Townley,
Joseph Manning,
Michel P. Schellekens:
Sorting Algorithms in MOQA.
Electr. Notes Theor. Comput. Sci. 225: 391-404 (2009) |
2008 |
16 | EE | David Hickey,
Diarmuid Early,
Michel P. Schellekens:
A tool for average and worst-case execution time analysis.
WCET 2008 |
2007 |
15 | | Ka L. Man,
Michel P. Schellekens:
Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt.
IMECS 2007: 568-573 |
14 | EE | Ka Lok Man,
Andrea Fedeli,
Michele Mercaldi,
Menouer Boubekeur,
Michel P. Schellekens:
SC2SCFL: Automated SystemC to SystemCFL Translation.
SAMOS 2007: 34-45 |
2006 |
13 | EE | Anthony Karel Seda,
Ted Hurley,
Michel P. Schellekens,
Mícheál Mac an Airchinnigh,
Glenn Strong:
Preface.
Electr. Notes Theor. Comput. Sci. 161: 1-2 (2006) |
12 | EE | M. O'Keeffe,
Homeira Pajoohesh,
Michel P. Schellekens:
Decision Trees of Algorithms and a Semivaluation to Measure Their Distance.
Electr. Notes Theor. Comput. Sci. 161: 175-183 (2006) |
11 | | Michel P. Schellekens,
Rachit Agarwal,
Emanuel M. Popovici,
Ka Lok Man:
A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons.
Nord. J. Comput. 13(4): 340-346 (2006) |
10 | EE | Hans-Peter A. Künzi,
Homeira Pajoohesh,
Michel P. Schellekens:
Partial quasi-metrics.
Theor. Comput. Sci. 365(3): 237-246 (2006) |
2004 |
9 | EE | Michel P. Schellekens:
The correspondence between partial metrics and semivaluations.
Theor. Comput. Sci. 315(1): 135-149 (2004) |
2003 |
8 | EE | Michel P. Schellekens:
A characterization of partial metrizability: domains are quantifiable.
Theor. Comput. Sci. 305(1-3): 409-432 (2003) |
2002 |
7 | EE | M. O'Keeffe,
Michel P. Schellekens:
Average merge time: an intuitive interpretation.
Electr. Notes Theor. Comput. Sci. 74: (2002) |
6 | EE | M. O'Keeffe,
Salvador Romaguera,
Michel P. Schellekens:
Norm-weightable Riesz spaces and the dual complexity space.
Electr. Notes Theor. Comput. Sci. 74: (2002) |
5 | EE | Hans-Peter A. Künzi,
Michel P. Schellekens:
On the Yoneda completion of a quasi-metric space.
Theor. Comput. Sci. 278(1-2): 159-194 (2002) |
2000 |
4 | EE | Hans-Peter A. Künzi,
Michel P. Schellekens:
The ideal completion is not sequentially adequate.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
3 | EE | Salvador Romaguera,
Michel P. Schellekens:
Weightable quasi-metric semigroups and semilattices.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
1999 |
2 | | Michel P. Schellekens:
Valuations revisited.
IWFM 1999 |
1995 |
1 | EE | Michel P. Schellekens:
The Smyth completion: a common foundation for denotational semantics and complexity analysis.
Electr. Notes Theor. Comput. Sci. 1: (1995) |