João Manuel dos Santos Lourenço
AuthID: R-000-742
1
TÃTULO: Monitoring of spatio-temporal properties with nonlinear SAT solvers
AUTORES: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço; João Costa Seco; Carla Ferreira;
PUBLICAÇÃO: 2024, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 26, NÚMERO: 2
AUTORES: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço; João Costa Seco; Carla Ferreira;
PUBLICAÇÃO: 2024, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 26, NÚMERO: 2
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
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
DBLP3
TÃTULO: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTORES: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2022, FONTE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
AUTORES: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2022, FONTE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
4
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: 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
8
TÃTULO: Framework support for the efficient implementation of multi-version algorithms
AUTORES: Dias, RJ; Vale, TM; Lourenco, JM;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913
AUTORES: Dias, RJ; Vale, TM; Lourenco, JM;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID9
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 CrossRef10
TÃTULO: Framework Support for the Efficient Implementation of Multi-version Algorithms
AUTORES: Ricardo J Dias; Tiago M Vale; João M Lourenço;
PUBLICAÇÃO: 2015, FONTE: Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, VOLUME: 8913
AUTORES: Ricardo J Dias; Tiago M Vale; João M Lourenço;
PUBLICAÇÃO: 2015, FONTE: Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, VOLUME: 8913
