Research Outputs

Title Search
Publication Type
1-10 of 85 results

  • Dependable Food Traceability Data Through Blockchain and Database Integration

    David R. Matos ⸱ Conference Proceedings ⸱ 2025
    L. Preto, S. Eisa, O. Remédios, D. R. Matos and M. L. Pardal, “Dependable Food Traceability Data Through Blockchain and Database Integration,” 2025 20th European Dependable Computing Conference Companion Proceedings (EDCC-C), Lisbon, Portugal, 2025, pp. 163-167, doi: 10.1109/EDCC-C66476.2025.00050

  • ChainGuard: Verified Data Intake for a Track & Trace Blockchain

    Miguel Pardal ⸱ Conference Proceedings ⸱ 2025
    A. Avelar, S. Eisa, O. Remédios and M. L. Pardal, “ChainGuard: Verified Data Intake for a Track & Trace Blockchain,” 2025 20th European Dependable Computing Conference Companion Proceedings (EDCC-C), Lisbon, Portugal, 2025, pp. 168-173, doi: 10.1109/EDCC-C66476.2025.00051

  • Cross-Chain Arbitrage: The Next Frontier of MEV in Decentralized Finance

    Christof Torres ⸱ White Paper ⸱ 2025
    Burak Öz, Christof Ferreira Torres, Christoph Schlegel, Bruno Mazorra, Jonas Gebele, Filip Rezabek, Florian Matthes

  • Zoöp Futures: Towards an organisational framework for ecological cooperation between humans and more-than-humans

    Valentina Nisi, Mariana Pestana and Nuno Nunes ⸱ Journal ⸱ 2025
    Pedroso-Roussado, C., Kuitenbrouwer, K., Fearns, V., Pestana, M., Nisi, V., Light, A., & Nunes, N. J. (2025). Zoöp Futures: Towards an organisational framework for ecological cooperation between humans and more-than-humans. Futures, 169, 103584. https://doi.org/10.1016/j.futures.2025.103584

  • Visualizing the Ledger: Teaching Blockchain as Design Material

    Valentina Nisi and Nuno Nunes ⸱ Conference Proceedings ⸱ 2025
    Paulo Bala, Sabrina Scuri, Catia Prandi, Nuno Jardim Nunes, and Valentina Nisi. 2025. Visualizing the Ledger: Teaching Blockchain as Design Material. In Proceedings of the 16th Biannual Conference of the Italian SIGCHI Chapter (CHItaly ’25). Association for Computing Machinery, New York, NY, USA, Article 84, 1–14. https://doi.org/10.1145/3750069.3750426

  • Thread and Memory-Safe Programming with CLASS

    Luis Caires ⸱ White Paper ⸱ 2025
    Caires, L. (2025). Thread and Memory-Safe Programming with CLASS. arXiv preprint arXiv:2505.20848

  • The Express Lane to Spam and Centralization: An Empirical Analysis of Arbitrum’s Timeboost

    Christof Torres ⸱ White Paper ⸱ 2025
    Messias, J., & Torres, C.F. (2025). The Express Lane to Spam and Centralization: An Empirical Analysis of Arbitrum’s Timeboost. ArXiv, abs/2509.22143.

  • Tagus River microbial profile through nanopore sequencing on samples gathered from Prainha do Braco de Prata, Lisbon

    Mariana Pestana and Nuno Nunes ⸱ White Paper ⸱ 2025
    Pedroso-Roussado C, Pestana M, Dias R et al. Tagus River microbial profile through nanopore sequencing on samples gathered from Prainha do Braco de Prata, Lisbon [version 3; peer review: 1 approved, 2 approved with reservations]. Open Res Europe 2025, 4:155 (https://doi.org/10.12688/openreseurope.18072.3)

  • Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation

    Miguel Matos ⸱ Journal ⸱ 2025
    Ray Neiheiser, Miguel Matos, and Luis Rodrigues. 2025. Kauri: BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. ACM Trans. Comput. Syst. Just Accepted (September 2025). https://doi.org/10.1145/3769423

  • Designing with an Assembly of Many: Eden X on rivers their constituents and rights

    Mariana Pestana ⸱ Conference Proceedings ⸱ 2025
    Joana Pestana, Mariana Pestana, Miguel Carvalhais, and Nuno Jardim Nunes. 2025. Designing with an Assembly of Many: Eden X on rivers their constituents and rights. In Proceedings of the 16th Biannual Conference of the Italian SIGCHI Chapter (CHItaly ’25). Association for Computing Machinery, New York, NY, USA, Article 85, 1–14. https://doi.org/10.1145/3750069.3750443