Michel P. Schellekens - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2013

Running time of the Treapsort algorithmDiarmuid Early, Michel P. Schellekens. TCS, 487:65-73, 2013. [doi]

2012

2011

Design of a Low Power, Sub-Threshold, Asynchronous Arithmetic Logic Unit Using a Bidirectional AdderJiaoyan Chen, Dilip P. Vasudevan, Emanuel M. Popovici, Michel P. Schellekens. dsd 2011: 301-308 [doi]

Static Average Case Analysis Fork-Join Framework Programs Based on MOQA MethodAng Gao, Kenneth Rea, Michel P. Schellekens. parelec 2011: 1-6 [doi]

Eliminating implicit dependencies in component modelsWouter Horré, Danny Hughes, Ka Lok Man, Steven Guan, Binbin Qian, Tianlin Yu, Haofan Zhang, Zhun Shen, Michel P. Schellekens, Steve Hollands. nesea 2011: 1-6 [doi]

Timing-Driven Power Optimisation and Power-Driven Timing Optimisation of Combinational CircuitsRashmi Mehrotra, Tom English, Michel P. Schellekens, Steve Hollands, Emanuel M. Popovici. jolpe, 7(3):364-380, 2011. [doi]

The complexity space of partial functions: a connection between complexity analysis and denotational semanticsSalvador Romaguera, Michel P. Schellekens, Oscar Valero. ijcm, 88(9):1819-1829, 2011. [doi]

2010

Design and analysis of a novel 8T SRAM cell for adiabatic and non-adiabatic operationsJiaoyan Chen, Dilip P. Vasudevan, Emanuel M. Popovici, Michel P. Schellekens, Peter Gillen. icecsys 2010: 434-437 [doi]

Reversible online BIST using bidirectional BILBOJiaoyan Chen, Dilip P. Vasudevan, Emanuel M. Popovici, Michel P. Schellekens. cf 2010: 257-266 [doi]

Delay dependent power optimisation of combinational circuits using AND-Inverter graphsRashmi Mehrotra, Tom English, Emanuel M. Popovici, Michel P. Schellekens. socc 2010: 9-14 [doi]

MO2A; unlocking the potential of compositional static average-case analysisMichel P. Schellekens. jlp, 79(1):61-83, 2010. [doi]

Static Average Case Power Estimation Technique for Block CiphersTingcong Ye, Dilip P. Vasudevan, Jiaoyan Chen, Emanuel M. Popovici, Michel P. Schellekens. dsd 2010: 689-696 [doi]

2009

2008

HotSpot: Visualizing dynamic power consumption in RTL designsTom English, Ka Lok Man, Emanuel M. Popovici, Michel P. Schellekens. ewdts 2008: 45-48 [doi]

A tool for average and worst-case execution time analysisDavid Hickey, Diarmuid Early, Michel P. Schellekens. wcet 2008: [doi]

A modular calculus for the average cost of data structuringMichel P. Schellekens. Springer, 2008. [doi]

2007

2006

2004

The correspondence between partial metrics and semivaluationsMichel P. Schellekens. TCS, 315(1):135-149, 2004. [doi]

2003

A characterization of partial metrizability: domains are quantifiableMichel P. Schellekens. TCS, 305(1-3):409-432, 2003. [doi]

2002

Average merge time: an intuitive interpretationM. O Keeffe, Michel P. Schellekens. ENTCS, 74:122-133, 2002. [doi]

Norm-weightable Riesz spaces and the dual complexity spaceM. O Keeffe, Salvador Romaguera, Michel P. Schellekens. ENTCS, 74:105-121, 2002. [doi]

On the Yoneda completion of a quasi-metric spaceHans-Peter A. Künzi, Michel P. Schellekens. TCS, 278(1-2):159-194, 2002. [doi]

2000

The ideal completion is not sequentially adequateHans-Peter A. Künzi, Michel P. Schellekens. ENTCS, 35:87-93, 2000. [doi]

Weightable quasi-metric semigroups and semilatticesSalvador Romaguera, Michel P. Schellekens. ENTCS, 40:347-358, 2000. [doi]

1999

Valuations revisitedMichel P. Schellekens. iwfm 1999:

1995

The Smyth completion: a common foundation for denotational semantics and complexity analysisMichel P. Schellekens. ENTCS, 1:535-556, 1995. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Michel P. Schellekens'

Viewing Publication 1 - 39 from 39

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2000

1999

1995

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Michel P. Schellekens'

Viewing Publication 1 - 39 from 39

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2000

1999

1995

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1