Linkedin

PUBLICATIONS

to

3139 Results

Rúben BarreiroWalter O KrawecPaulo MateusNikola PaunkovićAndré Nuno SoutoSemi-quantum conference key agreement with GHZ-type states. Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2025 [Biblios]
Diogo AgostinhoNikhil TulcidasMiracle AniakorHugo MirandaPedro M. FerreiraAna RespicioQuality 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 CanelasBradley SchmerlAlcides FonsecaChristopher S. TimperleyROSpec: 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 MaheriHamed HaddadiAlex DavidsonTeleSparse: 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 BastosLuís CorreiaFrom 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]