Publications

Notes:

• some of these publications describe work produced outside INESC-ID, given that some of the current members joined GSD only during 2007.
• for publications before 2001, please check the personal web pages of GSD members.
• some papers are available for download in the respective author web pages.

2010

Book Chapters

• Diogo Simões, Luis Veiga, Paulo Ferreira. RFID and NFC in the future of mobile computing. Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts. IGI Global, 2010.
• João Barreto, Paulo Ferreira. Data Replication Support for Collaboration in Mobile and Ubiquitous Computing Environments. Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts. IGI Global, 2010.
• A. Correia Jr., J. Pereira, L. Rodrigues, N. Carvalho, and R. Oliveira. Practical Database Replication. In Replication Theory and Practice, B. Charron-Bost, F. Pedone, A. Schiper (Eds.), Chapter 13, Springer 2010. ISBN: 978-3-642-11293-5.
• J. Leitão, N. Carvalho, J. Pereira, R. Oliveira, and L. Rodrigues. On Adding Structure to Unstructured Overlay Networks. In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010. ISBN: 978-0-387-09750-3.
• J. Leitão, J. Pereira, and L. Rodrigues. Gossip-Based Broadcast. In Handbook of Peer-to-Peer Networking, X. Shen, H. Yu, J. Buford, M. Akon (Eds.), Springer 2010. ISBN: 978-0-387-09750-3.

International Journal Articles

• Paolo Romano and F. Quaglia, Design and Evaluation of a Parallel Invocation Protocol for Transactional Applications over the Web, IEEE Transactions on Computers, to appear
• Paolo Romano, L. Rodrigues, N. Carvalho and J. Cachopo, Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories , ACM SIGOPS Operating Systems Review, Volume 44 , Issue 2, April 2010.
• H. Miranda and L. Rodrigues. Reputation in Anonymous Vehicular Networks. International Journal of Autonomous and Adaptive Communications Systems, Vol. 3, No. 2, pp 178-197, 2010. Special Issue on: Security, Trust, and Privacy in VANETs, Inderscience Publishers Ltd.

International Conferences

• M. Ferreira, J. Leitão, and L. Rodrigues. Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay. In proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October-3 November 2010.
• M. Couceiro, Paolo Romano and L. Rodrigues. A Machine Learning Approach to Performance Prediction of Total Order Broadcast Protocols. In proceedings 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Budapest, Hungary, September 2010
• P. Romano, R. Palmieri, F. Quaglia, N. Carvalho and L. Rodrigues. On Speculative Replication of Transactional Systems In Proceedings of the 8th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), Taiwan, Taipei, September 2010.
• João Barreto and Paulo Ferreira. Meaningful Metrics for Evaluating Eventual Consistency In Proceedings of the 6th Euro-Par 2010, Ischia, Naples, Italy, August 2010. Springer.
• J. Mocito, L. Rodrigues, and H. Miranda. @Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks. In Proceedings of the 6th Euro-Par 2010, Ischia, Naples, Italy, August 2010. Springer.
• O. Denysyuk and L. Rodrigues. Accessing Probabilistic Quorums in Dynamic Networks. In WRAS 2010: The 3rd ACM SIGOPS/SIGACT Workshop on Reliability, Availability, and Security, Zurich, Switzerland, July 2010.
• J. Alveirinho, J. G. Paiva, J. Leitão, and L. Rodrigues. Flexible and Efficient Resource Location in Large-Scale Systems. In Proceedings of the 4th ACM SIGOPS/SIGACT International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Zurich, Switzerland, July 2010
• O. Denysyuk and L. Rodrigues. Random Walk on Directed Dynamic Graphs. In 2nd International Workshop on Dynamic Networks: Algorithms and Security (DYNAS'10), Bordeaux, France, July, 2010
• R. Palmieri, Paolo Romano and F. Quaglia AGGRO: Boosting STM Replication via Aggressively Optimistic Transaction Processing Proc. 9th IEEE International Symposium on Network Computing and Applications (NCA), Cambridge, Massachussets, USA, IEEE Computer Society Press, July 2010
• J. Mocito, L. Rodrigues, and H. Miranda. Communication and Coordination Support in Ad Hoc Networks for Emergency Management. In Proceedings of the 6th International Wireless Communications and Computing Conference (IWCMC'10), Caen, France, June 2010.
• D. Mónica, J. Leitão, L. Rodrigues, and C. Ribeiro. Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks. Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '10), Chicago, Illinois, USA, June, 2010.
• J. Garcia, J. Leitão, and P. Ferreira Mobile Users are not Static Users on the Move Proceedings of the 28th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), Gramado, Brazil, May, 2010.
• J. Leitão, R. van Renesse and L. Rodrigues Balancing Gossip Exchanges in Networks with Firewalls Proceedings of the 9th International Workshop on Peer-to-Peer Systems (IPTPS '10), San Jose, CA, USA, 27 April, 2010.
• Sérgio Esteves, Luís Veiga, Paulo Ferreira. GridP2P: Resource Usage in Grids and Peer-to-Peer. Seventh High-Performance Grid Computing Workshop, April 19, 2010, Atlanta, USA (in conjunction with International Parallel and Distributed Processing Symposium - IPDPS 2010 April 19-23, 2010, Atlanta, USA).
• R. Palmieri, F. Quaglia, Paolo Romano and N. Carvalho Evaluating Database-oriented Replication Schemes in Software Transactional Memory Systems, Proc. 15th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS), Atlanta, USA, IEEE Computer Society Press, May 2010.
• João Nuno, Paulo Ferreira, and Luís Veiga. Service and Resource Discovery in Cycle Sharing Environments with an Utility Algebra 24th IEEE International Parallel & Distributed Processing Symposium, April 19-23, 2010, Downtown Sheraton, ATLANTA (Georgia) USA.
• M. Allani, J. Leitão, B. Garbinato and L. Rodrigues. RASM: A Reliable Algorithm for Scalable Multicast. Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), Italy, Pisa, Feb, 2010.
• Joao Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka. Leveraging Parallel Nesting in Transactional Memory. 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Bangalore, India, January 2010.
• P. Di Sanzo, R. Palmieri, B. Ciciani, F. Quaglia and Paolo Romano Analytical Modelling of Lock-based Concurrency Control with Arbitrary Transaction Data Access Patterns, Proc. First Joint International Conference on Performance Engineering (WOSP/SIPEW), San Jose, California, USA, ACM Press, January 2010 .

Technical Reports

• Pedro Vala and João Barreto and Paulo Ferreira. ShiftBack: Efficient and Time-Shifting Backup, INESC-ID Tec. Rep. 9/2010,Feb 2010.
• Bruno Filipe da Costa Pereira Loureiro and Luis Veiga and Paulo Ferreira. VFC-game. INESC-ID Tec. Rep. 8/2010, Feb 2010.
• Tiago Ferreira Nogueira Leite and Abilio Parreira and Luis Veiga and Paulo Ferreira. Improved Briefcases, INESC-ID Tec. Rep. 7/2010, Feb 2010.

2009

Books

• J. Marques, P. Ferreira, C. Ribeiro, L. Veiga, R. Rodrigues. Sistemas Operativos. FCA Editores, March, 2009. ISBN: 978-972-722-575-0.
• B. Garbinato, H. Miranda, L. Rodrigues (Editors). Middleware for Network Eccentric and Mobile Applications. Springer, 2009. ISBN: 978-3-540-89706-4

Book Chapters

• R. Friedman, A.-M. Kermarrec, H. Miranda, L. Rodrigues. Gossip-Based Dissemination. In Middleware for Network Eccentric and Mobile Applications, Chapter 8, B. Garbinato, H. Miranda, L. Rodrigues (Editors). Springer, 2009, ISBN: 978-3-540-89706-4.

International Journal Articles

• F. Araújo and L. Rodrigues. Single-step creation of localized Delaunay triangulations. Wireless Networks, Volume 15, Number 7 / October, 2009, Springer.
• H. Miranda, S. Leggio, L. Rodrigues and K. Raatikainen. An algorithm for dissemination and retrieval of information in wireless adhoc networks. Concurrency and Computation: Practice and Experience, Wiley InterScience, Volume 21 Issue 7, Pages 889-904, 2009.

International Conferences

• Mercury: A reflective middleware for automatic parallelization of Bags-of-Tasks Joao Nuno Silva, Luis Veiga, Paulo Ferreira The 8th Workshop on Adaptive and Reflective Middleware (ARM'09) December 1st 2009, Urbana Champaign, Illinois, USA collocated with Middleware 2009
• VeryVote: a voter verifiable code voting system. Rui Joaquim, Carlos Robeiro, Paulo Ferreira. Second international conference on E-voting and Identity (VOTE-ID 2009) 7-8 September 2009, Luxembourg.
• Data-aware connectivity in mobile replicated systems. João Barreto, Joao Garcia, Paulo Ferreira. Eighth International ACM Workshop on Data Engineering for Wireless and Mobile Access 10 Year Anniversary June 29th, 2009, Providence, Rhode Island, USA (in conjunction with SIGMOD/PODS 2009).
• Joao Barreto, Paulo Ferreira. Efficient Locally Trackable Deduplication in Replicated Systems. ACM/IFIP/USENIX 10th International Middleware Conference, Urbana. Champaign, Illinois, USA, November-December 2009.
• M. Couceiro, P. Romano, N. Carvalho, L. Rodrigues. D2STM: Dependable Distributed Software Transactional Memory. Proceedings of the 15th Pacific Rim International Symposium on Dependable Computing (PRDC 09), Shanghai, China, November 16-18, 2009.
• L. Rosa, L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting. From Local Impact Functions to Global Adaptation of Service Compositions. Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, France, November 3-6, 2009.
• C. Torrão, N. Carvalho, and L. Rodrigues. FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform. Proceedings of the 11th International Symposium on Distributed Objects, Middleware, and Applications (DOA'09), Vilamoura, Algarve-Portugal, Nov 01 - 03, 2009.
• P. Romano, N. Carvalho, M. Couceiro, L. Rodrigues and J. Cachopo. Towards the Integration of Distributed Transactional Memories in Application Servers' Clusters. Proceedings of the Third International Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications (AAA-IDEA), Las Palmas, Gran Canaria, ICST Lecture Notes, Springer, November 2009. Invited Paper.
• P. Romano, L. Rodrigues, N. Carvalho, and J. Cachopo. Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories. Proceedings of the 3rd ACM SIGOPS International Workshop on Large-Sacle Distributed Systems and Middleware (LADIS), Big Sky Resort, Big Sky (MT), USA, October 10-11, 2009.
• J. Leitão, J. P. Marques, J. Pereira and L. Rodrigues. X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays. Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems, Niagara Falls, New York, U.S.A., Sep, 2009.
• J. Ferreira, J. Leitão and L. Rodrigues. A-OSGi: A framework to support the construction of autonomic OSGi-based applications. Proceedings of the Third International ICST Conference on Autonomic Computing and Communication Systems, Limassol, Cyprus, Sep, 2009.
• D. Mónica, J. Leitão, C. Ribeiro, L. Rodrigues. On the Use of Radio Resource Tests in Wireless ad hoc Networks. Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), in conjunction with The 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Lisbon, Portugal, June 29th, 2009.
• F. Freitas, E. Marques, R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues. Verme: Worm Containment in Overlay Networks. Proceedings of the 39th IEEE/IFIP International Conference on Dependable Systems and Networks, Estoril, Portugal, June 2009.
• P. Romano and L. Rodrigues. An Efficient Weak Mutual Exclusion Algorithm. Proceedings of the 8th International Symposium on Parallel and Distributed Computing. Lisboa, Portugal, June 2009.
• Joao Barreto, Joao Garcia, Luis Veiga, Paulo Ferreira. Data-aware connectivity in mobile replicated systems. 8th International ACM Workshop on Data Engineering for Wireless and Mobile Access (MobiDE), Providence, Rhode Island, USA, June 2009.
• P. Romano, L. Rodrigues and N. Carvalho. The Weak Mutual Exclusion Problem. Proceedings of the 23rd International Parallel and Distributed Processing Symposium, Rome, Italy, May 2009.
• Luís Veiga, João Nuno Silva, João Coelho Garcia. COGITARE: A Cloud Infrastructure for Grid and Overlay Network Simulation Research. Eurosys 2009 (Poster session and Work-in-progress presentation). Nuremberg, Germany. April 2009.
• João Lourenco, Nuno Preguiça, Ricardo Dias, João Nuno Silva, João Coelho Garcia, Luís Veiga. NGenVM: New Generation Execution Environments. Eurosys 2009 (Poster session). Nuremberg, Germany. April 2009.

2008

International Conferences/ Workshops

• J. Silva, L. Veiga, P. Ferreira. Heuristic for Resources Allocation on Utility Computing Infrastrcutures. 6th International Workshop on Middleware for Grid Computing - MGC 2008, (in conjunction with ACM/IFIP/USENIX 9th International Middleware Conference 2008), Leuven (Belgium). December 2008.
• J. Silva, L. Veiga and P. Ferreira, SPADE: scheduler for parallel and distributed execution from mobile devices, 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing - MPAC 2008 (in conjunction with ACM/IFIP/USENIX 9th International Middleware Conference), Leuven (Belgium). Dec. 2008 , ACM.
• J. Leitão. L. Rosa, L.Rodrigues. Large-Scale Peer-to-Peer Autonomic Monitoring. Workshop on Distributed Autonomous Network Management Systems, in conjuction with Globecom, New Orleans, USA, November, 2008.
• P. Romano, N. Carvalho, L. Rodrigues. Towards Distributed Software Transactional Memory Systems. Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2008), Watson Research Labs, Yorktown Heights (NY), USA, September 2008 (invited paper)
• J. Silva, L. Veiga, P. Ferreira. nuBOINC: BOINC Extensions for Community Cycle Sharing. Workshop on Decentralized Self Management for Grids, P2P, and User Communities - SELFMAN (in in conjunction with SASo 2008), Venice, Italy, October 20-24, 2008
• P. Di Sanzo, B. Ciciani, P. Romano e F. Quaglia, A Performance Model of Multi-Version Concurrency Control, Proc. 16th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS’08), IEEE Computer Society Press, September 2008.
• E. Marques, L. Veiga and P. Ferreira. Transparent Mobile Middleware Integration for Java and .NET Development Environments. The 14th International Euro-Par Conference (Euro-Par 2008), Las Palmas de Gran Canaria, Spain, August 26-29, 2008.
• P. Romano, D. Rughetti, F. Quaglia, and B. Ciciani. APART:Low Cost Active Replication for Multi-tier Data Acquisition Systems. The 7th IEEE International Symposium on Network Computing and Applications (IEEE NCA08), Cambridge, MA, USA, July 2008. (best paper award)
• L. Rodrigues, N. Carvalho and E. Miedes. Supporting Linearizable Semantics in Replicated Databases. The 7th IEEE International Symposium on Network Computing and Applications (IEEE NCA08), Cambridge, MA, USA, July 2008. (short paper)
• N. Cruces, R. Rodrigues, P. Ferreira. Pastel: Bridging the Gap Between Structured and Large-State Overlays 8th IEEE International Symposium on Cluster Computing and the Grid, May 19-22, 2008, Ecole Normale Superieure de Lyon, Lyon, France.
• N. Carvalho, J. Cachopo, L. Rodrigues, and A. Silva. Versioned Transactional Shared Memory for the FenixEDU Web Application. Second Workshop on Dependable Distributed Data Management (in conjunction with Eurosys 2008), Glasgow, Scotland, March 31, 2008.
• R. Joaquim and C. Ribeiro. CodeVoting: protecting against malicious vote manipulation at the voter's PC. In the Dagstuhl Seminar Proceedings: Frontiers of Electronic Voting (IBFI, Schloss Dagstuhl). Dagstuhl, Germany. 2008.
• L. Rosa, A. Lopes, L. Rodrigues. Modelling Adaptive Services for Distributed Systems. The 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems DADS Track, Fortaleza, Brasil, March 2008.
• J. Barreto, P. Ferreira. The Obscure Nature of Epidemic Quorum Systems. ACM HotMobile 2008: The Ninth Workshop on Mobile Computing Systems and Applications, Napa Valley, CA, USA, February 2008. (to appear)

2007

Books

• José Delgado and Carlos Nuno da Cruz Ribeiro. Arquitectura de Computadores. FCA, January 2007.

International Journal Articles

• João Barreto, Paulo Ferreira. Version Vector Weighted Voting Protocol: efficient and fault-tolerant commitment for weakly connected replicas. Concurrency and Computation: Practice and Experience, Volume 19, Issue 17, John Wiley & Sons, Ltd., December 2007.
• L. Veiga, P. Pereira, P. Ferreira. Complete Distributed Garbage Collection using DGC-Consistent Cuts and .NET AOP-Support. IET Software Journal, The Institution of Engineering and Technology (formerly IEE Software), vol 1(6). Dec. 2007.
• Carlos Nuno da Cruz Ribeiro and Paulo Ferreira. A policy-oriented language for expressing security specifications. International Journal of Network Security. Vol 5, Number 3, Pages 299-316, 2007.
• N. Carvalho, A. Correia Jr., J. Pereira, L. Rodrigues, R. Oliveira, S. Guedes. On the Use of a Reflective Architecture to Augment Database Management Systems. Journal of Universal Computer Science, Vol 13, No 8, pp 1110-1135.
• R. Friedman, D. Gavidia, L. Rodrigues, A. Viana, S. Voulgaris. Gossiping on MANETs: the beauty and the beast. ACM SIGOPS Operating Systems Review, Volume 41, Issue 5, Gossip-based computer networking, October 2007.
• J. Rodrigues, J. Ventura, A. Campos, L. Rodrigues. Implementation and analysis of real-time communication protocol compositions. Real-Time Systems Journal, October 2007, (Vol 37, Nb 1) pp 45-76, Springer.

International Conferences

