Data | Título | Autor(es) | Tipo | Acesso |
2006 | Lissom, a source level proof carrying code platform | Gomes, João; Martins, Daniel; Sousa, Simão Melo de, et al. | Poster em conferência | Acesso aberto |
2010 | Model-checking temporal properties of real-time HTL programs | Carvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Partial derivative automata formalized in Coq | Almeida, José Bacelar; Moreira, Nelma; Pereira, David, et al. | Artigo em ata de conferência | Acesso aberto |
2008 | Secure biometric authentication with improved accuracy | Barbosa, Manuel; Sousa, Simão Melo de; Brouard, Thierri, et al. | Artigo em ata de conferência | Acesso aberto |