Stephen J. Bellantoni

Ranking Primitive Recursions: The Low Grzegorczyk Classes Revisited

Karl-Heinz Niggl, Stephen J. Bellantoni, S. Bellantoni, 1999, SIAM J. Comput..

Higher type recursion, ramification and polynomial time

Helmut Schwichtenberg, Karl-Heinz Niggl, Stephen J. Bellantoni, 2000, Ann. Pure Appl. Log..

Ranking arithmetic proofs by implicit ramification

Stephen J. Bellantoni, 1996, Proof Complexity and Feasible Arithmetics.

Parallel random access machines with bounded memory wordsize

Stephen J. Bellantoni, S. Bellantoni, 1991 .

Parallel RAMs with bounded memory wordsize

Stephen J. Bellantoni, S. Bellantoni, 1989, SPAA '89.