default search action
Joã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
- João Leitão 0002
(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
2020 – today
- 2024
- [j8]Pedro Ákos Costa
IPFS requested content location service. Sci. Comput. Program. 238: 103174 (2024) - [c55]Pedro Fouto, Nuno M. Preguiça, João Leitão:
Large-Scale Causal Data Replication for Stateful Edge Applications. ICDCS 2024: 209-220 - 2023
- [c54]Pedro Ákos Costa, João Leitão
Studying the Workload of a Fully Decentralized Web3 System: IPFS. DAIS 2023: 20-36 - [c53]Nuno M. Santos
Data Management for mobile applications dependent on geo-located data. PaPoC@EuroSys 2023: 70-76 - [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
- [j7]Bernardo Ferreira
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware. IEEE Trans. Dependable Secur. Comput. 19(2): 1307-1319 (2022) - [c52]Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão
Engage: Session Guarantees for the Edge. ICCCN 2022: 1-10 - [c51]João Monteiro, Pedro Ákos Costa, João Leitão
Enriching Kademlia by Partitioning. ICDCS Workshops 2022: 33-38 - [c50]João Becho, Frederico Cerveira
TESRAC: A Framework for Test Suite Reduction Assessment at Scale. ICST 2022: 174-184 - [c49]Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça
Babel: A Framework for Developing Performant and Dependable Distributed Protocols. SRDS 2022: 146-155 - [c48]Pedro Fouto, Nuno M. Preguiça
High Throughput Replication with Integrated Membership Management. USENIX ATC 2022: 575-592 - [i11]Luís M. Silva
Geo-located data for better dynamic replication. CoRR abs/2205.01045 (2022) - [i10]Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça
Babel: A Framework for Developing Performant and Dependable Distributed Protocols. CoRR abs/2205.02106 (2022) - [i9]Pedro Ákos Costa, João Leitão
Studying the workload of a fully decentralized Web3 system: IPFS. CoRR abs/2212.07375 (2022) - 2021
- [j6]João A. Silva
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) - [c47]André Rosa, Pedro Ákos Costa, João Leitão
Generalizing Wireless Ad Hoc Routing for Future Edge Applications. MobiQuitous 2021: 264-279 - 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) - [c46]Albert van der Linde, Pedro Fouto, João Leitão
The intrinsic cost of causal consistency. PaPoC@EuroSys 2020: 1:1-1:6 - [c45]Albert van der Linde, Diogo Serra, João Leitão
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 - [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)
2010 – 2019
- 2019
- [j4]Bernardo Ferreira
Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories. IEEE Trans. Cloud Comput. 7(3): 784-798 (2019) - [c42]David Mealha, Nuno M. Preguiça
Data Replication on the Cloud/Edge. PaPoC@EuroSys 2019: 7:1-7:7 - [c41]Vitor Enes
Efficient Synchronization of State-Based CRDTs. ICDE 2019: 148-159 - [c40]Vasileios Karagiannis
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
Time-aware reactive storage in wireless edge environments. MobiQuitous 2019: 238-247 - [c37]Bernardo Ferreira
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 - [p1]Georges Da Costa, Alexey L. Lastovetsky
Programming models and runtimes. Ultrascale Computing Systems 2019: 9-63 - [r1]Henrique Moniz, João Leitão
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter. Encyclopedia of Big Data Technologies 2019 - 2018
- [c35]Daniel Porto, João Leitão
The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report). DSN 2018: 554-561 - [c34]Pedro Fouto
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
MuSE: Multimodal Searchable Encryption for Cloud Applications. SRDS 2018: 181-190 - [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] - [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
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
- [c31]Bernardo Ferreira
Multimodal Indexable Encryption for Mobile Cloud-Based Applications. DSN 2017: 213-224 - [c30]Vitor Enes
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
FMKe: a Real-World Benchmark for Key-Value Data Stores. PaPoC@EuroSys 2017: 7:1-7:4 - [c28]Filipe Freitas
Fine-Grained Consistency Upgrades for Online Services. SRDS 2017: 1-10 - [c27]Henrique Moniz, João Leitão
Blotter: Low Latency Transactions for Geo-Replicated Storage. WWW 2017: 263-272 - [c26]Albert van der Linde, Pedro Fouto
Legion: Enriching Internet Services with Peer-to-Peer Interactions. WWW 2017: 283-292 - [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) - 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
Geo-Replication: Fast If Possible, Consistent If Necessary. IEEE Data Eng. Bull. 39(1): 81-92 (2016) - [c25]Filipe Freitas
Characterizing the Consistency of Online Services (Practical Experience Report). DSN 2016: 638-645 - [c24]Albert van der Linde, João Leitão
Δ-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
Minimizing coordination in replicated systems. PaPoC@EuroSys 2015: 8:1-8:4 - [c21]Daniel Porto, João Leitão
Visigoth fault tolerance. EuroSys 2015: 8:1-8:14 - [c20]Bernardo Ferreira
Privacy-Preserving Content-Based Image Retrieval in the Cloud. SRDS 2015: 11-20 - [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) - 2014
- [c19]Bernardo Ferreira
Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties. DPM/SETOP/QASA 2014: 311-318 - [c18]Joao Carlos Antunes Leitao
The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014). SRDS Workshops 2014: 1 - [c17]Joao Carlos Antunes Leitao
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 ATC 2014: 281-292 - 2013
- [c15]Sérgio Almeida, João Leitão
ChainReaction: a causal+ consistent datastore based on chain replication. EuroSys 2013: 85-98 - [c14]João Paiva, João Leitão
Rollerchain: A DHT for Efficient Replication. NCA 2013: 17-24 - [c13]Miguel Branco, João Leitão
Bounded gossip: a gossip protocol for large-scale datacenters. SAC 2013: 591-596 - 2012
- [j2]João Ferreira, João Leitão
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
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks. IEEE Trans. Parallel Distributed Syst. 23(11): 2175-2188 (2012) - [c12]Mauro Silva, João Leitão
MobUser: Publish-subscribe Communication for Mobile Nodes. ICPADS 2012: 140-147 - 2011
- [c11]Xavier Vilaça, João Leitão
N-party BAR Transfer. OPODIS 2011: 392-408 - [c10]Xavier Vilaça, João Leitão
N-party BAR Transfer: motivation, definition, and challenges. TADDS 2011: 18-22 - 2010
- [c9]Diogo Mónica, João Leitão
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
Flexible and efficient resource location in large-scale systems. LADIS 2010: 55-60 - [c6]Mouna Allani, João Leitão
RASM: A Reliable Algorithm for Scalable Multicast. PDP 2010: 137-144 - [c5]Mário F. S. Ferreira
Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay. SRDS 2010: 293-302
2000 – 2009
- 2009
- [c4]João Ferreira, João Leitão
A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications. Autonomics 2009: 1-16 - [c3]Joao Carlos Antunes Leitao
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays. SRDS 2009: 236-245 - 2007
- [c2]João Leitão
HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast. DSN 2007: 419-429 - [c1]João Leitão
Epidemic Broadcast Trees. SRDS 2007: 301-310
Coauthor Index
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-12-10 21:46 CET 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: