A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. - Fernando A. F. Braz; João Amaral; Bruno Ferreira 001; Jader S. Cruz; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (BSB, 2013)

Accelerating differential power analysis on heterogeneous systems. - João Amaral; Francesco Regazzoni 001; Pedro Tomás; Ricardo Chaves (WESS, 2014)

Meet SmartWalk, Smart Cities for Active Seniors. - Mário Rodrigues; Rita Santos; Alexandra Queirós; Anabela G. Silva; João Amaral; Luís Jorge Gonçaves; António Pereira 001; Nelson Pacheco da Rocha (TISHW, 2018)

Customized Walk Paths for the Elderly. - João Amaral; Mário Rodrigues; Luís Jorge Gonçaves; Cláudio Teixeira (ICITS, 2019)

Security-Oriented Architecture for Managing IoT Deployments. - André Zúquete; Hélder Gomes; João Amaral; Carlos Oliveira (Symmetry, 2019)

Mobile Applications in Support and Monitoring of Alzheimer's Patients. - Paulo Arede; Mário Rodrigues; João Amaral; Nelson Pacheco da Rocha (WorldCIST (1), 2022)

Autonomous Shuttle Integrated in a Communication and Sensing City Infrastructure. - João Amaral; João Viegas; Bruno Lemos; Pedro Almeida; Rodrigo Rosmaninho; Gonçalo Perna; Pedro Rito; Susana Sargento (MOST, 2023)

Cooperative V2X Communications and Sensing for Autonomous Mobility. - João Amaral; Andreia Figueiredo; Pedro Rito; Susana Sargento (MOST, 2025)

Demo: Cooperative V2X Communications and Sensing for Autonomous Mobility. - João Amaral; Andreia Figueiredo; Pedro Rito; Susana Sargento (MOST, 2025)

Demo: Integrating V2X Communications and Infrastructure Sensing with Autonomous Mobility. - João Amaral; Andreia Figueiredo; Pedro Rito; Susana Sargento (VNC, 2025)