João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 88



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: 2022, FONTE: Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, VOLUME: 13487
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
2
TÍTULO: Tethered UAV with Combined Multi-rotor and Water Jet Propulsion for Forest Fire Fighting  Full Text
AUTORES: Viegas, C; Chehreh, B; Andrade, J; Lourenco, J ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 104, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
3
TÍTULO: It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments  Full Text
AUTORES: Silva, JA; Cerqueira, F; Paulino, H ; Lourenco, JM ; Leitao, J; Preguica, N ;
PUBLICAÇÃO: 2021, FONTE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 118
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
4
TÍTULO: RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios
AUTORES: Teofilo, A; Lourenco, JM ; Paulino, H ;
PUBLICAÇÃO: 2021, FONTE: 17th EAI International Conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (MobiQuitous) in PROCEEDINGS OF THE 17TH EAI INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES (MOBIQUITOUS 2020)
INDEXADO EM: WOS
5
TÍTULO: Lazy State Determination: More concurrency for contending linearizable transactions
AUTORES: Tiago M Vale; João Leitão; Nuno M Preguiça ; Rodrigo Rodrigues ; Ricardo J Dias; João M Lourenço ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.09733
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios
AUTORES: António Teófilo; João M Lourenço ; Hervé Paulino ;
PUBLICAÇÃO: 2020, FONTE: MobiQuitous '20: Computing, Networking and Services, Virtual Event / Darmstadt, Germany, December 7-9, 2020
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: A survey of challenges for runtime verification from advanced application domains (beyond software)
AUTORES: Sanchez, C; Schneider, G; Ahrendt, W; Bartocci, E; Bianculli, D; Colombo, C; Falcone, Y; Francalanza, A; Krstic, S; Lourenco, JM ; Nickovic, D; Pace, GJ; Rufino, J; Signoles, J; Traytel, D; Weiss, A;
PUBLICAÇÃO: 2019, FONTE: FORMAL METHODS IN SYSTEM DESIGN, VOLUME: 54, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ORCID
8
TÍTULO: 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: 54, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1 PDF
AUTORES: Wolfgang Ahrendt; Cyrille Artho; Christian Colombo; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M Lourenço ; Leonardo Mariani; César Sánchez; Gerardo Schneider; Volker Stolz;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1902.03776
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
10
TÍTULO: Time-aware reactive storage in wireless edge environments
AUTORES: João A Silva; Hervé Paulino ; João M Lourenço ; João Leitão; Nuno M Preguiça ;
PUBLICAÇÃO: 2019, FONTE: 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2019 in MobiQuitous 2019, Proceedings of the 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Houston, Texas, USA, November 12-14, 2019
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 1 de 9. Total de resultados: 88.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service