João Leitão's Homepage

João Leitão's Homepage : Publications

Check my Google Scholar Profile here

Publications

[2023]

Studying the Workload of a Fully Decentralized Web3 System: IPFS.
Pedro Á. Costa, João Leitão, and Yiannis Psaras.
Proceedings of the 23rd International Conference on Distributed Applications and Interoperable Systems (DAIS'23) part of te DisCoTec (International Federated Conference on Distributed Computing Techniques), June 19-23, Lisboa, Portugal, 2023.
[PDF]

Data Management for Mobile Applications Dependent on Geo-Located Data.
N. M. Santos, L. M. Silva, J. Leitão, and N. Preguiça.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'23) colocated with EuroSys, May 8, Rome, Italy, 2023.
[PDF]

[2022]

Achieving Low Latency Transactions for Geo-Replicated Storage with Blotter.
H. Moniz, J. Leitão, R. J. Dias, J. Gehrke, N. Preguiça, and R. Rodrigues.
In: Zomaya, A., Taheri, J., Sakr, S. (eds) Encyclopedia of Big Data Technologies (2nd Edition). Springer, Cham. 2022.
[https://doi.org/10.1007/978-3-319-63962-8_158-2]

Babel: A Framework for Developing Performant and Dependable Distributed Protocols.
Pedro Fouto, Pedro Ákos Costa, Nuno Preguiça, and João Leitão.
Proceedings of the 41st International Symposium on Reliable Distributed Systems (SRDS 2022), September 19-22, Vienna, Austria, 2022.
[PDF]

High Throughput Replication with Integrated Membership Management
Pedro Fouto, Nuno Preguiça, and João Leitão.
Proceedings of the 2022 USENIX Annual Technical Conference (USENIX ATC'22), July 11-13, Carlsbad, CA, USA.
[Publisher Website][PDF]

Engage: Session Guarantees for the Edge
Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno Preguiça, and Luís Rodrigues.
Proceedings of the The 31st International Conference on Computer Communication and Networks (ICCCN 2022). Virtual Conference, July 2022.
[PDF][bibtex]

Enriching Kademlia by Partitioning
João Monteiro, Pedro Ákos Costa, João Leitão, Alfonso de la Rocha, and Yiannis Psaras.
Proceedings of the 1st Workshop on Decentralized Internet, Networks, Protocols, and Systems (DINPS'22) colocated with ICDCS. Bologna, Italy, July 2022.
[PDF][bibtex]

TESRAC: A Framework for Test Suite Reduction Assessment at Scale
João Becho, Frederico Cerveira, João Leitão, and Rui A. Oliveira.
Proceedings of the 15th IEEE International Conference on Software Testing, Verification and Validation (ICST'22), Virtual Event, April 2022.
[PDF][bibtex]

[2021]

Generalizing Wireless Ad Hoc Routing for Future Edge Applications
André Rosa, Pedro Ákos Costa, and João Leitão.
Proceedings of the EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'21), Japan, November 2021.
[PDF]

It’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments
J. A. Silva, F. Cerqueira, H. Paulino, J. M. Lourenço, J. Leitão, and N. Preguiça.
Future Generation Computer Systems, 2020, ISSN 0167-739X, https://doi.org/10.1016/j.future.2020.12.008.
[Publisher Website]

[2020]

Overlay Networks for Edge Management
P. A. Costa, P. Fouto, and J. Leitão.
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications (NCA 2020). November 24-27, 2020. Online Conference.
[Publisher Website][PDF (Tech Report Version)][bibtex]

Practical Client-side Replication: Weak Consistency Semantics for Insecure Settings
A. van der Linde, J. Leitão, and N. Preguiça.
Proceedings of the VLDB Endowment, Volume 13 Issue 12, August 2020.
[Publisher Website]

Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware
B. Ferreira, B. Portela, T. Oliveira, G. Borges, H. Domingos, and J. Leitão.
IEEE Transactions on Dependable and Secure Computing (Early Access), July 2020.
[PDF][Publisher Website]

The Intrinsic Cost of Causal Consistency
A. van der Linde, P. Fouto, J. Leitão, and N. Preguiça.
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'20) colocated with EuroSys, April 27, 2020.
[PDF (in ACM)] [Presentation Video]

On combining fault tolerance and partial replication with causal consistency
A. van der Linde, D. Serra, J. Leitão, and N. Preguiça.
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'20) colocated with EuroSys, April 27, 2020.
[PDF (in ACM)] [Presentation Video]

Enabling Wireless Ad Hoc Edge Systems with Yggdrasil
P. A. Costa, A. Rosa, and J. Leitão.
Proceedings of the The 35th ACM/SIGAPP Symposium On Applied Computing (SAC), Brno, Czech Republic, March 30-April 3, 2020.
[Publisher Website][PDF][bibtex]

[2019]

LightKone Reference Architecture (LiRA)
A. Shoker, Paulo S. Almeida, C. Baquero, A. Bieniusa, R. P. Centelles, P. Á. Costa, V. Enes, C. Ferreira, P. Fouto, F. Freitag, B. King, I. Kopestenski, G. Kostopoulos, J. Leitão, A. Lindberg, A. van der Linde, S. Nair, N. Preguiça, M. Selimi, M. Shapiro, P. Stritzinger, I. Toumlilt, P. Van Roy, D. Vasilas, G. Younes, I. Zavalyshyn, and P. Zeller. LightKone Consoritum White Paper. December, 2019.
[PDF]

Time-Aware Reactive Storage in Wireless Edge Environments
J. Silva, H. Paulino, J. M. Lourenço, J. Leitão, and N. Preguiça.
Proceedings of the 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), Houston, USA, November 12-14, 2019.

Microservices Management on Cloud/Edge Environments
A. Carrusca, M. Cecília Gomes, and J. Leitão.
Proceedings of the 4th Workshop on Adaptive Service-Oriented and Cloud Applications (ASOCA) colocated with ICSOC. Toulouse, France, October 2019.

Revisiting Broadcast Algorithms for Wireless Edge Networks
A. Rosa, P. A. Costa, and J. Leitão.
Proceedings of the 38th IEEE International Symposium on Reliable Distributed Systems (SRDS 2019), Lyon, France, October 2019.
[PDF][bibtex]

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
B. Ferreira, B. Portela, T. Oliveira, G. Borges, H. Domingos, and J. Leitão.
Proceedings of the 38th IEEE International Symposium on Reliable Distributed Systems (SRDS 2019), Lyon, France, October 2019.

Enabling Fog Computing using Self-Organizing Compute Nodes
V. Karagiannis, S. Schulte, J. Leitão, and N. Preguiça.
Proceedings of the 3rd IEEE International Conference on Fog and Edge Computing (ICFEC 2019).
[PDF]

Data Replication on the Cloud/Edge
D. Mealha, N. Preguiça, M. Cecília Gomes, and J. Leitão.
Proceedings of the 6th Workshop on Principles and Practice of Consistency (PaPoC 2019), 25 March, Dresden, Germany, 2019.
[PDF]

Efficient Synchronization of State-based CRDTs
V. Enes, P. S. Almeida, C. Baquero, and J. Leitão.
Proceedings of the 35th IEEE International Conference on Data Engineering (ICDE 2019). 8-12 April, 2019. Macau, China.
[PDF][bibtex]

[2018]

Practical and Fast Causal Consistent Partial Geo-Replication
P. Fouto, J. Leitão, and N. Preguiça.
Proceedings of the 17th IEEE International Symposium on Network Computing and Applications (NCA 2018). November 1-3, 2018. Cambridge, USA.
[PDF]

Practical Continuous Aggregation in Wireless Edge Environments
P. A. Costa and J. Leitão.
Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS 2018), October 2-5, 2018. Salvador, Brazil.
[PDF]

MuSE: Multimodal Searchable Encryption for Cloud Applications
B. Ferreira, J. Leitão, and H. Domingos.
Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS 2018), October 2-5, 2018. Salvador, Brazil.
[PDF]

Programming Models and Runtimes
G. Da Costa, A. L. Lastovetsky, J. G. Barbosa, J. C. Diaz-Martin, J. L. Garcia-Zapata, M. Janetschek, E. Jeannot, J. Leitão, R. R. Manumachhuh, R. Prodan, J. A. Rico-Gallego, P. Van Roy, A. Shoker, and A.van der Linde.
The IET. Book chapter (Chapter 2). Ultrascale Computing Systems. 2018.
[Book Chapter Page]

The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report)
D. Porto. J. Leitão, F. Junqueira, and R. Rodrigues.
Proceedings of the 48th International Conference on Dependable Systems and Networks (DSN 2018), 25-28 June, 2018, Luxembourg.

Achieving Low Latency Transactions for Geo-replicated Storage with Blotter
H. Moniz, J. Leitão, R. J. Dias, J. Gehrke, N. Preguiça, and R. Rodrigues.
Sakr S., Zomaya A. (eds) Encyclopedia of Big Data Technologies. Springer, Cham pp. 1-10. 2018.
[Publisher Website]

[2017]

Fine-Grained Consistency Upgrades for Online Services
F. Freitas, J. Leitão, N. Preguiça, and R. Rodrigues.
Proceedings of the IEEE 36th Symposium on Reliable Distributed Systems (SRDS 2017), 26-29 September, 2017. Hong Kong, China.
[PDF]

FMKe: a Real-World Benchmark for Key-Value Data Stores
G. Tomás, P. Zeller, V. Balegas, D. Akkoorath, A. Bieniusa, J. Leitão, and N. Preguiça.
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data (PAPOC'17) April 23, 2017. Belgrade, Serbia.

Borrowing an identity for a Distributed Counter (Work in Progress Report)
V. E. Duarte, C. Baquero, P. S. Almeida, and J. Leitão
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data (PAPOC'17) April 23, 2017. Belgrade, Serbia.

Multimodal Indexable Encryption for Mobile Cloud-based Applications
B. Ferreira, J. Leitão, and H. Domingos.
Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), Denver, USA, June, 2017.

Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories.
B. Ferreira, J. Rodrigues, J. Leitão, and H. Domingos.
IEEE Transactions on Cloud Computing, 2017.
[Publisher Website]

Legion: Enriching Internet Services with Peer-to-Peer Interactions.
A. Linde, P. Fouto, J. Leitão, N. Preguiça, S. Castiñeira, and A. Bieniusa.
Proceedings of the 26th International Conference on World Wide Web (WWW'17), Perth, Western Australia, April, 2017.
[Publisher Website]

Blotter: Low Latency Transactions for Geo-Replicated Storage.
H. Moniz, J. Leitão, R. Dias, J. Gehrke, N. Preguiça, and R. Rodrigues.
Proceedings of the 26th International Conference on World Wide Web (WWW'17), Perth, Western Australia, April, 2017.
[Publisher Website]

[2016]

Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.
J. Silva, J. Leitão, N. Preguiça, João M. Lourenço, and Hervé Paulino.
Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC'16), Trento, Italy, December 2016.
[PDF]

Characterizing the Consistency of Online Services (Practical Experience Report).
F. Freitas, J. Leitão, N. Preguiça, and R. Rodrigues.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Toulouse, France, June 2016.

Δ-CRDTs: Making δ-CRDTs Delta-Based.
A. Linde, J. Leitão, and N. Preguiça.
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2016), London, UK, April 2016.
[PDF]

Geo-Replication: Fast If Possible, Consistent If Necessary.
V. Balegas, C. Li, M. Najafzadeh, D. Porto, A. Clement, S. Duarte, C. Ferreira, J. Gehrke, J. Leitão, N. Preguiça, R. Rodrigues, M. Shapiro, and V. Vafeiadis.
Bulletin of the Technical Committee on Data Engineering. IEEE Computer Society. March 2016.

[2015]

Privacy-Preserving Content-Based Image Retrieval in the Cloud.
B. Ferreira, J. Rodrigues, J. Leitão, and H. Domingos.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems (SRDS 2015), Montreal, Quebec, Canada, September 2015.

Visigoth Fault Tolerance.
D. Porto, J. Leitão, C. Li, A. Clement, A. Kate, F. Junqueira, and R. Rodrigues.
Proceedings of the EuroSys 2015, Bordeaux, France, April 2015.
[Paper at ACM (free access)][Companion Technical Report]

Minimizing coordination in replicated systems.
C. Li, J. Leitão, A. Clement, N. Preguiça, and R. Rodrigues.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'15), collocated with Eurosys'15, Bordeaux, France, April 2015.
[ACM Page (free access)]

[2014]

Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties.
B. Ferreira, J. Rodrigues, J. Leitão and H. Domingos.
Proceedings of the 9th International Workshop on Data Privacy Management (DPM), colocated with the European Symposium on Research in Computer Security (ESORICS 2014), Wroclaw, Poland, September 2014.

Overnesia: a Resilient Overlay Network for Virtual Super-Peers.
J. Leitão and L. Rodrigues.
Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Nara, Japan, October 2014 (to appear).

Automating the Choices of Consistency Levels in Replicated Systems.
C. Li, J. Leitão, A. Clement, N. Preguiça, R. Rodrigues, and V. Vafeiadis.
Proceedings of the 2014 USENIX Annual Technical Conference (USENIX ATC 2014), Philadelphia, PA, USA, June 2014.
[BibTeX][Abstract][PDF]

LLC-GNUMAP: Scalable, Precise, and High-Coverage Genomics Mapping. (Extended Abstract)
N. P. Leitão, J. Leitão, and F. Couto.
Bioinformatics Open Days, Universidade do Minho Braga, Portugal, February, 2014.
[BibTeX][PDF]

[2013]

Rollerchain: a DHT for Efficient Replication
J. Paiva, J. Leitão and L. Rodrigues.
Proceedings of the 12th IEEE International Symposium on Network Computing and Applications (IEEE NCA13), Cambridge, MA USA, August 2013 (Best student paper).
[BibTeX][Abstract][Early Extended Abstract (PDF)]

ChainReaction a Causal+ Consistent Datastore based on Chain Replication
S. Almeida, J. Leitão, and L. Rodrigues
Proceedings of the EuroSys 2013, Prague, Czech Republic, April 2013.
[BibTeX][Abstract][PDF]

Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters
M. Branco, J. Leitão, and L. Rodrigues
28th Symposium On Applied Computing, Coimbra, Portugal March 18-22 2012.
[PDF]

[2012]

MobUser: publish-subscribe communication for mobile nodes
M. Silva, J. Leitão, and C. Ribeiro
18th IEEE International Conference on Parallel and Distributed Systems, Singapore, December 17-19 2012.

Topology Management for Unstructured Overlay Networks
J. Leitão
Ph.D.'s Thesis, Technical University of Lisbon, 2012.
[BibTeX][Abstract][PDF][Slides]

A-OSGi: a framework to support the construction of autonomic OSGi-based applications
J. Ferreira, J. Leitão and L. Rodrigues
International Journal on Autonomous and Adaptive Communications Systems, Vol. 5, No. 3, pp.292-310, 2012.
[BibTeX][Abstract][Publisher Web Page]

X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks
J. Leitão, J. P. Marques, J. Pereira, and L. Rodrigues
IEEE Transactions on Parallel and Distributed Systems (Published online January 2012).
[BibTeX][Abstract][Publisher Web Page]

[2011]

N-party BAR Transfer
X. Vilaça, J. Leitão, M. Correia, and L. Rodrigues
Proceeding of the 15th International Conference On Principles Of Distributed Systems (OPODIS), Toulouse, France, December 2011.

N-party BAR Transfer: Motivation, Definition, and Challenges
X. Vilaça, J. Leitão, and L. Rodrigues
Proceedings of the 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), Rome, Italy, 20-22 September 2011.
[PDF]

[2010]

Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay
M. Ferreira, J. Leitão, and L. Rodrigues
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October-3 November 2010.
[BibTeX][Abstract][PDF]

Flexible and Efficient Resource Location in Large-Scale Systems
J. Alveirinho, J. G. Paiva, J. Leitão, and L. Rodrigues
Proceedings of the 4th ACM SIGOPS/SIGACT International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Zürich, Switzerland, 28-29 July 2010.
[BibTeX][Abstract][PDF][ACM Page (free access)]

Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks
D. Mónica, J. Leitão, L. Rodrigues, and C. Ribeiro
Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Chicago, Illinois, USA, June, 2010.
[BibTeX][Abstract][PDF]

Mobile Users are not Static Users on the Move
J. Garcia, J. Leitão, and P. Ferreira
Proceedings of the 28th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), Gramado, Brazil, May, 2010.
[BibTeX][Abstract][PDF]

Balancing Gossip Exchanges in Networks with Firewalls
J. Leitão, R. van Renesse and L. Rodrigues
Proceedings of the 9th International Workshop on Peer-to-Peer Systems (IPTPS '10), San Jose, CA, USA, 27 April, 2010.
[BibTeX][Abstract][PDF]

On Adding Structure to Unstructured Overlay Networks.
J. Leitão, N. Carvalho, J. Pereira, R. Oliveira, and L. Rodrigues
In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010.
ISBN: 978-0-387-09750-3
[Publisher Site][PDF]

Gossip-Based Broadcast.
J. Leitão, J. Pereira, and L. Rodrigues
In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010.
ISBN: 978-0-387-09750-3
[Publisher Site][PDF]

RASM: A Reliable Algorithm for Scalable Multicast
M. Allani, J. Leitão, B. Garbinato and L. Rodrigues
Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), Italy, Pisa, Feb, 2010.
[BibTeX][Abstract][PDF]

[2009]

A-OSGi: A framework to support the construction of autonomic OSGi-based applications
J. Ferreira, J. Leitão and L. Rodrigues
Proceedings of the Third International ICST Conference on Autonomic Computing and Communication Systems, Limassol, Cyprus, Sep, 2009.
[BibTeX][Abstract][PDF]

X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays
J. Leitão, J. P. Marques, J. Pereira and L. Rodrigues
Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems, Niagara Falls, New York, U.S.A., Sep, 2009.
[BibTeX][Abstract][PDF][Simulation Code]

On the Use of Radio Resource Tests in Wireless ad hoc Networks
D. Mónica, J. Leitão, L. Rodrigues, and C. Ribeiro
Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS), Estoril, Portugal, Jun, 2009.
[BibTeX][Abstract][PDF]

