An extension to ALGOL for manipulating formulae. - Alan J. Perlis; Renato Iturriaga (Commun. ACM, 1964)

Techniques and advantages of using the formal compiler writing system FSL to implement a Formula Algol compiler. - Renato Iturriaga; Thomas A. Standish; Rudolph A. Krutar; Jackson C. Earley (AFIPS Spring Joint Computing Conference, 1966)

The Lax-Oleinik semigroup on graphs. - Renato Iturriaga; Héctor Sánchez-Morgado (Networks Heterog. Media, 2017)

A Discrete Weak KAM Method for First-Order Stationary Mean Field Games. - Renato Iturriaga; Kaizhi Wang (SIAM J. Appl. Dyn. Syst., 2023)