Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão Leitão 0001
Joao Carlos Antunes Leitao
Person information
- affiliation: Universidade Nova de Lisboa, Lisbon, Portugal
- affiliation (PhD 2012): Technical University of Lisbon, Portugal
Other persons with the same name
- João Leitão 0002
![[0000-0002-6229-6148]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-6229-6148")
(aka: João Carlos Correia Leitão) — University of Lisbon, Instituto Superior Técnico, Portugal (and 1 more) - João Leitão 0003 — University of Exeter, Devon, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2022
[j7]Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão:
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware. IEEE Trans. Dependable Secur. Comput. 19(2): 1307-1319 (2022)- 2021
- [j6]João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça:
It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments. Future Gener. Comput. Syst. 118: 14-36 (2021) - 2020
- [j5]Albert van der Linde, João Leitão, Nuno M. Preguiça:
Practical Client-side Replication: Weak Consistency Semantics for Insecure Settings. Proc. VLDB Endow. 13(11): 2590-2605 (2020) - 2019
- [j4]Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos:
Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories. IEEE Trans. Cloud Comput. 7(3): 784-798 (2019) - 2016
- [j3]Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis:
Geo-Replication: Fast If Possible, Consistent If Necessary. IEEE Data Eng. Bull. 39(1): 81-92 (2016) - 2012
- [j2]João Ferreira, João Leitão, Luís E. T. Rodrigues:
A-OSGi: a framework to support the construction of autonomic OSGi-based applications. Int. J. Auton. Adapt. Commun. Syst. 5(3): 292-310 (2012) - [j1]João Leitão, João Pedro Marques, José Pereira, Luís E. T. Rodrigues:
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks. IEEE Trans. Parallel Distributed Syst. 23(11): 2175-2188 (2012)
Conference and Workshop Papers
- 2023
- [c54]Pedro Ákos Costa, João Leitão, Yiannis Psaras:
Studying the Workload of a Fully Decentralized Web3 System: IPFS. DAIS 2023: 20-36 - [c53]Nuno M. Santos, Luís M. Silva, João Leitão, Nuno M. Preguiça:
Data Management for mobile applications dependent on geo-located data. PaPoC@EuroSys 2023: 70-76 - 2022
- [c52]Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno M. Preguiça, Luís Rodrigues:
Engage: Session Guarantees for the Edge. ICCCN 2022: 1-10 - [c51]João Monteiro, Pedro Ákos Costa, João Leitão, Alfonso de la Rocha, Yiannis Psaras:
Enriching Kademlia by Partitioning. ICDCS Workshops 2022: 33-38 - [c50]João Becho, Frederico Cerveira, João Leitão, Rui André Oliveira:
TESRAC: A Framework for Test Suite Reduction Assessment at Scale. ICST 2022: 174-184 - [c49]Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça, João Leitão:
Babel: A Framework for Developing Performant and Dependable Distributed Protocols. SRDS 2022: 146-155 - [c48]Pedro Fouto, Nuno M. Preguiça, João Leitão:
High Throughput Replication with Integrated Membership Management. USENIX Annual Technical Conference 2022: 575-592 - 2021
- [c47]André Rosa, Pedro Ákos Costa, João Leitão:
Generalizing Wireless Ad Hoc Routing for Future Edge Applications. MobiQuitous 2021: 264-279 - 2020
- [c46]Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça:
The intrinsic cost of causal consistency. PaPoC@EuroSys 2020: 1:1-1:6 - [c45]Albert van der Linde, Diogo Serra, João Leitão, Nuno M. Preguiça:
On combining fault tolerance and partial replication with causal consistency. PaPoC@EuroSys 2020: 11:1-11:5 - [c44]Pedro Ákos Costa, Pedro Fouto, João Leitão:
Overlay Networks for Edge Management. NCA 2020: 1-10 - [c43]Pedro Ákos Costa, André Rosa, João Leitão:
Enabling wireless ad hoc edge systems with yggdrasil. SAC 2020: 2129-2136 - 2019
- [c42]David Mealha, Nuno M. Preguiça, Maria Cecilia Gomes, João Leitão:
Data Replication on the Cloud/Edge. PaPoC@EuroSys 2019: 7:1-7:7 - [c41]Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão:
Efficient Synchronization of State-Based CRDTs. ICDE 2019: 148-159 - [c40]Vasileios Karagiannis, Stefan Schulte, João Leitão, Nuno M. Preguiça:
Enabling Fog Computing using Self-Organizing Compute Nodes. ICFEC 2019: 1-10 - [c39]André Carrusca, Maria Cecília Gomes, João Leitão:
Microservices Management on Cloud/Edge Environments. ICSOC Workshops 2019: 95-108 - [c38]João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça:
Time-aware reactive storage in wireless edge environments. MobiQuitous 2019: 238-247 - [c37]Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão:
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. SRDS 2019: 103-112 - [c36]André Rosa, Pedro Ákos Costa, João Leitão:
Revisiting Broadcast Algorithms for Wireless Edge Networks. SRDS 2019: 231-240 - 2018
- [c35]Daniel Porto, João Leitão, Flavio Junqueira, Rodrigo Rodrigues:
The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report). DSN 2018: 554-561 - [c34]Pedro Fouto, João Leitão, Nuno M. Preguiça:
Practical and Fast Causal Consistent Partial Geo-Replication. NCA 2018: 1-10 - [c33]Pedro Ákos Costa, João Leitão:
Practical Continuous Aggregation in Wireless Edge Environments. SRDS 2018: 41-50 - [c32]Bernardo Ferreira, João Leitão, Henrique João L. Domingos:
MuSE: Multimodal Searchable Encryption for Cloud Applications. SRDS 2018: 181-190 - 2017
- [c31]Bernardo Ferreira, João Leitão, Henrique João L. Domingos:
Multimodal Indexable Encryption for Mobile Cloud-Based Applications. DSN 2017: 213-224 - [c30]Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão:
Borrowing an Identity for a Distributed Counter: Work in progress report. PaPoC@EuroSys 2017: 4:1-4:3 - [c29]Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça:
FMKe: a Real-World Benchmark for Key-Value Data Stores. PaPoC@EuroSys 2017: 7:1-7:4 - [c28]Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues:
Fine-Grained Consistency Upgrades for Online Services. SRDS 2017: 1-10 - [c27]Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues:
Blotter: Low Latency Transactions for Geo-Replicated Storage. WWW 2017: 263-272 - [c26]Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça, Santiago J. Castiñeira, Annette Bieniusa:
Legion: Enriching Internet Services with Peer-to-Peer Interactions. WWW 2017: 283-292 - 2016
- [c25]Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues:
Characterizing the Consistency of Online Services (Practical Experience Report). DSN 2016: 638-645 - [c24]Albert van der Linde, João Leitão, Nuno M. Preguiça:
Δ-CRDTs: making Δ-CRDTs delta-based. PaPoC@EuroSys 2016: 12:1-12:4 - [c23]João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino:
Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access. MECC@Middleware 2016: 3 - 2015
- [c22]Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues:
Minimizing coordination in replicated systems. PaPoC@EuroSys 2015: 8:1-8:4 - [c21]Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Paiva Junqueira, Rodrigo Rodrigues:
Visigoth fault tolerance. EuroSys 2015: 8:1-8:14 - [c20]Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos:
Privacy-Preserving Content-Based Image Retrieval in the Cloud. SRDS 2015: 11-20 - 2014
- [c19]Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos:
Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties. DPM/SETOP/QASA 2014: 311-318 - [c18]Joao Carlos Antunes Leitao, Ricardo Manuel Pereira Vilaça:
The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014). SRDS Workshops 2014: 1 - [c17]Joao Carlos Antunes Leitao, Luis Eduardo Teixeira Rodrigues:
Overnesia: A Resilient Overlay Network for Virtual Super-Peers. SRDS 2014: 281-290 - [c16]Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues, Viktor Vafeiadis:
Automating the Choice of Consistency Levels in Replicated Systems. USENIX Annual Technical Conference 2014: 281-292 - 2013
- [c15]Sérgio Almeida, João Leitão, Luís E. T. Rodrigues:
ChainReaction: a causal+ consistent datastore based on chain replication. EuroSys 2013: 85-98 - [c14]João Paiva, João Leitão, Luís E. T. Rodrigues:
Rollerchain: A DHT for Efficient Replication. NCA 2013: 17-24 - [c13]Miguel Branco, João Leitão, Luís E. T. Rodrigues:
Bounded gossip: a gossip protocol for large-scale datacenters. SAC 2013: 591-596 - 2012
- [c12]Mauro Silva, João Leitão, Carlos Ribeiro:
MobUser: Publish-subscribe Communication for Mobile Nodes. ICPADS 2012: 140-147 - 2011
- [c11]Xavier Vilaça, João Leitão, Miguel Correia, Luís E. T. Rodrigues:
N-party BAR Transfer. OPODIS 2011: 392-408 - [c10]Xavier Vilaça, João Leitão, Luís E. T. Rodrigues:
N-party BAR Transfer: motivation, definition, and challenges. TADDS 2011: 18-22 - 2010
- [c9]Diogo Mónica, João Leitão, Luís E. T. Rodrigues, Carlos Ribeiro:
Observable non-Sybil quorums construction in one-hop wireless ad hoc networks. DSN 2010: 31-40 - [c8]João Leitão, Robbert van Renesse, Luís E. T. Rodrigues:
Balancing gossip exchanges in networks with firewalls. IPTPS 2010: 7 - [c7]João Alveirinho, João Paiva, João Leitão, Luís E. T. Rodrigues:
Flexible and efficient resource location in large-scale systems. LADIS 2010: 55-60 - [c6]Mouna Allani, João Leitão, Benoît Garbinato, Luís E. T. Rodrigues:
RASM: A Reliable Algorithm for Scalable Multicast. PDP 2010: 137-144 - [c5]Mário F. S. Ferreira, João Leitão, Luís E. T. Rodrigues:
Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay. SRDS 2010: 293-302 - 2009
- [c4]João Ferreira, João Leitão, Luís E. T. Rodrigues:
A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications. Autonomics 2009: 1-16 - [c3]Joao Carlos Antunes Leitao, João Pedro Marques, José Orlando Roque Nascimento Pereira, Luis Eduardo Teixeira Rodrigues:
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays. SRDS 2009: 236-245 - 2007
- [c2]João Leitão, José Pereira, Luís E. T. Rodrigues:
HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast. DSN 2007: 419-429 - [c1]João Leitão, José Pereira, Luís E. T. Rodrigues:
Epidemic Broadcast Trees. SRDS 2007: 301-310
Parts in Books or Collections
- 2019
- [p1]Georges Da Costa, Alexey L. Lastovetsky, Jorge G. Barbosa, Juan Carlos Díaz Martín, Juan-Luis García Zapata, Matthias Janetschek, Emmanuel Jeannot, João Leitão, Ravi Reddy Manumachu, Radu Prodan, Juan A. Rico-Gallego, Peter Van Roy, Ali Shoker, Albert van der Linde:
Programming models and runtimes. Ultrascale Computing Systems 2019: 9-63
Editorship
- 2018
- [e1]James Aspnes, Alysson Bessani, Pascal Felber, João Leitão:
21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017. LIPIcs 95, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-061-3 [contents]
Reference Works
- 2019
- [r1]Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues:
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter. Encyclopedia of Big Data Technologies 2019
Informal and Other Publications
- 2023
- [i12]Gonçalo Mateus, Cláudia Soares, João Leitão, António Rodrigues:
EAMDrift: An interpretable self retrain model for time series. CoRR abs/2305.19837 (2023) - 2022
- [i11]Luís M. Silva, Frederico Aleixo, Albert van der Linde, João Leitão, Nuno M. Preguiça:
Geo-located data for better dynamic replication. CoRR abs/2205.01045 (2022) - [i10]Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça, João Leitão:
Babel: A Framework for Developing Performant and Dependable Distributed Protocols. CoRR abs/2205.02106 (2022) - [i9]Pedro Ákos Costa, João Leitão, Yiannis Psaras:
Studying the workload of a fully decentralized Web3 system: IPFS. CoRR abs/2212.07375 (2022) - 2020
- [i8]Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço:
Lazy State Determination: More concurrency for contending linearizable transactions. CoRR abs/2007.09733 (2020) - 2018
- [i7]João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça:
Time-Aware Publish/Subscribe for Networks of Mobile Devices. CoRR abs/1801.00297 (2018) - [i6]Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão:
Efficient Synchronization of State-based CRDTs. CoRR abs/1803.02750 (2018) - [i5]João Leitão, Pedro Ákos Costa, Maria Cecília Gomes, Nuno M. Preguiça:
Towards Enabling Novel Edge-Enabled Applications. CoRR abs/1805.06989 (2018) - [i4]Guilherme Borges, Henrique João L. Domingos, Bernardo Ferreira, João Leitão, Tiago Oliveira, Bernardo Portela:
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. IACR Cryptol. ePrint Arch. 2018: 588 (2018) - 2017
- [i3]Bernardo Ferreira, João Leitão, Henrique João L. Domingos:
Multimodal Indexable Encryption for Mobile Cloud-based Applications (Extended Version). IACR Cryptol. ePrint Arch. 2017: 315 (2017) - [i2]Bernardo Ferreira, João Leitão, Henrique João L. Domingos:
MuSE: Multimodal Searchable Encryption for Cloud Applications. IACR Cryptol. ePrint Arch. 2017: 661 (2017) - 2015
- [i1]Bernardo Ferreira, João Rodrigues, João Leitão, Henrique João L. Domingos:
Privacy-Preserving Content-Based Image Retrieval in the Cloud (Extended Version). IACR Cryptol. ePrint Arch. 2015: 710 (2015)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 18:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
