Sep 18 Paper
Towards a Coordination Model for Interactive Systems by
MarcoAntonioBarbosa,
JoseCampos and
LuisSoaresBarbosa has been accepted for
FMIS'06 (Macau).
July 3 Paper
Configurations of Web Services by
MarcoAntonioBarbosa and
LuisSoaresBarbosa has been accepted for
FOCLASA'06 (Bonn, Germany).
July 3 Paper
Strong Types for Relational Databases by
Alexandra Silva and
JoostVisser has been accepted for the Haskell Workshop 2006 (Portland, USA).
June 16 Paper
Strongly Typed Rewriting For Coupled Software Transformation (by
AlcinoCunha and
JoostVisser) accepted by
RULE 2006 (Seattle, USA).
May, 26 Paper
Transposing Partial Coalgebras (by
LuisSoaresBarbosa and
JoseNunoOliveira) accepted for publication in TCS, Elsevier.
May, 11 Papers
Type-safe two-level data transformation (by
AlcinoCunha,
JoseNunoOliveira and
JoostVisser) and
Pointfree factorization of operation refinement (by
JoseNunoOliveira and Cesar Rodrigues) have been accepted by
FM'06 (Canada).
May, 8 A paper entitled
An Orchestrator for Dynamic Interconnection of Software Components, by
MarcoAntonioBarbosa and
LuisSoaresBarbosa, accepted at
MTCoord'06 (Bologna).
More...