dblp.uni-trier.dewww.uni-trier.de

Michel P. Schellekens

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
19EEAnthony 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)
18EEMichel P. Schellekens: A Random Bag Preserving Product Operation. Electr. Notes Theor. Comput. Sci. 225: 341-360 (2009)
17EEJacinta Townley, Joseph Manning, Michel P. Schellekens: Sorting Algorithms in MOQA. Electr. Notes Theor. Comput. Sci. 225: 391-404 (2009)
2008
16EEDavid 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
14EEKa Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens: SC2SCFL: Automated SystemC to SystemCFL Translation. SAMOS 2007: 34-45
2006
13EEAnthony 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)
12EEM. 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)
10EEHans-Peter A. Künzi, Homeira Pajoohesh, Michel P. Schellekens: Partial quasi-metrics. Theor. Comput. Sci. 365(3): 237-246 (2006)
2004
9EEMichel P. Schellekens: The correspondence between partial metrics and semivaluations. Theor. Comput. Sci. 315(1): 135-149 (2004)
2003
8EEMichel P. Schellekens: A characterization of partial metrizability: domains are quantifiable. Theor. Comput. Sci. 305(1-3): 409-432 (2003)
2002
7EEM. O'Keeffe, Michel P. Schellekens: Average merge time: an intuitive interpretation. Electr. Notes Theor. Comput. Sci. 74: (2002)
6EEM. O'Keeffe, Salvador Romaguera, Michel P. Schellekens: Norm-weightable Riesz spaces and the dual complexity space. Electr. Notes Theor. Comput. Sci. 74: (2002)
5EEHans-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
4EEHans-Peter A. Künzi, Michel P. Schellekens: The ideal completion is not sequentially adequate. Electr. Notes Theor. Comput. Sci. 35: (2000)
3EESalvador 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
1EEMichel P. Schellekens: The Smyth completion: a common foundation for denotational semantics and complexity analysis. Electr. Notes Theor. Comput. Sci. 1: (1995)

Coauthor Index

1Rachit Agarwal [11]
2Mícheál Mac an Airchinnigh [13] [19]
3Menouer Boubekeur [14] [19]
4Diarmuid Early [16]
5Andrea Fedeli [14]
6David Hickey [16]
7Ted Hurley [13] [19]
8Hans-Peter A. Künzi [4] [5] [10]
9Ka Lok Man (Ka L. Man) [11] [14] [15]
10Joseph Manning [17]
11Michele Mercaldi [14]
12M. O'Keeffe [6] [7] [12]
13Homeira Pajoohesh [10] [12]
14Emanuel M. Popovici [11]
15Salvador Romaguera [3] [6]
16Anthony Karel Seda [13] [19]
17Glenn Strong [13] [19]
18Jacinta Townley [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)