Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Bruno Xavier
@article{DBLP:journals/mscs/XavierOP22, author = {Bruno Xavier and Carlos Olarte and Elaine Pimentel}, title = {A linear logic framework for multimodal logics}, journal = {Math. Struct. Comput. Sci.}, volume = {32}, number = {9}, pages = {1176--1204}, year = {2022}, url = {https://doi.org/10.1017/S0960129522000366}, doi = {10.1017/S0960129522000366}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/XavierOP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/FeltyOX21, author = {Amy P. Felty and Carlos Olarte and Bruno Xavier}, title = {A focused linear logical framework and its application to metatheory of object logics}, journal = {Math. Struct. Comput. Sci.}, volume = {31}, number = {3}, pages = {312--340}, year = {2021}, url = {https://doi.org/10.1017/S0960129521000323}, doi = {10.1017/S0960129521000323}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/FeltyOX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lsfa/OlartePX20, author = {Carlos Olarte and Elaine Pimentel and Bruno Xavier}, editor = {Cl{\'{a}}udia Nalon and Giselle Reis}, title = {A Fresh View of Linear Logic as a Logical Framework}, booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020}, series = {Electronic Notes in Theoretical Computer Science}, volume = {351}, pages = {143--165}, publisher = {Elsevier}, year = {2020}, url = {https://doi.org/10.1016/j.entcs.2020.08.008}, doi = {10.1016/J.ENTCS.2020.08.008}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lsfa/OlartePX20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/XavierORN18, author = {Bruno Xavier and Carlos Olarte and Giselle Reis and Vivek Nigam}, editor = {Sandra Alves and Renata Wasserman}, title = {Mechanizing Focused Linear Logic in Coq}, booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications, {LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017}, series = {Electronic Notes in Theoretical Computer Science}, volume = {338}, pages = {219--236}, publisher = {Elsevier}, year = {2017}, url = {https://doi.org/10.1016/j.entcs.2018.10.014}, doi = {10.1016/J.ENTCS.2018.10.014}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/XavierORN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccgrid/XavierFJ16, author = {Bruno Xavier and Tiago Ferreto and Luis Carlos Jersak}, title = {Time Provisioning Evaluation of KVM, Docker and Unikernels in a Cloud Platform}, booktitle = {{IEEE/ACM} 16th International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2016, Cartagena, Colombia, May 16-19, 2016}, pages = {277--280}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/CCGrid.2016.86}, doi = {10.1109/CCGRID.2016.86}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccgrid/XavierFJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.