
| Home \ Visits | Login |
List of all external researchers that have visited CITI and all visits made by CITI members to other research institutions and universities.
The list MAY NOT BE complete, refer to activity reports for official information.| [ CITI visitors ] [ CITI members visits ] | Other CITI collaborators |
| page 1 of 13 - listing visits 1 to 10 of a total of 124 |
Rolando Martins, Carnegie Mellon University (United States)The purpose of the visit was to establish common ground for future research and for Dr. Rolando Martins to present is recent research to the department.
Seminars @ CITI: Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train Systems
Glauco de Figueiredo Carneiro, Universidade Salvador (Brazil)Definition of joint research work in the area of software metrics and visualization. Presentation of a seminar for CITI. Demo of a tool.
Seminars @ CITI: On the Use of Multiple Views Interactive Environments on Software Comprehension Activities
Toacy Oliveira, Universidade Federal do Rio de Janeiro (Brazil)Definition of joint research work in the area of software reuse and process engineering. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.
Seminars @ CITI: Research at prisma@coppe/ufr
Claudio Mezzina, INRIA-Grenoble (France)The purpose of the visit is to explore new collaborations in the context of higher-order process calculi with constructs for dependability.
Seminars @ CITI: Reversing execution in higher order pi-calculus
Anne Kersten, IMT Institute for Advanced Studies Lucca (Italy)Erasmus PhD student
Guilherme Horta Travassos, Universidade Federal do Rio de Janeiro (Brazil)Definition of joint research work in the area of Experimental Software Engineering. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.
Seminars @ CITI: Developing Software Technologies through Experimentation: Experiences from the Battlefield
Cinzia Di Giusto, INRIA (France)The purpose of the visit was to continue with our ongoing work on the decidability and expressive power of process calculi.
Seminars @ CITI: Modeling components and behaviors with the CAB language
Eitan Farchi, IBM Research Labs at Haifa (Israel)Research visit aiming at further explore current research on Transactional Memory.
Seminars @ CITI: Is transaction memory enough or do we need atomic conditional wait as well?
Gael Dias, Universidade da Beira Interior (Portugal)Gael Dias was invited to argue the McS Thesis by Luis Teixeira named "Automatic extraction of document Topics (Extracção Automática de Tópicos de Documentos)". Meanwhile we discussed about on-going work in the framework of VIP-ACCESS project as well as on future coperation.
Michel Wermelinger, Open University Milton Keynes (United Kingdom)The purpose of the visit was to discuss collaborations between CITI and the Open University (UK) in the context of research projects concerning Software Evolution. Michel also participated in the discussion of Nelson Fonte's MSc dissertation.
Seminars @ CITI: Quality and Evolution: Some Relationships