Autores
Kozen, D; Mamouras, K; Silva, A;

Publicação
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Autores
Silva, A;

Publicação
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015

Autores
Endrullis, J; Hansen, HH; Hendriks, D; Polonsky, A; Silva, A;

Publicação
26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland

Autores
Foster, N; Kozen, D; Milano, M; Silva, A; Thompson, L;

Publicação
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015

Autores
Carbone, M; Lanese, I; Silva, A; Sokolova, A;

Publicação
Sci. Comput. Program.

Autores
Kozen, D; Mamouras, K; Petrisan, D; Silva, A;

Publicação
Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II