(email)
A Framework for Quality Assessment of ROS Applications,By André Santos, HASLab, INESC TEC & University of Minho.
A talk On the ’divide & conquer’ metaphor — the ‘quinta essentia’ of programming.By Prof. José Nuno Oliveira, HASLab/INESC TEC & University of Minho.
A talk on Pattern Based Software Development By Rui Couto, HASLab, INESC TEC & UMinho.
Parallel Processing of SQL Window Functions By Fábio Coelho, HASLab, INESC TEC & UMinho.
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
At talk on Frontiers of Big and Open Linked DataBy Prof. Marijn Janssen, Delft University of Technology, The Netherlands.
A talk on Formalizing Single-assignment Program Verification: an Adaptation-complete Approach
By Cláudio Belo Lourenço, HASLab/INESC TEC & University of Minho.
Suggested Read: A Personal View of Average-Case Complexity 3/2/2016
By Bernardo Portela, HASLab/INESC TEC & University of Minho.
