Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 42



31
TÍTULO: Lissom, a Source Level Proof Carrying Code Platform
AUTORES: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0803.2317
INDEXADO EM: DBLP
32
TÍTULO: Secure biometric authentication with improved accuracy  Full Text
AUTORES: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLICAÇÃO: 2008, FONTE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107
INDEXADO EM: Scopus WOS DBLP Handle
33
TÍTULO: Special Issue on Compilers, Related Technologies and Applications  Full Text
AUTORES: Simao Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: WOS
34
TÍTULO: The international journal published by ComSIS consortium  Full Text
AUTORES: de Sousa, SM ;
PUBLICAÇÃO: 2008, FONTE: Computer Science and Information Systems, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
35
TÍTULO: IS 2007 PC Co-chairs' Message
AUTORES: Mário M Freire ; Simão Melo de Sousa ; Vítor Santos; Jong Hyuk Park;
PUBLICAÇÃO: 2007, FONTE: OTM Conferences (2), VOLUME: 4804, NÚMERO: PART 2
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
36
TÍTULO: IS 2006 PC Co-chairs' Message
AUTORES: Mário M Freire ; Simão Melo de Sousa ; Vítor Santos;
PUBLICAÇÃO: 2006, FONTE: OTM Workshops (1)
INDEXADO EM: DBLP
37
TÍTULO: IS2006PCco-chairs' message
AUTORES: Mario Freire ; Simao Melo de Sousa ; Vitor Santos;
PUBLICAÇÃO: 2006, FONTE: On the Move Federated Workshops in On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, Pt 1, Proceedings, VOLUME: 4277
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
38
TÍTULO: Tool-assisted specification and verification of typed low-level languages  Full Text
AUTORES: Barthe, G ; Courtieu, P; Dufay, G; De Sousa, SM ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
39
TÍTULO: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
AUTORES: Gilles Barthe ; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa ;
PUBLICAÇÃO: 2002, FONTE: VMCAI, VOLUME: 2294 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 17
NO MEU: ORCID
40
TÍTULO: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLICAÇÃO: 2002, FONTE: AMAST, VOLUME: 2422
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
Página 4 de 5. Total de resultados: 42.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service