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 1 of 3 - listing external talks 1 to 20 of a total of 42

prev   |   1  2  3   |   next


* Cybersegurança e Gestão de Crises no Ciberespaço: Sociedade de Informação e os novos media
   Henrique João Domingos
   [ 16 Mar 2015 ] - Invited Lecture

* SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
   Nuno Preguiça
   [ 6 Oct 2014 ] - Keynote

* Putting the consistency back into eventual consistency
   Nuno Preguiça
   [ 16 Sep 2014 ] - Research Talk

* From strong to eventual consistency: getting it right
   Nuno Preguiça
   [ 17 Dec 2013 ] - Invited Lecture

* Precise Detection of Atomicity Violations
   João Lourenço
   [ 19 Sep 2013 ] - Departmental Seminar

* Conflict-free Data Types
   Nuno Preguiça
   [ 19 Aug 2013 ] - Keynote

* ARTS Application to Dynamic Management of People in a Flash Flooding Incident
   Maria Cecília Gomes
   [ 5 Jun 2013 ] - Project Meeting Talk

* Neural net bio-optical algorithms for the generation of regional data products in the Black Sea
   Tamito Kajiyama
   [ 3 Dec 2012 ] - Research Talk

* Bio-optical algorithms for the generation of regional MERIS (and OLCI) data products
   Tamito Kajiyama
   [ 15 Oct 2012 ] - Research Talk

* OCPortugal consortium: Activities and Challenges
   Tamito Kajiyama
   [ 15 Oct 2012 ] - Research Talk

* A Internet no Olho do Furacão
   José Legatheaux Martins
   [ 27 Sep 2012 ] - Invited Lecture

* Debugging Highly-Parallel Programs
   João Lourenço
   [ 24 Sep 2012 ] - Invited Lecture

* Pattern-based Abstractions for Dynamic Service Composition and Access
   Maria Cecília Gomes
   [ 13 Sep 2012 ] - Project Meeting Talk

* Bio-optical algorithms for {European} seas: Performance and applicability of neural-net inversion schemes (March 2012)
   Tamito Kajiyama
   [ 23 Mar 2012 ] - Research Talk

* Towards A Unified Perspective of Abstractions for Parallel and Distributed Programming
   José Alberto Cardoso e Cunha
   [ 19 Jan 2012 ] - Invited Lecture

* Bio-optical algorithms for {European} seas: Performance and applicability of neural-net inversion schemes (October 2011)
   Tamito Kajiyama
   [ 18 Oct 2011 ] - Research Talk

* On Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory
   Ricardo Dias
   [ 19 May 2011 ] - Project Meeting Talk

* {Monte Carlo} code for high spatial resolution ocean color simulations
   José Alberto Cardoso e Cunha, Tamito Kajiyama
   [ 8 Mar 2011 ] - Research Talk

* Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory
   Ricardo Dias
   [ 26 Jan 2011 ] - Departmental Seminar

* Commutative Replicated Data Types: Principles, Examples and Lessons
   Nuno Preguiça
   [ 24 Nov 2010 ] - Departmental Seminar


prev   |   1  2  3   |   next