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 3 of 18 - listing talks 21 to 30 of a total of 178

order:  by datealphabeticallyby type

Modeling and Analyzing Conversations in Service-Oriented Computing
   Hugo Torres Vieira
   [ 26 Apr 2011 ] - Departmental Seminar

DSLE & SPLE : Domain Specific Languages Engineering and Software Product Lines Engineering
   Mauricio Alférez
   [ 10 Mar 2011 ] - Invited Lecture

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

Modeling Places for Interactive Media and Entertainment Applications
   Rui Nóbrega
   [ 1 Mar 2011 ] - Invited Lecture

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 – o desafio da escala
   José Legatheaux Martins
   [ 11 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