Publications (11)


  1. Towards a decentralized process for scientific publication and peer review using blockchain and IPFS

    Proceedings of the Annual Hawaii International Conference on System Sciences


  1. Open peer-to-peer systems over blockchain and IPFS: An agent oriented framework

    CRYBLOCK 2018 - Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems, Part of MobiSys 2018


  1. Finite type extensions in constraint programming

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013