Data | Título | Autor(es) | Tipo | Acesso |
2005 | Camila revival: VDM meets haskell | Visser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Logic training through algorithmic problem solving | Ferreira, João Fernando; Mendes, Alexandra; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2014 | Structure editing of handwritten mathematics: improving the computer support for the calculational method | Mendes, Alexandra; Backhouse, Roland; Ferreira, João Fernando | Artigo em ata de conferência | Acesso aberto |
Jun-2022 | Verified password generation from password composition policies | Grilo, Miguel; Campos, João; Ferreira, João F., et al. | Artigo em ata de conferência | Acesso aberto |
2009 | Which mathematics for the Information Society? | Ferreira, João Fernando; Mendes, Alexandra; Backhouse, Roland, et al. | Artigo em ata de conferência | Acesso aberto |