CSV
publication icon
Cardoso R (2021) Automated Planning and BDI Agents: A Case Study in Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection - 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings
publication icon
Basso A (2023) FESTA: Fast Encryption from Supersingular Torsion Attacks in Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VII
publication icon
Basso A (2023) New SIDH Countermeasures for a More Efficient Key Exchange in Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VIII
publication icon
Neal BS (2020) Is markerless, smart phone recorded two-dimensional video a clinically useful measure of relevant lower limb kinematics in runners with patellofemoral pain? A validity and reliability study. in Physical therapy in sport : official journal of the Association of Chartered Physiotherapists in Sports Medicine
publication icon
Martin D (2016) Characterisation and Estimation of the Key Rank Distribution in the Context of Side Channel Evaluations in Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
publication icon
Cavalcanti A (2019) Testing Robots Using CSP in Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings