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  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Computer Systems ]

Computer Systems addresses topics related to the construction of software systems for currently emerging computing infrastructures, with a focus on techniques for improving performance, reliability and availability in clusters and clouds. Sample applications that may benefit from our research include high performance applications (e.g. software for scientific experiments) and systems requiring high reliability or availability (e.g. business apps, web shops, social networks).


bulletNuno Preguiça, Assistant Professor, Area/Group coordinator
bulletJosé Legatheaux Martins, Full Professor
bulletPedro Medeiros, Associate Professor
bulletRodrigo Rodrigues, Associate Professor
bulletCarmen Morgado, Assistant Professor
bulletHenrique João Domingos, Assistant Professor
bulletHervé Paulino, Assistant Professor
bulletJoão Lourenço, Assistant Professor
bulletMaria Cecília Gomes, Assistant Professor
bulletPaulo Afonso Lopes, Assistant Professor
bulletRui Marques, Assistant Professor
bulletSérgio Duarte, Assistant Professor
bulletVítor Duarte, Assistant Professor
bulletHenrique Moniz, Associate Researcher
bulletJoão Leitão, Associate Researcher
bulletKonstantinos (Kostas) Kloudas, Associate Researcher
bulletRicardo Dias, Associate Researcher
bulletTamito Kajiyama, Associate Researcher
bulletBernardo Ferreira, PhD Student
bulletCarlos Gonçalves, PhD Student
bulletDanielPorto, PhD Student
bulletDavid Navalho, PhD Student
bulletJoão André Silva, PhD Student
bulletJoão Soares, PhD Student
bulletLuis Assunção, PhD Student
bulletMiguel Ramos, PhD Student
bulletNuno Oliveira, PhD Student
bulletTiago Vale, PhD Student
bulletValter Balegas, PhD Student
Research Stream Activities:

*  Research Projects (42)
*  Publications (411)
*  Seminars @ CITI (56)
*  External Talks (42)
*  Graduation Activities (270)
*  Organization of Events (272)
*  Editorial Committees (8)
*  Prototypes (75)
*  Visits (43)


page 7 of 21 - listing publications 121 to 140 of a total of 411       * Research Stream publications in BibTeX format

prev   |   3  4  5  6  7  8  9  10  11   |   next


bulletScalable testing of file system checkers
   [ 2012 ] - in proceedings
   João Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar

bulletHVC 2011 — Hardware and Software: Verification and Testing
   [ 2012 ] - editorial activities
   João Lourenço, Kerstin Eder, Onn Shehory

bulletOn the (Limited) Power of Non-Equivocation
   [ 2012 ] - in proceedings
   Allen Clement, Flavio Junqueira, Aniket Kate, Rodrigo Rodrigues

bulletEnhancing the OS against Security Threats in System Administration
   [ 2012 ] - in proceedings
   Nuno Santos, Rodrigo Rodrigues, Bryan Ford

bulletN-party BAR Transfer
   [ Dec, 2011 ] - in proceedings
   Xavier Vilaça, João Leitão, Miguel Pupo Correia, Luis Rodrigues

bulletScalable Data Processing for Community Sensing Applications
   [ Dec, 2011 ] - in proceedings
   Heitor Ferreira, Sérgio Duarte, Nuno Preguiça, David Navalho

bulletConflict-free Replicated Data Types
   [ Oct, 2011 ] - in proceedings
   Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski

bulletEstudo da viabilidade da monitorização do tráfego viário urbano através de Sensoriamento Participado
   [ Sep, 2011 ] - in proceedings
   Heitor Ferreira, David Navalho, Sérgio Duarte, Nuno Preguiça

bulletPCap com filtragem orientada ao processo
   [ Sep, 2011 ] - in proceedings
   Nuno Galvão Martins, Vítor Duarte

bulletReconfiguração Dinâmica de Modelos de Interação para Redes de Sensores
   [ Sep, 2011 ] - in proceedings
   Adérito Baptista, Maria Cecília Gomes, Hervé Paulino

bulletA Middleware Framework for the Web Integration of Sensor Networks
   [ Aug, 2011 ] - in proceedings
   Hervé Paulino, João Ruivo Santos

bulletCombining Mobile and Cloud Storage for Providing Ubiquitous Data Access
   [ Aug, 2011 ] - in proceedings
   João Soares, Nuno Preguiça

bulletPADTAD '11: Proceedings of the 9th Workshop on Parallel and Distributed Systems
   [ Jul, 2011 ] - editorial activities
   João Lourenço, Eitan Farchi

bulletPractical Verification of High-Level Dataraces in Transactional Memory Programs
   [ Jul, 2011 ] - in proceedings
   Vasco Pessanha, Ricardo Dias, João Lourenço, Eitan Farchi, Diogo Sousa

bulletN-party BAR Transfer: motivation, definition, and challenges
   [ Jul, 2011 ] - in proceedings
   Xavier Vilaça, João Leitão, Luis Rodrigues

bulletPerformance prediction of ocean color Monte Carlo simulations using multi-layer perceptron neural networks
   [ Jun, 2011 ] - in proceedings
   Tamito Kajiyama, Davide D\'Alimonte, José Alberto Cardoso e Cunha

bulletConvergent and Commutative Replicated Data Types
   [ Jun, 2011 ] - articles
   Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski

bulletEfficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis
   [ May, 2011 ] - in proceedings
   Ricardo Dias, João Lourenço, Nuno Preguiça

bulletDetecting concurrency anomalies in transactional memory programs
   [ Apr, 2011 ] - articles
   João Lourenço, Diogo Sousa, Bruno Cavaca Teixeira, Ricardo Dias

bulletEfficient middleware for byzantine fault tolerant database replication
   [ Apr, 2011 ] - in proceedings
   Rui Garcia, Rodrigo Rodrigues, Nuno Preguiça


prev   |   3  4  5  6  7  8  9  10  11   |   next