| 2017 | FOSSACS | A Light Modality for Recursion. | Paula Severi |
| 2016 | Coordination | On Sessions and Infinite Data. | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini |
| 2016 | KR | Complexity of the Description Logic ALCM. | Monica Martinez, Edelweis Rohrer, Paula Severi |
| 2015 | CALCO | Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. | Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
| 2014 | FOIS | Metamodelling in a Ontology Network. | Edelweis Rohrer, Paula Severi, Regina Motz, Alicia Daz |
| 2012 | ICFP | Pure type systems with corecursion on streams: from finite to infinitary normalisation. | Paula Severi, Fer-Jan de Vries |
| 2011 | WoLLIC | Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. | Paula Severi, Fer-Jan de Vries |
| 2008 | SOFSEM | Recursive Domain Equations of Filter Models. | Fabio Alessi, Paula Severi |
| 2005 | CSL | Order Structures on Bhm-Like Models. | Paula Severi, Fer-Jan de Vries |
| 2002 | LOPSTR | An Operational Approach to Program Extraction in the Calculus of Constructions. | Maribel Fernndez, Paula Severi |
| 1994 | LFCS | Pure Type Systems with Definitions. | Paula Severi, Erik Poll |