Research Outputs

Title Search
Publication Type
1-10 of 88 results

  • HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection.

    Miguel Matos ⸱ Conference Proceedings ⸱ 2025
    João Oliveira, João Gonçalves, and Miguel Matos. 2025. HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection. In Proceedings of the Twentieth European Conference on Computer Systems (EuroSys ’25). Association for Computing Machinery, New York, NY, USA, 1092–1108. https://doi.org/10.1145/3689031.3717477

  • Data Sharing for Common Purpose: Policy Frameworks and Implications post Covid-19

    Catherine Mulligan ⸱ Conference Proceedings ⸱ 2021
    Mulligan, C., Bella, K., & Hewett, N. (2021, Agosto 17). Data Sharing for Common Purpose: Policy Frameworks and Implications post Covid-19.

  • Eden X: A More-than-Human Assembly about Rivers, Their Constituents and Rights

    Mariana Pestana ⸱ Conference Proceedings ⸱ 2024
    Pestana, Mariana; Pestana, Joana (2024) Eden X: A More-than-Human Assembly about Rivers, Their Constituents and Rights. 12th Conference on Computation, Communication, Aesthetics & X Fabrica, Treviso, Italy.

  • 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.