Felipe Zimmerle da N. Costa

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 3

Top Topics

Version Control

Automated Theorem Proving

Software Package

Top Venues

Publications

Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz, Gustavo P. Bittencourt, Leopoldo Teixeira
Distributed Repository for Software Packages Using Blockchain. IEEE Access 10 (2022)
Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz
A Blockchain Using Proof-of-Download. Blockchain (2020)
Felipe Zimmerle da N. Costa, Ruy José Guerra Barretto de Queiroz
Capivara: A decentralized package version control using Blockchain. CoRR (2019)