Toggle navigation
Sign in
Sign up
conf.researchr.org
/
João Leitão
conf.researchr.org general profile
ECOOP 2025 profile
ICSE 2025 profile
ICST 2022 profile
ISSTA/ECOOP 2024 profile
Registered user since Tue 14 May 2024
Name:
João Leitão
Country:
Portugal
Affiliation:
NOVA LINCS & FCT, NOVA University of Lisbon
Contributions
2025
PLF
PC Member in Program Committee within the PLF+PLAID-track
FormaliSE
Author of Specifying Distributed Hash Tables with Allen Temporal Logic within the Research Track-track
2024
PLAID
Organizing Committee in Organizing Committee within the PLAID 2024-track
2022
ICST
Author of TESRAC: A Framework for Test Suite Reduction Assessment at Scale within the Research Papers-track
Share
x
Fri 21 Mar 21:07
