| 2003 | ||
|---|---|---|
| 5 | Patrizio Cintioli, Riccardo Silvestri: Polynomial Time Introreducibility. Theory Comput. Syst. 36(1): 1-15 (2003) | |
| 2001 | ||
| 4 | Patrizio Cintioli, Riccardo Silvestri: The Helping Hierarchy. ITA 35(4): 367-377 (2001) | |
| 1997 | ||
| 3 | Patrizio Cintioli, Riccardo Silvestri: Revisiting a Result of Ko. Inf. Process. Lett. 61(4): 189-194 (1997) | |
| 2 | Patrizio Cintioli, Riccardo Silvestri: Helping by Unambiguous Computation and Probabilistic Computation. Theory Comput. Syst. 30(2): 165-180 (1997) | |
| 1994 | ||
| 1 | Patrizio Cintioli, Sauro Tulipani: Sigma11-Completeness of a Fragment of the Theory of Trees With Subtree Relation. Notre Dame Journal of Formal Logic 35(3): 426-432 (1994) | |
| 1 | Riccardo Silvestri | [2] [3] [4] [5] |
| 2 | Sauro Tulipani | [1] |