João Manuel dos Santos Lourenço
AuthID: R-000-742
1
TITLE: Multimodal Search and Visualisation of Movies Based on Emotions Along Time in As Movies Go By
AUTHORS: Francisco Caldeira; João Lourenço; Teresa Chambel;
PUBLISHED: 2025, SOURCE: SN Comput. Sci., VOLUME: 6, ISSUE: 3
AUTHORS: Francisco Caldeira; João Lourenço; Teresa Chambel;
PUBLISHED: 2025, SOURCE: SN Comput. Sci., VOLUME: 6, ISSUE: 3
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP2
TITLE: WFANS: Simulating Wi-Fi Aware Interactions with Android API Fidelity
AUTHORS: Tomas, Joao; Delgado, Pedro Miguel; Teofilo, Antonio; Paulino, Herve; Lourenco, Joao M.;
PUBLISHED: 2025, SOURCE: 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
AUTHORS: Tomas, Joao; Delgado, Pedro Miguel; Teofilo, Antonio; Paulino, Herve; Lourenco, Joao M.;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: 
WOS DBLP
WOS DBLP IN MY: DBLP
DBLP3
TITLE: Dynamic Membership Management and Data Sharding in Edge-Enabled Publish/Subscribe Systems
AUTHORS: Jaime Saramago; João A Silva; Hervé Paulino; João M Lourenço;
PUBLISHED: 2025, SOURCE: NCA
AUTHORS: Jaime Saramago; João A Silva; Hervé Paulino; João M Lourenço;
PUBLISHED: 2025, SOURCE: NCA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Parsley's Group Size Study
AUTHORS: João A Silva; Hervé Paulino; João M Lourenço;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.21348
AUTHORS: João A Silva; Hervé Paulino; João M Lourenço;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.21348
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Monitoring of spatio-temporal properties with nonlinear SAT solvers Full Text
AUTHORS: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 2
AUTHORS: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 2
6
TITLE: FLeeC: a Fast Lock-Free Application Cache
AUTHORS: André J Costa; Nuno M Preguiça ; João M Lourenço;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2406.09428
AUTHORS: André J Costa; Nuno M Preguiça ; João M Lourenço;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2406.09428
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
AUTHORS: 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;
PUBLISHED: 2019, SOURCE: Formal Methods Syst. Des., VOLUME: 55, ISSUE: 1
AUTHORS: 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;
PUBLISHED: 2019, SOURCE: Formal Methods Syst. Des., VOLUME: 55, ISSUE: 1
8
TITLE: GOCRGO and GOGO. Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking
AUTHORS: António Teófilo; Diogo Remédios; João M Lourenço; Hervé Paulino;
PUBLISHED: 2017, SOURCE: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
AUTHORS: António Teófilo; Diogo Remédios; João M Lourenço; Hervé Paulino;
PUBLISHED: 2017, SOURCE: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
9
TITLE: Pot. Deterministic Transactional Execution
AUTHORS: Tiago M Vale; João A Silva; Ricardo J Dias; João M Lourenço;
PUBLISHED: 2016, SOURCE: ACM Transactions on Architecture and Code Optimization, VOLUME: 13, ISSUE: 4
AUTHORS: Tiago M Vale; João A Silva; Ricardo J Dias; João M Lourenço;
PUBLISHED: 2016, SOURCE: ACM Transactions on Architecture and Code Optimization, VOLUME: 13, ISSUE: 4
10
TITLE: Special issue on testing, analysis and debugging of concurrent programs Full Text
AUTHORS: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLISHED: 2015, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, ISSUE: 3
AUTHORS: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLISHED: 2015, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, ISSUE: 3
