Andre Joao Mauricio Leitao do Valle Wemans
AuthID: R-000-1PM
1
TITLE: Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware Full Text
AUTHORS: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G; Domingos, H; Leitao, J;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, ISSUE: 2
AUTHORS: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G; Domingos, H; Leitao, J;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, ISSUE: 2
2
TITLE: Generalizing Wireless Ad Hoc Routing for Future Edge Applications
AUTHORS: Rosa, Andre; Costa, Pedro Akos; Leitao, Joao;
PUBLISHED: 2022, SOURCE: 18th European-Alliance-for-Innovation (EAI) International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous) in MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES, VOLUME: 419
AUTHORS: Rosa, Andre; Costa, Pedro Akos; Leitao, Joao;
PUBLISHED: 2022, SOURCE: 18th European-Alliance-for-Innovation (EAI) International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous) in MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES, VOLUME: 419
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: TESRAC: A Framework for Test Suite Reduction Assessment at Scale
AUTHORS: Becho, Joao; Cerveira, Frederico; Leitao, Joao; Oliveira, Rui Andre;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022)
AUTHORS: Becho, Joao; Cerveira, Frederico; Leitao, Joao; Oliveira, Rui Andre;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022)
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: ENGAGE: Session Guarantees for the Edge Full Text
AUTHORS: Belem, Miguel; Fouto, Pedro; Lykhenko, Taras; Leitao, Joao; Preguica, Nuno; Rodrigues, Luis;
PUBLISHED: 2022, SOURCE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022)
AUTHORS: Belem, Miguel; Fouto, Pedro; Lykhenko, Taras; Leitao, Joao; Preguica, Nuno; Rodrigues, Luis;
PUBLISHED: 2022, SOURCE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022)
INDEXED IN: WOS
WOS5
TITLE: Enriching Kademlia by Partitioning
AUTHORS: Monteiro, Joao; Costa, Pedro Akos; Leitao, Joao; de la Rocha, Alfonso; Psaras, Yiannis;
PUBLISHED: 2022, SOURCE: 42nd IEEE International Conference on Distributed Computing Systems (ICDCS) in 2022 IEEE 42ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW)
AUTHORS: Monteiro, Joao; Costa, Pedro Akos; Leitao, Joao; de la Rocha, Alfonso; Psaras, Yiannis;
PUBLISHED: 2022, SOURCE: 42nd IEEE International Conference on Distributed Computing Systems (ICDCS) in 2022 IEEE 42ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW)
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: High Throughput Replication with Integrated Membership Management
AUTHORS: Fouto, Pedro; Preguica, Nuno; Leitao, Joao;
PUBLISHED: 2022, SOURCE: USENIX Annual Technical Conference (USENIX ATC) in PROCEEDINGS OF THE 2022 USENIX ANNUAL TECHNICAL CONFERENCE
AUTHORS: Fouto, Pedro; Preguica, Nuno; Leitao, Joao;
PUBLISHED: 2022, SOURCE: USENIX Annual Technical Conference (USENIX ATC) in PROCEEDINGS OF THE 2022 USENIX ANNUAL TECHNICAL CONFERENCE
INDEXED IN: WOS
WOS7
TITLE: It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments
AUTHORS: Silva, JA; Cerqueira, F; Paulino, H ; Lourenco, JM ; Leitao, J; Preguica, N;
PUBLISHED: 2021, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 118
AUTHORS: Silva, JA; Cerqueira, F; Paulino, H ; Lourenco, JM ; Leitao, J; Preguica, N;
PUBLISHED: 2021, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 118
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP8
TITLE: Enabling Wireless Ad Hoc Edge Systems with Yggdrasil
AUTHORS: Pedro Akos Costa; Andre Rosa; Joao Leitao;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20)
AUTHORS: Pedro Akos Costa; Andre Rosa; Joao Leitao;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20)
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Overlay Networks for Edge Management
AUTHORS: Costa, PA; Fouto, P; Leitao, J;
PUBLISHED: 2020, SOURCE: IEEE 19th International Symposium on Network Computing and Applications (NCA) in 2020 IEEE 19TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
AUTHORS: Costa, PA; Fouto, P; Leitao, J;
PUBLISHED: 2020, SOURCE: IEEE 19th International Symposium on Network Computing and Applications (NCA) in 2020 IEEE 19TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: Enabling Fog Computing using Self-Organizing Compute Nodes
AUTHORS: Vasileios Karagiannis; Stefan Schulte; Joao Leitao; Nuno Preguica;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Fog and Edge Computing (ICFEC) in 2019 IEEE 3RD INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING (ICFEC)
AUTHORS: Vasileios Karagiannis; Stefan Schulte; Joao Leitao; Nuno Preguica;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Fog and Edge Computing (ICFEC) in 2019 IEEE 3RD INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING (ICFEC)
INDEXED IN: WOS
WOS