CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  BibTeX Generator Login  
   
banner bottom
[ BibTeX Generator ]
Go to the bibtex generator form
Articles   Books   Book Chapters   Dissertations   Editorials   In Proceedings   Technical Reports   Other Publications   
Computer Systems ( 411 publications )
Tuesday 16th of January 2018 05:09:44 PM


*** Articles ( 43 ) ***

@article{ Assuncao-Goncalves-Cunha-2014,
        author = { L. Assunção and C. J. S. Gonçalves and Jose C. Cunha },
        title = { Autonomic Workflow Activities: The AWARD Framework },
        journal = { International Journal of Adaptive, Resilient, and Autonomic Systems (IJARAS) },
        year = { 2014 },
        month = { 04 },
        volume = { 5 },
        number = { 2 }
}

@article{ Kajiyama-LGRS2014,
        author = { T. Kajiyama and Davide D\'Alimonte and Giuseppe Zibordi },
        title = { Match-up Analysis of MERIS Radiometric Data in the Northern Adriatic Sea },
        journal = { IEEE Geoscience and Remote Sensing Letters },
        year = { 2014 },
        month = { 01 },
        volume = { 11 },
        number = { 1 },
        pages = { 19-23 },
        note = { URL={http://dx.doi.org/10.1109/LGRS.2013.2244844} }
}

@article{ somd-jcss,
        author = { Hervé Paulino and Eduardo Marques },
        title = { Heterogeneous Programming with Single Operation Multiple Data },
        journal = { Journal of Computer and System Sciences },
        year = { 2014 },
        volume = { to appear }
}

@article{ dalimonte2013meris,
        author = { Davide D\'Alimonte and Giuseppe Zibordi and T. Kajiyama and Jean-François Berthon },
        title = { Comparison between MERIS and Regional High-Level Products in European Seas },
        journal = { Remote Sensing of Environment },
        year = { 2014 },
        volume = { 140 },
        pages = { 378-395 },
        note = { URL={http://dx.doi.org/10.1016/j.rse.2013.07.029} }
}

@article{ dias-ccpe-2013,
        author = { Ricardo Dias and Tiago M. Vale and João M. Lourenço },
        title = { Efficient support for in-place metadata in Java software transactional memory },
        journal = { Concurrency and Computation: Practice & Experience },
        year = { 2013 },
        month = { 12 },
        volume = { 25 },
        number = { 17 },
        pages = { 2394-2411 },
        note = { URL={http://dx.doi.org/10.1002/cpe.3098} }
}

@article{ Goncalves-Assuncao-Cunha-2013,
        author = { C. J. S. Gonçalves and L. Assunção and Jose C. Cunha },
        title = { Flexible Mapreduce Workflows for Cloud Data Analytics },
        journal = { International Journal of Grid and High Performance Computing (IJGHPC) },
        year = { 2013 },
        month = { 12 },
        volume = { 5 },
        number = { 4 },
        note = { URL={http://www.igi-global.com/journal/international-journal-grid-high-performance/1105} }
}

@article{ dalimonte2013regression,
        author = { Davide D\'Alimonte and Eugeny B. Shybanov and Giuseppe Zibordi and T. Kajiyama },
        title = { Regression of in-water radiometric profile data },
        journal = { Optics Express },
        year = { 2013 },
        month = { 11 },
        volume = { 21 },
        number = { 23 },
        pages = { 27707-27733 },
        note = { URL={http://dx.doi.org/10.1364/OE.21.027707} }
}

@article{ Duarte12ScalableMonet,
        author = { S. Duarte and David Navalho and Heitor Ferreira and N. Preguiça },
        title = { Scalable Data Processing for Community Sensing Applications },
        journal = { Mobile Networks and Applications },
        year = { 2013 },
        month = { 06 },
        volume = { 18 },
        number = { 3 },
        pages = { 357-372 },
        note = { URL={http://link.springer.com/article/10.1007/s11036-012-0424-9} }
}

@article{ Kajiyama2012GRSL,
        author = { T. Kajiyama and Davide D\'Alimonte and Giuseppe Zibordi },
        title = { Regional algorithms for European seas: A case study based on MERIS data },
        journal = { IEEE Geoscience and Remote Sensing Letters },
        year = { 2013 },
        month = { 03 },
        volume = { 10 },
        number = { 2 },
        pages = { 283-287 },
        note = { URL={http://dx.doi.org/10.1109/LGRS.2012.2202370} }
}

@article{ Preto:2013:IJCICG,
        author = { Bruno Preto and F. Birra and A. Lopes and Pedro D. Medeiros },
        title = { Object Identification in Binary Tomographic Images Using GPGPUs },
        journal = { International Journal of Creative Interfaces and Computer Graphics },
        year = { 2013 },
        volume = { 4 },
        number = { 2 },
        pages = { 40-56 },
        note = { URL={http://www.igi-global.com/article/object-identification-in-binary-tomographic-images-using-gpgpus/11} }
}

@article{ gopa-ijimai,
        author = { M. Cecília Gomes and Hervé Paulino and Adérito Baptista and Filipe Jorge da Silva Araújo },
        title = { Accessing wireless sensor networks via dynamically reconfigurable interaction models },
        journal = { International Journal of Interactive Multimedia and Artificial Intelligence },
        year = { 2012 },
        month = { 12 },
        volume = { 1 },
        number = { 7 },
        pages = { 52-61 },
        note = { URL={http://www.ijimai.org/journal/sites/default/files/files/2012/11/ijimai20121_7_6_pdf_26241.pdf} }
}

@article{ 10.1109/TPDS.2012.29,
        author = { João Leitão and João Pedro Marques and José Orlando Pereira and Luís Rodrigues },
        title = { X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks },
        journal = { IEEE Transactions on Parallel and Distributed Systems },
        year = { 2012 },
        month = { 11 },
        volume = { 23 },
        number = { 11 },
        pages = { 2175-2188 },
        note = { URL={http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=06133281} }
}

@article{ D'Alimonte2012RSE,
        author = { Davide D\'Alimonte and Giuseppe Zibordi and Jean-François Berthon and Elisabetta Canuti and T. Kajiyama },
        title = { Performance and Applicability of Bio-optical Algorithms in Different European Seas },
        journal = { Remote Sensing of Environment },
        year = { 2012 },
        month = { 09 },
        volume = { 124 },
        pages = { 402-412 },
        note = { URL={http://www.sciencedirect.com/science/article/pii/S0034425712002258} }
}

@article{ ijaacs12:ferreira,
        author = { João Ferreira and João Leitão and Luís Rodrigues },
        title = { A-OSGi: a framework to support the construction of autonomic OSGi-based applications },
        journal = { International Journal of Autonomous and Adaptive Communications Systems },
        year = { 2012 },
        month = { 01 },
        volume = { 5 },
        number = { 3 },
        pages = { 292-319 },
        note = { URL={http://inderscience.metapress.com/content/hk7w564085894k22/} }
}

@article{ Rodrigues12reconfiguration,
        author = { rodrod and Barbara Liskov and Kathryn Chen and Moses Liskov and David A. Schultz },
        title = { Automatic Reconfiguration for Large-Scale Reliable Storage Systems },
        journal = { IEEE Transactions on Dependable and Secure Computing },
        year = { 2012 },
        volume = { 9 },
        number = { 2 },
        pages = { 145-158 }
}

@article{ Pereira12ASR,
        author = { Ricardo Lopes Pereira and Teresa Vazão and rodrod },
        title = { Adaptive Search Radius - Using hop count to reduce P2P traffic },
        journal = { Computer Networks },
        year = { 2012 },
        volume = { 56 },
        number = { 2 },
        pages = { 642-660 }
}

@article{ moniz12byzantine,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia },
        title = { Byzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks },
        journal = { IEEE Transactions on Mobile Computing },
        year = { 2012 }
}

@article{ crdt-beatcs,
        author = { Marc Shapiro and N. Preguiça and Carlos Baquero and Marek Zawirski },
        title = { Convergent and Commutative Replicated Data Types },
        journal = { Bulletin of the European Association for Theoretical Computer Science },
        year = { 2011 },
        month = { 06 },
        number = { 104 },
        pages = { 67-88 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/beatcs-2011.pdf} }
}

@article{ lourenco-comsis-2011,
        author = { João M. Lourenço and Diogo Sousa and Bruno Cavaca Teixeira and Ricardo Dias },
        title = { Detecting concurrency anomalies in transactional memory programs },
        journal = { Computer Science and Information Systems },
        year = { 2011 },
        month = { 04 },
        volume = { 8 },
        number = { 2 }
}

@article{ moniz11healer,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { Randomization can be a Healer: Consensus with Dynamic Omission Failures },
        journal = { Distributed Computing },
        year = { 2011 },
        volume = { 24 },
        number = { 3-4 },
        pages = { 165-175 }
}

@article{ moniz11ritas,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { RITAS: Services for Randomized Intrusion Tolerance },
        journal = { IEEE Transactions on Dependable and Secure Computing },
        year = { 2011 },
        volume = { 8 },
        number = { 1 },
        pages = { 122-136 }
}

@article{ vavala11randomized,
        author = { Bruno Vavala and hm and Nuno Ferreira Neves },
        title = { Randomized Consensus in Wireless Environments },
        journal = { IARIA International Journal in Intelligent Systems },
        year = { 2011 },
        volume = { 4 },
        number = { 1&2 },
        pages = { 1-12 }
}

@article{ D'Alimonte2010AO,
        author = { Davide D\'Alimonte and Giuseppe Zibordi and T. Kajiyama and Jose C. Cunha },
        title = { Monte Carlo code for high spatial resolution ocean color simulations },
        journal = { Applied Optics },
        year = { 2010 },
        month = { 09 },
        volume = { 49 },
        number = { 26 },
        pages = { 4936-4950 },
        note = { URL={http://www.opticsinfobase.org/abstract.cfm?uri=ao-49-26-4936} }
}

@article{ ijts2010,
        author = { Pedro D. Medeiros },
        title = { A Graphical Tool for the Tomographic Characterization of Microstructural Features on Metal Matrix Composites },
        journal = { International Journal of Tomography & Statistics },
        year = { 2010 },
        month = { 06 },
        volume = { 14 },
        number = { S10 },
        pages = { 3-15 }
}

@article{ lps-osr2010,
        author = { Mihai Letia and N. Preguiça and Marc Shapiro },
        title = { Consistency without concurrency control in large, dynamic systems },
        journal = { Operating Systems Review },
        year = { 2010 },
        month = { 04 },
        volume = { 44 },
        number = { 2 },
        pages = { 29-34 },
        note = { URL={http://dx.doi.org/10.1145/1773912.1773921} }
}

@article{ mccc10a,
        author = { C. Morgado and Jose C. Cunha and N. Correia and J. F. Custódio },
        title = { Group-based interactions for multiuser applications },
        journal = { Scalable Computing Practice and Experience },
        year = { 2010 },
        month = { 03 },
        volume = { 11 },
        number = { 1 },
        pages = { 63-71 }
}

@article{ jalmSergio2010,
        author = { J. Legatheaux Martins and S. Duarte },
        title = { Routing Algorithms for Content-based Publish/Subscribe Systems },
        journal = { IEEE Communications Surveys & Tutorials },
        year = { 2010 },
        month = { 01 },
        volume = { To be published in 2010 Q1 }
}

@article{ @inproceedings{ CruLop09, author = { P. A. Lopes and Leonor Cruzeiro }, title = { Ar,
        author = { Leonor Cruzeiro and P. A. Lopes },
        title = { Are the native states of proteins kinetic traps? },
        journal = { Molecular Physics },
        year = { 2009 },
        month = { 06 },
        volume = { 107 },
        number = { 14 },
        pages = { 1485-1493 },
        note = { URL={http://journalsonline.tandf.co.uk/} }
}

@article{ ComSIS_DLC08,
        author = { Ricardo Dias and João M. Lourenço and G. Cunha },
        title = { Developing Libraries Using Software Transactional Memory },
        journal = { Computer Science and Information Systems },
        year = { 2008 },
        month = { 12 },
        volume = { 5 },
        number = { 2 },
        pages = { 103-117 }
}

@article{ Gom.Ran.Cun-1a-08,
        author = { M. Cecília Gomes and Omer Rana and Jose C. Cunha },
        title = { Extending Grid-Based Workflow Tools with Patterns/Operators },
        journal = { IJHPCA - The International Journal of High Performance Computing Applications },
        year = { 2008 },
        month = { 08 },
        volume = { 22 },
        number = { 3 },
        pages = { 301-318 },
        note = { URL={http://hpc.sagepub.com/cgi/content/abstract/22/3/301} }
}

@article{ herve:lblopes:mob:spe,
        author = { Hervé Paulino and Luís Lopes },
        title = { A programming language for service-oriented computing with mobile agents },
        journal = { Software: Practice and Experience },
        year = { 2008 },
        month = { 06 },
        volume = { 38 },
        number = { 7 },
        pages = { 705-734 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-SPE-2008.pdf} }
}

@article{ Alm.Baq.Pre.Hut-7a-06,
        author = { Paulo Sérgio Almeida and Carlos Baquero and N. Preguiça and David Hutchison },
        title = { Scalable Bloom Filters },
        journal = { Information Processing Letters (Elsevier) },
        year = { 2007 },
        month = { 03 },
        volume = { 101 },
        number = { 6 },
        pages = { 255-261 },
        note = { URL={http://dx.doi.org/10.1016/j.ipl.2006.10.007} }
}

@article{ Pre.Mar.Dom.Dua-4a-Jun06,
        author = { N. Preguiça and J. Legatheaux Martins and H. J. Domingos and S. Duarte },
        title = { Supporting multi-synchronous groupware: data management problems and a solution },
        journal = { International Journal of Cooperative Information Systems (IJCIS) },
        year = { 2006 },
        month = { 06 },
        volume = { 15 },
        number = { 2 },
        pages = { 229-258 },
        note = { URL={http://www.worldscinet.com/ijcis/15/1502/S0218843006001359.html} }
}

@article{ Cun.Ran.Med-11a-Apr05,
        author = { Jose C. Cunha and Omer Rana and Pedro D. Medeiros },
        title = { Future Trends in Distributed Applications and Problem-Solving Environments },
        journal = { Future Generation Computer Systems },
        year = { 2005 },
        month = { 04 },
        volume = { 21 },
        number = { 6 },
        pages = { 843-855 },
        note = { URL={http://asc.di.fct.unl.pt/%7Ejcc/pub/fgcs-cunha.pdf} }
}

@article{ Fig.Pau.Lop.Sil-22a-03,
        author = { Álvaro Figueira and Hervé Paulino and Luís Lopes and Fernando Silva },
        title = { Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources },
        journal = { Journal of Universal Computer Science },
        year = { 2003 },
        month = { 08 },
        volume = { 8 },
        number = { 9 },
        pages = { 745-760 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/DiTyCO-JUCS-2003.pdf} }
}

@article{ Gom.Ran.Cun-24a-03,
        author = { M. Cecília Gomes and Omer Rana and Jose C. Cunha },
        title = { Pattern Operators for Grid Environments },
        journal = { Scientific Programming },
        year = { 2003 },
        volume = { 11 },
        number = { 3 },
        pages = { 237-261 },
        note = { URL={http://iospress.metapress.com/content/0lmwq5k5aknp/?p=572eea73a86b4efb871937e8aa0f4121&pi=17} }
}

@article{ Dua.Lou.Cun-27a-01,
        author = { V. Duarte and João M. Lourenço and Jose C. Cunha },
        title = { Supporting On-Line Distributed Monitoring and Debugging },
        journal = { Parallel and Distributed Computing Practices },
        year = { 2001 },
        volume = { 4 },
        number = { 3 },
        pages = { 43-59 }
}

@article{ Cunha.Krawczyk-30a-00,
        author = { Jose C. Cunha and Henryk Krawczyk },
        title = { Testing and Debugging of Distributed Software },
        journal = { Computer and Artificial Intelligence },
        year = { 2000 },
        volume = { 19 },
        number = { 6 },
        pages = { 495-510 }
}

@article{ Cun.Lou.Ant-31a-99,
        author = { Jose C. Cunha and João M. Lourenço and Tiago Antão },
        title = { An Experiment in Tool Integration: the DDBG Parallel and Distributed Debugger },
        journal = { Journal of Systems Architecture },
        year = { 1999 },
        volume = { 45 },
        number = { 11 },
        pages = { 897-907 },
        note = { URL={http://dx.doi.org/10.1016/S1383-7621(98)00024-1} }
}

@article{ cunha-lourenco-98,
        author = { Jose C. Cunha and João M. Lourenço },
        title = { An Integrated Course on Parallel and Distributed Processing },
        journal = { ACM SIGCSE Bulletin on Computer Science Education },
        year = { 1998 },
        month = { 03 },
        volume = { 30 },
        number = { 1 },
        pages = { 217-221 }
}

@article{ Cun.Lou.Dua-33a-98,
        author = { Jose C. Cunha and João M. Lourenço and V. Duarte },
        title = { Using DDBG to Support Testing and High-level Debugging Interfaces },
        journal = { Computer and Artificial Intelligence },
        year = { 1998 },
        volume = { 17 },
        number = { 5 },
        pages = { 429-439 }
}

@article{ Kac.Cun.Dó.Lou.Fad.Ant-35a-97,
        author = { Peter Kacsuk and Jose C. Cunha and Gabor Dózsa and João M. Lourenço and Tibor Fadgyas and Tiago Antão },
        title = { A Graphical Development and Debugging Environment for Parallel Programs },
        journal = { Parallel Computing },
        year = { 1997 },
        volume = { 22 },
        number = { 13 },
        pages = { 1747-1770 },
        note = { URL={http://dx.doi.org/10.1016/S0167-8191(96)00075-0} }
}

@article{ Kwi.And.Luq. Ma.Cun.Lou.Kra.Sze-96,
        author = { Jan Kwiatkowski and Marek Andruszkiewicz and Emilio Luque and Tomàs Margalef and Jose C. Cunha and João M. Lourenço and Henryk Krawczyk and Stan Szejko },
        title = { Teaching Parallel Processing: Development of Curriculum and Software Tools },
        journal = { ACM SIGCSE Bulletin on Computer Science Education },
        year = { 1996 },
        volume = { 28 },
        number = { SI },
        pages = { 159-161 }
}


*** Books ( 2 ) ***

@book{ Ferreira2015,
        author = { B. Ferreira and H. J. Domingos },
        title = { Image Encryption with Content-Based Image Retrieval Properties },
        publisher = { Springer International Publishing },
        year = { 2015 },
        month = { 03 },
        volume = { LNCS },
        series = { LNCS 8872 },
        edition = { Springer },
        note = { ISBN={0302-9743} }
}

@book{ carvalho2012,
        author = { Vítor Horta Carvalho and Pedro D. Medeiros },
        title = { Including Context in A Routing Algorithm for the Internet of Things },
        publisher = { LAP LAMBERT Academic Publishing },
        year = { 2012 },
        month = { 01 },
        note = { ISBN={978-3847333180} }
}


*** Book Chapters ( 16 ) ***

@inbook{ Morgado-Leitao-Cunha-2014,
        author = { C. Morgado and Tânia Leitão and Jose C. Cunha },
        title = { An Approach for Characterizing Group-based Interactive Environments },
        publisher = { Springer Berlin Heidelberg },
        year = { 2014 },
        volume = { 515 },
        series = { Studies in Computational Intelligence },
        edition = { C. Lai et al. },
        pages = { 79-100 },
        note = { ISBN={978-3-642-40620-1 (Print)},
                URL={http://http://link.springer.com/book/10.1007/978-3-642-40621-8} }
}

@inbook{ incoop:bigdata14,
        author = { Pramod Bhatotia and Alexander Wieder and Umut A. Acar and rodrod },
        title = { Incremental MapReduce Computations },
        publisher = { CRC Press },
        year = { 2014 },
        edition = { Sherif Sakr and Mohamed Medhat Gaber (Eds.) },
        note = { ISBN={9781466581500} }
}

@inbook{ eurotm-book-dias,
        author = { Ricardo Dias and Tiago M. Vale and João M. Lourenço },
        title = { Framework Support for the Efficient Implementation of Multi-Version Algorithms },
        publisher = { Springer International Publishing },
        year = { 2014 },
        series = { Lecture Notes in Computer Science },
        edition = { Rachid Guerraoui and Paolo Romano }
}

@inbook{ springerlink:10.1007/978-3-642-15654-0_5,
        author = { Hervé Paulino and João André Branqueiro Barata Martins and João M. Lourenço and Nuno Duro },
        title = { SmART: An Application Reconfiguration Framework },
        publisher = { Springer Berlin Heidelberg },
        year = { 2010 },
        month = { 10 },
        edition = { Marc Aiguier, Francis Bretaudeau and Daniel Krob },
        pages = { 73-84 },
        note = { ISBN={978-3-642-15654-0},
                URL={http://dx.doi.org/10.1007/978-3-642-15654-0_5} }
}

@inbook{ p2paddstruct,
        author = { João Leitão and Nuno Carvalho and José Orlando Pereira and Rui Oliveira and Luis Rodrigues },
        title = { On Adding Structure to Unstructured Overlay Networks },
        publisher = { Springer-Verlag },
        year = { 2010 },
        month = { 01 },
        edition = { 1 },
        note = { ISBN={978-0-387-09750-3 },
                URL={http://http://www.springer.com/engineering/signals/book/978-0-387-09750-3} }
}

@inbook{ p2pgossipbcast,
        author = { João Leitão and José Orlando Pereira and Luis Rodrigues },
        title = { Gossip-Based Broadcast },
        publisher = { Springer-Verlag },
        year = { 2010 },
        month = { 01 },
        edition = { 1 },
        note = { ISBN={978-0-387-09750-3},
                URL={http://www.springer.com/engineering/signals/book/978-0-387-09750-3} }
}

@inbook{ iWAPTbook2010,
        author = { T. Kajiyama and Akira Nukada and Reiji Suda and Hidehiko Hasegawa and Akira Nishida },
        title = { Toward automatic performance tuning for numerical simulations in the SILC matrix computation framework },
        publisher = { Springer-Verlag },
        year = { 2010 },
        pages = { 175-192 },
        note = { ISBN={978-1-4419-6934-7},
                URL={http://www.springerlink.com/content/q3281h77v3801589/} }
}

@inbook{ moniz09approach,
        author = { hm },
        title = { A Distributed Systems Approach to Air- borne Self-Separation },
        publisher = { IGI Global },
        year = { 2009 }
}

@inbook{ somob-pdpa08,
        author = { Hervé Paulino },
        title = { An Abstract Machine for Service-oriented Mobility },
        publisher = { CRC Press },
        year = { 2008 },
        month = { 12 },
        volume = { 2 },
        series = { Chapman & Hall/CRC Computational Science },
        edition = { William Gardner and Michael Alexander },
        pages = { 199-233 },
        note = { ISBN={9781420064865},
                URL={http://asc.di.fct.unl.pt/~herve/papers/SOM-2008.pdf} }
}

@inbook{ Gom.Cun.Ran-3bc-05,
        author = { M. Cecília Gomes and Jose C. Cunha and Omer Rana },
        title = { A Pattern-based Software Engineering Tool for Grid Environments },
        publisher = { IOS PRESS },
        year = { 2005 },
        month = { 05 },
        series = { NATO Science Series III: Computer and Systems Sciences },
        pages = { 213-222 },
        note = { ISBN={1-58603-502-9},
                URL={http://www.iospress.nl/loadtop/load.php?isbn=9781586035020} }
}

@inbook{ Dua.Lou.Cun-04,
        author = { V. Duarte and João M. Lourenço and Jose C. Cunha },
        title = { Supporting on-line distributed monitoring and debugging },
        publisher = { Nova Science },
        year = { 2004 },
        edition = { Thomas Ludwig and Barton P. Miller },
        pages = { 43-59 },
        note = { ISBN={1-59033-888-X},
                URL={http://portal.acm.org/citation.cfm?id=1024677&picked=prox} }
}

@inbook{ Cun.Lou.Dua-11bc-01,
        author = { Jose C. Cunha and João M. Lourenço and V. Duarte },
        title = { Debugging of Parallel and Distributed Programs },
        publisher = { Nova Science },
        year = { 2001 },
        volume = { 5 },
        series = { Advances in Computation: Theory and Practice },
        edition = { José C.Cunha, P.Kacsuk, and S.Winter },
        pages = { 97-129 },
        note = { ISBN={1-56072-865-5} }
}

@inbook{ Cun.Lou.Dua-10bc-01,
        author = { Jose C. Cunha and João M. Lourenço and V. Duarte },
        title = { The DDBG Distributed Debugger },
        publisher = { Nova Science },
        year = { 2001 },
        volume = { 5 },
        series = { Advances in Computation: Theory and Practice },
        edition = { José C.Cunha, P.Kacsuk, and S.Winter },
        pages = { 279-290 },
        note = { ISBN={1-56072-865-5} }
}

@inbook{ Cunha.Kacsuk-12bc-01,
        author = { Jose C. Cunha and Peter Kacsuk },
        title = { Tools and Environments for Parallel Program Development },
        publisher = { Nova Science },
        year = { 2001 },
        volume = { 5 },
        series = { Advances in Computation: Theory and Practice },
        edition = { José C.Cunha, P.Kacsuk, and S.Winter },
        pages = { 3-16 },
        note = { ISBN={1-56072-865-5} }
}

@inbook{ Cunha-13bc-01,
        author = { Jose C. Cunha },
        title = { Future Generations of Problem Solving Environments },
        publisher = { Kluwer },
        year = { 2001 },
        edition = { Ronald Boisvert and Peter Tang },
        pages = { 1-8 }
}

@inbook{ Cun.Med.Car.Per-16bc-92,
        author = { Jose C. Cunha and Pedro D. Medeiros and Manuel Carvalhosa and Luis Moniz Pereira },
        title = { Delta Prolog: a Distributed Logic Language and Its Implementation on Distributed--Memory Multiprocessors },
        publisher = { John Wiley & Sons },
        year = { 1992 },
        edition = { P. Kacsuk and M. Wise },
        pages = { 335-356 },
        note = { ISBN={0-471-93116-0} }
}


*** Dissertations ( 24 ) ***

@phdthesis{ dias-phd-2013,
        author = { Ricardo Dias },
        title = { Maintaining the Correctness of Transactional Memory Programs },
        school = { Universidade Nova de Lisboa },
        year = { 2013 },
        month = { 11 }
}

@mastersthesis{ tribudstm-pr-mscthesis,
        author = { Jo\\\\\\\\~{a}o Andr\\\\\\\\\\\\\\\'e Silva },
        title = { Partial Replication in Distributed Software Transactional Memory },
        school = { Departamento de Informática FCT/UNL },
        year = { 2013 },
        month = { 09 },
        note = { url={http://hdl.handle.net/10362/10769} }
}

@phdthesis{ jleitao:pdh,
        author = { João Leitão },
        title = { Topology Management for Unstructured Overlay Networks },
        school = { Instituto Superior Técnico },
        year = { 2012 },
        month = { 09 },
        note = { url={http://asc.di.fct.unl.pt/~jleitao/pdf/LeitaoPhDThesis.pdf} }
}

@mastersthesis{ msc:dias:2008,
        author = { Ricardo Dias },
        title = { Cooperative Memory and Database Transactions },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2008 },
        month = { 11 }
}

@phdthesis{ rfm-phd,
        author = { R. Marques },
        title = { Concurrent Tabling: Algorithms and Implementation },
        school = { Universidade Nova de Lisboa },
        year = { 2007 },
        month = { 11 },
        note = { url={http://asc.di.fct.unl.pt/~rfm/research.html} }
}

@phdthesis{ GomesPhD-07,
        author = { M. Cecília Gomes },
        title = { Pattern Operators for Grid Environments },
        school = { Universidade Nova de Lisboa },
        year = { 2007 },
        month = { 11 },
        note = { url={http://hdl.handle.net/10362/1522} }
}

@mastersthesis{ goncalo.cunha-msc.2007,
        author = { G. Cunha },
        title = { Consistent State Software Transactional Memory },
        school = { Universidade Nova de Lisboa },
        year = { 2007 },
        month = { 10 }
}

@mastersthesis{ JoaoLeitao:msc,
        author = { João Leitão },
        title = { Gossip-Based Broadcast Protocols },
        school = { Faculdade de Ciências da Universidade de Lisboa },
        year = { 2007 },
        month = { 05 },
        note = { url={http://asc.di.fct.unl.pt/~jleitao/pdf/masterthesis-leitao.pdf} }
}

@mastersthesis{ marcos-msc,
        author = { M. A. Bento },
        title = { Contribuições Para o Desenho e Implementação de um Sistema de Ficheiros para Dispositivos Móveis },
        school = { Departamento de Informática FCT/UNL },
        year = { 2007 },
        month = { 01 }
}

@phdthesis{ Carmen07,
        author = { C. Morgado },
        title = { Um modelo de grupos para aplicações interactivas distribuídas },
        school = { FCT-UNL },
        year = { 2007 }
}

@phdthesis{ herve:phd,
        author = { Hervé Paulino },
        title = { An Infrastructure for Mobile Service-Oriented Computing Encoded on a Process Calculus },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2006 },
        month = { 12 },
        note = { url={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-PhDThesis.pdf} }
}

@phdthesis{ smd:phd:05,
        author = { S. Duarte },
        title = { DEEDS - A Distributed and Extensible Event Dissemination Service },
        school = { Departamento de Informática FCT/UNL },
        year = { 2005 },
        month = { 09 }
}

@phdthesis{ DuartePhd05,
        author = { V. Duarte },
        title = { Uma Arquitectura para a Monitorização de Computações Paralelas e Distribuídas },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2005 },
        month = { 05 }
}

@phdthesis{ jml-phd,
        author = { João M. Lourenço },
        title = { A Debugging Engine for Parallel and Distributed Programs },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2004 },
        note = { url={http://asc.di.fct.unl.pt/~jml/Papers/2004/phd-thesis.pdf} }
}

@phdthesis{ Preguiça-1d-03,
        author = { N. Preguiça },
        title = { Gestão de Dados Partilhados em Ambientes de Computação Móvel },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2003 },
        note = { url={http://http://asc.di.fct.unl.pt/~nmp/papers/nmp-phd.pdf} }
}

@phdthesis{ Domingos-2d-00,
        author = { H. J. Domingos },
        title = { Suporte de Trabalho Cooperativo Multi-Síncrono em Ambientes Distribuídos de Grande Escala },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2000 }
}

@mastersthesis{ rfm-msc,
        author = { R. Marques },
        title = { A Parallel and Distributed Programming Model for Prolog[in Portuguese] },
        school = { Universidade Nova de Lisboa },
        year = { 1997 },
        month = { 06 },
        note = { url={http://asc.di.fct.unl/fm/pvm-prolog} }
}

@mastersthesis{ smd:msc:97,
        author = { S. Duarte },
        title = { Estratégias de Paralelização do Algoritmo de Ray Tracing },
        school = { Departamento de Informática FCT/UNL },
        year = { 1997 },
        month = { 04 }
}

@mastersthesis{ Preguiça-6d-97,
        author = { N. Preguiça },
        title = { Repositório de Objectos de Suporte ao Trabalho Cooperativo Assíncrono },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 1997 }
}

@mastersthesis{ cpm-1997,
        author = { C. Morgado },
        title = { O Sistema Classificador no Controlo de Veículos Autónomos },
        school = { Departamento de Informática FCT/UNL },
        year = { 1997 }
}

@mastersthesis{ GomesMsC-97,
        author = { M. Cecília Gomes },
        title = { A Contribution to the Study of Group Based Object Oriented Programming Models [in Portuguese] },
        school = { Universidade Nova de Lisboa },
        year = { 1997 }
}

@mastersthesis{ DuarteMsc95,
        author = { V. Duarte },
        title = { Visualização de computações distribuídas no sistema ISIS },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 1995 },
        month = { 06 }
}

@mastersthesis{ jml-msc,
        author = { João M. Lourenço },
        title = { Mecanismos de Suporte à Execução Concorrente de Programas em Lógica },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 1994 }
}

@phdthesis{ Cunha-1989,
        author = { Jose C. Cunha },
        title = { Execucao concorrente de uma linguagem de programacao em logica },
        school = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 1989 }
}


*** Editorial Activities ( 13 ) ***

proceedings@{ musepat:2013:proceedings,
        editor = { João M. Lourenço and Eitan Farchi },
        title = { MSEPT 2013 — Multicore Software Engineering, Performance, and Tools },
        year = { 2013 },
        publisher = { Springer Berlin Heidelberg },
        volume = { 8063 },
        series = { Lecture Notes in Computer Science },
        note = { url={http://dx.doi.org/10.1007/978-3-642-39955-8},
                other_notes={2nd International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013, Saint Petersburg, Russia, August 19--20, 2013} }
}

proceedings@{ s-cube2012,
        editor = { Francisco Martins and Luís Lopes and Hervé Paulino },
        title = { Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers },
        year = { 2012 },
        month = { 09 },
        publisher = { Springer-Verlag },
        volume = { 102 },
        series = { Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engi },
        note = { url={http://www.springer.com/computer/communication+networks/book/978-3-642-32777-3},
                other_notes={The Third International ICST Conference on Sensor Systems and Software (S-cube 2012) was held during June 4–5, in Lisbon, Portugal. The conference focuses on the research challenges arising from the development of software systems for wireless sensor networks (WSNs). WSNs introduce innovative and interesting application scenarios that may support a large amount of different applications including environmental monitoring, disaster prevention, building automation, object tracking, nuclear reactor control, fire detection, agriculture, healthcare, and traffic monitoring. The widespread acceptance of these new services can be improved by the development of novel programming paradigms, middleware, and technologies that have the potential to radically simplify the development and deployment of WSN applications. Such improvements require contributions from many fields of expertise such as embedded systems, distributed systems, data management, system security, and machine learning. The emphasis is, thus, on layers well above the traditional MAC, routing, and transport layer protocols. This year’s technical program included four invited talks/papers, seven regular papers, and three demos. Overall we received 18 submissions corresponding to an acceptance rate of 38%. The papers make quite diverse contributions with an emphasis on: middleware, frameworks, learning from sensor data streams, stock management, e-health, and Web of Things. There were around 25 registrants for the conference. The social program included a dinner at “A Severa,” a picturesque restaurant in downtown Lisbon, where the attendees had the opportunity to listen to “fado,” a music style that is characterstic of Portugal and that has recently been classified as part of the World Cultural Heritage.} }
}

proceedings@{ hvc:2011:proceedings,
        editor = { João M. Lourenço and Kerstin Eder and Onn Shehory },
        title = { HVC 2011 — Hardware and Software: Verification and Testing },
        year = { 2012 },
        publisher = { Springer Berlin Heidelberg },
        volume = { 7261 },
        series = { LNCS },
        note = { url={http://dx.doi.org/10.1007/978-3-642-34188-5},
                other_notes={Proceedings of HVC 2011 (Haifa Verification Conference)} }
}

proceedings@{ padtad2011,
        editor = { João M. Lourenço and Eitan Farchi },
        title = { PADTAD '11: Proceedings of the 9th Workshop on Parallel and Distributed Systems },
        year = { 2011 },
        month = { 07 },
        publisher = { ACM Electronic Library },
        note = { url={http://dl.acm.org/citation.cfm?id=2002962},
                other_notes={Co-located with the ISSTA'11: International Symposium on Software Testing and Analysis. ISBN: 978-1-4503-0809-0} }
}

article@{ IJAHUC 2011,
        author = { H. J. Domingos },
        title = { International Journal Ad Hoc and Ubiquitous Computing },
        year = { 2011 },
        journal = { IJAHUC - International Journal of Ad Hoc and Ubiquitous Computing },
        volume = { 7 },
        series = { IJAHUC },
        number = { 1 }note = { Edition of this journal number,
        note = { International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC), Special Number - Wireless and Mobile Networks } }
}

proceedings@{ proc_padtad_2010,
        editor = { João M. Lourenço and Eitan Farchi and Shmuel Ur },
        title = { PADTAD '10: Proceedings of the 8th Workshop on Parallel and Distributed Systems },
        year = { 2010 },
        month = { 07 },
        publisher = { ACM Electronic Library },
        note = { url={http://portal.acm.org/toc.cfm?id=1866210&idx=SERIES392&type=proceeding&coll=portal&dl=ACM&part=serie},
                other_notes={Co-located with the ISSTA'10: International Symposium on Software Testing and Analysis.} }
}

proceedings@{ @PROCEEDINGS{NetCoM2009,TITLE=Proceedings of the International Conference on Networks and Communicat,
        editor = { H. J. Domingos },
        title = { Proceedings of the NetCoM 2009 - International Conference on Networks and Communications },
        year = { 2009 },
        month = { 12 },
        publisher = { IEEE Computer Society },
        volume = { BMS Part Number CFP0950I-CDR },
        series = { IEEE Computer Society },
        number = { ISBN 978-0-7695-3924-9 },
        note = { url={http://doi.ieeecomputersociety.org/10.1109/NetCoM.2009.31},
                other_notes={ISBN 978-0-7695-3924-9 DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/NetCoM.2009.31 } }
}

proceedings@{ @inproceedings { SINO-2007, booktitle = ,
        editor = { H. J. Domingos and Nuno Ferreira Neves },
        title = { Actas da 3ª Conferência Nacional de Segurança Informática nas Organizações (SINO 2007) },
        year = { 2007 },
        month = { 11 },
        publisher = { Faculdade de Ciências - Universidade de Lisboa },
        volume = { 1 },
        series = { 2007 },
        number = { ISBN (13)978-972-8401-59-7 },
        note = { Actas SINO'2007 }
}

article@{ Special Issue: Parallel and Distributed Computing (EuroPar 2005),
        author = { Jose C. Cunha and Pedro D. Medeiros },
        title = { Special Issue: Parallel and Distributed Computing (EuroPar 2005) },
        year = { 2007 },
        journal = { Concurrency and Computation: Practice & Experience }note = { Edition of this journal number,
        url={http://http://portal.acm.org/citation.cfm?id=1298367.1298376&coll=&dl=GUIDE&CFID=15151515&CFTOKEN=61},
                other_notes={Concurrency and Computation: Practice & Experience archive Volume 19 , Issue 17 (December 2007) table of contents Parallel and Distributed Computing (EuroPar 2005) Pages: 2183 - 2184 Year of Publication: 2007 ISSN:1532-0626 } }
}

proceedings@{ Grid Computing: Software Environments and Tools,
        editor = { Jose C. Cunha and Omer Rana },
        title = { Grid Computing: Software Environments and Tools },
        year = { 2006 },
        publisher = { Springer-Verlag },
        series = { Springer Programming, SWE & Operating Systems },
        note = { url={http:// www.springer.com/computer/swe/book/978-1-85233-998-2},
                other_notes={Grid Computing: Software Environments and Tools Cunha, Jose C.; Rana, Omer F. (Eds.) 2006, XII, 332 p. 140 illus., Softcover, Springer ISBN: 978-1-85233-998-2 } }
}

proceedings@{ proc-ITiCSE-2005,
        editor = { Jose C. Cunha and William Fleischman and João M. Lourenço and Viera K. Proulx },
        title = { ITiCSE 2005: Proceedings of the 10th annual SIGCSE conference on Innovation and Technology in Computer Science Education },
        year = { 2005 },
        publisher = { ACM Press }
}

proceedings@{ Euro-Par 2005 Parallel Processing,
        editor = { Jose C. Cunha and Pedro D. Medeiros },
        title = { Euro-Par 2005 Parallel Processing },
        year = { 2005 },
        publisher = { Springer-Verlag },
        volume = { Volume 3648/2005 },
        series = { Lecture Notes in Computer Science },
        note = { url={http://http://www.springerlink.com/content/bt9hbjv8u400/},
                other_notes={11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings} }
}

proceedings@{ Cunha-Kacsuk-Winter-2001,
        editor = { Jose C. Cunha and Peter Kacsuk and Stephen C. Winter },
        title = { Parallel Program Development for Cluster Computing: Methodology, Tools and Integrated Environments, },
        year = { 2001 },
        publisher = { Nova Science },
        volume = { 5 },
        series = { Advances in Computation: Theory and Practice },
        note = { ISBN: 1-56072-865-5 }
}


*** In Proceedings ( 240 ) ***

@inproceedings{ RicardoMartins15,
        author = { J. Legatheaux Martins and H. J. Domingos },
        title = { Comunicação IP com identificadores criptograficamente gerados para prevenção de DDoS },
        booktitle = { Atas do INFORUM 2015 },
        publisher = { INFORUM },
        editor = { ISBN 978-989-654-248-1 },
        year = { 2015 },
        month = { 09 },
        series = { INforum },
        pages = { 370-385 }
}

@inproceedings{ Ferreira2015b,
        author = { B. Ferreira and João Leitão and H. J. Domingos },
        title = { Cifra Multimodal Indexável para Aplicações Móveis baseadas na Nuvem },
        booktitle = { ATAS do Inforum - Simpósio Nacional de Informática },
        publisher = { INFORUM },
        editor = { INFORUM 2015 },
        year = { 2015 },
        month = { 09 },
        series = { INFORUM },
        pages = { 386-401 }
}

@inproceedings{ redstm-icdcn2015,
        author = { Jo\\\\\\\\~{a}o Andr\\\\\\\\\\\\\\\'e Silva and Tiago M. Vale and Ricardo Dias and Hervé Paulino and João M. Lourenço },
        title = { Supporting Multiple Data Replication Models in Distributed Transactional Memory },
        booktitle = { International Conference on Distributed Computing and Networking (ICDCN 2015) },
        publisher = { ACM },
        year = { 2015 },
        month = { 01 }
}

@inproceedings{ marrow-heteropar2014,
        author = { Fábio Soldado and Fernando Jorge Marques Alexandre and Hervé Paulino },
        title = { Towards the Transparent Execution of Compound OpenCL Computations in Multi-CPU/Multi-GPU Environments },
        booktitle = { Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I },
        publisher = { Springer International Publishing },
        editor = { Luís Lopes at al. },
        year = { 2014 },
        month = { 12 },
        series = { Lecture Notes in Computer Science },
        number = { 8805 },
        pages = { 177-188 }
}

@inproceedings{ pzbdbs14,
        author = { N. Preguiça and Marek Zawirski and Annette Bieniusa and S. Duarte and Balegas and Marc Shapiro },
        title = { SwiftCloud: Fault- Tolerant Geo-Replication Integrated all the Way to the Client Machine (invited talk) },
        booktitle = { W-PSDS 2014: Workshop on Planetary-Scale Distributed Systems, 2014 },
        publisher = { IEEE },
        year = { 2014 },
        month = { 10 }
}

@inproceedings{ score-cache,
        author = { Jo\\\\\\\\~{a}o Andr\\\\\\\\\\\\\\\'e Silva and João M. Lourenço and Hervé Paulino },
        title = { Um Mecanismo de Caching para o Protocolo SCORe },
        booktitle = { INForum 2014 - Atas do 6º Simpósio de Informática },
        publisher = { Universidade do Porto },
        editor = { Salvador Pinto Abreu, João Pascoal Faria },
        year = { 2014 },
        month = { 09 },
        pages = { 260-275 },
        note = { URL={http://inforum.org.pt/INForum2014/docs/atas-do-inforum2014} }
}

@inproceedings{ Inforum 2014,
        author = { João Carlos Andrade Almeida and H. J. Domingos },
        title = { MIT4WSN - Multipath Intrusion Tolerant Routing for Wireless Sensor Networks },
        booktitle = { Atas do Inforum 2014 },
        publisher = { Inforum 2014 },
        year = { 2014 },
        month = { 09 },
        series = { Inforum 2014 },
        note = { URL={http://inforum.org.pt/INForum2014/programa} }
}

@inproceedings{ Rodrigues2014,
        author = { João Cardia Rodrigues and B. Ferreira and João Leitão and H. J. Domingos },
        title = { DocNuvem: Edição Colaborativa de Documentos na Nuvem com Garantias de Privacidade },
        booktitle = { Atas do Inforum 2014 },
        publisher = { INFORUM },
        editor = { Inforum 2014 },
        year = { 2014 },
        month = { 09 },
        series = { Inforum 2014 },
        note = { URL={http://http://inforum.org.pt/INForum2014/programa} }
}

@inproceedings{ Ferreira2014,
        author = { B. Ferreira and João Cardia Rodrigues and João Leitão and H. J. Domingos },
        title = { Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties },
        booktitle = { Proceedings of DPM 2014, 9th Intl Workshop on Data Privacy Management, ESORICS 2014 - European Symposium on Research in Computer Security LNCS 8872 },
        publisher = { Springer-Verlag },
        editor = { Springer Verlag },
        year = { 2014 },
        month = { 09 },
        series = { Springer LNCS 8872 },
        note = { URL={http://link.springer.com/chapter/10.1007%2F978-3-319-17016-9_20} }
}

@inproceedings{ abgpf14,
        author = { Paulo Sérgio Almeida and Ricardo Gonçalves and N. Preguiça and Victor Fonte },
        title = { Scalable and Accurate Causality Tracking for Eventually Consistent Stores },
        booktitle = { DAIS 2014: Proceedings of the 14th International Conference on Distributed Applications and Interoperable Systems, 2014 },
        publisher = { Springer },
        year = { 2014 },
        month = { 06 },
        series = { LNCS },
        number = { 8460 },
        pages = { 67-81 },
        note = { URL={http://link.springer.com/chapter/10.1007/978-3-662-43352-2_6} }
}

@inproceedings{ nubp14,
        author = { Mehdi Nacer and Pascal Urso and Balegas and N. Preguiça },
        title = { Merging OT and CRDT Algorithms },
        booktitle = { PaPEC '14: Proceedings of the First Workshop on Principles and Practice of Eventual Consistency },
        publisher = { ACM },
        year = { 2014 },
        month = { 04 },
        note = { URL={http://dx.doi.org/10.1145/2596631.2596636} }
}

@inproceedings{ marrow-sac2014,
        author = { Fernando Jorge Marques Alexandre and Ricardo Marques and Hervé Paulino },
        title = { On the Support of Task-Parallel Algorithmic Skeletons for Multi-GPU Computing },
        booktitle = { Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '14, Gyeongju, South Korea, March 24-28, 2014 },
        publisher = { ACM },
        year = { 2014 },
        month = { 03 },
        pages = { 880-885 }
}

@inproceedings{ sieve:atc14,
        author = { Cheng Li and João Leitão and Allen Clement and N. Preguiça and rodrod and Viktor Vafeiadis },
        title = { Automating the Choice of Consistency Levels in Replicated Systems },
        booktitle = { Proceedings of the 2014 USENIX Annual Technical Conference, Usenix ATC 2014 },
        publisher = { Usenix Association },
        year = { 2014 }
}

@inproceedings{ ski:osdi14,
        author = { Pedro Fonseca and rodrod and Bjoern Brandenburg },
        title = { SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration },
        booktitle = { Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2014 },
        publisher = { Usenix Association },
        year = { 2014 }
}

@inproceedings{ slider:middleware14,
        author = { Pramod Bhatotia and Umut A. Acar and Flavio Junqueira and rodrod },
        title = { Slider: Incremental Sliding Window Analytics },
        booktitle = { Proceedings of the 15th ACM/ IFIP/USENIX International Middleware Conference, Middleware 2014 },
        publisher = { ACM },
        year = { 2014 }
}

@inproceedings{ rodrigues2013tms,
        author = { João Miguel Cardia Melro Rodrigues and B. Ferreira and H. J. Domingos },
        title = { TMS - A Trusted Mail Repository Service using Public Storage Clouds },
        booktitle = { ACM/IFIP/USENIX 14th International Middleware Conference and Workshops },
        publisher = { ACM },
        editor = { David Eyers and Karsten Schwan },
        year = { 2013 },
        month = { 12 },
        series = { ACM/IFIP/USENIX Middleware 2013 - MW4NG'13, ISBN 978-1-4503-2551-6 },
        note = { URL={http://dl.acm.org/citation.cfm?id=2541608.2541610&coll=DL&dl=ACM&CFID=276125657&CFTOKEN=83692836} }
}

@inproceedings{ Assuncao-Cunha-2013,
        author = { L. Assunção and Jose C. Cunha },
        title = { Dynamic Workflow Reconfigurations for Recovering from Faulty Cloud Services },
        booktitle = { IEEE CloudCom 2013 - 5th Intl. Conference on Cloud Computing Technology & Science },
        publisher = { IEEE Computer Society },
        year = { 2013 },
        month = { 12 },
        series = { IEEE CloudCom },
        pages = { 88-95 },
        note = { URL={http://2013.cloudcom.org/} }
}

@inproceedings{ web10g-diversity,
        author = { Filipe Ribeiro de Carvalho and J. Legatheaux Martins },
        title = { Using Web10G for Service and Network Diversity Exploitation and Failure Recovery },
        booktitle = { Atas da Conferência de Redes de Computadores 2013 (CRC 2013) },
        publisher = { Instituto Politécnico de Leiria },
        year = { 2013 },
        month = { 11 },
        series = { Conferência em Redes de Computadores },
        pages = { 73-78 }
}

@inproceedings{ sdn-ethernet,
        author = { Alexandre Pinote and J. Legatheaux Martins },
        title = { Encaminhamento IP Optimizado Através de uma Aproximação de Software Defined Networking },
        booktitle = { Conferência de Redes de Computadores 2013 (CRC 2013) },
        publisher = { Instituto Politécnico de Leiria },
        year = { 2013 },
        month = { 11 },
        series = { Conferência de Redes de Computadores - CRC },
        pages = { 109-114 }
}

@inproceedings{ Saptawijaya2013ACRS,
        author = { Ari Saptawijaya and Davide D\'Alimonte and T. Kajiyama },
        title = { Seawater-type Based Neural Networks for Ocean Color Data Inversion },
        booktitle = { Proc. 34th Asian Conference on Remote Sensing (ACRS 2013) },
        publisher = { ACRS2013 },
        year = { 2013 },
        month = { 10 },
        note = { URL={http://www.acrs2013.com} }
}

@inproceedings{ DAlimonte2013ACRS,
        author = { Davide D\'Alimonte and T. Kajiyama and Giuseppe Zibordi },
        title = { Monte Carlo Simulations of the Sea-surface Reflectance for Above-Water Radiometric Applications },
        booktitle = { Proc. 34th Asian Conference on Remote Sensing (ACRS 2013) },
        publisher = { ACRS2013 },
        year = { 2013 },
        month = { 10 },
        note = { URL={http://www.acrs2013.com} }
}

@inproceedings{ NUBP2013-collaboratecom,
        author = { Mehdi Nacer and Pascal Urso and Balegas and N. Preguiça },
        title = { Concurrency control and awareness support for multi-synchronous collaborative editing },
        booktitle = { CollaborateCom’13: Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing },
        publisher = { IEEE },
        year = { 2013 },
        month = { 10 },
        pages = { 148-157 }
}

@inproceedings{ Marrow-inforum2013,
        author = { Fernando Jorge Marques Alexandre and Ricardo Marques and Hervé Paulino },
        title = { Esqueletos Algorítmicos para Paralelismo de Tarefas em Sistemas Multi-GPU },
        booktitle = { INForum 2013 - Atas do 5º Simpósio de Informática },
        publisher = { Escola de Ciências e Tecnologia da Universidade de Évora },
        editor = { João Cachopo and Beatriz Sousa Santos },
        year = { 2013 },
        month = { 09 },
        pages = { 238-249 }
}

@inproceedings{ hierPar-inforum2013,
        author = { Nuno Delgado and Hervé Paulino },
        title = { Uma Abordagem Sistema para o Paralelismo Hierárquico em Arquitecturas Multi-core },
        booktitle = { INForum 2013 - Atas do 5º Simpósio de Informática },
        publisher = { Escola de Ciências e Tecnologia da Universidade de Évora },
        editor = { João Cachopo and Beatriz Sousa Santos },
        year = { 2013 },
        month = { 09 },
        pages = { 274-285 }
}

@inproceedings{ asfav-inforum2013,
        author = { Daniel Luis Landeiroto Parreira and Hervé Paulino },
        title = { Uma Abordagem Alto Nível ao Controlo de Concorrência Componível Centrado nos Dados },
        booktitle = { INForum 2013 - Atas do 5º Simpósio de Informática },
        publisher = { Escola de Ciências e Tecnologia da Universidade de Évora },
        editor = { João Cachopo and Beatriz Sousa Santos },
        year = { 2013 },
        month = { 09 },
        pages = { 298-309 }
}

@inproceedings{ tribudstm-rp-inforum2013,
        author = { Jo\\\\\\\\~{a}o Andr\\\\\\\\\\\\\\\'e Silva and Tiago M. Vale and João M. Lourenço and Hervé Paulino },
        title = { Replicação Parcial com Memória Transacional Distribuída },
        booktitle = { INForum 2013 - Atas do 5º Simpósio de Informática },
        publisher = { Escola de Ciências e Tecnologia da Universidade de Évora },
        editor = { João Cachopo and Beatriz Sousa Santos },
        year = { 2013 },
        month = { 09 },
        pages = { 310-321 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/ParSTM-Inforum2013.pdf} }
}

@inproceedings{ inforum:2013:martins,
        author = { Helder Ricardo Laximi Martins and João Soares and João M. Lourenço and N. Preguiça },
        title = { Replicação Multi-nível de Bases de Dados em Memória },
        booktitle = { INForum 2013 — Proceedings of INForum Simpósio de Informática },
        publisher = { Universidade de Évora },
        year = { 2013 },
        month = { 09 },
        series = { INForum },
        pages = { 190-201 }
}

@inproceedings{ rollechain,
        author = { João Paiva and João Leitão and Luís Rodrigues },
        title = { Rollerchain: a DHT for Efficient Replication },
        booktitle = { 12th IEEE International Symposium on Network Computing and Applications },
        publisher = { JISBD },
        year = { 2013 },
        month = { 09 },
        series = { IEEE NCA13 },
        note = { URL={http://doi.ieeecomputersociety.org/10.1109/NCA.2013.29} }
}

@inproceedings{ marrow-europar2012,
        author = { Ricardo Marques and Hervé Paulino and Fernando Jorge Marques Alexandre and Pedro D. Medeiros },
        title = { Algorithmic Skeleton Framework for the Orchestration of GPU Computations },
        booktitle = { Euro-Par 2013 Parallel Processing - 19th International Conference, Euro-Par 2013, Aachen, Germany, August 26-30, 2013. Proceedings },
        publisher = { Springer-Verlag },
        editor = { Felix Wolf, Bernd Mohr, Dieter an Mey },
        year = { 2013 },
        month = { 08 },
        series = { Lecture Notes in Computer Science },
        number = { 8097 },
        pages = { 874-885 },
        note = { URL={http://link.springer.com/chapter/10.1007/978-3-642-40047-6_86} }
}

@inproceedings{ Soares13,
        author = { João M. Lourenço and João Soares and N. Preguiça },
        title = { MacroDB: Scaling Database Engines on Multicores },
        booktitle = { Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013 },
        publisher = { Springer Berlin Heidelberg },
        editor = { Felix Wolf and Bernd Mohr and Dieter an Mey },
        year = { 2013 },
        month = { 08 },
        series = { Lecture Notes in Computer Science }
}

@inproceedings{ Vale2013,
        author = { Tiago M. Vale and Ricardo Dias and João M. Lourenço },
        title = { On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories },
        booktitle = { International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) },
        publisher = { Springer Berlin Heidelberg },
        year = { 2013 },
        month = { 08 },
        series = { Lecture Notes in Computer Science },
        number = { 8063 },
        pages = { 49-60 },
        note = { URL={http://link.springer.com/chapter/10.1007%2F978-3-642-39955-8_5} }
}

@inproceedings{ assp13,
        author = { Masoud Saeida Ardekani and Pierre Sutra and Marc Shapiro and N. Preguiça },
        title = { On the Scalability of Snapshot Isolation },
        booktitle = { Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013 },
        publisher = { Springer-Verlag },
        editor = { Felix Wolf and Bernd Mohr and Dieter an Mey },
        year = { 2013 },
        month = { 08 },
        series = { Lecture Notes in Computer Science },
        number = { 8097 },
        pages = { 369-381 },
        note = { URL={http://http://link.springer.com/chapter/10.1007%2F978-3-642-40047-6_39} }
}

@inproceedings{ @inproceedings{DBLP:dblp_conf/riao/FerreiraD13, author = {Bernardo Ferreira and ,
        author = { B. Ferreira and H. J. Domingos },
        title = { Searching Private Data in a Cloud Encrypted Domain },
        booktitle = { Proceedings of OAIR 2013 - 10th International Conference in the RIAO Series (DBLP indexed) },
        publisher = { C.I.D. },
        editor = { LE CENTRE DE HAUTES ETUDES INTERNATIONALES D\\\\\\\\\\\\\\\'INFORMATIQUE DOCUMENTAIRE Paris, ISBN: 9 },
        year = { 2013 },
        month = { 05 },
        series = { RIAO Conference Series },
        pages = { 165-172 },
        note = { URL={http://http://dl.acm.org/citation.cfm?id=2491748.2491783&coll=DL&dl=ACM&CFID=457758382&CFTOKEN=81211} }
}

@inproceedings{ EWDCSoares13,
        author = { João M. Lourenço and João Soares and N. Preguiça },
        title = { Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work? },
        booktitle = { Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013 },
        publisher = { Springer Berlin Heidelberg },
        editor = { Marco Vieira and João Carlos Cunha },
        year = { 2013 },
        month = { 05 },
        series = { Lecture Notes in Computer Science },
        number = { 7869 }
}

@inproceedings{ @inproceedings{DBLP:dblp_conf/riao/FerreiraD13a, author = {Bernardo Ferreira and ,
        author = { B. Ferreira and H. J. Domingos },
        title = { CloudCryptoSearch: a prototype for secure searching of private data in cloud encrypted domains },
        booktitle = { Proceedings of the 10th Conference on Open Research Areas in Information Retrieval, pp 165-172 },
        publisher = { ACM },
        editor = { LE CENTRE DE HAUTES ETUDES INTERNATIONALES D\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'INFORMATIQUE DOCUMENTAIR },
        year = { 2013 },
        month = { 05 },
        series = { OAIR Conf Series, ACM SIGIR, DBLP indexed },
        note = { URL={http://dl.acm.org/citation.cfm?id=2491748.2491791&coll=DL&dl=GUIDE&CFID=584733959&CFTOKEN=38659873} }
}

@inproceedings{ almeida:eurosys13,
        author = { Sérgio Almeida and João Leitão and Luís Rodrigues },
        title = { ChainReaction: a Causal+ Consistent Datastore based on Chain Replication },
        booktitle = { Proceedings of the EuroSys 2013 },
        publisher = { ACM },
        year = { 2013 },
        month = { 04 },
        series = { EuroSys },
        number = { 2013 },
        pages = { 85-98 },
        note = { URL={http://eurosys2013.tudos.org/wp-content/uploads/2013/paper/Almeida.pdf} }
}

@inproceedings{ boundedgossip,
        author = { Miguel Branco and João Leitão and Luís Rodrigues },
        title = { Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters },
        booktitle = { 28th Symposium On Applied Computing },
        publisher = { ACM },
        year = { 2013 },
        month = { 03 },
        series = { ACM SAC },
        pages = { 591-596 },
        note = { URL={http://delivery.acm.org/10.1145/2490000/2480476/p591-branco.pdf?ip=193.136.122.17&id=2480476&acc=ACT} }
}

@inproceedings{ INFORUM2013,
        author = { João Miguel Cardia Melro Rodrigues and B. Ferreira and H. J. Domingos },
        title = { A Secure Email Repository Service using Public Untrusted Storage Clouds },
        booktitle = { Actas do INFORUM 2013 - Simpósio Nacional de Informática },
        publisher = { Universidade de Évora },
        year = { 2013 }
}

@inproceedings{ NDPS13-clouddp,
        author = { David Navalho and S. Duarte and N. Preguiça and Marc Shapiro },
        title = { Incremental stream processing using computational conflict-free replicated data types },
        booktitle = { CloudDP '13: Proceedings of the 3rd International Workshop on Cloud Data and Platforms },
        publisher = { ACM },
        year = { 2013 },
        pages = { 31-36 },
        note = { URL={http://dx.doi.org/10.1145/2460756.2460762} }
}

@inproceedings{ CLPPR13-inforum,
        author = { jpcosta and João Leitão and DPorto and N. Preguiça and rodrod },
        title = { Avaliação das Garantias de Consistência em Serviços Geo-Replicados },
        booktitle = { INForum 2013 },
        publisher = { INFORUM },
        year = { 2013 },
        pages = { 262-273 }
}

@inproceedings{ mobuser,
        author = { Mauro Silva and João Leitão and Carlos Ribeiro },
        title = { MobUser: publish-subscribe communication for mobile nodes },
        booktitle = { 18th IEEE International Conference on Parallel and Distributed Systems },
        publisher = { IEEE },
        year = { 2012 },
        month = { 12 },
        series = { ICPADS },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6413703} }
}

@inproceedings{ Kajiyama2012PDCAT,
        author = { T. Kajiyama and Davide D\'Alimonte and Jose C. Cunha },
        title = { Statistical performance tuning of parallel Monte Carlo ocean color simulations },
        booktitle = { The 13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'12), Beijing, China },
        publisher = { IEEE Computer Society },
        year = { 2012 },
        month = { 12 },
        pages = { 761-766 },
        note = { URL={http://dx.doi.org/10.1109/PDCAT.2012.125} }
}

@inproceedings{ @inproceedings{Ferreira:2012:MSP:2405186.2405190, author = {Ferreira, Bernardo and Domingos, Henriq,
        author = { B. Ferreira and H. J. Domingos },
        title = { Management and Search of Private Data on Storage Clouds },
        booktitle = { ACM/IFIP/USENIX 13th International Middleware Conference },
        publisher = { ACM },
        editor = { Prya Narasimhan, Peter Triantafillou },
        year = { 2012 },
        month = { 12 },
        series = { ACM/IFIP/USENIX Middleware 2012 - Proceedings SDMCMM 2012, ISBN 978-1-4503-1615-6 },
        number = { 7662 },
        note = { URL={http://dl.acm.org/citation.cfm?id=2405186.2405190} }
}

@inproceedings{ Goncalves-Assuncao-Cunha-2012,
        author = { C. J. S. Gonçalves and L. Assunção and Jose C. Cunha },
        title = { Data Analytics in the Cloud with Flexible MapReduce Workflows },
        booktitle = { IEEE CloudCom2012 - Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science },
        publisher = { IEEE Computer Society },
        year = { 2012 },
        month = { 12 },
        pages = { 427-434 },
        note = { URL={http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6427527} }
}

@inproceedings{ hvc:2013:dias,
        author = { Ricardo Dias and Vasco Pessanha and João M. Lourenço },
        title = { Precise Detection of Atomicity Violations },
        booktitle = { Hardware and Software: Verification and Testing },
        publisher = { Springer-Verlag },
        year = { 2012 },
        month = { 11 },
        series = { Lecture Notes in Computer Science },
        number = { 7857 },
        pages = { 8-23 }
}

@inproceedings{ leitao-morgado-cunha-2012,
        author = { Tânia Leitão and C. Morgado and Jose C. Cunha },
        title = { Measuring Popularity in Social Network Groups },
        booktitle = { Proceedings of the Second International Conference on Social Computing and its Applications },
        publisher = { IEEE Computer Society },
        year = { 2012 },
        month = { 11 },
        series = { Cloud and Green Computing (CGC) },
        pages = { 458-492 },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6382861} }
}

@inproceedings{ BrunoPreto:2012:EPCG,
        author = { Bruno Preto and F. Birra and Pedro D. Medeiros },
        title = { Identificação de Objectos em Imagens tomográficas através de GPGPUs },
        booktitle = { Actas do 20º Encontro Português de Computação Gráfica },
        publisher = { Grupo Português de Computação Gráfica / Eurographics },
        year = { 2012 },
        month = { 10 }
}

@inproceedings{ Bieniusa12Semantics,
        author = { Annette Bieniusa and Marek Zawirski and N. Preguiça and Marc Shapiro and Carlos Baquero and Balegas and S. Duarte },
        title = { Brief Announcement: Semantics of Eventually Consistent Replicated Sets },
        booktitle = { 26th International Symposium on Distributed Computing (DISC 2012) },
        publisher = { Springer-Verlag },
        year = { 2012 },
        month = { 10 },
        series = { Lecture Notes in Computer Science },
        number = { 7611 },
        pages = { 441-442 },
        note = { URL={http://dx.doi.org/10.1007/978-3-642-33651-5_48} }
}

@inproceedings{ Li12Making,
        author = { Cheng Li and DPorto and Allen Clement and Johannes Gehrke and N. Preguiça and rodrod },
        title = { Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary },
        booktitle = { 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012 },
        publisher = { Usenix Association },
        year = { 2012 },
        month = { 10 },
        pages = { 265-278 },
        note = { URL={http://www.usenix.org/conference/osdi12/making-geo-replicated-systems-fast-if-possible-consistent-wh} }
}

@inproceedings{ som-ica3pp-2012,
        author = { Hervé Paulino and Gilberto Camacho },
        title = { Enhancing Service-Oriented Computing with Software Mobility },
        booktitle = { Algorithms and Architectures for Parallel Processing - 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I },
        publisher = { Springer-Verlag },
        editor = { Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, and Albert Zomaya },
        year = { 2012 },
        month = { 09 },
        series = { Lecture Notes in Computer Science },
        number = { 7439 },
        pages = { 487-501 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/SOM-ICA3PP2012.pdf} }
}

@inproceedings{ ArauGomPau-mue2012,
        author = { Filipe Jorge da Silva Araújo and M. Cecília Gomes and Hervé Paulino },
        title = { Reconfiguração Dinâmica Estruturada de Workflows de Serviços Web },
        booktitle = { INForum 2012 - Atas do 4º Simpósio de Informática },
        publisher = { Universidade Nova de Lisboa },
        editor = { Antónia Lopes and José Orlando Pereira },
        year = { 2012 },
        month = { 09 },
        pages = { 331-342 }
}

@inproceedings{ RG-INforum2012,
        author = { Nuno Delgado and Hervé Paulino },
        title = { Sobre um Mecanismo de Controlo de Concorrência baseado em Grupos de Recursos },
        booktitle = { INForum 2012 - Atas do 4º Simpósio de Informática },
        publisher = { Universidade Nova de Lisboa },
        editor = { Antónia Lopes and José Orlando Pereira },
        year = { 2012 },
        month = { 09 },
        pages = { 302-305 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/RG-INForum2012.pdf} }
}

@inproceedings{ Marrow-Inforum2012,
        author = { Ricardo Marques and Hervé Paulino and Pedro D. Medeiros },
        title = { Desenho e Implementação de uma Biblioteca de Padrões Algorítmicos para GPGPU },
        booktitle = { INForum 2012 - Atas do 4º Simpósio de Informática },
        publisher = { Universidade Nova de Lisboa },
        editor = { Antónia Lopes and José Orlando Pereira },
        year = { 2012 },
        month = { 09 },
        pages = { 298-301 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/Marrow-INForum2012.pdf} }
}

@inproceedings{ inforum2012-tiago-ricardo-joao,
        author = { Tiago M. Vale and Ricardo Dias and João M. Lourenço },
        title = { Uma Infraestrutura para Suporte de Memória Transacional Distribuída },
        booktitle = { Inforum 2012 },
        publisher = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2012 },
        month = { 09 },
        pages = { 177-189 }
}

@inproceedings{ Sousa:2012:inforum,
        author = { Diogo Sousa and João M. Lourenço and Eitan Farchi and Itai Segall },
        title = { Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência },
        booktitle = { INForum 2012: Proceedings of INForum Simpósio de Informática },
        publisher = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        editor = { Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa },
        year = { 2012 },
        month = { 09 },
        series = { INForum },
        pages = { 190-201 }
}

@inproceedings{ FerreiraDomingosINFORUM12,
        author = { B. Ferreira and H. J. Domingos },
        title = { Gestão e Pesquisa de Dados Privados em Nuvens de Armazenamento },
        booktitle = { INForum 2012 - Simpósio de Informática },
        publisher = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2012 },
        month = { 09 }
}

@inproceedings{ elina-pqoscom2012,
        author = { João Saramago and Diogo Andre Ribeiro Mourão and Hervé Paulino },
        title = { Towards an Adaptable Middleware for Parallel Computing in Heterogeneous Environments },
        booktitle = { 2012 IEEE International Conference on Cluster Computing Workshops, CLUSTER Workshops 2012, Beijing, China, September 24-28, 2012 },
        publisher = { IEEE },
        year = { 2012 },
        month = { 09 },
        pages = { 143-151 },
        note = { URL={http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6355858} }
}

@inproceedings{ Balegas12SwiftCloud,
        author = { Balegas and N. Preguiça },
        title = { SwiftCloud: replicação sem coordenação },
        booktitle = { InForum2012: Proceedings of InForum 2012 },
        publisher = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2012 },
        month = { 09 },
        pages = { 225-236 }
}

@inproceedings{ Assuncao-Goncalves-Cunha-2012a,
        author = { L. Assunção and C. J. S. Gonçalves and Jose C. Cunha },
        title = { Autonomic Activities in the Execution of Scientific Workflows: Evaluation of the AWARD Framework },
        booktitle = { ATC 2012 - Proceedings of the 9th IEEE International Conference on Autonomic and Trusted Computing },
        publisher = { IEEE Computer Society },
        year = { 2012 },
        month = { 09 },
        series = { Ubiquitous Intelligence&Computing / Autonomic&Trusted Computin },
        pages = { 423-430 },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6332031} }
}

@inproceedings{ dias-europar12,
        author = { Ricardo Dias and Tiago M. Vale and João M. Lourenço },
        title = { Efficient Support for In-Place Metadata in Transactional Memory },
        booktitle = { Euro-Par '12: Proceedings of the 18th international Euro-Par conference on Parallel Processing },
        publisher = { Springer-Verlag },
        editor = { Christos Kaklamanis, Theodore Papatheodorou and Paul Spirakis },
        year = { 2012 },
        month = { 08 },
        series = { LNCS },
        pages = { 589-600 }
}

@inproceedings{ GomPauBapArau-mue2012,
        author = { M. Cecília Gomes and Hervé Paulino and Adérito Sarmento Baptista and Filipe Jorge da Silva Araújo },
        title = { Dynamic Interaction Models for Web Enabled Wireless Sensor Networks },
        booktitle = { MUE 2012: Multimedia and Ubiquitous Engineering in 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012, Leganes, Madrid, Spain, July 10-13, 2012 },
        publisher = { IEEE },
        year = { 2012 },
        month = { 07 },
        pages = { 823-830 },
        note = { URL={http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6280380&isnumber=6280267} }
}

@inproceedings{ Farchi:2012:UPC:04000802.2336810,
        author = { Eitan Farchi and Itai Segall and Diogo Sousa and João M. Lourenço },
        title = { Using program closures to make an application programming interface (API) implementation thread safe },
        booktitle = { PADTAD 2012: Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging },
        publisher = { ACM Electronic Library },
        year = { 2012 },
        month = { 07 },
        series = { PADTAD },
        pages = { 18-24 }
}

@inproceedings{ Preguica12Efficient,
        author = { N. Preguiça and Carlos Baquero and Paulo Sérgio Almeida and Victor Fonte and Ricardo Gonçalves },
        title = { Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors },
        booktitle = { ACM Symposium on Principles of Distributed Computing (PODC'12) },
        publisher = { ACM },
        year = { 2012 },
        month = { 07 },
        series = { PODC },
        pages = { 335-336 },
        note = { URL={http://doi.acm.org/10.1145/2332432.2332497} }
}

@inproceedings{ somd-hpcc-2012,
        author = { Eduardo Marques and Hervé Paulino },
        title = { Single Operation Multiple Data - Data Parallelism at Subroutine Level },
        booktitle = { 14th IEEE International Conference on High Performance Computing & Communication, HPCC 2012, Liverpool, UK, June 25-27, 2012 },
        publisher = { IEEE Computer Society },
        editor = { Geyong Min, Jia Hu, Lei (Chris) Liu, Laurence Tianruo Yang, Seetharami Seelam, Laurent Lefevre },
        year = { 2012 },
        month = { 06 },
        pages = { 254-261 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/Somd-HPCC-2012.pdf} }
}

@inproceedings{ BapGomPau-iess2012,
        author = { Adérito Baptista and M. Cecília Gomes and Hervé Paulino },
        title = { Session-based Dynamic Interaction Models for Stateful Web Services },
        booktitle = { Exploring Services Science - Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings },
        publisher = { Springer-Verlag },
        editor = { Mehdi Snene },
        year = { 2012 },
        month = { 02 },
        series = { Lecture Notes in Business Information Processing },
        number = { 103 },
        pages = { 29-43 },
        note = { URL={http://www.springerlink.com/content/u273417035l31144/} }
}

@inproceedings{ dixit12adaptive,
        author = { Monica Dixit and hm and António Casimiro Ferreira da Costa },
        title = { Timeout-based Adaptive Consensus: Improving Performance through Adaptation },
        booktitle = { Proceedings of the 27th ACM Symposium on Applied Computing (SAC) },
        publisher = { ACM },
        year = { 2012 }
}

@inproceedings{ Carreira12swift,
        author = { João Carreira and rodrod and George Candea and Rupak Majumdar },
        title = { Scalable testing of file system checkers },
        booktitle = { European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12 },
        publisher = { ACM },
        year = { 2012 }
}

@inproceedings{ Santos12brokulos,
        author = { Nuno Santos and rodrod and Bryan Ford },
        title = { Enhancing the OS against Security Threats in System Administration },
        booktitle = { Middleware 2012 - ACM/IFIP/USENIX 13th International Middleware Conference. Lecture Notes in Computer Science 7662 },
        publisher = { Springer-Verlag },
        year = { 2012 }
}

@inproceedings{ Bhatotia12shredder,
        author = { Pramod Bhatotia and rodrod and Akshat Verma },
        title = { Shredder: GPU-Accelerated Incremental Storage and Computation },
        booktitle = { 10th USENIX Conference on File and Storage Technologies (FAST '12) },
        publisher = { Usenix Association },
        year = { 2012 }
}

@inproceedings{ Wieder12conductor,
        author = { Alexander Wieder and Pramod Bhatotia and Ansley Post and rodrod },
        title = { Orchestrating the Deployment of Computations in the Cloud with Conductor },
        booktitle = { 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12) },
        publisher = { Usenix Association },
        year = { 2012 }
}

@inproceedings{ Rodrigues12nonequiv,
        author = { Allen Clement and Flavio Junqueira and Aniket Kate and rodrod },
        title = { On the (Limited) Power of Non-Equivocation },
        booktitle = { 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012) },
        publisher = { ACM },
        year = { 2012 }
}

@inproceedings{ Santos12excalibur,
        author = { Nuno Santos and rodrod and Krishna P. Gummadi and Stefan Saroiou },
        title = { Building Trustworthy Cloud Services with Excalibur },
        booktitle = { 21st USENIX Security Symposium (USENIX Security '12) },
        publisher = { Usenix Association },
        year = { 2012 }
}

@inproceedings{ pais-morgado-cunha-2012,
        author = { Miguel Pais and C. Morgado and Jose C. Cunha },
        title = { A Tool for Improving Personalization and Information Sharing using Implicit Groups },
        booktitle = { SCA 2012 - Proceedings of the Second International Conference on Social Computing and its Applications },
        publisher = { IEEE Computer Society },
        year = { 2012 },
        series = { Cloud and Green Computing (CGC) },
        pages = { 477-484 },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6382860} }
}

@inproceedings{ bpbt,
        author = { Xavier Vilaça and João Leitão and Miguel Pupo Correia and Luis Rodrigues },
        title = { N-party BAR Transfer },
        booktitle = { Proceedings of the 15th International Conference On Principles Of Distributed Systems },
        publisher = { ACM },
        year = { 2011 },
        month = { 12 },
        series = { OPODIS },
        note = { URL={http://dl.acm.org/citation.cfm?id=2183563} }
}

@inproceedings{ Navalho11Scalable,
        author = { Heitor Ferreira and S. Duarte and N. Preguiça and David Navalho },
        title = { Scalable Data Processing for Community Sensing Applications },
        booktitle = { Proceedings of the 8th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services (Mobiquitous '11) },
        publisher = { Springer-Verlag },
        year = { 2011 },
        month = { 12 },
        series = { Mobiquitous (LNICST) },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/mobiquitous-2011.pdf} }
}

@inproceedings{ Shapiro11Conflict,
        author = { Marc Shapiro and N. Preguiça and Carlos Baquero and Marek Zawirski },
        title = { Conflict-free Replicated Data Types },
        booktitle = { Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) },
        publisher = { Springer-Verlag },
        year = { 2011 },
        month = { 10 },
        series = { Lecture Notes on Computer Science },
        number = { 6976 },
        pages = { 386-400 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/sss-2011.pdf} }
}

@inproceedings{ DinReconf-BapGomPau-Inforum2011,
        author = { Adérito Baptista and M. Cecília Gomes and Hervé Paulino },
        title = { Reconfiguração Dinâmica de Modelos de Interação para Redes de Sensores },
        booktitle = { Atas do INFORUM 2011 - Terceiro Simpósio de Informática },
        publisher = { Universidade de Coimbra },
        editor = { Raul Barbosa and Luís Caires },
        year = { 2011 },
        month = { 09 },
        pages = { 705-716 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/GoPa-Inforum2011.pdf} }
}

@inproceedings{ martins2011,
        author = { Nuno Galvão Martins and V. Duarte },
        title = { PCap com filtragem orientada ao processo },
        booktitle = { Actas do INForum - Simpósio em Informática, 2011 },
        publisher = { Universidade de Coimbra },
        year = { 2011 },
        month = { 09 },
        series = { INForum - Simpósio em Informática },
        pages = { 390-401 }
}

@inproceedings{ Heitor11Estudo,
        author = { Heitor Ferreira and David Navalho and S. Duarte and N. Preguiça },
        title = { Estudo da viabilidade da monitorização do tráfego viário urbano através de Sensoriamento Participado },
        booktitle = { InForum2011: Proceedings of InForum 2011 },
        publisher = { Universidade de Coimbra },
        year = { 2011 },
        month = { 09 },
        pages = { 1-12 }
}

@inproceedings{ sp2011,
        author = { João Soares and N. Preguiça },
        title = { Combining Mobile and Cloud Storage for Providing Ubiquitous Data Access },
        booktitle = { EuroPar2011: Proceedings of the 17th international Euro-Par conference on Parallel processing },
        publisher = { Springer Berlin Heidelberg },
        editor = { E. Jeannot, R. Namyst, and J. Roman },
        year = { 2011 },
        month = { 08 },
        series = { LNCS },
        number = { 6852 },
        pages = { 514-525 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/europar-2011.pdf} }
}

@inproceedings{ senser-scube2010,
        author = { Hervé Paulino and João Ruivo Santos },
        title = { A Middleware Framework for the Web Integration of Sensor Networks },
        booktitle = { Sensor Systems and Software - Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers },
        publisher = { Springer-Verlag },
        editor = { Gerard Parr and Philip Morrow },
        year = { 2011 },
        month = { 08 },
        series = { Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engi },
        number = { 57 },
        pages = { 75-90 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/SenSer-S-Cube-2010.pdf} }
}

@inproceedings{ npbt-def,
        author = { Xavier Vilaça and João Leitão and Luis Rodrigues },
        title = { N-party BAR Transfer: motivation, definition, and challenges },
        booktitle = { Proceedings of the 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems },
        publisher = { ACM },
        year = { 2011 },
        month = { 07 },
        series = { TADDS },
        note = { URL={http://dl.acm.org/citation.cfm?id=2034647} }
}

@inproceedings{ pessanha-padtad2011,
        author = { Vasco Pessanha and Ricardo Dias and João M. Lourenço and Eitan Farchi and Diogo Sousa },
        title = { Practical Verification of High-Level Dataraces in Transactional Memory Programs },
        booktitle = { Proceedings of PADTAD 2011: Workshop on Parallel and Distributed Testing, Analysis and Debugging },
        publisher = { ACM Electronic Library },
        year = { 2011 },
        month = { 07 }
}

@inproceedings{ kac2011,
        author = { T. Kajiyama and Davide D\'Alimonte and Jose C. Cunha },
        title = { Performance prediction of ocean color Monte Carlo simulations using multi-layer perceptron neural networks },
        booktitle = { iWAPT2011 - Proceedings of the Sixth International Workshop on Automatic Performance Tuning at ICCS2011 International Conference for Computational Science, June 2011, Singapore },
        publisher = { Elsevier },
        year = { 2011 },
        month = { 06 },
        pages = { 2186-2195 },
        note = { URL={http://dx.doi.org/10.1016/j.procs.2011.04.239} }
}

@inproceedings{ dias-hotpar-2011,
        author = { Ricardo Dias and João M. Lourenço and N. Preguiça },
        title = { Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis },
        booktitle = { Proceedings of the 3rd USENIX conference on Hot topics in parallelism (HotPar'11) },
        publisher = { Usenix Association },
        year = { 2011 },
        month = { 05 },
        series = { HotPar'11 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/hotpar-2011.pdf} }
}

@inproceedings{ Garcia11Efficient,
        author = { Rui Garcia and Rodrigo Rodrigues and N. Preguiça },
        title = { Efficient middleware for byzantine fault tolerant database replication },
        booktitle = { Proceedings of the sixth conference on Computer systems (EuroSys'11) },
        publisher = { ACM },
        year = { 2011 },
        month = { 04 },
        series = { EuroSys },
        pages = { 107-122 },
        note = { URL={http://asc.di.fct.unl.pt/pubs/eurosys-2011.pdf} }
}

@inproceedings{ PaisMorgadoCunha2012,
        author = { Miguel Rangel Pais and C. Morgado and Jose C. Cunha },
        title = { Implicit Groups in Web-based Interactive Applications },
        booktitle = { Computational Aspects of Social Networks (CASoN) },
        publisher = { IEEE Computer Society },
        year = { 2011 },
        series = { Computational Aspects of Social Networks (CASoN), 2011 International Conference on },
        pages = { 175-180 }
}

@inproceedings{ padtad:2011:oliveira,
        author = { Luís Miguel Picciochi de Oliveira and João M. Lourenço },
        title = { Admin add new Aceleração de Computações Científicas com Processadores Heterogéneos },
        booktitle = { Proceedings of INForum 2012 },
        publisher = { Universidade de Coimbra },
        year = { 2011 },
        series = { INForum },
        note = { URL={http://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/inforum-pitxyoki.pdf} }
}

@inproceedings{ inforum:2011:luis,
        author = { João Eduardo Luís and João M. Lourenço and P. A. Lopes },
        title = { Suporte Transaccional para o Sistema de Ficheiros Btrfs },
        booktitle = { Proceedings of INForum 2012 },
        publisher = { Universidade de Coimbra },
        year = { 2011 },
        series = { INForum },
        note = { URL={http://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/inforum-txbtrfs-full.pdf} }
}

@inproceedings{ Goncalves12Evaluating,
        author = { Ricardo Gonçalves and Paulo Sérgio Almeida and Carlos Baquero and Victor Fonte and N. Preguiça },
        title = { Evaluating Dotted Version Vectors in Riak },
        booktitle = { InForum2011: Proceedings of InForum 2011 },
        publisher = { Universidade de Coimbra },
        year = { 2011 },
        pages = { 1-4 }
}

@inproceedings{ Marek11Asynchronous,
        author = { Marek Zawirski and Marc Shapiro and N. Preguiça },
        title = { Asynchronous rebalancing of a replicated tree },
        booktitle = { Conference Française de Systèmes d'Exploitation (CFSE 2011) },
        publisher = { INRIA },
        year = { 2011 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/cfse-2011.pdf} }
}

@inproceedings{ fdp-icpads2010,
        author = { Heitor Ferreira and S. Duarte and N. Preguiça },
        title = { 4Sensing - Decentralized Processing for Participatory Sensing Data },
        booktitle = { ICPADS2010: Proceedings of the 16th International Conference on Parallel and Distributed Systems },
        publisher = { IEEE Computer Society },
        year = { 2010 },
        month = { 12 },
        series = { ICPADS 2010 },
        pages = { 306-313 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/icpads-2010.pdf} }
}

@inproceedings{ ohms-pdcat2010,
        author = { Hervé Paulino and Paulo Cancela and Tiago Franco },
        title = { A Platform-Centric Framework for the Web Exposure and Orchestration of Distributed Objects },
        booktitle = { The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2010, Wuhan, China, December 8-11 2010 },
        publisher = { IEEE Computer Society },
        editor = { Xiaofei Liao, Hai Jin, Ran Zheng, and Deqing Zou },
        year = { 2010 },
        month = { 12 },
        pages = { 386-392 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/OHMS-PDCAT.pdf} }
}

@inproceedings{ SSD-TE-crc2010,
        author = { António Teixeira and J. Legatheaux Martins },
        title = { Simple and Stable Dynamic Traffic Engineering for Provider Scale Ethernet },
        booktitle = { Actas da 10ª Conferência sobre Redes de Computadores },
        publisher = { Universidade do Minho },
        editor = { Universidade do Minho },
        year = { 2010 },
        month = { 11 },
        series = { Conferência sobre Redes de Computadores },
        pages = { 7-12 }
}

@inproceedings{ greedyR-crc2010,
        author = { Pedro Rodrigues and J. Legatheaux Martins },
        title = { Greedy Routing in the Internet: Is it a Solution? },
        booktitle = { Actas da 10a Conferência sobre Redes de Computadores },
        publisher = { Universidade do Minho },
        editor = { Universidade do Minho },
        year = { 2010 },
        month = { 11 },
        series = { Conferência sobre Redes de Computadores },
        pages = { 19-24 }
}

@inproceedings{ hhlm_hvc2010,
        author = { Yoav Hollander and Alan Hu and João M. Lourenço and Ronny Morad },
        title = { Special Session on Debugging },
        booktitle = { Proceedings of the Haifa Verification Conference },
        publisher = { Springer-Verlag },
        year = { 2010 },
        month = { 10 },
        series = { LNCS },
        pages = { 24-28 },
        note = { URL={http://www.springerlink.com/content/dr784x0663628795/} }
}

@inproceedings{ lourenco_hvc2010,
        author = { João M. Lourenço },
        title = { Understanding Transactional Memory },
        booktitle = { Proceedings of the Haifa Verification Conference },
        publisher = { Springer-Verlag },
        year = { 2010 },
        month = { 10 },
        series = { LNCS },
        pages = { 1-2 },
        note = { URL={http://dx.doi.org/10.1007/978-3-642-19583-9_1} }
}

@inproceedings{ Ferreira:srds10,
        author = { Mário Ferreira and João Leitão and Luis Rodrigues },
        title = { Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay },
        booktitle = { Proceedings of the 29th IEEE International Symposium on Reliable Distributed Systems },
        publisher = { IEEE },
        year = { 2010 },
        month = { 10 },
        series = { SRDS },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5623402&tag=1} }
}

@inproceedings{ np-europar2010,
        author = { David Navalho and N. Preguiça },
        title = { Collaborative cellular-based location system },
        booktitle = { EuroPar2010: Proceedings of the 16th international Euro-Par conference on Parallel processing },
        publisher = { Springer-Verlag },
        year = { 2010 },
        month = { 09 },
        series = { Lecture Notes on Computer Science },
        number = { 6272 },
        pages = { 528-539 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/pubs/europar-2010.pdf} }
}

@inproceedings{ msp-inforum2010,
        author = { Paulo Mariano and João Soares and N. Preguiça },
        title = { Replicated Software Components for Improved Performance },
        booktitle = { InForum2010: Proceedings of InFourm 2010 },
        publisher = { Universidade do Minho },
        year = { 2010 },
        month = { 09 },
        pages = { 95-98 },
        note = { URL={http://inforum.org.pt/INForum2010} }
}

@inproceedings{ fdp-inforum2010,
        author = { Heitor Ferreira and S. Duarte and N. Preguiça },
        title = { Decentralized Processing for Participatory Sensing Data },
        booktitle = { InForum2010: Proceedings of InForum 2010 },
        publisher = { Universidade do Minho },
        year = { 2010 },
        month = { 09 },
        pages = { 391-402 },
        note = { URL={http://inforum.org.pt/INForum2010} }
}

@inproceedings{ teixeira10_inforum,
        author = { Bruno Cavaca Teixeira and João M. Lourenço and Diogo Sousa },
        title = { A Static Approach for Detecting Concurrency Anomalies in Transactional Memory },
        booktitle = { Proceedings of InForum 2010 },
        publisher = { Universidade do Minho },
        year = { 2010 },
        month = { 09 },
        note = { URL={http://inforum.org.pt/INForum2010} }
}

@inproceedings{ LopMed10,
        author = { P. A. Lopes and Pedro D. Medeiros },
        title = { pCFS vs. PVFS: comparing a highly-available symmetrical parallel cluster file system with an asymmetrical parallel file system },
        booktitle = { Euro-Par '10: Proceedings of the 16th international Euro-Par conference on Parallel Processing },
        publisher = { Springer-Verlag },
        editor = { Pasqua D\'Ambra, Mario Guarracino, Domenico Talia },
        year = { 2010 },
        month = { 08 },
        series = { LNCS },
        number = { 6271 },
        pages = { 131-142 }
}

@inproceedings{ alveirinho:ladis10,
        author = { João Alveirinho and João Paiva and João Leitão and Luis Rodrigues },
        title = { Flexible and Efficient Resource Location in Large-Scale Systems },
        booktitle = { Proceedings of the 4th ACM SIGOPS/SIGACT International Workshop on Large-Scale Distributed Systems and Middleware },
        publisher = { ACM },
        year = { 2010 },
        month = { 07 },
        series = { LADIS },
        note = { URL={http://dl.acm.org/citation.cfm?id=1859199} }
}

@inproceedings{ sable-wlpp,
        author = { Hervé Paulino },
        title = { On the Definition of Service Abstractions for Parallel Computing },
        booktitle = { Parallel Processing and Applied Mathematics, 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II },
        publisher = { Springer-Verlag },
        editor = { Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski and Jerzy Wasniewski },
        year = { 2010 },
        month = { 07 },
        series = { Lecture Notes in Computer Science },
        number = { 6068 },
        pages = { 74-81 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/Spring-WLPP-PPAM-2009.pdf} }
}

@inproceedings{ duro-padtad2010,
        author = { Nuno Duro and Rui Santos and João M. Lourenço and Hervé Paulino and João André Branqueiro Barata Martins },
        title = { Open virtualization framework for testing Ground Systems },
        booktitle = { Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging },
        publisher = { ACM Electronic Library },
        editor = { João Lourenço, Eitan Farchi, Shmuel Ur },
        year = { 2010 },
        month = { 07 },
        pages = { 67-73 },
        note = { URL={http://portal.acm.org/citation.cfm?id=1866210.1866217&coll=portal&dl=ACM&type=series&idx=SERIES392&p} }
}

@inproceedings{ teixerira-padtad2010,
        author = { Bruno Cavaca Teixeira and João M. Lourenço and Eitan Farchi and Ricardo Dias and Diogo Sousa },
        title = { Detection of Transactional Memory Anomalies using Static Analysis },
        booktitle = { Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging },
        publisher = { ACM Electronic Library },
        editor = { João Lourenço, Eitan Farchi, Shmuel Ur },
        year = { 2010 },
        month = { 07 },
        pages = { 26-36 },
        note = { URL={http://portal.acm.org/citation.cfm?id=1866210.1866213&coll=portal&dl=ACM&type=series&idx=SERIES392&p} }
}

@inproceedings{ Monica:dsn10,
        author = { Diogo Mónica and João Leitão and Luis Rodrigues and Carlos Ribeiro },
        title = { Observable Non-Sybil Quorums Construction in One-Hop Wireless Ad Hoc Networks },
        booktitle = { Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks },
        publisher = { IEEE },
        year = { 2010 },
        month = { 06 },
        series = { DSN },
        note = { URL={http://ieeexplore.ieee.org/xpl/abstractAuthors.jsp?arnumber=5545006} }
}

@inproceedings{ Kajiyama-PPAM2009,
        author = { T. Kajiyama and Davide D\'Alimonte and Jose C. Cunha and Giuseppe Zibordi },
        title = { High-performance Ocean Color Monte Carlo Simulation in the GeoInfo Project },
        booktitle = { Proceedings of the 8th International Conference on Parallel Processing and Applied Mathematics (PPAM 2009) },
        publisher = { Springer-Verlag },
        year = { 2010 },
        month = { 06 },
        series = { LNCS 6068 },
        pages = { 370-379 },
        note = { URL={http://dx.doi.org/10.1007/978-3-642-14403-5_39} }
}

@inproceedings{ duarte10,
        author = { V. Duarte and Nuno Farruca },
        title = { Using libPcap for Monitoring Distributed Applications },
        booktitle = { International Conference on High Performance Computing & Simulation (HPCS 2010) },
        publisher = { IEEE },
        year = { 2010 },
        month = { 06 },
        pages = { 92-97 }
}

@inproceedings{ arcia:sbrc10,
        author = { João Garcia and João Leitão and Paulo Ferreira },
        title = { Mobile Users are not Static Users on the Move },
        booktitle = { 28th Brazilian Symposium on Computer Networks and Distributed Systems },
        publisher = { arXiv },
        year = { 2010 },
        month = { 05 },
        series = { SBRC },
        note = { URL={http://asc.di.fct.unl.pt/~jleitao/pdf/sbrc10-garcia.pdf} }
}

@inproceedings{ CruPal09,
        author = { Leonor Cruzeiro and P. A. Lopes },
        title = { Parallel Computing and Protein Design },
        booktitle = { Proceedings of the 4th Iberian Grid Infrastructure Conference },
        publisher = { Netbiblo, S.A. },
        editor = { Proença, A., Pina, A., Tobio, J and Ribeiro, L. },
        year = { 2010 },
        month = { 05 },
        pages = { 132-143 },
        note = { URL={http://www.ibergrid.eu/2010/} }
}

@inproceedings{ Leitao:iptps10,
        author = { João Leitão and Robert van Renesse and Luis Rodrigues },
        title = { Balancing Gossip Exchanges in Networks with Firewalls },
        booktitle = { Proceedings of the 9th International Workshop on Peer-to-Peer Systems (IPTPS '10) },
        publisher = { Usenix Association },
        year = { 2010 },
        month = { 04 },
        series = { IPTPS },
        note = { URL={http://www.usenix.org/legacy/events/iptps10/tech/full_papers/Leitao.pdf} }
}

@inproceedings{ Allani:pdp10,
        author = { Mouna Allani and João Leitão and Benoit Garbinato and Luis Rodrigues },
        title = { RASM: A Reliable Algorithm for Scalable Multicast },
        booktitle = { Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing },
        publisher = { IEEE },
        year = { 2010 },
        month = { 02 },
        series = { PDP },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5452499} }
}

@inproceedings{ moniz10turquois,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia },
        title = { Turquois: Byzantine Consensus in Wireless Ad Hoc Networks },
        booktitle = { Proceedings of the 40th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) },
        publisher = { IEEE },
        year = { 2010 }
}

@inproceedings{ vavala10randomized,
        author = { Bruno Vavala and Nuno Ferreira Neves and hm and Miguel Pupo Correia },
        title = { Randomized Consensus in Wireless Environ- ments: A Case Where More is Better },
        booktitle = { 3rd International Conference on Dependability (DEPEND) },
        publisher = { IARIA },
        year = { 2010 }
}

@inproceedings{ msc09,
        author = { R. Marques and Terrance Swift and Jose C. Cunha },
        title = { A Simple and Efficient Implementation of Concurrent Local Tabling },
        booktitle = { Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages - PADL'10 },
        publisher = { Springer-Verlag },
        year = { 2010 },
        series = { LNCS series }
}

@inproceedings{ ccr2010,
        author = { Jose C. Cunha and M. Cecília Gomes and Omer Rana },
        title = { Scientific Workflows Abstractions and Models for Parallel and Distributed Computing },
        booktitle = { Proceedings of PARA08: State-of-the-art in Scientific and Parallel Computing, Trondheim, Norway, 2008 },
        publisher = { Springer-Verlag },
        editor = { Anne C. Elster, Jerzy Wasniewski and Jack Dongarra },
        year = { 2010 },
        series = { LNCS Applied Parallel Computing series }
}

@inproceedings{ mccc09b,
        author = { C. Morgado and Jose C. Cunha and N. Correia and J. F. Custódio },
        title = { Group-based Interactions for Multiuser Applications },
        booktitle = { Proceedings of the 3rd International Symposium on Intelligent Distributed Computing (IDC 2009) },
        publisher = { Springer-Verlag },
        year = { 2009 },
        month = { 11 }
}

@inproceedings{ ohms-doa,
        author = { Hervé Paulino and Paulo Cancela and Tiago Franco },
        title = { Orchestration of Middleware Services },
        booktitle = { On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Confederated International Workshops and Posters },
        publisher = { Springer-Verlag },
        editor = { Robert Meersman, Pilar Herrero and Tharam S. Dillon },
        year = { 2009 },
        month = { 11 },
        series = { Lecture Notes in Computer Science },
        number = { 5872 },
        pages = { 1-3 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/OHMS-DOA.pdf} }
}

@inproceedings{ LPS09,
        author = { Mihai Letia and N. Preguiça and Marc Shapiro },
        title = { Consistency without Concurrency Control in Large, Dynamic Systems },
        booktitle = { LADIS09: The 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware },
        publisher = { ACM Press },
        year = { 2009 },
        month = { 10 },
        note = { URL={http://www.cs.cornell.edu/projects/ladis2009/papers/letia-ladis2009.pdf} }
}

@inproceedings{ liveFeedsCRC09,
        author = { Rui Pedro da Silva Lopes and J. Legatheaux Martins and S. Duarte },
        title = { Optimização de algoritmos P2P através de sistemas de coordenadas de rede — Um estudo de caso },
        booktitle = { Actas da Conferência de Redes de Computadores 2009 (CRC'2009) },
        publisher = { Instituto Superior Técnico },
        year = { 2009 },
        month = { 10 }
}

@inproceedings{ asGraphsCRC09,
        author = { Pedro Rodrigues and J. Legatheaux Martins },
        title = { Improving the Accuracy and Usefulness of Synthetic AS-Level Topology Models },
        booktitle = { Actas da Conferência de Redes de Computadores 2009 (CRC'2009) },
        publisher = { Instituto Superior Técnico },
        year = { 2009 },
        month = { 10 }
}

@inproceedings{ EthernetCRC09,
        author = { António Teixeira and J. Legatheaux Martins },
        title = { Enhancing Ethernet Forwarding Algorithms },
        booktitle = { Actas da Conferência de Redes de Computadores 2009 (CRC'2009) },
        publisher = { Instituto Superior Técnico },
        year = { 2009 },
        month = { 10 }
}

@inproceedings{ Ferreira:autonomics09,
        author = { João Ferreira and João Leitão and Luis Rodrigues },
        title = { A-OSGi: A framework to support the construction of autonomic OSGi-based applications },
        booktitle = { Proceedings of the Third International ICST Conference on Autonomic Computing and Communication Systems },
        publisher = { Springer-Verlag },
        year = { 2009 },
        month = { 09 },
        series = { AUTONOMICS },
        note = { URL={http://link.springer.com/chapter/10.1007%2F978-3-642-11482-3_1} }
}

@inproceedings{ leitao:srds09,
        author = { João Leitão and João Pedro Marques and José Orlando Pereira and Luis Rodrigues },
        title = { X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays },
        booktitle = { Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems },
        publisher = { IEEE },
        year = { 2009 },
        month = { 09 },
        series = { SRDS },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5283246} }
}

@inproceedings{ SPB09,
        author = { Pedro Sousa and N. Preguiça and Carlos Baquero },
        title = { Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination },
        booktitle = { CRIWG2009: Groupware: Design, Implementation, and Use, 15th International Workshop },
        publisher = { Springer-Verlag },
        editor = { Luís Carriço and Nelson Baloian and Benjamim Fonseca },
        year = { 2009 },
        month = { 09 },
        series = { Lecture Notes in Computer Science },
        number = { 5784 },
        pages = { 158-173 },
        note = { URL={http://dx.doi.org/10.1007/978-3-642-04216-4} }
}

@inproceedings{ @INPROCEEDINGS{HenriqueDomingos, AUTHOR=,
        author = { Pedro Leandro da Silva Amaral and H. J. Domingos },
        title = { Uma arquitectura para um sistema de encaminhamento seguro em redes de sensores sem fios },
        booktitle = { Actas do InForum - Simpósio de Informática 2009 },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        editor = { Luis Rodrigues, Rui Lopes - Faculdade de Ciências da Universidade de Lisboa },
        year = { 2009 },
        month = { 09 },
        number = { 978 },
        pages = { 137-150 }
}

@inproceedings{ DiLo09,
        author = { Ricardo Dias and João M. Lourenço },
        title = { Unifying Memory and Database Transactions },
        booktitle = { Euro-Par '09: Proceedings of the 15th international Euro-Par conference on Parallel Processing },
        publisher = { Springer-Verlag },
        year = { 2009 },
        month = { 08 },
        series = { LNCS },
        pages = { 349-360 },
        note = { URL={http://europar2009.ewi.tudelft.nl/} }
}

@inproceedings{ lourenco-padtad-09,
        author = { João M. Lourenço and Ricardo Dias and João Luís and Miguel Rebelo and Vasco Pessanha },
        title = { Understanding the Behavior of Transactional Memory Applications },
        booktitle = { PADTAD '09: Proceedings of the 2009 ACM workshop on Parallel and distributed systems: testing and debugging },
        publisher = { ACM Press },
        year = { 2009 },
        month = { 07 }
}

@inproceedings{ FP09,
        author = { Bruno Félix and N. Preguiça },
        title = { PIPE: Uma infra-estrutura genérica de serviços para ambientes de computação ubíqua },
        booktitle = { InForum2009: Actas do INForum - Simpósio de Informática 2009 },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        editor = { L. Rodrigues, R. Lopes },
        year = { 2009 },
        month = { 07 },
        pages = { 215-226 },
        note = { URL={http://hdl.handle.net/10455/3168} }
}

@inproceedings{ SP09,
        author = { João Soares and N. Preguiça },
        title = { FEW Phone File System },
        booktitle = { InForum2009: Actas do INForum - Simpósio de Informática 2009 },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        editor = { L. Rodrigues, R. Lopes },
        year = { 2009 },
        month = { 07 },
        pages = { 383-394 },
        note = { URL={http://hdl.handle.net/10455/3168} }
}

@inproceedings{ monica:wraits09,
        author = { Diogo Mónica and João Leitão and Luis Rodrigues and Carlos Ribeiro },
        title = { On the Use of Radio Resource Tests in Wireless ad hoc Networks },
        booktitle = { Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        year = { 2009 },
        month = { 06 },
        series = { WRAITS },
        note = { URL={http://wraits09.di.fc.ul.pt/wraits09paper4.pdf} }
}

@inproceedings{ treedoc-icdcs09,
        author = { N. Preguiça and Joan Manuel Marquès and Marc Shapiro },
        title = { A commutative replicated data type for cooperative editing },
        booktitle = { ICDCS09: Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS-2009) },
        publisher = { IEEE Computer Society },
        year = { 2009 },
        month = { 06 },
        pages = { 395-403 }
}

@inproceedings{ CustodioCunha09,
        author = { J. F. Custódio and Jose C. Cunha },
        title = { JGroupSpace: Combining Shared Spaces and Groups },
        booktitle = { Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems (CTS 2009) },
        publisher = { IEEE },
        year = { 2009 },
        month = { 06 }
}

@inproceedings{ mccc09,
        author = { C. Morgado and Jose C. Cunha and J. F. Custódio and N. Correia },
        title = { A Group-based Model for Dynamic Communities },
        booktitle = { The International Conference on Computational Aspects of Social Networks (CASoN 2009), Fontainebleau, France, June 24-27, 2009 },
        publisher = { IEEE Computer Society },
        year = { 2009 },
        month = { 06 }
}

@inproceedings{ AssuncaoGoncalvesCunha09,
        author = { L. Assunção and C. J. S. Gonçalves and Jose C. Cunha },
        title = { On the Difficulties of Using Workflow Tools to Express Parallelism and Distribution - An Application Case Study in Geological Sciences },
        booktitle = { Proceedings of the 4th International Workshop on Workflow Management (ICWM2009) at the 4th International Conference on Grid and Pervasive Computing (GPC2009), Geneva-Switzerland (ISBN 978-07695-3677-4) },
        publisher = { IEEE Computer Society },
        year = { 2009 },
        month = { 05 },
        pages = { 104-110 }
}

@inproceedings{ Cun.Mor.Cus-08,
        author = { Jose C. Cunha and C. Morgado and J. F. Custódio },
        title = { Group Abstractions for Organizing Dynamic Distributed Systems },
        booktitle = { Euro-Par 2008 Workshops - Parallel Processing },
        publisher = { Springer-Verlag },
        editor = { Luque, E.; Margalef, T.; Benítez, D.; Alexander, M.; Streit, A.; Träff, J.L.; Cérin, C.; Knüpfer },
        year = { 2009 },
        month = { 04 },
        series = { Lecture Notes in Computer Science - Subseries: Theoretical Computer Science and General Issues },
        number = { 5415 },
        pages = { 450-459 }
}

@inproceedings{ sedeuse,
        author = { Hervé Paulino and Carlos Tavares },
        title = { SeDeUse: A Model for Service-oriented Computing in Dynamic Environments },
        booktitle = { Mobile Wireless Middleware, Operating Systems and Applications. Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 },
        publisher = { Springer-Verlag },
        editor = { Bonnin, Jean-Marie; Giannelli, Carlo; Magedanz, Thomas },
        year = { 2009 },
        month = { 04 },
        series = { Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engi },
        number = { 7 },
        pages = { 157-170 },
        note = { URL={http://asc.di.fct.unl.pt/~herve/papers/SeDeUSe-Mobilware-2009.pdf} }
}

@inproceedings{ Wei-Cun-Dua-Lu0-09,
        author = { Liu Wei and Jose C. Cunha and V. Duarte and Tiejian Luo },
        title = { A Grid Workload Modeling Approach for Intelligent Grid },
        booktitle = { 2009 IEEE International Conference on Networking, Sensing and Control },
        publisher = { IEEE },
        year = { 2009 },
        month = { 03 },
        pages = { 811-816 }
}

@inproceedings{ moniz09healer,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { Randomization can be a Healer: Consensus with Dynamic Omission Failures },
        booktitle = { Proceedings of the 23rd International Symposium on Distributed Computing (DISC) },
        publisher = { EATCS },
        year = { 2009 }
}

@inproceedings{ hotdep08,
        author = { N. Preguiça and Rodrigo Rodrigues and Cristóvão Honorato and João M. Lourenço },
        title = { Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation },
        booktitle = { HotDep08: Proceedings of the Fourth Workshop on Hot Topics in System Dependability (HotDep ’08) },
        publisher = { Usenix Association },
        year = { 2008 },
        month = { 12 }
}

@inproceedings{ marswi08,
        author = { R. Marques and Terrance Swift },
        title = { Concurrent and Local Evaluation of Normal Programs },
        booktitle = { Logic Programming - 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings },
        publisher = { Springer-Verlag },
        editor = { Maria Garcia de la Banda Enrico Pontelli },
        year = { 2008 },
        month = { 12 },
        series = { LECTURE NOTES IN COMPUTER SCIENCE },
        number = { 5366 },
        pages = { 206-222 }
}

@inproceedings{ marswicun08,
        author = { R. Marques and Terrance Swift and Jose C. Cunha },
        title = { Extending Tabled Logic Programming with Multi-Threading: A Systems Perspective },
        booktitle = { Proceedings of CICLOPS 2008 - 8th International Colloquium on Implementation of cosntraint and logic programming systems },
        publisher = { Universidad Politecnica de Madrid },
        editor = { Manuel Carro and Bart Demoen },
        year = { 2008 },
        month = { 12 },
        pages = { 91-106 },
        note = { URL={http://www.clip.dia.fi.upm.es/Conferences/CICLOPS-2008/} }
}

@inproceedings{ CunhaLD:JETC:2008,
        author = { G. Cunha and João M. Lourenço and Ricardo Dias },
        title = { Consistent State Software Transactional Memory },
        booktitle = { IV Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores },
        publisher = { ISEL - Instituto Superior de Engenharia de Lisboa },
        editor = { ISBN: 9789729580949 },
        year = { 2008 },
        month = { 11 },
        pages = { 251-256 }
}

@inproceedings{ LopMed08,
        author = { P. A. Lopes and Pedro D. Medeiros },
        title = { Enhancing Write Performance of a Shared-disk Cluster Filesystem through a Fine-grained Locking Strategy },
        booktitle = { Proceedings of the 2008 IEEE International Conference on Cluster Computing },
        publisher = { IEEE },
        editor = { IEEE },
        year = { 2008 },
        month = { 10 },
        pages = { 464-471 }
}

@inproceedings{ Leitao:danms08,
        author = { João Leitão and Liliana Rosa and Luis Rodrigues },
        title = { Large-Scale Peer-to-Peer Autonomic Monitoring },
        booktitle = { Proceedings of the Distributed Autonomous Network Management Systems Workshop (DANMS) },
        publisher = { IEEE },
        year = { 2008 },
        month = { 10 },
        series = { DANMS },
        note = { URL={http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4746603} }
}

@inproceedings{ DiasLC:CoRTA:2008,
        author = { Ricardo Dias and João M. Lourenço and G. Cunha },
        title = { Developing Libraries Using Software Transactional Memory },
        booktitle = { Proceedings of CoRTA (Compilers, Related Technologies and Applications) },
        publisher = { Instituto Politécnico de Bragança - ESTG },
        year = { 2008 },
        month = { 07 },
        note = { URL={http://corta.ipb.pt} }
}

@inproceedings{ wei08siwn,
        author = { Liu Wei and Jose C. Cunha and V. Duarte },
        title = { Inter-Operating Grid Workload Framework with Node Autonomy },
        booktitle = { International Conference on Self-organization and Adaptation of Computing and Communications (SACC 2008) },
        publisher = { SIWN Press },
        editor = { Huaglory Tianfield },
        year = { 2008 },
        month = { 07 },
        series = { Communications of SIWN }
}

@inproceedings{ sumo,
        author = { Hervé Paulino },
        title = { SuMo: A Framework for Prototyping Distributed and Mobile Software },
        booktitle = { Algorithms and Architectures for Parallel Processing, 8th International Conference, ICA3PP 2008 },
        publisher = { Springer-Verlag },
        editor = { A. Bourgeois and S.Q. Zheng },
        year = { 2008 },
        month = { 06 },
        series = { Lecture Notes in Computer Science },
        number = { 5022 },
        pages = { 269-281 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/SuMo-ICA3PP-2008.pdf} }
}

@inproceedings{ jesus-avi-2008,
        author = { jesus and Ricardo Dias and Rute Frias and N. Correia },
        title = { Memoria Mobile: Sharing Pictures of a Point of Interest },
        booktitle = { AVI '08: Proceedings of the working conference on Advanced visual interfaces },
        publisher = { ACM Press },
        year = { 2008 },
        month = { 05 },
        pages = { 412-415 },
        note = { URL={http://http://doi.acm.org/10.1145/1385569.1385647} }
}

@inproceedings{ wei08,
        author = { Liu Wei and V. Duarte and Jose C. Cunha },
        title = { Towards a Framework for Monitoring Grid Scientific Workflows },
        booktitle = { IEEE International Conference on Networking, Sensing and Control, 2008 },
        publisher = { IEEE Computer Society },
        year = { 2008 },
        month = { 04 },
        pages = { 1211-1216 }
}

@inproceedings{ masci08services,
        author = { hm },
        title = { Services for Fault-Tolerant Conflict Resolution in Air Traffic Management },
        booktitle = { RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE) },
        publisher = { Elsevier },
        year = { 2008 }
}

@inproceedings{ MPBL07,
        author = { Daniel Machado and N. Preguiça and Carlos Baquero and J. Legatheaux Martins },
        title = { VC2 - Providing Awareness in Off-The-Shelf VersionControl Systems },
        booktitle = { IWCES9: Proceedings of the Nineth International Workshop on Collaborative Editing Systems },
        publisher = { IEEE Computer Society },
        year = { 2007 },
        month = { 11 },
        series = { @ IEEE Distributed Systems Online }
}

@inproceedings{ JDFC2007,
        author = { jesus and Ricardo Dias and Rute Frias and N. Correia },
        title = { Geographic Image Retrieval in Mobile Guides },
        booktitle = { GIR '07: Proceedings of the 4th ACM workshop on Geographical information retrieval },
        publisher = { ACM Press },
        year = { 2007 },
        month = { 10 },
        pages = { 37-38 },
        note = { URL={http://doi.acm.org/10.1145/1316948.1316958} }
}

@inproceedings{ Leitao:srds07,
        author = { João Leitão and José Orlando Pereira and Luis Rodrigues },
        title = { Epidemic Broadcast Trees },
        booktitle = { Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems },
        publisher = { IEEE },
        year = { 2007 },
        month = { 10 },
        series = { SRDS },
        note = { URL={http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4365705} }
}

@inproceedings{ herve:mobrecom,
        author = { Hervé Paulino },
        title = { Reliable Communication in the Presence of Agent Mobility },
        booktitle = { 12th IEEE Symposium on Computers and Communications (ISCC 2007) },
        publisher = { IEEE Computer Society },
        year = { 2007 },
        month = { 07 },
        pages = { 989-994 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/ReCom-ISCC-2007.pdf} }
}

@inproceedings{ lourencoj_cunhag:_testing_patterns_for_stm_engines,
        author = { João M. Lourenço and G. Cunha },
        title = { Testing Patterns for Software Transactional Memory Engines },
        booktitle = { Proceedings of International Symposium on Software Testing and Analysis -- Workshop on Parallel Testing and Debugging },
        publisher = { ACM Press },
        year = { 2007 },
        month = { 07 },
        pages = { 36-42 },
        note = { URL={http://doi.acm.org/10.1145/1273647.1273655} }
}

@inproceedings{ mimp2007,
        author = { Ricardo Dias and jesus and Rute Frias and N. Correia },
        title = { Mobile interface of the memoria project },
        booktitle = { SIGIR '07: Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval },
        publisher = { ACM Press },
        year = { 2007 },
        month = { 07 },
        pages = { 904-904 },
        note = { URL={http://doi.acm.org/10.1145/1277741.1277972} }
}

@inproceedings{ Leitao:dsn07,
        author = { João Leitão and José Orlando Pereira and Luis Rodrigues },
        title = { HyParView: a membership protocol for reliable gossip-based broadcast },
        booktitle = { Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks },
        publisher = { IEEE },
        year = { 2007 },
        month = { 06 },
        series = { DSN },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4272993} }
}

@inproceedings{ few-iceis07,
        author = { M. A. Bento and N. Preguiça },
        title = { Supporting Asynchronous Collaborative Editing in Mobile Computing Environments },
        booktitle = { ICEIS 2007: 9th International Conference on Enterprise Information Systems - special session on Computer Supported Collaborative Editing },
        publisher = { INSTICC },
        year = { 2007 },
        month = { 06 },
        pages = { 343-350 }
}

@inproceedings{ herve:mob:moso,
        author = { Hervé Paulino },
        title = { Mobile Service Development and Deployment with Remotely Launched Service-oriented Mobile Agents },
        booktitle = { 8th International Conference on Mobile Data Management (MDM2007), Mannheim, Germany, May 7-11, 2007 },
        publisher = { IEEE Computer Society },
        editor = { Christian Becker and Christian S. Jensen and Jianwen Su },
        year = { 2007 },
        month = { 05 },
        pages = { 412-416 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-MoSO-2007.pdf} }
}

@inproceedings{ SINO2007,
        author = { Miguel Correia Ricardo and H. J. Domingos },
        title = { Secure and Reliable Data-Centric In-Network Processing for Wireless Sensor Based Networks },
        booktitle = { Actas do 3º Encontro Nacional sobre Segurança Informática nas Organizações },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        year = { 2007 },
        series = { SINO },
        pages = { 153-166 },
        note = { URL={http://sino2007.di.fct.unl.pt} }
}

@inproceedings{ moniz07intrusion,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and António Casimiro Ferreira da Costa and Paulo Jorge Esteves Veríssimo },
        title = { Intrusion Tolerance in Wireless Environments: An Experimental Evaluation },
        booktitle = { Proceedings of the 13th IEEE Pacific Rim Depend- able Computing conference (PRDC) },
        publisher = { IEEE },
        year = { 2007 }
}

@inproceedings{ bessani07tradeoffs,
        author = { Alysson Neves Bessani and Miguel Pupo Correia and hm and Nuno Ferreira Neves and Paulo Jorge Esteves Veríssimo },
        title = { When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus },
        booktitle = { Proceedings of 21st Interna- tional Symposium on Distributed Computing (DISC) },
        publisher = { ACM },
        year = { 2007 }
}

@inproceedings{ few-iwces06,
        author = { M. A. Bento and N. Preguiça },
        title = { Operational transformation based reconciliation in the FEW File System },
        booktitle = { IWCES8: Proceedings of the Eight International Workshop on Collaborative Editing Systems },
        publisher = { IEEE Computer Society },
        year = { 2006 },
        month = { 11 },
        series = { @ IEEE Distributed Systems Online },
        note = { URL={http://asc.di.fct.unl.pt/few/papers/iwces8-few.pdf} }
}

@inproceedings{ Paulino.Lopes-3ip-Sep06,
        author = { Hervé Paulino and Luís Lopes },
        title = { A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus },
        booktitle = { 7th Joint Modular Languages Conference, JMLC 2006 },
        publisher = { Springer-Verlag },
        editor = { David Lightfoot and Clemens Szyperski },
        year = { 2006 },
        month = { 09 },
        series = { Lecture Notes in Computer Science },
        number = { 4228 },
        pages = { 383-402 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-JMLC-2006.pdf} }
}

@inproceedings{ Dom.Ker.Fel.Jel-2ip-Sep06,
        author = { H. J. Domingos and Anne Marie Kermarrec and Pascal Felber and Mark Jelasity },
        title = { Euro-Par 2006: Introduction to the P2P and Web Computing Topic },
        booktitle = { Euro-Par Series, 12th International Euro-Par Conference Proceedings },
        publisher = { Springer-Verlag },
        editor = { Springer Verlag },
        year = { 2006 },
        month = { 09 },
        series = { LNCS },
        number = { 4128 },
        pages = { 993-995 }
}

@inproceedings{ Lopes.Medeiros-5ip-Jun06,
        author = { P. A. Lopes and Pedro D. Medeiros },
        title = { Cooperative Caching in the pCFS Parallel Cluster File System },
        booktitle = { Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing },
        publisher = { IEEE Computer Society },
        editor = { IEEE },
        year = { 2006 },
        month = { 06 },
        series = { HPDC-15 },
        pages = { 347-348 }
}

@inproceedings{ Paulino.Lopes-6ip-May06,
        author = { Hervé Paulino and Luís Lopes },
        title = { A Service-Oriented Language for Programming Mobile Agents },
        booktitle = { Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems },
        publisher = { ACM Press },
        editor = { Peter Stone and Gerhard Weiss },
        year = { 2006 },
        month = { 05 },
        pages = { 1294-1296 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-AAMAS-2006.pdf} }
}

@inproceedings{ Ben.Pre.Baq.Mar-10ip-06,
        author = { M. A. Bento and N. Preguiça and Carlos Baquero and J. Legatheaux Martins },
        title = { Reconciliation for Mobile Computing Environments with Portable Storage Devices },
        booktitle = { CSMU 2006: Actas da Conferência sobre Sistemas Móveis e Ubíquos },
        publisher = { Universidade do Minho },
        year = { 2006 }
}

@inproceedings{ moniz06comparisonl,
        author = { hm and Nuno Ferreira Neves and Miguel Puco Correia and Paulo Jorge Esteves Veríssimo },
        title = { Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols },
        booktitle = { Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS) },
        publisher = { IEEE },
        year = { 2006 }
}

@inproceedings{ moniz06randomized,
        author = { hm and Nuno Ferreira Neves and Miguel Pupo Correia and Paulo Jorge Esteves Veríssimo },
        title = { Randomized Intrusion-Tolerant Asyn- chronous Services },
        booktitle = { Proceedings of the 36th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) },
        publisher = { IEEE },
        year = { 2006 }
}

@inproceedings{ Mar.Dom.Pre.Dua-16ip-Oct05,
        author = { J. Legatheaux Martins and H. J. Domingos and N. Preguiça and S. Duarte },
        title = { Uma experiência multi-facetada de ensino de redes de computadores a alunos de Engenharia Informática },
        booktitle = { Actas da Conferência Redes de Computadores 2005, CRC'2005 },
        publisher = { FCCN },
        year = { 2005 },
        month = { 10 }
}

@inproceedings{ Pre.Mar.Dom.Dua-18ip-Sep05,
        author = { N. Preguiça and J. Legatheaux Martins and H. J. Domingos and S. Duarte },
        title = { Integrating synchronous and asynchronous interactions in groupware applications },
        booktitle = { CRIWG2005 - 11th International Workshop on Groupware },
        publisher = { Springer-Verlag },
        year = { 2005 },
        month = { 09 },
        series = { Lecture Notes in Computer Science },
        number = { 3706 },
        pages = { 89-104 },
        note = { URL={http://dx.doi.org/10.1007/11560296_7} }
}

@inproceedings{ Lopes.Medeiros-21ip-Sep05,
        author = { P. A. Lopes and Pedro D. Medeiros },
        title = { pCFS: A Parallel Cluster File System },
        booktitle = { Proceedings of the ParCO 2005 Conference, Málaga, Spain, Sep 13-16 2005. },
        publisher = { Universidad de Málaga },
        editor = { G.R. Joubert, W.E. Nagel, F.J. Peters, O. Plata, P. Tirado, E. Zapata },
        year = { 2005 },
        month = { 09 },
        series = { John von Neumann Institute for Computing, Jülich, NIC Series },
        number = { 33 },
        pages = { 515-522 },
        note = { URL={http://www2.fz-juelich.de/nic-series/volume33/515.pdf} }
}

@inproceedings{ Ker.Jel.Row.Dom-20ip-Sep05,
        author = { Anne Marie Kermarrec and Mark Jelasity and Anthony Rowstron and H. J. Domingos },
        title = { Euro-Par 2005 - Introduction to the Peer to Peer and Web Computing Topic },
        booktitle = { 11th International Euro-Par Conference },
        publisher = { Springer-Verlag },
        year = { 2005 },
        month = { 09 },
        series = { LNCS },
        number = { 3648 }
}

@inproceedings{ Med.Dua.Gom.Mar-27ip-Jun05,
        author = { Pedro D. Medeiros and V. Duarte and M. Cecília Gomes and R. Marques },
        title = { Using a PC Simulator to Illustrate Input-Output Programming Techniques },
        booktitle = { Proceedings of the 10th SIGCSE Conference ITiCSE 2005 },
        publisher = { ACM Press },
        year = { 2005 },
        month = { 06 },
        pages = { 388 },
        note = { URL={http://doi.acm.org/10.1145/1067445.1067591} }
}

@inproceedings{ nmc_instory_2005,
        author = { N. Correia and Luís Alves and Helder Correia and L. Romero and C. Morgado and Luís Soares and Jose C. Cunha and T. Romão and A. Eduardo Dias and Joaquim A. Jorge },
        title = { InStory: a system for mobile information access, storytelling and gaming activities in physical spaces },
        booktitle = { ACE '05: Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology },
        publisher = { ACM Press },
        year = { 2005 },
        month = { 06 },
        pages = { 102-109 }
}

@inproceedings{ 1067603,
        author = { C. Morgado and Luís Soares },
        title = { MIG21 API: multimedia interactive groups API },
        booktitle = { ITiCSE '05: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education },
        publisher = { ACM Press },
        year = { 2005 },
        pages = { 399-399 }
}

@inproceedings{ 1067500,
        author = { Nuno Marques and Francisco Azevedo and C. Morgado and J. F. Custódio },
        title = { Using Octave to introduce programming to technical science students },
        booktitle = { ITiCSE '05: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education },
        publisher = { ACM Press },
        year = { 2005 },
        pages = { 198-202 }
}

@inproceedings{ nmc_nidm_2005,
        author = { N. Correia and Luís Alves and Tiago Martins and C. Morgado and Jose C. Cunha and T. Romão and A. Eduardo Dias and Joaquim A. Jorge and Helena Barbas },
        title = { Narrativas Interactivas em Dispositivos Móveis },
        booktitle = { Proceedings of Artech 2005 - 2º Workshop Luso-Galaico de Artes Digitais },
        publisher = { Grupo Português de Computação Gráfica / Eurographics },
        year = { 2005 },
        pages = { 42-50 }
}

@inproceedings{ Sha.Pre.O'-48ip-Jan04,
        author = { Marc Shapiro and N. Preguiça and James O\'Brien },
        title = { Rufis: mobile data sharing using a generic constraint-oriented reconciler },
        booktitle = { MDM 2004: 5th IEEE International Conference on Mobile Data Management },
        publisher = { IEEE Computer Society },
        year = { 2004 },
        month = { 01 },
        pages = { 146-151 },
        note = { URL={http://csdl.computer.org/comp/proceedings/mdm/2004/2070/00/20700146abs.htm} }
}

@inproceedings{ Gom.Ran.Cun-49ip-04,
        author = { M. Cecília Gomes and Omer Rana and Jose C. Cunha },
        title = { Pattern/Operator Based Problem Solving Environments },
        booktitle = { Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference },
        publisher = { Springer-Verlag },
        editor = { M. Danelutto. D. Laforenza, and M. Vanneschi },
        year = { 2004 },
        series = { Lecture Notes in Computer Science },
        number = { 3149 },
        pages = { 960-971 }
}

@inproceedings{ Pre.Sha.Mat-55ip-Nov03,
        author = { N. Preguiça and Marc Shapiro and Caroline Matheson },
        title = { Semantics-Based Reconciliation for Collaborative and Mobile Environments },
        booktitle = { CoopIS'2003 The Eleventh International Conference on Cooperative Information Systems },
        publisher = { Springer-Verlag },
        year = { 2003 },
        month = { 11 },
        series = { Lecture Notes in Computer Science },
        number = { 2888 },
        pages = { 38-55 },
        note = { URL={http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2888&spage=38} }
}

@inproceedings{ Ran.Gom.Cun-54ip-Nov03,
        author = { Omer Rana and M. Cecília Gomes and Jose C. Cunha },
        title = { Patterns and Operators for Grid Software Development },
        booktitle = { Proceedings of the IADIS International Conference WWW/Internet 2003 },
        publisher = { IADIS Press },
        year = { 2003 },
        month = { 11 }
}

@inproceedings{ Dua.Mar.Dom.Pre-57ip-Oct03,
        author = { S. Duarte and J. Legatheaux Martins and H. J. Domingos and N. Preguiça },
        title = { DEEDS – Uma Plataforma Extensível para a Disseminação de Eventos },
        booktitle = { Actas da Conferência Redes de Computadores 2003, CRC'2003 },
        publisher = { FCCN },
        year = { 2003 },
        month = { 10 }
}

@inproceedings{ Pau.Lop.Sil-59ip-Jul03,
        author = { Hervé Paulino and Luís Lopes and Fernando Silva },
        title = { Mob: A Scripting Language for Mobile Agents Based on a Process Calculus },
        booktitle = { Web Engineering - International Conference, ICWE 2003 },
        publisher = { Springer-Verlag },
        editor = { Cueva Lovelle, J.M.; González Rodríguez, B.M.; Joyanes Aguilar, L.; Labra Gayo, J.E.; del Puerto P },
        year = { 2003 },
        month = { 07 },
        series = { Lecture Notes in Computer Science },
        number = { 2272 },
        pages = { 40-43 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-ICWE-2003.pdf} }
}

@inproceedings{ Ran.Gom.Cun-60ip-Jul03,
        author = { Omer Rana and M. Cecília Gomes and Jose C. Cunha },
        title = { A Pattern based Software Engineering Tool for Grid Environments },
        booktitle = { Proceedings of NATO Advanced Research Workshop on Concurrent Information Processing and Computing, CIPC2003 },
        publisher = { Al.I.Cuza University Press },
        editor = { D. Grigoras, A. Nicolau, and F.L.Tiplea },
        year = { 2003 },
        month = { 07 },
        pages = { 107-116 }
}

@inproceedings{ Pre.Mar.Cun.Dom-63ip-May03,
        author = { N. Preguiça and J. Legatheaux Martins and Miguel Cunha and H. J. Domingos },
        title = { Reservations for Conflict Avoidance in a Mobile Database System },
        booktitle = { MobiSys 2003: Proceedings of the First International Conference on Mobile Systems, Applications and Services },
        publisher = { Usenix Association },
        year = { 2003 },
        month = { 05 },
        pages = { 43-56 },
        note = { URL={http://www.usenix.org/events/mobisys03/tech/preguica.html} }
}

@inproceedings{ Lou.Cun.Mor-68ip-03,
        author = { João M. Lourenço and Jose C. Cunha and Vitor Moreira },
        title = { Control and Debugging of Distributed Programs Using Fiddle },
        booktitle = { Proc. of the 5th International Workshop on Automated Debugging (AADebug'2003) },
        publisher = { arXiv },
        editor = { es) Michiel Ronsse },
        year = { 2003 },
        pages = { 143-157 },
        note = { URL={http://arxiv.org/abs/cs.DC/0309049} }
}

@inproceedings{ Pre.Sha.Mar-66ip-03,
        author = { N. Preguiça and Marc Shapiro and J. Legatheaux Martins },
        title = { Automating semantics-based reconciliation for mobile databases },
        booktitle = { CFSE'3: 3ème Conférence Française sur les Systèmes d'Exploitation },
        publisher = { INRIA },
        year = { 2003 }
}

@inproceedings{ Dua.Mar.Dom.Pre-69ip-03,
        author = { S. Duarte and J. Legatheaux Martins and H. J. Domingos and N. Preguiça },
        title = { A case study on event dissemination in an active overlay network environment },
        booktitle = { DEBS '03: Proceedings of the 2nd international workshop on Distributed event-based systems },
        publisher = { ACM Press },
        year = { 2003 },
        pages = { 1-8 },
        note = { URL={http://http://doi.acm.org/10.1145/966618.966624} }
}

@inproceedings{ euroPVMMPI2003,
        author = { Roberto Espenica and Pedro D. Medeiros },
        title = { Porting PVM to the VIA architecture using a fast communication library },
        booktitle = { Proceedings of 9th Recent Advances in Parallel Virtual Machine and Message Passing Interface - European PVM/MPI User's Group Meeting },
        publisher = { Springer-Verlag },
        year = { 2002 },
        month = { 09 },
        series = { Lecture Notes in Computer Science },
        number = { 2474 },
        pages = { 341-348 }
}

@inproceedings{ Gonçalves.Cunha-71ip-02,
        author = { C. J. S. Gonçalves and Jose C. Cunha },
        title = { Distributed Simulation of a Particle System in Java },
        booktitle = { Proceedings of the ISEL Science and Technology Conference, Lisboa },
        publisher = { ISEL - Instituto Superior de Engenharia de Lisboa },
        year = { 2002 }
}

@inproceedings{ Medeiros.Cunha-77ip-01,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { Using Groups to Support the Interconnection of Parallel Applications },
        booktitle = { Proceedings of the 9th Euromicro Workshop on Parallel and Distributed Processing (PDP'2001) },
        publisher = { IEEE Computer Society },
        year = { 2001 },
        month = { 02 },
        pages = { 89-96 },
        note = { URL={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=905022} }
}

@inproceedings{ Lourenço.Cunha-80ip-01,
        author = { João M. Lourenço and Jose C. Cunha },
        title = { Fiddle: A Flexible Distributed Debugging Architecture },
        booktitle = { Proc. of the International Conference on Computational Science (ICCS'2001) },
        publisher = { Springer-Verlag },
        editor = { Springer-Verlag },
        year = { 2001 },
        series = { Lecture Notes in Computer Science },
        number = { 2074 },
        pages = { 821-830 },
        note = { URL={http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2074&spage=821} }
}

@inproceedings{ Cun.Pre.Mar.Dom.Dua.Baq.Mou-82ip-01,
        author = { Miguel Cunha and N. Preguiça and J. Legatheaux Martins and H. J. Domingos and S. Duarte and Carlos Baquero and Francisco Moura },
        title = { Mobisnap: Um Sistema de Bases de Dados para Ambientes Móveis },
        booktitle = { Actas da Conferência de Redes de Computadores 2001 (CRC 2001) },
        publisher = { FCCN },
        year = { 2001 }
}

@inproceedings{ Preguiça.Martins-81ip-01,
        author = { N. Preguiça and J. Legatheaux Martins },
        title = { Revisiting Hierarchical Quorum Systems },
        booktitle = { ICDCS '01: Proceedings of the The 21st International Conference on Distributed Computing Systems },
        publisher = { IEEE Computer Society },
        year = { 2001 },
        pages = { 264-272 },
        note = { URL={http://http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918956} }
}

@inproceedings{ Pre.Mar.Dua.Dom-79ip-01,
        author = { N. Preguiça and J. Legatheaux Martins and S. Duarte and H. J. Domingos },
        title = { Supporting Disconnected Operation in DOORS },
        booktitle = { HOTOS '01: Proceedings of the Eighth Workshop on Hot Topics in Operating Systems },
        publisher = { IEEE Computer Society },
        year = { 2001 },
        note = { URL={http://http://doi.ieeecomputersociety.org/10.1109/HOTOS.2001.990095} }
}

@inproceedings{ Pre.Baq.Mou.Mar.Oli.Dom.Per.Dua-84ip-Sep00,
        author = { N. Preguiça and Carlos Baquero and Francisco Moura and J. Legatheaux Martins and Rui Oliveira and H. J. Domingos and José Orlando Pereira and S. Duarte },
        title = { Mobile Transaction Management in Mobisnap },
        booktitle = { Proceedings of the 2000 ADBIS-DASFAA Symposium on Advances in Databases and Information Systems },
        publisher = { Springer-Verlag },
        editor = { Springer LNCS. },
        year = { 2000 },
        month = { 09 },
        series = { Lecture Notes on Computer Science },
        number = { 1884 },
        pages = { 379-386 },
        note = { URL={http://http://www.springerlink.com/content/w4wme6wpqe5c7jph/} }
}

@inproceedings{ Mar.Cun.Swi-83ip-Sep00,
        author = { R. Marques and Jose C. Cunha and Terrance Swift },
        title = { An Architecture for a Multi-threaded Tabling Engine },
        booktitle = { TAPD'2000 Tabulation in Parsing and Deduction },
        publisher = { Universidade de Vigo },
        editor = { David S. Warren, Manuel Vilares, Leandro Liñares and Miguel Alonso },
        year = { 2000 },
        month = { 09 },
        pages = { 51-63 },
        note = { URL={http://coleweb.dc.fi.udc.es/tapd2000/tapd.html} }
}

@inproceedings{ Pre.Mar.Dom.Dua-86ip-00,
        author = { N. Preguiça and J. Legatheaux Martins and H. J. Domingos and S. Duarte },
        title = { Data Management Support for Asynchronous Groupware },
        booktitle = { CSCW '00: Proceedings of the 2000 ACM conference on Computer supported cooperative work },
        publisher = { ACM Press },
        year = { 2000 },
        pages = { 69-78 },
        note = { URL={http://http://doi.acm.org/10.1145/358916.358972} }
}

@inproceedings{ Ven.Rua.Cun-89ip-00,
        author = { Paula Ventura and Maria Graça Ruano and Jose C. Cunha },
        title = { Memory Management and its Influence on the Communication of Homogeneous and Heterogeneous Parallel Systems },
        booktitle = { Proceedings of 6th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC'2000) },
        publisher = { Pergamon-Elsevier Science },
        editor = { V. Hernandez and G. W. Irwin },
        year = { 2000 },
        pages = { 163-168 }
}

@inproceedings{ Prz.Kwi.Cun-92ip-00,
        author = { Maciej Przewozny and Jan Kwiatkowski and Jose C. Cunha },
        title = { A Tool for Distributed Software Design in the CORBA Environment },
        booktitle = { Proceedings of the 4th International Meeting on Vector and Parallel Processing (VECPAR'2000) },
        publisher = { Universidade do Porto },
        year = { 2000 }
}

@inproceedings{ Cunha-88ip-00,
        author = { Jose C. Cunha },
        title = { Future Generations of Problem Solving Environments, },
        booktitle = { Proceedings of' the IFIP WG 2.5 Conference on the Architecture of Scientific Software },
        publisher = { IFIP },
        year = { 2000 },
        series = { IFIP Working Group on Numerical Software (WG 2.5) }
}

@inproceedings{ Pre.Baq.Mar.Mou.Dom.Oli.Per-93ip-Nov99,
        author = { N. Preguiça and Carlos Baquero and J. Legatheaux Martins and Francisco Moura and H. J. Domingos and Rui Oliveira and José Orlando Pereira },
        title = { MobiSnap: Managing Database Snapshots in a Mobile Environment },
        booktitle = { Actas do Encontro Português de Computação Móvel, Tomar, 1999 },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        editor = { Faculdade de Ciências da Universidade de Lisboa },
        year = { 1999 },
        month = { 11 },
        pages = { 45-48 }
}

@inproceedings{ Dua.Mar.Dom.Pre-95ip-Nov99,
        author = { S. Duarte and J. Legatheaux Martins and H. J. Domingos and N. Preguiça },
        title = { DEEDS - An Event Dissemination Service for Mobile and Stationary Systems },
        booktitle = { Actas do Encontro Português de Computação Móvel, Tomar, 1999 },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        year = { 1999 },
        month = { 11 },
        pages = { 1-9 }
}

@inproceedings{ Dom.Mar.Pre.Dua-94ip-Nov99,
        author = { H. J. Domingos and J. Legatheaux Martins and N. Preguiça and S. Duarte },
        title = { A Workflow Architecture to Manage Mobile Collaborative Work },
        booktitle = { Actas do Encontro Português de Computação Móvel, Tomar, 1999 },
        publisher = { Universidade de Lisboa - Faculdade de Ciências },
        year = { 1999 },
        month = { 11 },
        pages = { 49-61 }
}

@inproceedings{ Pre.Mar.Dom.Dua-98ip-Mar99,
        author = { N. Preguiça and J. Legatheaux Martins and H. J. Domingos and Jorge Simão },
        title = { Flexible data storage for mobile computing },
        booktitle = { SAC '99: Proceedings of the 1999 ACM symposium on Applied computing },
        publisher = { ACM Press },
        year = { 1999 },
        month = { 03 },
        pages = { 405-407 },
        note = { URL={http://http://doi.acm.org/10.1145/298151.298397} }
}

@inproceedings{ Cun.Med.Dua.Lou.Gom-99ip-99,
        author = { Jose C. Cunha and Pedro D. Medeiros and V. Duarte and João M. Lourenço and M. Cecília Gomes },
        title = { An Experience in Building a Parallel and Distributed Problem-Solving Environment },
        booktitle = { Proceedings of the Intl. Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'99 },
        publisher = { CSREA Press },
        editor = { H.R. Arabnia },
        year = { 1999 },
        pages = { 1804-1809 }
}

@inproceedings{ Dom.Pre.Mar-103ip-Sep98,
        author = { H. J. Domingos and N. Preguiça and J. Legatheaux Martins },
        title = { Coordination and Awareness Support for Adaptive CSCW Sessions },
        booktitle = { CRIWG '98: Proceedings of the Fourth International Workshop on Groupware },
        publisher = { CYTED },
        year = { 1998 },
        month = { 09 },
        pages = { 21-37 }
}

@inproceedings{ Dom.Mar.Pre-104ip-Aug98,
        author = { H. J. Domingos and J. Legatheaux Martins and N. Preguiça },
        title = { Coordination Support for Scalable Cooperative Work },
        booktitle = { DEXA '98: Proceedings of the 9th International Workshop on Database and Expert Systems Applications },
        publisher = { IEEE Computer Society },
        year = { 1998 },
        month = { 08 },
        pages = { 554-558 },
        note = { URL={http://http://doi.ieeecomputersociety.org/10.1109/DEXA.1998.707456} }
}

@inproceedings{ Cunha.Duarte-116ip-98,
        author = { Jose C. Cunha and V. Duarte },
        title = { Monitoring PVM Programs Using the DAMS Approach },
        booktitle = { EuroPVM/MPI'98 },
        publisher = { Springer-Verlag },
        year = { 1998 },
        series = { Lecture Notes in Computer Science },
        number = { 1497 },
        pages = { 273-280 }
}

@inproceedings{ Medeiros.Cunha-107ip-98,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { Interconnecting PVM and MPI applications },
        booktitle = { Proceedings of EuroPVMMPI'98 },
        publisher = { Springer-Verlag },
        year = { 1998 },
        series = { Lecture Notes in Computer Science }
}

@inproceedings{ Lourenço.Cunha-105ip-98,
        author = { João M. Lourenço and Jose C. Cunha },
        title = { Replaying Distributed Applications with RPVM },
        booktitle = { Proceeding of the 2st Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98) },
        publisher = { University of Vienna },
        year = { 1998 }
}

@inproceedings{ Lourenço.Cunha-108ip-98,
        author = { João M. Lourenço and Jose C. Cunha },
        title = { The PDBG Process-Level Debugger for Parallel and Distributed Programs },
        booktitle = { Proceedings of the 2nd SIGMETRICS Symposium on Parallel and Distributed Tools (SPDT'98) },
        publisher = { ACM Press },
        year = { 1998 },
        pages = { 154-154 },
        note = { URL={http://doi.acm.org/10.1145/281035.281056} }
}

@inproceedings{ Lourenço.Cunha-109ip-98,
        author = { João M. Lourenço and Jose C. Cunha },
        title = { A Thread-Level Distributed Debugger },
        booktitle = { Proceedings of the 3rd International Conference on Vector and Parallel Processing (VecPar'98) },
        publisher = { Universidade do Porto },
        year = { 1998 },
        pages = { 359-366 }
}

@inproceedings{ Cun.Lou.Vie.Mos.Per-110ip-98,
        author = { Jose C. Cunha and João M. Lourenço and João Vieira and Bruno Moscão and Daniel Pereira },
        title = { A Framework to Support Parallel and Distributed Debugging },
        booktitle = { Proceedings of the International Conference on High-Performance Computing and Networking (HPCN'98) },
        publisher = { Springer-Verlag },
        year = { 1998 },
        series = { Lecture Notes on Computer Science },
        number = { 1401 },
        pages = { 708-717 },
        note = { URL={http://dx.doi.org/10.1007/BFb0037125} }
}

@inproceedings{ Cun.Med.Lou.Dua.Vie.Mos.Per.Vaz-114ip-98,
        author = { Jose C. Cunha and Pedro D. Medeiros and João M. Lourenço and V. Duarte and João Vieira and Bruno Moscão and Daniel Pereira and Rui Vaz },
        title = { The DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processing },
        booktitle = { Proceedings of the International Conference on High-Performance Computing and Networking (HPCN'98) },
        publisher = { Springer-Verlag },
        year = { 1998 },
        series = { Lecture Notes on Computer Science },
        number = { 1401 },
        pages = { 952-954 },
        note = { URL={http://dx.doi.org/10.1007/BFb0037125} }
}

@inproceedings{ Cunha.Lourenço-115ip-98,
        author = { Jose C. Cunha and João M. Lourenço },
        title = { An Integrated Course on Parallel and Distributed Processing },
        booktitle = { Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education (SIGCSE'98) },
        publisher = { ACM Press },
        year = { 1998 },
        series = { ACM SIGCSE Bulletin },
        pages = { 217-221 },
        note = { URL={http://doi.acm.org/10.1145/273133.274300} }
}

@inproceedings{ seihpc:1998,
        author = { Jose C. Cunha and João M. Lourenço and V. Duarte },
        title = { Tool Integration Issues for Parallel and Distributed Debugging },
        booktitle = { Proceedings of the 3rd SEIHPC Workshop },
        publisher = { University of Westminster },
        editor = { University of Westminster, Center for Parallel Computing, London },
        year = { 1998 }
}

@inproceedings{ Dom.Mar.Sim-117ip-Oct97,
        author = { H. J. Domingos and J. Legatheaux Martins and Jorge Simão },
        title = { Support for Coordination and Flexible Synchronicity in Large Scale CSCW },
        booktitle = { CRIWG'97 - Third CYTED-RITOS International Workshop on Groupware },
        publisher = { CYTED },
        year = { 1997 },
        month = { 10 },
        pages = { 81-90 }
}

@inproceedings{ Dom.Mar.Sim-118ip-Jul97,
        author = { H. J. Domingos and J. Legatheaux Martins and Jorge Simão },
        title = { A Flexible Object-Group-Oriented Framework to support Large Scale Collaborative Applications },
        booktitle = { Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences },
        publisher = { IEEE Computer Society },
        year = { 1997 },
        month = { 07 },
        pages = { 82-91 }
}

@inproceedings{ Sim.Dom.Mar.Pre-119ip-Jun97,
        author = { Jorge Simão and H. J. Domingos and J. Legatheaux Martins and N. Preguiça },
        title = { Supporting Synchronous Groupware with Peer Object-Groups },
        booktitle = { COOTS'97: Proceedings of the Third USENIX Conference on Object-Oriented Technologies },
        publisher = { Usenix Association },
        year = { 1997 },
        month = { 06 },
        pages = { 233-236 },
        note = { URL={http://http://www.usenix.org/publications/library/proceedings/coots97/panel.simao.html} }
}

@inproceedings{ Domingos.Martins-126ip-97,
        author = { H. J. Domingos and J. Legatheaux Martins },
        title = { Coordination and Tailorability Issues in the design of a Generic Large Scale Groupware Platform },
        booktitle = { in Proceedings of Workshop on Tailorable Groupware - Issues, Methods and Architectures, ACM - GROUP'97, Phoenix, Arizona, 1997 },
        publisher = { ACM Press },
        editor = { Siggroup, ACM Press },
        year = { 1997 },
        month = { 04 },
        series = { SIGGROUP Taolorable Groupware: Issues, Methods and Architectures }
}

@inproceedings{ Domingos.Martins-120ip-Feb97,
        author = { H. J. Domingos and J. Legatheaux Martins },
        title = { A Generic Platform and Flexible Object-Group-Oriented Framework to Support Large Scale Collaborative Applications },
        booktitle = { HICSS-30 - 30th International Conference on System Sciences - Distributed Objects and Platforms Track, Vol.4, January 1997 },
        publisher = { IEEE Computer Society },
        editor = { IEEE Computer Society },
        year = { 1997 },
        month = { 02 },
        series = { HICCS International Conference on System Sciences - Distributed Objects and Platforms }
}

@inproceedings{ Sim.Pre.Dom.Mar-127ip-97,
        author = { Jorge Simão and N. Preguiça and H. J. Domingos and J. Legatheaux Martins },
        title = { DAgora: A Flexible, Scalable and Reliable Object-Oriented Groupware Platform },
        booktitle = { OOGP'97: Proceedings of The International Workshop on Object Oriented Groupware Platforms },
        publisher = { Telematics Research Centre },
        year = { 1997 },
        pages = { 27-32 },
        note = { URL={http://https://doc.telin.nl/dscgi/ds.py/Get/File-7736/simao.pdf} }
}

@inproceedings{ Cunha.Marques-122ip-97,
        author = { Jose C. Cunha and R. Marques },
        title = { Distributed Algorithm Development with PVM-Prolog },
        booktitle = { 5th Euromicro Workshop on Parallel and Distributed Processing },
        publisher = { IEEE Computer Society },
        year = { 1997 },
        pages = { 211-215 }
}

@inproceedings{ Shr.Mar.Wag.Cun-123ip-97,
        author = { Michael Shroeder and R. Marques and Gerd Wagner and Jose C. Cunha },
        title = { CAP - Concurrent Action and Planning: Using PVM-Prolog to Implement Vivid Agents },
        booktitle = { Proceedings of PAP'97, 5th International Conference and Exhibition on the Practical Application of Prolog },
        publisher = { Practical Application Company Ltd. },
        year = { 1997 },
        note = { URL={http://www.kbs.uni-hannover.de/Arbeiten/Publikationen/1996/sch96_pap97.html} }
}

@inproceedings{ Medeiros.Cunha-121ip-97,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { Interconnecting multiple heterogeneous parallel application components },
        booktitle = { Proceedings of the 3rd International European Conference on Parallel Processing (Euro-Par'97) },
        publisher = { Springer-Verlag },
        year = { 1997 },
        series = { LNCS },
        number = { 1300 },
        pages = { 128-139 }
}

@inproceedings{ Lou.Cun.Kuz.Ney.Wis-125ip-97,
        author = { João M. Lourenço and Jose C. Cunha and P. Kuzora and M. Neyman and B. Wiszniewsk },
        title = { An Integrated Testing and Debugging Environment for Parallel and Distributed Programs },
        booktitle = { Proceedings of the 23rd EUROMICRO Conference (EUROMICRO'97) },
        publisher = { IEEE Computer Society },
        year = { 1997 },
        pages = { 291-298 },
        note = { URL={http://doi.ieeecomputersociety.org/10.1109/EURMIC.1997.617289} }
}

@inproceedings{ Cun.Lou.Ant-128ip-96,
        author = { Jose C. Cunha and João M. Lourenço and Tiago Antão },
        title = { A Distributed Debugging Tool for a Parallel Software Engineering Environment },
        booktitle = { Proceedings of the 1st European Parallel Tools Meeting (EPTM'96) },
        publisher = { ONERA (French National Establishment for Aerospace Research) },
        year = { 1996 }
}

@inproceedings{ Cun.Lou.Ant-131ip-96,
        author = { Jose C. Cunha and João M. Lourenço and Tiago Antão },
        title = { A Debugging Engine for a Parallel and Distributed Environment },
        booktitle = { Proceedings of the 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'96) },
        publisher = { Hungarian Academy of Sciences, KFKI },
        year = { 1996 },
        pages = { 111-118 }
}

@inproceedings{ Cunha.Marques-130ip-96,
        author = { Jose C. Cunha and R. Marques },
        title = { PVM-Prolog: A Prolog Interface to PVM },
        booktitle = { Proceedings of the 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'96) },
        publisher = { Hungarian Academy of Sciences, KFKI },
        year = { 1996 },
        pages = { 173-182 }
}

@inproceedings{ Kwi.And.Luq. Ma.Cun.Lou.Kra.Sze-129ip-96,
        author = { Jan Kwiatkowski and M. Andruszkiewicz and E. Luque and Tomas Margalef and Jose C. Cunha and João M. Lourenço and Henryk Krawczyk and S. Szejko },
        title = { Teaching Parallel Pprocessing: Development of Curriculum and Software Tools },
        booktitle = { Proceedings of the International Conference on Integrating Technology into Computer Science Education (ITiCSE'96) },
        publisher = { ACM Press },
        editor = { ACM Press },
        year = { 1996 },
        series = { ACM SIGCUE Outlook },
        pages = { 159-161 },
        note = { URL={http://doi.acm.org/10.1145/237477.237633} }
}

@inproceedings{ Per.Cun.Dam-95,
        author = { Luis Moniz Pereira and Jose C. Cunha and Luis Damas },
        title = { Parallel Logic Programming with Extensions },
        booktitle = { Proceedings of Joint Conference on Declarative Programming (GULP-PRODE'95) },
        publisher = { POLIGRAF Press },
        year = { 1995 },
        pages = { 71-88 }
}

@inproceedings{ Marques.Cunha-132ip-95,
        author = { R. Marques and Jose C. Cunha },
        title = { Using PVM with a Logic Programming Interface },
        booktitle = { Proceedings of the 2nd Euro PVM User's Group Meeting },
        publisher = { Hermes },
        year = { 1995 }
}

@inproceedings{ Marques.Cunha-133ip-95,
        author = { R. Marques and Jose C. Cunha },
        title = { PVM-Prolog: Parallel Logic Programming in the PVM System },
        booktitle = { Proceedings of the 3rd USA PVM Users Group Meeting },
        publisher = { Pittsburgh Supercomputer Center },
        year = { 1995 }
}

@inproceedings{ Medeiros.Cunha-134ip-94,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { Is enhancing the functionality of process grouping abstractions in parallel programming libraries desirable and feasible? },
        booktitle = { Proceedings of SPLC-II, 2nd Scalable Parallel Libraries Conference },
        publisher = { IEEE Computer Society },
        year = { 1994 },
        pages = { 185-190 }
}


*** Technical Reports ( 43 ) ***

@techreport{ Bernardo2015c,
        author = { B. Ferreira and H. J. Domingos },
        title = { Multimodal Indexable Encryption for Mobile Cloud-based Applications },
        institution = { INRIA },
        year = { 2015 },
        number = { Eurosys 2015 Proceedings }
}

@techreport{ Sitan2014-TR2,
        author = { H. J. Domingos },
        title = { The SITAN Research Project Research Directions, Contributions and Achieved Results },
        institution = { CITI },
        year = { 2014 },
        month = { 10 },
        number = { CITI-SITAN-TR-02-2014 },
        note = { URL={http://asc.di.fct.unl.pt/SITAN/} }
}

@techreport{ Almeida14,
        author = { H. J. Domingos and João Carlos Andrade de Almeida },
        title = { A Multi-Path Intrusion Tolerant Routing Service for Wireless Sensor Networks using Dijoint Routes and Multiple Base Stations },
        institution = { CITI },
        year = { 2014 },
        month = { 07 },
        number = { SITAN-TR-02-2014 },
        note = { URL={http://http://asc.di.fct.unl.pt/SITAN/} }
}

@techreport{ ZBBDBSP13,
        author = { Marek Zawirski and Annette Bieniusa and Balegas and S. Duarte and Carlos Baquero and Marc Shapiro and N. Preguiça },
        title = { SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine },
        institution = { INRIA },
        year = { 2013 },
        number = { INRIA RR-8347 },
        note = { URL={http://hal.inria.fr/hal-00870225} }
}

@techreport{ Bieniusa12Optimized,
        author = { Annette Bieniusa and Marek Zawirski and N. Preguiça and Marc Shapiro and Carlos Baquero and Balegas and S. Duarte },
        title = { An optimized conflict-free replicated set },
        institution = { INRIA },
        year = { 2012 },
        month = { 10 },
        number = { RR-8083 },
        note = { URL={http://hal.inria.fr/hal-00738680} }
}

@techreport{ domingos2012,
        author = { H. J. Domingos and João Carlos Andrade Almeida },
        title = { Dependability Services and Intrusion Tolerance in WSNs: Intrusion-Tolerant Routing Servoces with Multiple Disjoint Paths and Multiple Base Stations },
        institution = { CITI },
        year = { 2012 },
        month = { 06 },
        number = { SITAN-TR-03-2012 },
        note = { URL={http://asc.di.fct.unl.pt/SITAN/} }
}

@techreport{ Almeida12b,
        author = { H. J. Domingos and João Carlos Andrade de Almeida },
        title = { Hybrid Simulation Environment for the Experimental Assessment of Intrusion Tolerant Routing Protocols for Wireless Sensor Networks },
        institution = { CITI },
        year = { 2012 },
        month = { 01 },
        number = { SITAN-TR-01-2012 },
        note = { URL={http://asc.di.fct.unl.pt/SITAN/} }
}

@techreport{ Domingos11c,
        author = { H. J. Domingos },
        title = { Security Services for Routing Protocols in Wireless Sensor Networks },
        institution = { CITI },
        year = { 2012 },
        month = { 01 },
        number = { CITI-SITAN-TR-02-2012 }
}

@techreport{ Shapiro11Comprehensive,
        author = { Marc Shapiro and N. Preguiça and Carlos Baquero and Marek Zawirski },
        title = { A comprehensive study of Convergent and Commutative Replicated Data Types },
        institution = { INRIA },
        year = { 2011 },
        month = { 01 },
        number = { RR-7506 },
        note = { URL={http://hal.inria.fr/inria-00555588} }
}

@techreport{ Domingos11,
        author = { H. J. Domingos },
        title = { The SITAN Research Project },
        institution = { CITI },
        year = { 2011 },
        month = { 01 },
        number = { SITAN-TR-01-2011 },
        note = { URL={http://asc.di.fct.unl.pt/SITAN/} }
}

@techreport{ Domings11c,
        author = { H. J. Domingos and João Carlos Andrade de Almeida },
        title = { WSN Simulation Tools and the WiSeNet Prototype },
        institution = { CITI },
        year = { 2011 },
        month = { 01 },
        number = { CITI-SITAN-TR-01-2011 },
        note = { URL={http://asc.di.fct.unl.pt/SITAN/} }
}

@techreport{ Zibordi2011:EUR24920EN,
        author = { Davide D\'Alimonte and Giuseppe Zibordi and Jean-François Berthon and Elisabetta Canuti and T. Kajiyama },
        title = { Bio-optical Algorithms for European Seas: Performance and Applicability of Neural-Net Inversion Schemes },
        institution = { JRC },
        year = { 2011 },
        note = { URL={http://dx.doi.org/10.2788/56321} }
}

@techreport{ UNL-DI-7-2010,
        author = { Heitor Ferreira and S. Duarte and N. Preguiça },
        title = { Decentralized Processing Strategies for Participatory Sensing Data },
        institution = { CITI },
        year = { 2010 },
        month = { 08 },
        number = { UNL-DI-7-2010 },
        note = { URL={http://asc.di.fct.unl.pt/~smd/papers/UNL-DI-7-2010.pdf} }
}

@techreport{ treedoc-trdi0208,
        author = { N. Preguiça and Marc Shapiro },
        title = { Designing a commutative replicated data type for cooperative editing systems },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2008 },
        number = { DI-FCT-UNL 02-2008 }
}

@techreport{ SP07,
        author = { Marc Shapiro and N. Preguiça },
        title = { Designing a commutative replicated data type },
        institution = { INRIA },
        year = { 2007 },
        month = { 10 },
        number = { RR-6320 },
        note = { URL={http://hal.inria.fr/inria-00177693/} }
}

@techreport{ dias-instory-2007,
        author = { Ricardo Dias },
        title = { Sistema para suporte de narrativas, acesso, partilha e visualização de informação multimédia },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2007 },
        month = { 09 }
}

@techreport{ jalm200702,
        author = { J. Legatheaux Martins },
        title = { Algoritmos distribuídos de encaminhamento para comunicação multi-ponto e sua utilização na Internet },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2007 },
        month = { 08 },
        number = { Relatório Técnico DI-FCT/UNL Nº 2/2007 },
        note = { URL={http://asc.di.fct.unl.pt/~jalm/multicast-routing.pdf} }
}

@techreport{ Paulino.Lopes-1tr-Jun06,
        author = { Hervé Paulino and Luís Lopes },
        title = { The Mob Core Language and Abstract Machine (rev 0.2) },
        institution = { CITI },
        year = { 2006 },
        month = { 06 },
        note = { URL={http://arxiv.org/abs/0810.4451} }
}

@techreport{ Paulino.Lopes-3tr-Jan05,
        author = { Hervé Paulino and Luís Lopes },
        title = { The Mob Core Language and Abstract Machine },
        institution = { CITI },
        year = { 2005 },
        month = { 01 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-Definition.pdf} }
}

@techreport{ Pre.Mar.Dom.Dua-5tr-05,
        author = { N. Preguiça and J. Legatheaux Martins and H. J. Domingos and S. Duarte },
        title = { Integrating synchronous and asynchronous interactions in groupware applications },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2005 },
        number = { 1 }
}

@techreport{ Pre.Sha.Mar-10tr-03,
        author = { N. Preguiça and Marc Shapiro and J. Legatheaux Martins },
        title = { SqlIceCube: Automatic Sematics-based Reconciliation for Mobile Databases },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2003 },
        number = { 2 },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/papers/sqlice3-rep.pdf} }
}

@techreport{ Paulino-12tr-Jan02,
        author = { Hervé Paulino },
        title = { An Overview of Mobile Agents Systems },
        institution = { CITI },
        year = { 2002 },
        month = { 01 },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/MobileAgentsOverview.pdf} }
}

@techreport{ Pre.Mar.Dom.Dua-14tr-02,
        author = { N. Preguiça and J. Legatheaux Martins and H. J. Domingos and S. Duarte },
        title = { Supporting groupware in mobile environments },
        institution = { Departamento de Informática FCT/UNL },
        year = { 2002 },
        number = { 4 }
}

@techreport{ Sha.Pre.Mat-13tr-02,
        author = { Marc Shapiro and N. Preguiça and Caroline Matheson },
        title = { Efficient semantics-aware reconciliation for optimistic write sharing },
        institution = { Microsoft Research },
        year = { 2002 },
        number = { MSR-TR-2002-52 },
        note = { URL={http://http://research.microsoft.com/research/pubs/view.aspx?msr_tr_id=MSR-TR-2002-52} }
}

@techreport{ Gomes.Cunha-16tr-01,
        author = { M. Cecília Gomes and Jose C. Cunha },
        title = { Coordination Issues for Distributed Virtual Laboratories },
        institution = { Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa },
        year = { 2001 }
}

@techreport{ Pereira.Cunha-19tr-98,
        author = { Luis Moniz Pereira and Jose C. Cunha },
        title = { Parallel and Distributed Prolog and Applications },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1998 }
}

@techreport{ Cun.Lou.Ant-25tr-97,
        author = { Jose C. Cunha and João M. Lourenço and Tiago Antão },
        title = { A Distributed Debugging Tool for a Software Engineering Environment },
        institution = { University of Westminster },
        year = { 1997 }
}

@techreport{ Cun.Dua.Lou.Med-23tr-97,
        author = { Jose C. Cunha and V. Duarte and João M. Lourenço and Pedro D. Medeiros },
        title = { A Software Architecture for the Integration of Monitoring, Debugging, and Profiling Tools for Parallel Program Development },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1997 }
}

@techreport{ Medeiros.Cunha-22tr-97,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { PHIS: a System for Interconnecting Heterogeneous Parallel Applications and Tools },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1997 }
}

@techreport{ Cunha-21tr-97,
        author = { Jose C. Cunha },
        title = { Parallel and Distributed Processing Systems },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1997 }
}

@techreport{ Medeiros.Cunha-20tr-97,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { Interconnecting Heterogeneous Parallel Applications },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1997 }
}

@techreport{ Medeiros.Cunha-24tr-97,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { PHIS: a System for Interconnecting Heterogeneous Parallel Applications and Tools },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1997 }
}

@techreport{ Lou.Ant.Cun.Ney.Kra.Wis-28tr-96,
        author = { João M. Lourenço and Tiago Antão and Jose C. Cunha and M. Neyman and Henryk Krawczyk and B. Wiszniewsk },
        title = { Debugging Support for Deterministic Program (Re-)Execution and Interactive Program Analysis },
        institution = { University of Westminster },
        year = { 1996 }
}

@techreport{ Duarte.Cunha-29tr-96,
        author = { V. Duarte and Jose C. Cunha },
        title = { Using Tape/PVM for Monitoring GRAPNEL Programs },
        institution = { University of Westminster },
        year = { 1996 }
}

@techreport{ Cun.Lou.Ant-30tr-96,
        author = { Jose C. Cunha and João M. Lourenço and Tiago Antão },
        title = { DDBG: A Distributed Debugger - User's Guide },
        institution = { University of Westminster },
        year = { 1996 }
}

@techreport{ Cunha-31tr-96,
        author = { Jose C. Cunha },
        title = { Design of Parallel and Distributed Monitoring and Debugging Systems },
        institution = { University of Westminster },
        year = { 1996 }
}

@techreport{ Cun.Dua.Lou.Ant-32tr-96,
        author = { Jose C. Cunha and V. Duarte and João M. Lourenço and Tiago Antão },
        title = { Monitoring and Debugging Support. },
        institution = { University of Westminster },
        year = { 1996 }
}

@techreport{ Cun.Lou.Ant-26tr-96,
        author = { Jose C. Cunha and João M. Lourenço and Tiago Antão },
        title = { Integrating a Debugging Engine Into the GRAPNEL Environment },
        institution = { University of Westminster },
        year = { 1996 }
}

@techreport{ Ka.Sze.Cun-27tr-96,
        author = { K. Karkowski and S. Szejko and Jose C. Cunha },
        title = { Parallel Software Design -- A Module Proposal },
        institution = { Technical University of Gdansk },
        year = { 1996 }
}

@techreport{ Cunha-33tr-95,
        author = { Jose C. Cunha },
        title = { Structuring Abstractions for Parallel and Distributed Processing Systems },
        institution = { University of Westminster },
        year = { 1995 }
}

@techreport{ Medeiros.Cunha-34tr-95,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { Flexible Group-based Interprocess Communication Facilities for Heterogeneous Parallel Architectures },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1995 }
}

@techreport{ Medeiros.Cunha-35tr-95,
        author = { Pedro D. Medeiros and Jose C. Cunha },
        title = { Design of a Facility for Constructing Parallel Applications from Existing Parallel Components },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1995 }
}

@techreport{ Marques.Cunha-37tr-95,
        author = { R. Marques and Jose C. Cunha },
        title = { PVM-Prolog User's Guide },
        institution = { Departamento de Informática FCT/UNL },
        year = { 1995 },
        note = { URL={http://asc.di.fct.unl.pt/~rfm/pvm-prolog} }
}


*** Other Publications ( 30 ) ***

@misc{ Ferreira2015MiePoster,
        author = { B. Ferreira and João Leitão and H. J. Domingos },
        title = { Multimodal Indexable Encryption for Mobile Cloud-based Applications },
        year = { 2015 },
        month = { 04 },
        howpublished = { EuroSys 2015 Conference Poster },
        note = { URL={http://eurosys2015.labri.fr/program/posters/} }
}

@misc{ @ARTICLE{2014arXiv1411.4862F, author = {{Ferreira}, B. and {Rodrigues}, J. and {Leit{\~a}o}, J. a,
        author = { B. Ferreira and João Cardia Rodrigues and João Leitão and H. J. Domingos },
        title = { Privacy-Preserving Content-Based Image Retrieval in the Cloud },
        year = { 2014 },
        month = { 11 },
        howpublished = { Available in ARXIV, Cornell University Library. Keywords: Computer Science - Cryptography and Security Bibliographic code: 2014arXiv1411.4862F Cite as: arXiv:1411.4862 [cs.CR] },
        note = { URL={http://arxiv.org/abs/1411.4862} }
}

@misc{ ladis-dias-14,
        author = { hm and Ricardo Dias and João Leitão and Natacha Crooks and Lorenzo Alvisi and Allen Clement and rodrod },
        title = { Towards a Consistent Understanding of Consistency Levels },
        year = { 2014 },
        month = { 10 },
        howpublished = { LADIS '14: 8th Workshop on Large-Scale Distributed Systems and Middleware },
        note = { URL={http://ladisworkshop.org/} }
}

@misc{ tribudstm-pr-dmtm14,
        author = { Jo\\\\\\\\~{a}o Andr\\\\\\\\\\\\\\\'e Silva and Tiago M. Vale and Ricardo Dias and Hervé Paulino and João M. Lourenço },
        title = { Supporting Partial Data Replication in Distributed Transactional Memory },
        year = { 2014 },
        month = { 01 },
        howpublished = { Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems (DMTM) },
        note = { URL={http://www.gsd.inesc-id.pt/~mcouceiro/eurotm/dmtm2014/abstracts/silva.pdf} }
}

@misc{ costa:inforum,
        author = { jpcosta and João Leitão and DPorto and N. Preguiça and rodrod },
        title = { Avaliação das Garantias de Consistência em Serviços Geo-Replicados },
        year = { 2013 },
        month = { 09 },
        howpublished = { Article in national proceedings. },
        note = { URL={http://inforum.org.pt/INForum2013/programa} }
}

@misc{ inforum:2013:sousa,
        author = { Diogo Sousa and C. Ferreira and João M. Lourenço },
        title = { Prevenção de Violações de Atomicidade usando Contractos },
        year = { 2013 },
        month = { 09 },
        howpublished = { Comunicação oral no INFOrum 2013. Artigo publicado no volume extra com as comunicações. }
}

@misc{ @OAIR 2013 - Open Research Areas in Information Retrieval, Intl Conference,
        author = { B. Ferreira and H. J. Domingos },
        title = { Searching Private Data in a Cloud Encrypted Domain },
        year = { 2013 },
        month = { 05 },
        howpublished = { Poster presented at OAIR 2013 - Open Research Areas in Information Retrieval, 10th Intl. Conference in the RIAO Series, May 2013 }
}

@misc{ dias-wtm-2013,
        author = { Ricardo Dias and Tiago M. Vale and João M. Lourenço },
        title = { Tackling Weak-Atomicity in Multiversion Algorithms },
        year = { 2013 },
        month = { 04 },
        howpublished = { Euro-TM Workshop on Transactional Memory (WTM 2013) }
}

@misc{ @7th International Eurosys Doctoral Workshop (EURODW 2013), Eurosys 2013,
        author = { B. Ferreira and H. J. Domingos },
        title = { Security and Dependability in Cloud based Critical Online Applications },
        year = { 2013 },
        month = { 02 },
        howpublished = { Short Paper and Poster Presented at the EUROSYS 2013, EURODW 2013 Program, 7th Eurosys Doctoral Workshop (25/Feb/2013) },
        note = { URL={http://research.microsoft.com/en-us/events/eurodw13/program.aspx} }
}

@misc{ swift-sosp13,
        author = { Marek Zawirski and Annette Bieniusa and Balegas and S. Duarte and B. M. Bernardes and Marc Shapiro and N. Preguiça },
        title = { Geo-replication integrated all the way to the client machine },
        year = { 2013 },
        howpublished = { Poster at ACM Symposium on Operating Systems Principles (SOSP ’13), November 2013. }
}

@misc{ FerreiraPhDPlan2013,
        author = { B. Ferreira },
        title = { Privacy and Dependability Solutions for Cloud based Online Applications },
        year = { 2013 },
        howpublished = { PhD Thesis Plan },
        note = { URL={http://asc.di.fct.unl.pt/~bf/PhDPlan.pdf} }
}

@misc{ exame-internet,
        author = { J. Legatheaux Martins },
        title = { Nos bastidores da Internet em Portugal },
        year = { 2012 },
        month = { 08 },
        howpublished = { Revista Exame. Agosto de 2012. Ensaio. Páginas 78 - 84 }
}

@misc{ wtm-2012-dias,
        author = { Ricardo Dias and João M. Lourenço },
        title = { Supporting In-Place Metadata in DeuceSTM },
        year = { 2012 },
        month = { 04 },
        howpublished = { 2nd Euro-TM Workshop on Transactional Memory (WTM 2012) },
        note = { URL={http://www.eurotm.org/action-meetings/wtm2012} }
}

@misc{ D'Alimonte2012EGU,
        author = { Davide D\'Alimonte and T. Kajiyama and Giuseppe Zibordi },
        title = { High-spatial resolution numerical simulations of in-water radiative transfer processes },
        year = { 2012 },
        month = { 04 },
        howpublished = { EGU General Assembly 2012, Geophysical Research Abstracts Vol. 14, EGU2012-6341, 2012. }
}

@misc{ wdtm12-dias,
        author = { Ricardo Dias and João M. Lourenço },
        title = { Write-Write Conflict Detection for Distributed TM Systems },
        year = { 2012 },
        month = { 02 },
        howpublished = { ‎1st Euro-TM Workshop on Distributed Transactional Memory (WDTM 2012)‎ }
}

@misc{ dias-hvc-2010,
        author = { Ricardo Dias },
        title = { Detecting Snapshot Isolation Anomalies in Transactional Memory },
        year = { 2010 },
        month = { 09 },
        howpublished = { HVC'10: Haifa Verification Conference, PhD Poster Session }
}

@misc{ Kajiyama-OfS2010,
        author = { T. Kajiyama and Davide D\'Alimonte and Giuseppe Zibordi and Jose C. Cunha },
        title = { A high-performance Monte Carlo code for in-water radiative transfer modeling in a high-resolution two-dimensional domain },
        year = { 2010 },
        month = { 04 },
        howpublished = { ''Oceans from Space´´ Venice 2010 Symposium, poster, Venice, Italy, April 26-30, 2010. }
}

@misc{ lpdsgv-eurosys-2009,
        author = { João M. Lourenço and N. Preguiça and Ricardo Dias and João Nuno Silva and João Garcia and Luís Veiga },
        title = { NGenVM: New Generation Execution Environments },
        year = { 2009 },
        month = { 03 },
        howpublished = { Poster presented in EuroSys'2009 at Nuremberg, Germany. }
}

@misc{ POSTER,
        author = { L. Marcelino and H. J. Domingos },
        title = { A Context-Aware Multi-Factor Authentication Platform },
        year = { 2009 },
        howpublished = { Poster, Inforum 2009, Faculty of Sciences - University of Lisbon }
}

@misc{ conf/europar/DikaiakosRUL08,
        author = { Marios D. Dikaiakos and Omer Rana and Shmuel Ur and João M. Lourenço },
        title = { Topic 1: Support Tools and Environments },
        year = { 2008 },
        month = { 08 },
        howpublished = { Summary of papers for Topic 1: Support Tools and Environments. LNCS 5168. },
        note = { URL={http://dx.doi.org/10.1007/978-3-540-85451-7_1}} }
}

@misc{ mcc07,
        author = { C. Morgado and N. Correia and Jose C. Cunha },
        title = { A group-based approach for modeling interactive mobile applications },
        year = { 2007 },
        month = { 11 },
        howpublished = { International ACM Conference on Supporting Group Work - Group07 - Proceedings - ACM Press },
        note = { URL={http://www.acm.org/conferences/group/conferences/group07/program_posters.html} }
}

@misc{ fewphfs07,
        author = { João Soares and N. Preguiça },
        title = { FEW PhoneFS },
        year = { 2007 },
        month = { 06 },
        howpublished = { @WSMU'07: Proceedings of the 1st Workshop sobre Sistemas Móveis e Ubíquos }
}

@misc{ Pre.Baq.Mar.Sha.Alm.Dom.Fon.Dua-1op-Mar05,
        author = { N. Preguiça and Carlos Baquero and J. Legatheaux Martins and Marc Shapiro and Paulo Sérgio Almeida and H. J. Domingos and Victor Fonte and S. Duarte },
        title = { FEW: File Management for Portable Devices },
        year = { 2005 },
        month = { 03 },
        howpublished = { In the Proceedings of The International Workshop on Software Support for Portable Storage, 2005, pag. 29-35. },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/papers/few-iwssps2005.pdf} }
}

@misc{ mob-phdoos2003,
        author = { Hervé Paulino and Luís Lopes and Fernando Silva },
        title = { Mob: a Scripting Language for Programming Web Agents },
        year = { 2003 },
        month = { 10 },
        howpublished = { 13th Workshop for Phd Students in Object Oriented Programming: Summary and Accepted Papers. Published as technical report. },
        note = { URL={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-PhDOOS-2003.pdf} }
}

@misc{ dityco:sblp2003,
        author = { Álvaro Figueira and Hervé Paulino and Luís Lopes and Fernando Silva },
        title = { Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources },
        year = { 2003 },
        month = { 05 },
        howpublished = { Proceedings of the 7th Brazilian Symposium on Programming Languages (SBLP 2003) }
}

@misc{ Dua.Mar.Dom.Pre-9op-01,
        author = { S. Duarte and J. Legatheaux Martins and H. J. Domingos and N. Preguiça },
        title = { DEEDS - a Distributed and Extensible Event Dissemination Service },
        year = { 2001 },
        howpublished = { In the Proceedings of the ERSADS 2001 - European Research Seminar on Advances in Distributed Systems (ERSADS 01). May 2001 },
        note = { URL={http://www.cs.unibo.it/ersads/papers/duarte.pdf} }
}

@misc{ fiddle-manual:2000,
        author = { João M. Lourenço and Jose C. Cunha },
        title = { Flexible Interface for Distributed Debugging (Library and Engine): Reference Manual },
        year = { 2000 },
        howpublished = { User's manual for Fiddle, the "Flexible Interface for Distributed Debugging (Library and Engine)", developed at DI/FCT/UNL }
}

@misc{ Pre.Mar.Dom-10op-99,
        author = { N. Preguiça and J. Legatheaux Martins and H. J. Domingos },
        title = { Data Storage for Mobile Collaborative Applications },
        year = { 1999 },
        howpublished = { In the Proceedings of the ERSADS 1999 - European Research Seminar on Advances in Distributed Systems (ERSADS 99). 1999. },
        note = { URL={http://asc.di.fct.unl.pt/~nmp/papers/papers/ersads99.pdf} }
}

@misc{ Martins-11op-May97,
        author = { J. Legatheaux Martins },
        title = { Evolução Tecnológica da Internet em Portugal },
        year = { 1997 },
        month = { 05 },
        howpublished = { Revista Ingenium da Ordem dos Engenheiros, Lisboa, 2ª série, nº 17, Maio 1997, pág.s 70-78 }
}

@misc{ @techreport{HenriqueDomingos, author={Henrique Domingos}, title={Comunicacao Fiavel em Grupo},,
        author = { H. J. Domingos },
        title = { Protocolos de Comunicação Fiável em Grupo para Sistemas Distribuídos },
        year = { 1993 },
        month = { 04 },
        howpublished = { Relatório apresentado para provas de aptidão científica e pedagógica, com equiparação ao grau de Mestre em Informática, na Faculdade de Ciências da Universidade de Lisboa em Março de 1994, de acordo com os termos do Estatuto da Carreira Docente Universitária. }
}