# Michel P. Schellekens

Affiliations:- University College Cork, Department of Computer Science, Ireland

According to our database

Collaborative distances:

^{1}, Michel P. Schellekens authored at least 41 papers between 1995 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2020

CoRR, 2020

2015

A Machine Learning Approach to Predicting the Smoothed Complexity of Sorting Algorithms.

CoRR, 2015

2014

Appl. Categorical Struct., 2014

2013

Theor. Comput. Sci., 2013

2012

The Baire Partial Quasi-Metric Space: A Mathematical Tool for Asymptotic Complexity Analysis in Computer Science.

Theory Comput. Syst., 2012

J. Low Power Electron., 2012

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Proceedings of the 18th IEEE International Symposium on Asynchronous Circuits and Systems, 2012

2011

Timing-Driven Power Optimisation and Power-Driven Timing Optimisation of Combinational Circuits.

J. Low Power Electron., 2011

The complexity space of partial functions: a connection between complexity analysis and denotational semantics.

Int. J. Comput. Math., 2011

Proceedings of the Sixth International Symposium on Parallel Computing in Electrical Engineering (PARELEC 2011), 2011

Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011

Design of a Low Power, Sub-Threshold, Asynchronous Arithmetic Logic Unit Using a Bidirectional Adder.

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

J. Log. Algebraic Methods Program., 2010

Delay dependent power optimisation of combinational circuits using AND-Inverter graphs.

Proceedings of the Annual IEEE International SoC Conference, SoCC 2010, 2010

Design and analysis of a novel 8T SRAM cell for adiabatic and non-adiabatic operations.

Proceedings of the 17th IEEE International Conference on Electronics, 2010

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Proceedings of the 7th Conference on Computing Frontiers, 2010

2009

A low-power pairing-based cryptographic accelerator for embedded security applications.

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

2008

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Proceedings of the 2008 East-West Design & Test Symposium, 2008

Springer, ISBN: 978-0-387-73383-8, 2008

2007

Eng. Lett., 2007

Proceedings of the Embedded Computer Systems: Architectures, 2007

Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits.

Proceedings of the 14th IEEE International Conference on Electronics, 2007

2006

Theor. Comput. Sci., 2006

A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons.

Nord. J. Comput., 2006

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2004

Theor. Comput. Sci., 2004

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

2003

Theor. Comput. Sci., 2003

2002

Theor. Comput. Sci., 2002

Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002

2000

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

1998

Proceedings of the Workshop on Domains IV 1998, 1998

1995

The Smyth completion: a common foundation for denotational semantics and complexity analysis.

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995