• 147 Citations
  • 7 h-Index
19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Adjunct Professor, Ontario Tech (formerly UOIT)

1 Sep 2019 → …

Fingerprint Dive into the research topics where João Manuel dos Santos Lourenço is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 20 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output at NOVA

Time-aware reactive storage in wireless edge environments

Silva, J. A., Paulino, H., Lourenço, J. M., Leitão, J. & Preguiça, N., 12 Nov 2019, Proceedings of the 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2019. Association for Computing Machinery, p. 238-247 10 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
  • Discovering concurrency errors

    Lourenço, J. M., Fiedor, J., Křena, B. & Vojnar, T., 2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Cham: Springer, p. 34-60 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10457 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 3 Citations (Scopus)

    Verifying real-world software with contracts for concurrency

    Lourenço, J. M., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 70-73 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • 1 Citation (Scopus)
    6 Downloads (Pure)

    GOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networking

    Teófilo, A., Remédios, D., Lourenço, J. M. & Paulino, H. M. C., Nov 2017, 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2017). Association for Computing Machinery, Inc, p. 232-241 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis

    Cerqueira, F., Silva, J., Lourenço, J. M. & Paulino, H. M. C., Oct 2017, INForum 2017 - Atas do Nono Simpósio de Informática. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution