Browsing by author Sousa, Simão Melo de Subscribe author statistics Sousa, Simão Melo de

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 4 of 4.
Issue DateTitleAuthor(s)TypeAccess
2006Lissom, a source level proof carrying code platformGomes, João; Martins, Daniel; Sousa, Simão Melo de, et al.PosterOpen access
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al.Conference paperOpen access
2011Partial derivative automata formalized in CoqAlmeida, José Bacelar; Moreira, Nelma; Pereira, David, et al.Conference paperOpen access
2008Secure biometric authentication with improved accuracyBarbosa, Manuel; Sousa, Simão Melo de; Brouard, Thierri, et al.Conference paperOpen access
Showing results 1 to 4 of 4.