Linkedin

PUBLICATIONS

to

3142 Results

Rúben Barreiro, Walter O Krawec, Paulo Mateus, Nikola Paunković, André Nuno Souto. Semi-quantum conference key agreement with GHZ-type states. Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2025 [Biblios]
Diogo Agostinho, Nikhil Tulcidas, Miracle Aniakor, Hugo Miranda, Pedro M. Ferreira, Ana Respicio. Quality Threat Intelligence to Enhance Cyber Security in the Public Administration. In 2025 23rd International Symposium on Network Computing and Applications (NCA), pages 326-327. IEEE, 2025 [Biblios]
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley. ROSpec: A Domain-Specific Language for ROS-Based Robot Software. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):3313-3341, Association for Computing Machinery (ACM), 2025 [Biblios]
Mohammad M Maheri, Hamed Haddadi, Alex Davidson. TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks. In Proceedings on Privacy Enhancing Technologies, pages 861-880(4). Privacy Enhancing Technologies Symposium Advisory Board, 2025 [Biblios]
Hélder Bastos, Luís Correia. From Homeostatic Principles to Discrete Emotions in an Agent Architecture – The HOmeostatic Regulation Architecture (HORA). In Lecture Notes in Computer Science,Progress in Artificial Intelligence, pages 400-412. Springer Nature Switzerland, 2025 [Biblios]