[2008]

Large-Scale Peer-to-Peer Autonomic Monitoring
J. Leitão, L. Rosa and L. Rodrigues
Proceedings of the Distributed Autonomous Network Management Systems Workshop (DANMS), New Orleans, USA, Oct, 2008.
[BibTeX][Abstract][PDF]

On the Structure of Unstructured Overlay Networks
J. Leitão, J. Pereira and L. Rodrigues
In Supplement of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Anchorage, Alaska, USA, June, 2008.
[BibTeX][Abstract][PDF]

[2007]

Epidemic Broadcast Trees
J. Leitão, J. Pereira and L. Rodrigues
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems, Beijing, China, October, 2007.
[BibTeX][Abstract][PDF]

HyParView: a membership protocol for reliable gossip-based broadcast
J. Leitão, J. Pereira and L. Rodrigues
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Edinburgh, UK, June, 2007.
[BibTeX][Abstract][PDF]

Gossip-based broadcast protocols
J. Leitão
Master's Thesis, University of Lisbon, May, 2007.
[BibTeX][Abstract][PDF]

Technical Reports

[2022]

Babel: A Framework for Developing Performant and Dependable Distributed Protocols
Pedro Fouto, Pedro Ákos Costa, Nuno Preguiça, and João Leitão.
Technical Report. April 2022.
[PDF][Arxiv Page]

