Bruno Xavier

According to our database, Bruno Xavier authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A linear logic framework for multimodal logics.

Bruno Xavier, Carlos Olarte, Elaine Pimentel

Math. Struct. Comput. Sci., October, 2022

2021

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

2020

A Fresh View of Linear Logic as a Logical Framework.

Carlos Olarte, Elaine Pimentel, Bruno Xavier

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2017

Mechanizing Focused Linear Logic in Coq.

Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2016

Time Provisioning Evaluation of KVM, Docker and Unikernels in a Cloud Platform.

Bruno Xavier, Tiago Ferreto, Luis Carlos Jersak

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016