[ Publications - technical reports ]

List of publications produced by CITI members as part of their research activities including work done in collaboration with external researchers. Select one of the publication types from the list below.
The list MAY NOT BE complete, refer to activity reports for official information.
| page 6 of 8 - listing technical reports 51 to 60 of a total of 79 | |
A sequential implementation of LPi CITI -
June, 2002 Artur Miguel Dias
An Overview of Mobile Agents Systems CITI -
January, 2002 Hervé Paulino
Encoding classes and inheritance in LPi CITI -
January, 2002 Artur Miguel Dias
Supporting groupware in mobile environments Departamento de Informática FCT/UNL -
2002 Nuno Preguiça,
José Legatheaux Martins,
Henrique João Domingos,
Sérgio Duarte
ComponentJ: The Reference Manual Departamento de Informática FCT/UNL -
2002 João Costa Seco,
Luis Caires
Efficient semantics-aware reconciliation for optimistic write sharing Microsoft Research -
2002 Marc Shapiro,
Nuno Preguiça, Caroline Matheson
Coordination Issues for Distributed Virtual Laboratories Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa -
2001 Maria Cecília Gomes,
José Alberto Cardoso e Cunha
TyCO + Linear Channels Faculdade de Ciências da Universidade de Lisboa -
2001 Francisco Martins,
Vasco T. Vasconcelos
A Basic Model of Typed Components (extended version) Departamento de Informática FCT/UNL -
2000 João Costa Seco,
Luis Caires
All nontrivial set functors give rise to final coalgebras Departamento de Informática FCT/UNL -
1999 Luis Monteiro