CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  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

bulletAutomatic Reconfiguration for Large-Scale Reliable Storage Systems
   [ 2012 ] - articles
   Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz

bulletByzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks
   [ 2012 ] - articles
   Henrique Moniz, Nuno Ferreira Neves, Miguel Pupo Correia

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

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

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

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

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