Time Provisioning Evaluation of KVM, Docker and Unikernels in a Cloud Platform. - Bruno Xavier; Tiago Ferreto; Luis Carlos Jersak (CCGrid, 2016)

Mechanizing Focused Linear Logic in Coq. - Bruno Xavier; Carlos Olarte; Giselle Reis; Vivek Nigam (LSFA, 2017)

A Fresh View of Linear Logic as a Logical Framework. - Carlos Olarte; Elaine Pimentel; Bruno Xavier (LSFA, 2020)

A focused linear logical framework and its application to metatheory of object logics. - Amy P. Felty; Carlos Olarte; Bruno Xavier (Math. Struct. Comput. Sci., 2021)

A linear logic framework for multimodal logics. - Bruno Xavier; Carlos Olarte; Elaine Pimentel (Math. Struct. Comput. Sci., 2022)