Linkedin

PUBLICATIONS

to

3123 Results

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]