Linkedin

PUBLICATIONS

to

3477 Results

Hélder Bastos, Luís Correia. Homeostatic Reward by Viability Zones. In Lecture Notes in Computer Science, pages 28-39. Springer Nature Switzerland, 2026 [Biblius]
Catarina Gamboa, Paulo Canelas, Ricardo Costa, Márcio Caetano, Jonathan Aldrich, Alcides Fonseca. Barista: Synthesizing Typestate Specifications with LLM Agents. In Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering, pages 1221-1233. ACM, 2026 [Biblius]
Alysson Bessani, Miguel Correia, Tobias Distler, Rudiger Kapitza, Paulo Esteves-Verissimo, Jiangshan Yu. Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols. IEEE Transactions on Computers, 75(10):3750-3758, Institute of Electrical and Electronics Engineers (IEEE), 2026 [Biblius]