João Manuel dos Santos Lourenço
AuthID: R-000-742
1
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
DBLP2
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
3
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
DBLP4
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
5
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
6
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
7
TITLE: On the generation and selection of solutions to multiple response problems
AUTHORS: Costa, NR; Lourenco, J;
PUBLISHED: 2015, SOURCE: International Journal of Industrial and Systems Engineering, VOLUME: 20, ISSUE: 4
AUTHORS: Costa, NR; Lourenco, J;
PUBLISHED: 2015, SOURCE: International Journal of Industrial and Systems Engineering, VOLUME: 20, ISSUE: 4
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef8
TITLE: Group-to-group bidirectional Wi-Fi direct communication with two relay nodes
AUTHORS: Teófilo, A; Remédios, D; Paulino, H; Lourenço, J;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Teófilo, A; Remédios, D; Paulino, H; Lourenço, J;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID9
TITLE: Decentralized storage for networks of hand-held devices
AUTHORS: Monteiro, R; Silva, J; Lourenço, J; Paulino, H;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Monteiro, R; Silva, J; Lourenço, J; Paulino, H;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID10
TITLE: Special Track on Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT)
AUTHORS: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLISHED: 2015, SOURCE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
AUTHORS: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLISHED: 2015, SOURCE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID