David Castro

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Efficient Implementation

Human Interaction

Top Venues

Publications

Dalila Durães, David Castro, Javier Bajo, Paulo Novais
Modelling an Intelligent Interaction System for Increasing the Level of Attention. ISAmI (2017)
Manuel Barbosa, David Castro, Paulo F. Silva
Compiling CAO: From Cryptographic Specifications to C Implementations. POST (2014)