Geo-located Data for Better Dynamic Replication
Luís Silva, Frederico Aleixo, Albert van der Linde, João Leitão, and Nuno Preguiça.
(Presented at the 9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'22) colocated with Eurosys)
Technical Report. April 2022.
[PDF][Arxiv Page]

[2018]

Towards Enabling Novel Edge-Enabled Applications
Joao Leitão, Pedro Ákos Costa, Maria Cecília Gomes, and Nuno Preguiça.
Technical Report. May 2018.
[PDF][Arxiv Page]

Publications in Portuguese

[2022]

Compreender os compromissos entre algoritmos de coerência causal através de simulação.
António Duarte, Pedro Fouto, João Leitão, and Nuno Preguiça.
Actas do décimo terceiro Simpósio de Informática, Guarda, Portugal, Sep 2022.
[PDF]

Estudo prãtico de um sistema descentralizado: IPFS.
Diogo Fona, Pedro Ákos Costa, and João Leitão.
Actas do décimo terceiro Simpósio de Informática, Guarda, Portugal, Sep 2022.
[PDF]

Emulador de Redes para Validação Empírica de Algoritmos Distribuídos
Diogo Almeida, Pedro Fouto, Pedro Ákos Costa, and João Leitão.
Actas do décimo terceiro Simpósio de Informática, Guarda, Portugal, Sep 2022.
[PDF]

FocusDB: Gestão de dados para aplicações móveis dependentes da localização.
Actas do décimo terceiro Simpósio de Informática, Guarda, Portugal, Sep 2022.
Nuno Santos, Luís Silva, João Leitão, and Nuno Preguiça.
[PDF]

[2021]

Difusão Causal Flexível e Escalável para Replicação na Periferia
Ema Vieira, Pedro Fouto, Nuno Preguiça, and João Leitão.
Actas do décimo segundo Simpósio de Informática, Lisboa, Portugal, Sep 2021.
[PDF]

ResEst - Algoritmo Distribuído para a Inferência de Recursos da Rede
Vítor Hugo Menino, Pedro Ákos Costa, and João Leitão.
Actas do décimo segundo Simpósio de Informática, Lisboa, Portugal, Sep 2021.
[PDF]

P-KAD: Enriquecer o Kademlia com Particionamento (Oral Presentation Only)
João Monteiro, Pedro Ákos Costa, Alfonso de la Rocha, Yiannis Psaras, and João Leitão.
Actas do décimo segundo Simpósio de Informática, Lisboa, Portugal, Sep 2021.
[PDF]

Generalizando o Encaminhamento Ad Hoc Sem-fios para Futuras Aplicações na Berma (Oral Presentation Only)
André Rosa, Pedro Ákos Costa, and João Leitão.
Actas do décimo segundo Simpósio de Informática, Lisboa, Portugal, Sep 2021.
[PDF]

[2018]

Agregação Contínua e Prática em Ambientes Sem Fios na Berma
Pedro Ákos Costa and João Leitão.
Actas do décimo Simpósio de Informática, Coimbra, Portugal, Sep 2018.
[PDF]

Yggdrasil: Uma Framework para Desenvolvimento e Execução de Protocolos em Redes Ad Hoc
Pedro Ákos Costa and João Leitão.
Actas do décimo Simpósio de Informática, Coimbra, Portugal, Sep 2018.
[PDF]

Consistência Causal em Sistemas Geo-Distribuídos com Replicação Parcial
Pedro Fouto, João Leitão, and Nuno Preguiça.
Actas do décimo Simpósio de Informática, Coimbra, Portugal, Sep 2018 (Best Paper Award).
[PDF]

Pesquisa Booleana Cifrada usando Hardware Confiável
Guilherme Borges, João Leitão, Henrique Domingos and Bernardo Ferreira
Actas do décimo Simpósio de Informática, Coimbra, Portugal, Sep 2018.
[PDF]

[2016]

Controlo de Acessos em Sistemas com Consistência Eventual
Tiago Costa, Albert van der Linde, Nuno Preguiça and João Leitão.
Actas do oitavo Simpósio de Informática, Lisboa, Portugal, Sep 2016.

Aether: Uma solução híbrida para a pesquisa e partilha de conteúdos em redes móveis.
André Sampaio, Nuno Preguiça and João Leitão.
Actas do oitavo Simpósio de Informática, Lisboa, Portugal, Sep 2016.

[2015]

Enriquecimento de plataformas web colaborativas com comunicação browser-a-browser.
Albert Linde, João Leitão, and Nuno Preguiça.
Actas do sétimo Simpósio de Informática, Covilhã, Portugal, Sep 2015.
[PDF]

Cifra Multimodal Indexável para Aplicações Móveis baseadas na N.
Bernardo Ferreira, João Leitão, and Henrique Domingos.
Actas do sétimo Simpósio de Informática, Covilhã, Portugal, Sep 2015.

Ouroboros: Uma DHT Auto-Organizável Tolerante a Churn (Oral Presentation Only).
João Carvalho, João Leitão, and Nuno Preguiça.
Sétimo Simpósio de Informática, Covilhã, Portugal, Sep 2015.
[PDF]

[2014]

DocNuvem: Edição Colaborativa de Documentos na Nuvem com Garantias de Privacidade
João Rodrigues, Bernardo Ferreira, João Leitão, and Henrique Domingos.
Actas do sexto Simpósio de Informática, Porto, Portugal, Sep, 2014.

[2013]

Avaliação das Garantias de Constência em Serviços Geo-Replicados
João Costa, João Leitão, Daniel Porto, Nuno Preguiça, Rodrigo Rodrigues
Actas do quinto Simpósio de Informática, Évora, Portugal, Sep, 2013.

[2012]

MobUser: Uma plataforma para partilha de informação centrada no utilizador para dispositivos móveis (Short paper)
M. Silva, J. Leitão, C. Ribeiro
Actas do quarto Simpósio de Informática, Caparica, Portugal, Sep, 2012.

PEC: Protocolo Epidémico para Centros de dados
M. Branco, J. Leitão, L. Rodrigues
Actas do quarto Simpósio de Informática, Caparica, Portugal, Sep, 2012.

ChainReaction: uma Variante de Replicação em Cadeia com Coerência Causal+
S. Almeida, J. Leitão, L. Rodrigues
Actas do quarto Simpósio de Informática, Caparica, Portugal, Sep, 2012.

[2011]

Transferência de Dados entre Grupos de Processos no Modelo BAR
X. Vilaça, J. Leitão, L. Rodrigues
Actas do terceiro Simpósio de Informática, Coimbra, Portugal, Sep, 2011 (Best Paper Award).
[BibTeX][Abstract][PDF]

[2010]

Thicket: Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares
M. Ferreira, J. Leitão, L. Rodrigues
Actas do segundo Simpósio de Informática, Minho, Portugal, Sep, 2010.
[BibTeX][Abstract][PDF]

Curiata: Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos
J. Alveirinho, J. Leitão, J. Paiva, L. Rodrigues
Actas do segundo Simpósio de Informática, Minho, Portugal, Sep, 2010.
[BibTeX][Abstract][PDF]

[2009]

Contrução Observável de um Sistema de Quorum Não Sybil na Vizinhança Rádio de uma Rede Ad-Hoc Sem Fios
D. Mónica, J. Leitão, L. Rodrigues, C. Ribeiro
Actas do primeiro Simpósio de Informática, Liboa, Portugal, Sep, 2009.
[BibTeX][Abstract][PDF]

[2008]

Aplicação da informática na criação de um dicionário. Case Study: Lexicon
J. Leitão
LEXICON - Dicionário de Grego Português: Actas do Colóquio Internacional, Lisboa, Portugal, 2008.

Copyright Notice

The reports contained in this page are included by the contributing authors as a mechanism to ensure timely dissemination of scholarly/technical information on a non-commercial basis. Copyright and all rights therein are maintained by the authors, despite the fact they have offered this information electronically. It is understood that all individuals copying this information will adhere to the terms/ constraints invoked by each author's copyright.

Reports may not be copied for commercial redistribution, republication, or dissemination without the explicit permission of the authors.

Sections of some of these reports have been published by IEEE and have IEEE Copyright. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE. Contact: Manager, Copyrights and Permissions / IEEE Service Center / 445 Hoes Lane / P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 732-562-3966.