Nuno de Ferraz Almeida e Peixoto Machado
AuthID: R-001-TYG
1
TÃTULO: A Multiple BLE Beacon Approach for Tracking in Industrial Environments
AUTORES: Moisés Ramires; Joaquín Torres Sospedra; Joel Puga; Nuno Machado; Adriano J C Moreira; Filipe Meneses;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Indoor Positioning and Indoor Navigation, IPIN 2025 in IPIN
AUTORES: Moisés Ramires; Joaquín Torres Sospedra; Joel Puga; Nuno Machado; Adriano J C Moreira; Filipe Meneses;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Indoor Positioning and Indoor Navigation, IPIN 2025 in IPIN
2
TÃTULO: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: TAP@STAF, VOLUME: 12165 LNCS
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: TAP@STAF, VOLUME: 12165 LNCS
3
TÃTULO: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds Full Text
AUTORES: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLICAÇÃO: 2019, FONTE: SRDS
AUTORES: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLICAÇÃO: 2019, FONTE: SRDS