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