CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home  \  External Talks & Seminars

Login

CITI Welcome Research Areas Organization Executive Board Advisory Board Contacts Useful Information People CITI Members Visitors Activities Research Projects Publications Seminars @ CITI External Talks & Seminars Graduation Activities Organization of Events Editorial Committees Prototypes Visits & Missions Activity Reports Search & Query Search BibTeX Generator

---

page 8 of 23 - listing talks 71 to 80 of a total of 228

order:  by datealphabeticallyby type

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

Internet - De curiosidade Científica a Infra-estrutura Crítica - Os Desafios da Escala
   José Legatheaux Martins
   [ 12 Nov 2010 ] - Keynote

Security Services for Wireless Sensor Networks
   Henrique João Domingos
   [ 13 Oct 2010 ] - Research Talk

Debugging of Parallel and Distributed Programs (HVC 2010)
   João Lourenço
   [ 6 Oct 2010 ] - Invited Lecture

Understanding Transactional Memory (HVC 2010)
   João Lourenço
   [ 4 Oct 2010 ] - Invited Lecture

Domain Analysis. Evaluation Procedures
   Miguel Goulão
   [ 9 Sep 2010 ] - Summer School Course

Domain Engineering: The Case for DSLs
   Mauricio Alférez
   [ 6 Sep 2010 ] - Summer School Course

A simple proof system for lock-free concurrency
   António Ravara
   [ 10 Jul 2010 ] - Research Talk

High-performance computing for Ocean Color {Monte Carlo} simulations
   Tamito Kajiyama
   [ 9 Jun 2010 ] - Research Talk