Verification of Embedded Software: Problems and Perspectives
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Tighter constant-factor time hierarchies
Information Processing Letters
Graph properties checkable in linear time in the number of vertices
Journal of Computer and System Sciences
Automated higher-order complexity analysis
Theoretical Computer Science - Implicit computational complexity
A Precise Version of a Time Hierarchy Theorem
Fundamenta Informaticae
| Hi-index | 0.00 |