Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 41



31
TÍTULO: Secure biometric authentication with improved accuracy  Full Text
AUTORES: Manuel Barbosa ; Thierry Brouard; Stephane Cauchie; Simao Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
32
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
33
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
34
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 Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007 in On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, VOLUME: 4804, NÚMERO: PART 2
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
35
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: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, VOLUME: 4277
INDEXADO EM: DBLP
NO MEU: DBLP
36
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
37
TÍTULO: Tool-assisted specification and verification of typed low-level languages  Full Text
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP
38
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: 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 in Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, VOLUME: 2294
INDEXADO EM: Scopus DBLP CrossRef: 16
NO MEU: ORCID | DBLP
39
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: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
40
TÍTULO: A formal executable semantics of the JavaCard platform
AUTORES: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLICAÇÃO: 2001, FONTE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028
INDEXADO EM: Scopus WOS DBLP
NO MEU: ResearcherID | DBLP
Página 4 de 5. Total de resultados: 41.

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

Links Úteis

Ajuda

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