An End-User Semantic Web Augmentation Tool. - Cristian Sottile; Sergio Firmenich; Diego Torres (IS-EUD, 2019)

Polymorphic System I. - Cristian F. Sottile; Alejandro Díaz-Caro; Pablo E. Martínez López (IFL, 2020)

Two Decreasing Measures for Simply Typed λ-Terms. - Pablo Barenbaum; Cristian Sottile (FSCD, 2023)

Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version). - Pablo Barenbaum; Cristian Sottile (CoRR, 2023)

Strong normalization through idempotent intersection types: a new syntactical approach. - Pablo Barenbaum; Simona Ronchi Della Rocca; Cristian Sottile (CoRR, 2025)