• Pierre Sutra, João Barreto, Marc Shapiro. Decentralised Commitment for Optimistic Semantic Replication. 15th International Conference on Cooperative Information Systems (CoopIS 2007) (Springer Verlag LNCS), Vilamoura, Portugal, November 2007.
• L. Rosa, L. Rodrigues, A. Lopes. Building Adaptive Systems with Service Composition Frameworks. Proceedings of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA), Algarve, Portugal, November, 2007.
• Carlos Nuno da Cruz Ribeiro and Pedro Félix. A Scalable and Flexible Web Service. SWS 07: Proceedings of the 4th ACM workshop on Secure web services. October 2007.
• L. Rosa, L. Rodrigues, A. Lopes. A Framework to Support Multiple Reconfiguration Strategies. Proceedings of the Autonomics 2007, October 2007, Rome Italy.
• Rui Filipe Lopes Joaquim and Carlos Nuno da Cruz Ribeiro. Code Voting – Protection Against Automatic Vote Manipulation in an Uncontrolled Environment. In proceeding os the VOTE-ID 2007: First Conference on E-Voting and Identity. October 2007. Bochum, Germany.
• J. Leitão, J. Pereira, and L. Rodrigues. Epidemic Broadcast Trees. Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems. Beijing, China, October 10-12, 2007.
• Rui Filipe Lopes Joaquim and Carlos Nuno da Cruz Ribeiro. CodeVoting: protecting against malicious vote manipulation at the voters PC (extended abstract). Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI). October 2007.
• Carlos Nuno da Cruz Ribeiro. Robust Sensor Self-Initialization: Whispering to Avoid Intruders. SECUWARE 2007, The International Conference on Emerging Security Information, Systems, and Technologies, pages 101-107. October 2007.
• Nuno Santos and Luis Veiga and Paulo Ferreira, Vector-Field Consistency for Ad-hoc Gaming, ACM/IFIP/Usenix International Middleware Conference (Middleware 2007), Sep. 2007 , Springer. Best Paper Award.
• H. Miranda, S. Leggio, L. Rodrigues, and K. Raatikainen. An Algorithm for Dissemination and Retrieval of Information in Wireless Ad Hoc Networks. Proceedings of the Proceedings of the Euro-Par 2007, Rennes, France, August 2007.
• Luis Veiga and Paulo Ferreira, Object-Swapping for Resource-Constrained Devices., 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007) - International Workshop on Mobile Distributed Computing, Jun. 2007, IEEE Press.
• A. Correia Jr., J. Pereira, L. Rodrigues, N. Carvalho, R. Vilaça, R. Oliveira, and S. Guedes. GORDA: An Open Architecture for Database Replication. Proceedings of the 6th IEEE International Symposium on Network Computing and Applications, (NCA07), Cambridge (MS), USA, July 2007. (short paper)
• J. Leitão, J. Pereira, and L. Rodrigues. HyParView: a membership protocol for reliable gossip-based broadcast. Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Edinburgh, UK, June, 2007.
• N. Alexandre Carvalho, J. Pereira, R. Oliveira, and L. Rodrigues. Emergent Structure in Unstructured Epidemic Multicast. Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Edinburgh, UK, June, 2007.
• Luis Veiga and Paulo Ferreira, OSMOSIS - Semantic Work-Spaces for Smart Environments, 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007) - International Workshop on Smart Applications and Wearable Computing, Jun. 2007 , IEEE Press.
• Sebastien Baehni, João Barreto, Patrick Eugster, Rachid Guerraoui. Efficient Distributed Subtyping Tests. Inaugural International Conference on Distributed Event-based Systems (DEBS 2007), Toronto, Canada, June 2007.
• Luis Veiga and Rodrigo Rodrigues and Paulo Ferreira, GiGi: An Ocean of Gridlets on a `Grid-for-the-Masses´, IEEE International Symposium on Cluster Computing and the Grid CCGrid 2007 (PMGC-Workshop on Programming Models for the Grid), May. 2007 , IEEE Press.
• João Barreto, Paulo Ferreira, Marc Shapiro. Exploiting our computational surroundings for better mobile collaboration. 8th International Conference on Mobile Data Management (MDM'07), Mannheim, Germany, May 2007.
• João Barreto and Paulo Ferreira. Understanding Epidemic Quorum Systems. EuroSys 2007 (Poster Session), March 2007.
• F. Freitas, R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues. Verme: Worm Containment in Peer-to-Peer Overlays. Proceedings of the 6th International Workshop on Peer-to-Peer Systems (IPTPS'07), Bellevue, WA, USA, February, 2007.

Technical Reports

• João Barreto, Paulo Ferreira. The Obscure Nature of Epidemic Quorum Systems. Technical Report INESC-ID 23/2007.
• Edgar Marques and Luis Veiga and Paulo Ferreira, Mobile Middleware Integration for Java and .NET Development Environments., INESC-ID Tec. Rep. 16/2007, Jun 2007.
• Carlos Nuno da Cruz Ribeiro, Robust sensor self-initialization: Whispering to avoid intruders, INESC-ID Tec. Rep. 14/2007, Jun 2007.
• João Barreto, Paulo Ferreira. The Availability and Performance of Epidemic Quorum Algorithms. INESC-ID Technical Report 10/2007, February 2007.
• Luis Veiga and Paulo Pereira and Paulo Ferreira, Complete Distributed Garbage Collection on .NET using DGC-Consistent Cuts and AOP-Support, INESC-ID Tec. Rep. 4/2007, Feb 2007.
• Rodrigo Rodrigues and Petr Kouznetsov and Bobby Bhattacharjee, Large-Scale Byzantine Fault Tolerance: Safe but Not Always Live, INESC-ID Tec. Rep. 5/2007, Feb 2007.
• Nuno Santos, Generic Consistency Models Support in Mobihoc, INESC-ID Tec. Rep. 3/2007, Jan 2007.
• Carlos Nuno da Cruz Ribeiro and Tiago Lopes, On matching trustworthy systems properties and e-voting systems requirements, INESC-ID Tec. Rep. 7/2007, Jan 2007.
• Luis Veiga and Paulo Ferreira, OSMOSIS: Semantic Work-Spaces for Smart Environments, INESC-ID Tec. Rep. 2/2007, Jan 2007.

2006

International Journal Articles

• J. Mocito, L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, A. Lopes. Context adaptation of the communication stack. International Journal of Parallel, Emergent and Distributed Systems, Volume 21, Number 3 / June 2006, pp 169-181, Taylor & Francis.

International Conferences

• J. Mocito, A. Respício, L. Rodrigues. On Statistically Estimated Optimistic Delivery in Large-Scale Total Order Protocols. Proceedings of the 12th IEEE International Symposium on Pacific Rim Dependable Computing (PRDC'06). University of California, Riverside, USA December, 2006.
• N. Carvalho, J. Pereira, L. Rodrigues. Towards a Generic Group Communication Service. Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA). Montpellier, France, October, 2006.
• J. Pereira, R. Oliveira, L. Rodrigues. Efficient Epidemic Multicast in Heterogeneous Networks. Proceedings of the International Workshop on Reliability in Decentralized Distributed Systems, part of the OTM Federated Conferences and Workshops. Montpellier, France, October, 2006.
• Paulo Pereira and Luis Veiga and Paulo Ferreira, Extending .NET Remoting with Distributed Garbage Collection, Second Edition of the International Conference on Innovative Views of .Net, Oct. 2006.
• H. Miranda, S. Leggio, L. Rodrigues and K. Raatikainen. Power-Aware Broadcasting Algorithm. Proceedings of the 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications. Helsinki, Finland, September 2006.
• João Coelho Garcia and Luis Veiga and Paulo Ferreira, Context Awareness: an Experiment with Hoarding, Proceedings of the European Conference on Parallel Processing (EuroPar 2006), Aug. 2006.
• J. Mocito and L. Rodrigues. Run-Time Switching Between Total Order Algorithms. Proceedings of the Euro-Par 2006, Dresden, Germany, August 2006.
• Barbara Liskov and Rodrigo Rodrigues, Tolerating Byzantine Faulty Clients in a Quorum System, The 26th IEEE International Conference on Distributed Computing Systems, Jul. 2006 , IEEE.
• H. Miranda, L. Rodrigues. A Framework to Provide Anonymity in Reputation Systems. Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006). San Jose, California, July 2006 (Research-in-Progress Paper).
• S. Leggio, H. Miranda, K. Raatikainen, L. Rodrigues. SIPCache: A Distributed SIP Location Service for Mobile Ad-Hoc Networks. Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006). San Jose, California, July 2006 (Research-in-Progress Paper).
• L. Rosa, A. Lopes, and L. Rodrigues. Policy-Driven Adaptation of Protocol Stacks. Proceedings of the IEEE Self-adaptability and self-management of context-aware systems workshop (SELF), Santa Clara (CA), USA, July 2006.
• N. Carvalho, F. Araujo, L. Rodrigues. Rendezvous-Based Publish-Subscribe Systems for Wireless Ad Hoc Networks. The 5th International Workshop on Distributed Event-Based Systems (DEBS). In conjuction with The 26th International Conference on Distributed Computing Systems, July 4-7, 2006, Lisboa, Portugal.
• Pedro Gama and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira, A Scalable History-based Policy Engine, Seventh IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2006), Jun. 2006 , pp. 100-109 , IEEE Computer Society.
• Nuno Santos and Paulo Ferreira, Making Distributed Transactions Resilient to Intermittent Network Connections, International IEEE Workshop on Mobile Distributed Computing, Jun. 2006 , pp. 598-602 , IEEE.
• João Coelho Garcia and Paulo Ferreira, Operating System Support for Task-Aware Applications, International Conference on Mobile and Ubiquitous Systems, Jun. 2006.
• Pedro Gama and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira, Heimdhal: A History-based Policy Engine for Grids, Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'06), May. 2006 , pp. 481-488 , IEEE Computer Society.
• L. Rodrigues and J. Mocito and N. Carvalho. From Spontaneous Total Order to Uniform Total Order: different degrees of optimistic delivery. In Proceedings of the 21st ACM Symposium on Applied Computing (SAC'06), Dijon, France, April 2006.

National Journal Articles

• Carlos Nuno da Cruz Ribeiro and Fernando Henrique Corte Real Mira da Silva and André Ventura da Cruz Marnôto Zúquete. Autenticação, segurança e roaming em redes sem fios: uma solução flexível e escalável baseada em IPSec. Ingenium, Ordem dos Engenheiros. October 2006.

Technical Reports

• João Barreto and Paulo Ferreira and Marc Shapiro. Exploiting our computational surroundings for better mobile collaboration. INESC-ID Technical Report 33/2006. November 2006.
• Luis Veiga and Rodrigo Rodrigues and Paulo Ferreira, GiGi: An Ocean of Gridlets on a ''Grid-for-the-Masses'', INESC-ID Tec. Rep. 25/2006, Dec 2006.
• Rodrigo Rodrigues and Luis Veiga and Paulo Ferreira, Generic Peer-to-Peer Grid Infrastructures: Why Aren't We Using Them?, INESC-ID Tec. Rep. 21/2006, Nov 2006.
• Filipe Bastos de Freitas and Rodrigo Rodrigues and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira and Luis Rodrigues, Verme: Worm Containment in Peer-to-Peer Overlays, INESC-ID Tec. Rep. 22/2006, Nov 2006.
• Luis Veiga, OBIWAN: A Middleware for Memory Management of Replicated Objects in Distributed and Mobile Computing, INESC-ID Tec. Rep. 27/2006, Oct 2006.
• Paulo Pereira and Luis Veiga and Paulo Ferreira, Extending .NET Remoting with Distributed Garbage Collection, INESC-ID Tec. Rep. 8/2006, Jun 2006.
• Nuno Santos and Paulo Ferreira, Making Distributed Transactions Resilient to Intermittent Network Connections, INESC-ID Tec. Rep. 1/2006, Jan 2006.

Book Chapters

• H. Miranda, S. Leggio, L. Rodrigues, K. Raatikainen. Epidemic Dissemination for Probabilistic Data Storage. In Global Data Management, Volume 8, Emerging Communication: Studies on New Technologies and Practices in Communication, R. Baldoni, G. Cortese, F. Davide and A. Melpignano (eds.), July 2006, IOS Press. ISBN: 1-58603-629-7.

National Conferences

• H. Miranda and L. Rodrigues. A Two-Side Perspective on Cooperation in Mobile Ad Hoc Networks. Actas da Conferência sobre Sistemas Móveis e Ubíquos, Guimarães, Junho, 2006.

2005

International Conferences

• Luis Veiga and Paulo Ferreira, Semantic-Chunks A Middleware for Ubiquitous Cooperative Work, 4th Workshop on Adaptive and Reflective Middleware (6th ACM/IFIP/Usenix Middleware Conference), Nov. 2005 , ACM.
• F. Araújo and L. Rodrigues. On the Monitoring Period for Fault-Tolerant Sensor Networks. Proceedings of the Second Latin-American Symposium on Dependable Computing, Salvador, Bahia, Brazil, October 2005
• João Pedro Faria Mendonça Barreto and Paulo Ferreira, Efficient File Storage Using Content-based Indexing, 20th ACM Symposium on Operating Systems Principles (Poster Session), Oct. 2005 , ACM.
• Barbara Liskov and Rodrigo Rodrigues, Byzantine Clients Rendered Harmless, 19th International Symposium on Distributed Computing (DISC 2005), Sep. 2005 , Springer.
• João Barreto, Paulo Ferreira. An Efficient and Fault-Tolerant Update Commitment Protocol for Weakly Connected Replicas. ACM/IEEE/IFIP Euro-Par 2005 (Springer Verlag Lecture Notes in Computer Science), Lisboa, Portugal, August 2005.
• F. Araújo and L. Rodrigues. Long Range Contacts in Overlay Networks. Proceedings of the Euro-Par 2005, Lisboa, Portugal, August 2005.
• N. Carvalho, F. Araújo and L. Rodrigues. Scalable QoS-Based Event Routing in Publish-Subscribe Systems. Proceedings of the 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), July, 2005, Cambridge, MA, USA.
• João Pedro Faria Mendonça Barreto and Paulo Ferreira, A Highly Available Replicated File System for Resource-Constrained Windows CE .Net Devices, 3rd International Conference on .NET Technologies, May. 2005.
• J. Mocito, L. Rosa. N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes. Context Adaptation of the Communication Stack. Proceedings of the Third International Workshop on Mobile Distributed Computing (MDC'05), in conjuction with the 25th International Conference on Distributed Computing Systems (ICDCS-25), Columbus, Ohio, USA, June 2005.
• F. Araújo, L. Rodrigues, J. Kaiser, C. Liu, and C. Mitidieri. A Distributed Hash Table for Wireless Ad Hoc Networks. Proceedings of the Fourth International Workshop on Distributed Event-Based Systems (DEBS'05), in conjuction with the 25th International Conference on Distributed Computing Systems (ICDCS-25), Columbus, Ohio, USA, June 2005.
• H. Miranda and L. Rodrigues. Using a Fairness Monitoring Service to Improve Load-Balancing in DSR. Proceedings of the First International Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI'05), in conjuction with the 25th International Conference on Distributed Computing Systems (ICDCS-25), Columbus, Ohio, USA, June 2005.
• Luis Veiga and Paulo Ferreira, Asynchronous Complete Distributed Garbage Collection, 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2005), Apr. 2005 , IEEE.
• Rodrigo Rodrigues and Barbara Liskov, High Availability in DHTs: Erasure Coding vs. Replication, 4th International Workshop on Peer-to-Peer Systems (IPTPS'05), Feb. 2005 , Springer.

National Conferences

• Plataforma de Desenvolvimento e Simulação de Protocolos. Susana Guedes, Valter Conceição, Nuno Carvalho, Luís Rodrigues. Actas da Oitava Conferência sobre Redes de Computadores (CRC'05). Outubro, 2005, Portalegre, Portugal.

Technical Reports

• Pedro Gama and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira, A Scalable History-based Policy Engine, INESC-ID Tec. Rep. 40/2005, Dec 2005.
• Pedro Gama and Paulo Ferreira, Computação em Grelha: Perspectivas de Segurança, INESC-ID Tec. Rep. 38/2005, Dec 2005.
• Nuno Santos and Paulo Ferreira, Policy-Based Object-Oriented Transactional System for Mobile Networks, INESC-ID Tec. Rep. 31/2005, Dec 2005.
• Luis Veiga and Paulo Ferreira, Transparent Object-Swapping for Resource-Constrained Devices, INESC-ID Tec. Rep. 16/2005, Sep 2005.
• Luis Veiga and Paulo Ferreira, A Comprehensive Approach for Memory Management of Replicated Objects, INESC-ID Tec. Rep. 7/2005, Apr 2005.
• Paulo Ferreira and Luis Veiga, Mobile Middleware - Seamless Service Access via Resource Replication, INESC-ID Tec. Rep. 8/2005, Apr 2005.
• João Pedro Faria Mendonça Barreto and Paulo Ferreira, Exploiting Ubiquitous Computational Surroundings for Consistency Improvement, INESC-ID Tec. Rep. 15/2005, Feb 2005.

2004

International Conferences

• F. Araújo and L. Rodrigues. Fast Localized Delaunay Triangulation. Proceedings of the 8th International Conference on Principles of Distributed Systems (OPODIS), December 2004, Grenoble, France.
• João Nuno de Oliveira e Silva and Paulo Ferreira, Remote Code Execution on Ubiquitous Mobile Applications, Second European Symposium (EUSAI 2004), Oct. 2004 , pp. 172--183, Springer-Verlag Heidelberg.
• J. Pereira, L. Rodrigues, A. Pinto, and R. Oliveira. Low-Latency Probabilistic Broadcast in Wide Area Networks. Proceedings of the 23rd Symposium on Reliable Distributed Systems, pp. 299-208, Florianopolis, Brazil, October 2004.
• Luis Veiga and Paulo Ferreira, PoliPer: Policies for Mobile and Pervasive Environments, 3rd Workshop on Adaptive and Reflective Middleware (5th ACM International Middleware Conference), Sep. 2004, ACM.
• J. Rodrigues and L. Rodrigues. From running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositions. Proceedings of the 5th IEEE International Workshop on Factory Communication Systems, pp 265-274, Vienna, Austria, September 2004.
• F. Araújo and L. Rodrigues. GeoPeer: A Location-Aware Peer-to-Peer System. Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (IEEE NCA04), pp. 39-46, August, 2004, Cambridge, MA, USA.
• Luis Veiga and Nuno Santos and Ricardo Miguel Gonçalves Lebre and Paulo Ferreira, Loosely-Coupled, Mobile Replication of Objects with Transactions, 10th IEEE International Conference on Parallel and Distributed Systems (Workshop on QoS and Dynamic Systems), Jul. 2004 , pp. 675-682 , IEEE.
• L. Rodrigues and J. Pereira. Self-Adapting Epidemic Broadcast Algorithms. Position paper presented at the FuDiCo II: S.O.S. Survivability: Obstacles and Solutions 2nd Bertinoro Workshop on Future Directions in Distributed Computing, June 2004, Bertinoro (Forlì), Italy.
• Carlos Nuno da Cruz Ribeiro and Fernando Henrique Corte Real Mira da Silva and André Ventura da Cruz Marnôto Zúquete, A Roaming Authentication Solution for Wifi using IPSec VPNs with client certificates, TERENA Networking Conference, Jun. 2004 , pp. 7-10 , TERENA.
• Nuno Santos and Luis Veiga and Paulo Ferreira, Transactions Policies for Mobile Networks, International Workshop on Policies for Distributed Systems and Networks, Jun. 2004 , pp. 55-64 , IEEE.
• Luis Veiga and Paulo Ferreira, Turning The Web Into An Effective Knowledge Repository, International Conference on Enterprise Information Systems, Apr. 2004 , IEEE.
• João Barreto, Paulo Ferreira. A Replicated File System for Resource Constrained Mobile Devices. IADIS Applied Computing International Conference, Lisboa, Portugal, March 2004.
• National Conferences
• André Ventura da Cruz Marnôto Zúquete and Carlos Nuno da Cruz Ribeiro, A flexible, large-scale authentication policy for WLAN roaming users using IPSec and public key certification, 7ª Conferência sobre Redes de Computadores, CRC2004, Oct. 2004.
• Adaptação ao Contexto em Sistemas de Comunicação Heterogéneos. José Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís Rodrigues. Actas da Sétima Conferência sobre Redes de Computadores (CRC'04). Outubro, 2004, Leiria, Portugal.

Technical Reports

• Pedro Gama and Paulo Ferreira, Obligation Policies: An Enforcement Platform, INESC-ID Tec. Rep. 24/2004, Dec 2004.
• João Pedro Faria Mendonça Barreto and Paulo Ferreira, Optimistic Consistency with Dynamic Version Vector Weighted Voting, INESC-ID Tec. Rep. 8/2004, Oct 2004.
• Luis Veiga and Paulo Ferreira, PoliPer: Policies for Mobile and Pervasive Environments, INESC-ID Tec. Rep. 12/2004, Jul 2004.
• Luis Veiga and Paulo Ferreira, Asynchronous Complete Distributed Garbage Collection, INESC-ID Tec. Rep. 11/2004, Jun 2004.
• João Garcia. Adaptabilidade e Modelos de Coerência de Dados em Redes Móveis. INESC-ID Technical Report 10/2004. May 2004
• João Barreto and Paulo Ferreira. Optimistic Consistency with Version Vector Weighted Voting. INESC-ID Technical Report 9/2004. May 2004.

Other Publications

• Carlos Nuno da Cruz Ribeiro and Fernando Henrique Corte Real Mira da Silva and Ueli Kienholz and Carsten Bormann and Niels Pollem, Inventory of VPN-based Solutions for Inter-NREN Roaming.
• Paulo Ferreira and André Ventura da Cruz Marnôto Zúquete and Rui Filipe Lopes Joaquim, Democracia Electrónica

2003

International Journal Articles

• Rui Filipe Lopes Joaquim and André Ventura da Cruz Marnôto Zúquete and Paulo Ferreira, REVS: A Robust Electronic Voting System, IADIS - International Journal of WWW/Internet, (), pp. , Dec. 2003, IADIS Press (ISSN 1645-7641).
• Paulo Ferreira and Luis Veiga and Carlos Nuno da Cruz Ribeiro, OBIWAN: Design and Implementation of a Middleware Platform, IEEE Transactions on Parallel and Distributed Systems, 14(11), pp. 1086--1099, Nov. 2003, IEEE.
• Luis Veiga and Paulo Ferreira, Complete Distributed Garbage Collection, An Experience With Rotor, IEE Software Journal, 150(5), pp. 283--290, Oct. 2003, IEE Software.

International Conferences

• M. J. Monteiro, J. Pereira, L. Rodrigues. Integration of Flight Simulator 2002 with an epidemic multicast protocol. International Workshop on Large-Scale Group Communication (in conjuction with The 22nd Symposium on Reliable Distributed Systems), October, 2003, Florence, Italy.
• J. Pereira, L. Rodrigues, M. J. Monteiro, R. Oliveira, A.-M. Kermarrec. NEEM: Network-friendly Epidemic Multicast. The 22nd Symposium on Reliable Distributed Systems, October, 2003, Florence, Italy.
• L. Rodrigues and M. Raynal. Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and its use in Quorum-Based Replication. IEEE Transactions on Knowledge and Data Engineering. September/October 2003 (Vol. 15, No. 5), pp. 1206-1217.
• L. Rodrigues, S. Handurukande, J. Pereira, R. Guerraoui, A.-M. Kermarrec. Adaptive Gossip-Based Broadcast. Proceedings of the International Conference on Dependable Systems and Networks (DSN), pp. 47-56, San Francisco, California, USA, June, 2003.
• Pedro Manuel Franscisco da Silva Dias and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira. Enforcing History-Based Security Policies in Mobile Agent Systems. IEEE 4th International Workshop on Policies for Distributed Systems and Networks. June 2003, Lake Como (Italy).
• L. Rodrigues. The Road to a more Configurable and Adaptive Communication and Coordination Support. Proceedings of the 9th Workshop on Future Trends of Distributed Computing Systems, pp. 16-22. San Juan, Puerto Rico, May 2003.
• H. Miranda and L. Rodrigues. Friends and Foes: Preventing Selfishness in Open Mobile Ad Hoc Networks. International Workshop on Mobile Distributed Computing (MDC). In Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems Workshops, pp 440-445. Providence, Rhode Island USA, May 2003.
• M. Guimarães and L. Rodrigues. A Genetic Algorithm for Multicast Mapping in Publish-Subscribe Systems. Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications, pp. 67-74, April 16-18, 2003, Cambridge, MA, USA.
• Luis Veiga and Paulo Ferreira, RepWeb: Replicated Web with Referential Integrity, 18 th ACM Symposium on Applied Computing (SAC'03), Mar. 2003 , ACM.
• J. Pereira, L. Rodrigues and R. Oliveira. Semantically Reliable Multicast: Definition, Implementation and Performance Evaluation. IEEE Transactions on Computers, Special Issue on Reliable Distributed Systems, (Vol 52, Nb. 2), pp. 150-165, February 2003.

National Conferences

• IndiQoS: um Sistema Publicação-Subscrição com Qualidade de Serviço. Nuno Carvalho, Filipe Araújo, Luís Rodrigues. Actas da Sexta Conferência sobre Redes de Computadores (CRC'03). Setembro, 2003, Bragança, Portugal.
• Integração do Flight Simulator 2002 com um protocolo de difusão epidémica. Maria João Monteiro, José Pereira, Luís Rodrigues. Actas da Sexta Conferência sobre Redes de Computadores (CRC'03). Setembro, 2003, Bragança, Portugal.

Technical Reports

• João Barreto. Information Sharing in Mobile Networks: a Survey on Replication Strategies. INESC-ID Technical Report 71/2003. September, 2003.
• Carlos Nuno da Cruz Ribeiro, Solução de Autenticação e Privacidade para o projecto Campus Virtuais do IST, INESC-ID Tec. Rep. 57/2003, May 2003.

Book Chapters

• Paulo Ferreira, Casa do Futuro Interactiva, Chapter Middleware na Casa do Futuro, Dec 2003, Fundação Portuguesa das Comuni.

2002

International Conferences

• S. Teixeira, P. Vicente, A. Pinto, H. Miranda, L. Rodrigues, J. Martins, A. Rito-Silva. Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments. In Proceedings of the International Symposium on Distributed Objects and Applications (DOA), October 2002, Irvine (CA), USA.
• L. Rodrigues, H. Miranda, R. Almeida, J. Martins and P. Vicente. The GlobData Fault-Tolerant Replicated Distributed Object Database. In Proceedings of the First Eurasian Conference on Advances in Information and Communication Technology, pp. 426-433, October 2002, Teheran, Iran.
• P. Vicente and L. Rodrigues. An Indulgent Uniform Total Order Algorithm with Optimistic Delivery. In Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS'02), pp. 92-101. October, 2002, Osaka, Japan.
• André Ventura da Cruz Marnôto Zúquete, Improving the functionality of SYN cookies, 6th IFIP Communications and Multimedia Security Conference (CMS 2002), Sep. 2002.
• Luis Veiga and Paulo Ferreira, Mobility Support in OBIWAN, Microsoft Research Workshop, Sep. 2002.
• F. Araújo and L. Rodrigues. On QoS-Aware Publish-Subscribe. In Proceedings of the International Workshop on Distributed Event-Based Systems, Vienna, Austria, July, 2002. (Proceedings the 22nd International Conference on Distributed Computing Systems Workshops, pp 511-515).
• Luis Veiga and Paulo Ferreira, Incremental Replication for Mobility Support in OBIWAN, IEEE International Conference on Distributed Computing Systems (ICDCS'2002), Jul. 2002, IEEE.
• L. Rodrigues, H. Miranda, R. Almeida, J. Martins and P. Vicente. Strong Replication in the GlobData Middleware. In Proceedings Workshop on Dependable Middleware-Based Systems, pp. G96-G104, Washington D.C., USA, June 2002. (Suplemental Volume of the 2002 Dependable Systems and Networks Conference, DSN 2002).
• J. Pereira, L. Rodrigues and R. Oliveira. Reducing the Cost of Group Communication with Semantic View Synchrony. In Proceedings of The International Conference on Dependable Systems and Networks (DSN), pp. 293-302, Washington, DC, June, 2002.
• J. Pereira, L. Rodrigues and R. Oliveira. Semantically Reliable Broadcast: Sustaining High Throughput in Reliable Distributed Systems. In Concurrency in Dependable Computing, Paul Ezhilchelvan and Alexander Romanovsky (eds.), Chapter 10. 2002 Kluwer Academic Publishers, June 2002, ISBN 1-4020-7043-8.
• João Coelho Garcia and Paulo Ferreira, Concurrency Control for Distributed Co-operative Engineering Applications, 17th ACM Symposium on Applied Computing 2002 (SAC'2002), Mar. 2002 , pp. 958-963.
• J. Pereira, L. Rodrigues, R. Oliveira, A.-M. Kermarrec. Probabilistic Semantically Reliable Multicast. In Proceedings of the IEEE International Symposium on Network Computing and Applications, January, 11-13, 2002, Cambridge, MA, USA. (Short paper).
• J. Rodrigues, J. Ventura, and L. Rodrigues. Schedulability Analysis of an Event-based Real-Time Protocol Framework. In Proceedings of the Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems, (WORDS 2002), pp. 319-325, San Diego, CA, USA, January 2002.

National Conferences

• Concretização de Protocolos com Fiabilidade Semântica. Nuno Carvalho, José Pereira, Luís Rodrigues. Actas da Quinta Conferência sobre Redes de Computadores (CRC'02). Setembro, 2002, Faro, Portugal.
• Difusão Probabilista com Fiabilidade Semântica. Sérgio Formigo, José Pereira, Luís Rodrigues. Actas da Quinta Conferência sobre Redes de Computadores (CRC'02). Setembro, 2002, Faro, Portugal.
• Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos Objectos. Sandra Teixeira, Pedro Vicente, Alexandre Pinto, Hugo Miranda, Luis Rodrigues, Jorge Martins, Rito Silva. Actas da Quinta Conferência sobre Redes de Computadores (CRC'02). (poster). Setembro, 2002, Faro, Portugal.

Other Publications

• R. Prakash and L. Rodrigues (editors). Report on the EU/NSF Strategic Workshop on Middleware for Mobile Systems Workshop. Strategic Workshops - Shaping future EU-NSF collaborations in Information Technologies.

Technical Reports

• João Garcia, Luís Veiga, Paulo Ferreira. Environment Awareness: Telling applications about the present and the future. INESC ID Lisboa Technical Report 22/2002. 2002.

2001

International Conferences

• A. Casimiro, P. Martins, P. Veríssimo and L. Rodrigues. Measuring Distributed Durations with Stable Errors. In Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), pp. 310-319, London, UK, December 3-6, 2001.
• Carlos Nuno da Cruz Ribeiro and André Ventura da Cruz Marnôto Zúquete and Paulo Ferreira. Enforcing obligation with security monitors. The Third International Conference on Information and Communication Security (ICICS’2001), pages 172-176. Xi’an, China. November 2001.
• C. Palma and L. Rodrigues. Supporting views in network management systems. In Proceedings of the IFIP/IEEE 12th International Workshop on Distributed Systems: Operations & Management, October 15-17, 2001, Nancy, France.
• Luis Veiga and Paulo Ferreira, Mobility and Wireless Support in OBIWAN, 3rd IFIP/ACM Workshop on Advanced Topics on Middleware for Mobile Computing, Nov. 2001 , IFIP/ACM.
• F. Araújo, B. Ribeiro and L. Rodrigues. A Neural Network for Shortest Path Computation. In IEEE Transaction on Neural Networks, Vol. 12, N. 5, pp. 1067-1073, Sep. 2001.
• A. Pinto, H. Miranda, L. Rodrigues. Light-Weight Groups: an implementation in Ensemble. In Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy.
• F. Araújo and L. Rodrigues. Quality of Service in Indirect Communication Systems. In Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy.
• J. Ventura, J. Rodrigues, L. Rodrigues. Response Time Analysis of Composable Micro-Protocols. In Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, May, 2 - 4, 2001, pp 335-342.
• M. Antunes, H. Miranda, A. Rito Silva, L. Rodrigues and J. Martins. Separating Replication from Distributed Communication: Problems and Solutions. In Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 103-108. Phoenix, Arizona, USA.
• H. Miranda, A. Pinto, L. Rodrigues. Appia, a flexible protocol kernel supporting multiple coordinated channels. In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 707-710. Phoenix, Arizona, USA (Poster session).
• Carlos Nuno da Cruz Ribeiro and André Ventura da Cruz Marnôto Zúquete and Paulo Ferreira and Paulo Jorge Tavares Guedes. SPL: An access control language for security policies with complex constraints. Network and Distributed System Security Symposium (NDSS’01), pages 89-107. Internet Society. San Diego, California, USA. February 2001.
• J. Rodrigues, H. Miranda, J. Ventura, L. Rodrigues. The design of RTAppia. In Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, pp. 261-268, Rome, 8-10 January 2001.

National Conferences

• Coerência num sistema transaccional de replicação de objectos em grande-escala. João Martins, Ricardo Almeida, Hugo Miranda, Luís Rodrigues. Actas da Quarta Conferência sobre Redes de Computadores (CRC'01). Novembro, 2001, Covilhã, Portugal.
• Um serviço de replicação transparente de servidores CORBA utilizando sincronia virtual. Maria João Monteiro, Sandra Teixeira, Hugo Miranda, Luís Rodrigues. Actas da Quarta Conferência sobre Redes de Computadores (CRC'01). Novembro, 2001, Covilhã, Portugal.
• Protocolo Híbrido de Ordem Total Uniforme com entrega Optimista. Pedro Vicente, Hugo Miranda, Luís Rodrigues. Actas da Quarta Conferência sobre Redes de Computadores (CRC'01) (Poster) Novembro, 2001, Covilhã, Portugal.