Search the dblp DataBase
Michel P. Schellekens :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Michel P. Schellekens Valuations revisited. [Citation Graph (0, 0)][DBLP ] IWFM, 1999, pp:- [Conf ] Hans-Peter A. Künzi , Michel P. Schellekens The ideal completion is not sequentially adequate. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal ] M. O'Keeffe , Salvador Romaguera , Michel P. Schellekens Norm-weightable Riesz spaces and the dual complexity space. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:74, n:, pp:- [Journal ] M. O'Keeffe , Michel P. Schellekens Average merge time: an intuitive interpretation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:74, n:, pp:- [Journal ] Salvador Romaguera , Michel P. Schellekens Weightable quasi-metric semigroups and semilattices. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Michel P. Schellekens The Smyth completion: a common foundation for denotational semantics and complexity analysis. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal ] M. O'Keeffe , Homeira Pajoohesh , Michel P. Schellekens Decision Trees of Algorithms and a Semivaluation to Measure Their Distance. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:175-183 [Journal ] Anthony Karel Seda , Ted Hurley , Michel P. Schellekens , Mícheál Mac an Airchinnigh , Glenn Strong Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:1-2 [Journal ] Hans-Peter A. Künzi , Homeira Pajoohesh , Michel P. Schellekens Partial quasi-metrics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:365, n:3, pp:237-246 [Journal ] Hans-Peter A. Künzi , Michel P. Schellekens On the Yoneda completion of a quasi-metric space. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:278, n:1-2, pp:159-194 [Journal ] Michel P. Schellekens A characterization of partial metrizability: domains are quantifiable. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:305, n:1-3, pp:409-432 [Journal ] Michel P. Schellekens The correspondence between partial metrics and semivaluations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:315, n:1, pp:135-149 [Journal ] Ka Lok Man , Andrea Fedeli , Michele Mercaldi , Menouer Boubekeur , Michel P. Schellekens SC2SCFL: Automated SystemC to SystemCFL Translation. [Citation Graph (0, 0)][DBLP ] SAMOS, 2007, pp:34-45 [Conf ] Reversible online BIST using bidirectional BILBO. [Citation Graph (, )][DBLP ] Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. [Citation Graph (, )][DBLP ] A tool for average and worst-case execution time analysis. [Citation Graph (, )][DBLP ] Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. [Citation Graph (, )][DBLP ] Sorting Algorithms in MOQA. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] A Random Bag Preserving Product Operation. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs