On the isolation of the roots of a non-linear operator
Characterizations of some tape and time complexity classes of turing machines in terms of multihead and auxiliary stack automata
Abstract computational complexity and cycling computations
Extensions of asynchronous circuits and the delay problem. Part II: Spike-free extensions and the delay problem of the second kind
A computational approach to the maximum principle