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

Publication
Sci. Ann. Comp. Sci.

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

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

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

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

Authors
Jacobs, B; Silva, A; Sokolova, A;

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

Authors
Silva, A; Visser, J;

Publication
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006

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

Publication
Electronic Notes in Theoretical Computer Science