João Leitão's Homepage : Publications

Check my Google Scholar Profile here

This page is no longer updated. Please check my new web page for recent publications!

Publications

[2013]

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 (to appear).

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 (to appear).

[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 (to appear).

Topology Management for Unstructured Overlay Networks
J. Leitão
Ph.D. 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.

[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]

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 Thesis, University of Lisbon, May, 2007.
[BibTeX][Abstract][PDF]

Publications in Portuguese

[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) .

[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.