João Manuel dos Santos Lourenço
AuthID: R-000-742
1
TÃTULO: Multimodal Search and Visualisation of Movies Based on Emotions Along Time in As Movies Go By
AUTORES: Francisco Caldeira; João Lourenço; Teresa Chambel;
PUBLICAÇÃO: 2025, FONTE: SN Comput. Sci., VOLUME: 6, NÚMERO: 3
AUTORES: Francisco Caldeira; João Lourenço; Teresa Chambel;
PUBLICAÇÃO: 2025, FONTE: SN Comput. Sci., VOLUME: 6, NÚMERO: 3
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: DBLP
DBLP2
TÃTULO: WFANS: Simulating Wi-Fi Aware Interactions with Android API Fidelity
AUTORES: Tomas, Joao; Delgado, Pedro Miguel; Teofilo, Antonio; Paulino, Herve; Lourenco, Joao M.;
PUBLICAÇÃO: 2025, FONTE: 27th International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems-MSWIM in 2025 INTERNATIONAL CONFERENCE ON MODELING, ANALYSIS AND SIMULATION OF WIRELESS AND MOBILE SYSTEMS, MSWIM
AUTORES: Tomas, Joao; Delgado, Pedro Miguel; Teofilo, Antonio; Paulino, Herve; Lourenco, Joao M.;
PUBLICAÇÃO: 2025, FONTE: 27th International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems-MSWIM in 2025 INTERNATIONAL CONFERENCE ON MODELING, ANALYSIS AND SIMULATION OF WIRELESS AND MOBILE SYSTEMS, MSWIM
INDEXADO EM: 
WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP3
TÃTULO: Dynamic Membership Management and Data Sharding in Edge-Enabled Publish/Subscribe Systems
AUTORES: Jaime Saramago; João A Silva; Hervé Paulino; João M Lourenço;
PUBLICAÇÃO: 2025, FONTE: NCA
AUTORES: Jaime Saramago; João A Silva; Hervé Paulino; João M Lourenço;
PUBLICAÇÃO: 2025, FONTE: NCA
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP4
TÃTULO: Parsley's Group Size Study
AUTORES: João A Silva; Hervé Paulino; João M Lourenço;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.21348
AUTORES: João A Silva; Hervé Paulino; João M Lourenço;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.21348
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Monitoring of spatio-temporal properties with nonlinear SAT solvers Full Text
AUTORES: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 2
AUTORES: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 2
6
TÃTULO: FLeeC: a Fast Lock-Free Application Cache
AUTORES: André J Costa; Nuno M Preguiça ; João M Lourenço;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2406.09428
AUTORES: André J Costa; Nuno M Preguiça ; João M Lourenço;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2406.09428
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
AUTORES: César Sánchez; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M Lourenço; Dejan Nickovic; Gordon J Pace; José Rufino; Julien Signoles; Dmitriy Traytel; Alexander Weiss;
PUBLICAÇÃO: 2019, FONTE: Formal Methods Syst. Des., VOLUME: 55, NÚMERO: 1
AUTORES: César Sánchez; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M Lourenço; Dejan Nickovic; Gordon J Pace; José Rufino; Julien Signoles; Dmitriy Traytel; Alexander Weiss;
PUBLICAÇÃO: 2019, FONTE: Formal Methods Syst. Des., VOLUME: 55, NÚMERO: 1
8
TÃTULO: GOCRGO and GOGO. Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking
AUTORES: António Teófilo; Diogo Remédios; João M Lourenço; Hervé Paulino;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
AUTORES: António Teófilo; Diogo Remédios; João M Lourenço; Hervé Paulino;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
9
TÃTULO: Pot. Deterministic Transactional Execution
AUTORES: Tiago M Vale; João A Silva; Ricardo J Dias; João M Lourenço;
PUBLICAÇÃO: 2016, FONTE: ACM Transactions on Architecture and Code Optimization, VOLUME: 13, NÚMERO: 4
AUTORES: Tiago M Vale; João A Silva; Ricardo J Dias; João M Lourenço;
PUBLICAÇÃO: 2016, FONTE: ACM Transactions on Architecture and Code Optimization, VOLUME: 13, NÚMERO: 4
10
TÃTULO: Special issue on testing, analysis and debugging of concurrent programs Full Text
AUTORES: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, NÚMERO: 3
AUTORES: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, NÚMERO: 3
