João Manuel dos Santos Lourenço
AuthID: R-000-742
1
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
DBLP2
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
3
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
DBLP4
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
5
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
6
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
7
TÃTULO: On the generation and selection of solutions to multiple response problems
AUTORES: Costa, NR; Lourenco, J;
PUBLICAÇÃO: 2015, FONTE: International Journal of Industrial and Systems Engineering, VOLUME: 20, NÚMERO: 4
AUTORES: Costa, NR; Lourenco, J;
PUBLICAÇÃO: 2015, FONTE: International Journal of Industrial and Systems Engineering, VOLUME: 20, NÚMERO: 4
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef8
TÃTULO: Group-to-group bidirectional Wi-Fi direct communication with two relay nodes
AUTORES: Teófilo, A; Remédios, D; Paulino, H; Lourenço, J;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 in Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015
AUTORES: Teófilo, A; Remédios, D; Paulino, H; Lourenço, J;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 in Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID9
TÃTULO: Decentralized storage for networks of hand-held devices
AUTORES: Monteiro, R; Silva, J; Lourenço, J; Paulino, H;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 in Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015
AUTORES: Monteiro, R; Silva, J; Lourenço, J; Paulino, H;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 in Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID10
TÃTULO: Special Track on Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT)
AUTORES: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLICAÇÃO: 2015, FONTE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
AUTORES: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLICAÇÃO: 2015, FONTE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID