1 | João Lourençohttps://joaomlourenco.github.io/publication-type/1.html1Wowchemy (https://wowchemy.com)en-usThu, 03 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu11734318148517933569.png1https://joaomlourenco.github.io/publication-type/1.htmlFLeeC+: A Fully Lock-Free Application Cache with Wait-Free Readshttps://joaomlourenco.github.io/publications/inforum-2026-spires.htmlThu, 03 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2026-spires.htmlUser Behavior Profiling via Kernel-Level Telemetry and Lightweight Edge-Inferencehttps://joaomlourenco.github.io/publications/inforum-2026-jrealinho.htmlThu, 03 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2026-jrealinho.htmlAutomatic Deadlock Detection in Go Code [Extended Abstract]https://joaomlourenco.github.io/publications/inforum-2025-gfeio.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-gfeio.htmlEnhancing Phishing Detection With LLMs: Content Evaluationhttps://joaomlourenco.github.io/publications/inforum-2025-ddias.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-ddias.htmlExtending FLeeC with a Lock-Free Memory Allocatorhttps://joaomlourenco.github.io/publications/inforum-2025-spires.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-spires.htmlHazard Region Pointers: seamless interpolation between Hazard Pointers and Epoch-Based Reclamation [Extended Abstract]https://joaomlourenco.github.io/publications/inforum-2025-acosta.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-acosta.htmlRedShell: A Generative AI-Based Approach to Ethical Hackinghttps://joaomlourenco.github.io/publications/inforum-2025-rbessa.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-rbessa.htmlWe Don't Know it All: on Understanding and Correcting Concurrent Computations with Inaccurate Observationshttps://joaomlourenco.github.io/publications/inforum-2024-acosta.htmlMon, 01 Jan 2024 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2024-acosta.htmlFLeeC: A Fast Lock-Free Application Cachehttps://joaomlourenco.github.io/publications/2023_costa_unknown_journal_fleec_a_fast.htmlFri, 01 Sep 2023 00:00:00 +0000https://joaomlourenco.github.io/publications/2023_costa_unknown_journal_fleec_a_fast.htmlMonitoring of Spatio-Temporal Propertieshttps://joaomlourenco.github.io/publications/inforum-2021-tsilva.htmlFri, 09 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2021-tsilva.htmlA Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systemshttps://joaomlourenco.github.io/publications/inforum-2022-jantao.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-jantao.htmlAutomatic Detection and Resolution of Deadlocks in Go Programshttps://joaomlourenco.github.io/publications/inforum-2022-jcoelho.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-jcoelho.htmlAutomatic Generation of Contracts for Concurrent Java Programshttps://joaomlourenco.github.io/publications/inforum-2022-hpereira.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-hpereira.htmlEmpowering a Relational Database with LSD: Lazy State Determinationhttps://joaomlourenco.github.io/publications/inforum-2022-tparreira.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-tparreira.htmlOSCAR - A Java Noise Injection Frameworkhttps://joaomlourenco.github.io/publications/inforum-2022-fluna.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-fluna.htmlMonitoring of Spatio-Temporal Properties with Nonlinear SAT Solvershttps://joaomlourenco.github.io/publications/2022_13487_pedro_formal_methods_for_industrial_critical_systems_27th_international_conference_fmics_2022_warsaw_poland_september_1415_2022_proceedings_monitoring_of_spatio-temporal.htmlSat, 01 Jan 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/2022_13487_pedro_formal_methods_for_industrial_critical_systems_27th_international_conference_fmics_2022_warsaw_poland_september_1415_2022_proceedings_monitoring_of_spatio-temporal.htmlRedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarioshttps://joaomlourenco.github.io/publications/mobiquitous-2020-ateofilo.htmlSun, 01 Nov 2020 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2020-ateofilo.htmlINForum 2019 - Atas do 11º Simpósio de Informáticahttps://joaomlourenco.github.io/publications/inforum-2019-proceedings.htmlSun, 01 Sep 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2019-proceedings.htmlTime-Aware Reactive Storage in Wireless Edge Environmentshttps://joaomlourenco.github.io/publications/mobiquitous-2019-jsilva.htmlTue, 01 Jan 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2019-jsilva.htmlUma análise comparativa de ferramentas de análise estática para deteção de erros de memóriahttps://joaomlourenco.github.io/publications/inforum-2018-pmonteiro.htmlSat, 01 Sep 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2018-pmonteiro.htmlGOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networkinghttps://joaomlourenco.github.io/publications/mobiquitous-2018-teofilo.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2018-teofilo.htmlVerifying Real-World Software with Contracts for Concurrencyhttps://joaomlourenco.github.io/publications/isola-2018-lourenco.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/isola-2018-lourenco.htmlTowards a persistent publish/subscribe system for networks of mobile deviceshttps://joaomlourenco.github.io/publications/mecc-2017-fcerqueira.htmlFri, 01 Dec 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/mecc-2017-fcerqueira.htmlUm Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveishttps://joaomlourenco.github.io/publications/inforum-2017-fcerqueira.htmlSun, 01 Oct 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2017-fcerqueira.htmlVerifying Concurrent Programs Using Contractshttps://joaomlourenco.github.io/publications/icst-2017-dias.htmlWed, 01 Mar 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/icst-2017-dias.htmlI Know What You Did Last Summer: Time-Aware Publish/Subscribe for Networks of Mobile Deviceshttps://joaomlourenco.github.io/publications/2017_silva_unknown_journal_i_know_what.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_silva_unknown_journal_i_know_what.htmlResponses’ Prediction Standard Error Analysis in Pareto Solutionshttps://joaomlourenco.github.io/publications/2017_108_costa_matec_web_of_conferences_responses_prediction_standard.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_108_costa_matec_web_of_conferences_responses_prediction_standard.htmlTowards the opportunistic combination of mobile ad-hoc networks with infrastructure accesshttps://joaomlourenco.github.io/publications/mecc-2016-jleitao.htmlThu, 01 Dec 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/mecc-2016-jleitao.htmlComunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Directhttps://joaomlourenco.github.io/publications/inforum-2016-ateofilo.htmlThu, 01 Sep 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2016-ateofilo.htmlEphemeral Data Storage for Networks of Hand-Held Deviceshttps://joaomlourenco.github.io/publications/ispa-2016-silva.htmlMon, 01 Aug 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/ispa-2016-silva.htmlA Hardware Approach to Detect, Expose and Tolerate High Level Data Raceshttps://joaomlourenco.github.io/publications/euromicro-2016-orosa.htmlMon, 01 Feb 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/euromicro-2016-orosa.htmlA hardware approach for detecting, exposing and tolerating high level atomicity violationshttps://joaomlourenco.github.io/publications/2016_orosa_proceedings_of_the_24th_euromicro_intl_conference_on_parallel_distributed_and_network-based_processing_pdp16._ieee_computer_society_a_hardware_approach.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_orosa_proceedings_of_the_24th_euromicro_intl_conference_on_parallel_distributed_and_network-based_processing_pdp16._ieee_computer_society_a_hardware_approach.htmlExtracting static and dynamic structural information from Java concurrent programs for coverage testinghttps://joaomlourenco.github.io/publications/clei-2015-rprado.htmlTue, 01 Dec 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/clei-2015-rprado.htmlArmazenamento Distribuído para Redes de Dispositivos Móveishttps://joaomlourenco.github.io/publications/inforum-2015-rmonteiro.htmlTue, 01 Sep 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2015-rmonteiro.htmlComo separar o trigo do joio? Ou: Como selecionar a melhor fotografia de um conjunto de fotografias semelhanteshttps://joaomlourenco.github.io/publications/inforum-2015-aalves.htmlTue, 01 Sep 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2015-aalves.htmlExecução Concorrente e Determinista de Transaçõeshttps://joaomlourenco.github.io/publications/inforum-2015-jlourenco.htmlTue, 01 Sep 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2015-jlourenco.htmlBoosting locality in multi-version partial data replicationhttps://joaomlourenco.github.io/publications/sac-2015-jsilva.htmlWed, 01 Apr 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/sac-2015-jsilva.htmlDynamic Validation of Contracts in Concurrent Codehttps://joaomlourenco.github.io/publications/eurocast-2015-jfiedor.htmlSun, 01 Feb 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/eurocast-2015-jfiedor.htmlCrowdsourcing Mobile Devices to Provide Storage in Edge-Cloudshttps://joaomlourenco.github.io/publications/icdcnsrf-2015-jsilva.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/icdcnsrf-2015-jsilva.htmlDecentralized storage for networks of hand-held deviceshttps://joaomlourenco.github.io/publications/mobiquitous-2015-rmonteiro.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2015-rmonteiro.htmlExecução concorrente e determinista de transacçõeshttps://joaomlourenco.github.io/publications/2015_vale_simposio_de_informatica_inforum_execucao_concorrente_e.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_vale_simposio_de_informatica_inforum_execucao_concorrente_e.htmlGroup-to-group bidirectional Wi-Fi direct communication with two relay nodeshttps://joaomlourenco.github.io/publications/mobiquitous-2015-ateofilo.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2015-ateofilo.htmlMobile device-to-device distributed computing using data setshttps://joaomlourenco.github.io/publications/mobiquitous-2015-dremedios.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2015-dremedios.htmlUm Mecanismo de Caching para o Protocolo SCORehttps://joaomlourenco.github.io/publications/inforum-2014-jsilva.htmlMon, 01 Sep 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2014-jsilva.htmlHardware Approach for Detecting, Exposing and Tolerating High Level Atomicity Violationshttps://joaomlourenco.github.io/publications/dmtm-2014-lorosa.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/dmtm-2014-lorosa.htmlSupporting Multiple Data Replication Models in Distributed Transactional Memoryhttps://joaomlourenco.github.io/publications/icdcn-2015-jsilva.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/icdcn-2015-jsilva.htmlSupporting Partial Data Replication in Distributed Transactional Memoryhttps://joaomlourenco.github.io/publications/dmtm-2014-jsilva.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/dmtm-2014-jsilva.htmlPrevenção de Violações de Atomicidade usando Contractoshttps://joaomlourenco.github.io/publications/inforum-2013-sousa.htmlSun, 01 Sep 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2013-sousa.htmlReplicação Multi-nível de Bases de Dados em Memóriahttps://joaomlourenco.github.io/publications/inforum-2013-martins.htmlSun, 01 Sep 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2013-martins.htmlReplicação Parcial com Memória Transacional Distribuídahttps://joaomlourenco.github.io/publications/inforum-2013-silva.htmlSun, 01 Sep 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2013-silva.htmlMulticore Software Engineering, Performance, and Toolshttps://joaomlourenco.github.io/publications/2013_lourenco_lecture_notes_in_computer_science_multicore_software_engineering.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_lourenco_lecture_notes_in_computer_science_multicore_software_engineering.htmlPrevenção de Violações de Atomicidade usando Contratoshttps://joaomlourenco.github.io/publications/2013_sousa_inforum_prevencao_de_violacoes.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_sousa_inforum_prevencao_de_violacoes.htmlReplicaçao parcial com memória transacional distribuıdahttps://joaomlourenco.github.io/publications/2013_silva_inforum_replicacao_parcial_com.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_silva_inforum_replicacao_parcial_com.htmlDebugging Highly-Parallel Programshttps://joaomlourenco.github.io/publications/mcc-2012-jlourenco.htmlMon, 01 Oct 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/mcc-2012-jlourenco.htmlAplicação do Fecho de Programas na Deteção de Anomalias de Concorrênciahttps://joaomlourenco.github.io/publications/inforum-2012-sousa.htmlSat, 01 Sep 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2012-sousa.htmlUma Infraestrutura para Suporte de Memória Transacional Distribuídahttps://joaomlourenco.github.io/publications/inforum-2012-vale.htmlSat, 01 Sep 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2012-vale.htmlUsing Program Closures to Make an Application Programming Interface (Api) Implementation Thread Safehttps://joaomlourenco.github.io/publications/padtad-2012-farchi.htmlSun, 01 Jul 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2012-farchi.htmlEfficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysishttps://joaomlourenco.github.io/publications/hotpar-2011-dias.htmlSun, 01 May 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/hotpar-2011-dias.htmlAceleração de Computações Científicas com Processadores Heterogéneoshttps://joaomlourenco.github.io/publications/inforum-2011-oliveira.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2011-oliveira.htmlPADTAD'11: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugginghttps://joaomlourenco.github.io/publications/padtad-2011-lourenco.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2011-lourenco.htmlPractical Verification of High-Level Dataraces in Transactional Memory Programshttps://joaomlourenco.github.io/publications/padtad-2011-pessanha.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2011-pessanha.htmlSuporte Transaccional para o Sistema de Ficheiros Btrfshttps://joaomlourenco.github.io/publications/inforum-2011-luis.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2011-luis.htmlA Static Approach for Detecting Concurrency Anomalies in Transactional Memoryhttps://joaomlourenco.github.io/publications/inforum-2010-teixeira.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2010-teixeira.htmlDetection of Transactional Memory Anomalies Using Static Analysishttps://joaomlourenco.github.io/publications/padtad-2010-teixeira.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2010-teixeira.htmlOpen Virtualization Framework for Testing Ground Systemshttps://joaomlourenco.github.io/publications/padtad-2010-duro.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2010-duro.htmlSnapshot Isolation Anomalies Detection in Software Transactional Memoryhttps://joaomlourenco.github.io/publications/inforum-2010-dias.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2010-dias.htmlUnderstanding the Behavior of Transactional Memory Applicationshttps://joaomlourenco.github.io/publications/padtad-2009-lourenco.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2009-lourenco.htmlUnifying Memory and Database Transactionshttps://joaomlourenco.github.io/publications/europar-2009-dias.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/europar-2009-dias.htmlConsistent State Software Transactional Memoryhttps://joaomlourenco.github.io/publications/jetc-2008-cunha.htmlSat, 01 Nov 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/jetc-2008-cunha.htmlByzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolationhttps://joaomlourenco.github.io/publications/hotdep-2008-preguica.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/hotdep-2008-preguica.htmlTopic 1: Support Tools and Environmentshttps://joaomlourenco.github.io/publications/europar-2008-dikaiakos.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/europar-2008-dikaiakos.htmlTesting patterns for software transactional memory engineshttps://joaomlourenco.github.io/publications/padtad-2007-lourenco.htmlMon, 01 Jan 2007 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2007-lourenco.htmlProceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Educationhttps://joaomlourenco.github.io/publications/iticse-2005-cunha.htmlMon, 27 Jun 2005 00:00:00 +0000https://joaomlourenco.github.io/publications/iticse-2005-cunha.htmlControl and Debugging of Distributed Programs Using Fiddlehttps://joaomlourenco.github.io/publications/aadebug-2003-lourenco.htmlWed, 01 Jan 2003 00:00:00 +0000https://joaomlourenco.github.io/publications/aadebug-2003-lourenco.htmlAn Experience in Building a Parallel and Distributed Problem-Solving Environmenthttps://joaomlourenco.github.io/publications/pdpta-1999-cunha.htmlFri, 01 Jan 1999 00:00:00 +0000https://joaomlourenco.github.io/publications/pdpta-1999-cunha.htmlA Framework to support Parallel and Distributed Debugginghttps://joaomlourenco.github.io/publications/hpcn-1998a-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/hpcn-1998a-cunha.htmlA Thread-Level Distributed Debuggerhttps://joaomlourenco.github.io/publications/vecpar-1998-lourenco.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/vecpar-1998-lourenco.htmlIntegrated course on parallel and distributed processinghttps://joaomlourenco.github.io/publications/iticse-1998-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/iticse-1998-cunha.htmlReplaying Distributed Applications with RPVMhttps://joaomlourenco.github.io/publications/dapsys-1998-lourenco.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/dapsys-1998-lourenco.htmlThe DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processinghttps://joaomlourenco.github.io/publications/hpcn-1998b-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/hpcn-1998b-cunha.htmlThe PDBG Process-Level Debugger for Parallel and Distributed Programshttps://joaomlourenco.github.io/publications/spdt-1998-lourenco.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/spdt-1998-lourenco.htmlTool Integration Issues for Parallel and Distributed Debugginghttps://joaomlourenco.github.io/publications/seihpc-1998-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/seihpc-1998-cunha.htmlAn Integrated Testing and Debugging Environment for Parallel and Distributed Programshttps://joaomlourenco.github.io/publications/euromicro-1997-lourenco.htmlMon, 01 Sep 1997 00:00:00 +0000https://joaomlourenco.github.io/publications/euromicro-1997-lourenco.htmlA Debugging Engine for a Parallel and Distributed Environmenthttps://joaomlourenco.github.io/publications/dapsys-1996-cunha.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/dapsys-1996-cunha.htmlA Distributed Debugging Tool for a Parallel Software Engineering Environmenthttps://joaomlourenco.github.io/publications/eptm-1996-cunha.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/eptm-1996-cunha.html