Autores
Bliudze, S; Bruni, R; Carbone, M; Silva, A;

Publicação
Sci. Ann. Comp. Sci.

Autores
Moon, YJ; Silva, A; Krause, C; Arbab, F;

Publicação
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010.

Autores
Bonsangue, MM; Rutten, JJMM; Silva, A;

Publicação
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA

Autores
Jacobs, B; Silva, A; Sokolova, A;

Publicação
Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers

Autores
Silva, A; Visser, J;

Publicação
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006

Autores
Jacobs, B; Niqui, M; Rutten, J; Silva, A;

Publicação
Electronic Notes in Theoretical Computer Science