Concepedia

Michel Schellekens

MS

Statistics

Publications

19

Citations

953

H-Index

14

Active since

1995

Affiliations

Universitat Politècnica de València(Current)

National University of Ireland

University College Cork

Universitat de les Illes Balears

Imperial College London

Michel Schellekens is an author at Universitat Politècnica de València specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputational ComplexityComputer ScienceFunctional AnalysisComplexityFormal MethodsProgram AnalysisTheory Of ComputingSoftware AnalysisAutomated Reasoning

Publications per year

1995–2011

19

Publications

19

The Smyth Completion

Michel Schellekens · Electronic Notes in Theoretical Computer Science · 1995 · 131 citations · Full text

Quasi-metric properties of complexity spaces

Salvador Romaguera, Michel Schellekens · Topology and its Applications · 1999 · 121 citations

Computational Complexity Theory, Engineering, Abstract Complexity +5

The correspondence between partial metrics and semivaluations

Michel Schellekens · Theoretical Computer Science · 2003 · 110 citations

Topological Semigroups, Partial Metrics, Global Analysis +2

A characterization of partial metrizability: domains are quantifiable

Michel Schellekens · Theoretical Computer Science · 2003 · 97 citations

Engineering, Domain Theory, Automated Reasoning +5

Partial metric monoids and semivaluation spaces

Salvador Romaguera, Michel Schellekens · Topology and its Applications · 2005 · 86 citations

Topological Semigroups, Partial Metric Monoids, Set-theoretic Topology +2

1–5 of 19