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

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

Authors
Silva, A;

Publication
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015

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

Publication
26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland

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

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

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

Publication
Sci. Comput. Program.

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

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