Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 43



31
TITLE: Lissom, a Source Level Proof Carrying Code Platform PDF
AUTHORS: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0803.2317
INDEXED IN: DBLP arXiv
IN MY: DBLP
32
TITLE: Secure biometric authentication with improved accuracy  Full Text
AUTHORS: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107
INDEXED IN: Scopus WOS DBLP Handle
33
TITLE: Secure Biometric Authentication With Improved Accuracy
AUTHORS: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLISHED: 2008, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2008
INDEXED IN: DBLP
34
TITLE: Special Issue on Compilers, Related Technologies and Applications  Full Text
AUTHORS: Simao Melo de Sousa ;
PUBLISHED: 2008, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: WOS
35
TITLE: The international journal published by ComSIS consortium  Full Text
AUTHORS: de Sousa, SM ;
PUBLISHED: 2008, SOURCE: Computer Science and Information Systems, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
36
TITLE: IS 2007 PC Co-chairs' Message
AUTHORS: Mário M. Freire ; Simão Melo de Sousa ; Vítor Santos; Jong Hyuk Park;
PUBLISHED: 2007, SOURCE: 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, ISSUE: PART 2
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
37
TITLE: IS 2006 PC Co-chairs' Message
AUTHORS: Mário M. Freire ; Simão Melo de Sousa ; Vítor Santos;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: DBLP
IN MY: DBLP
38
TITLE: IS2006PCco-chairs' message
AUTHORS: Mario Freire ; Simao Melo de Sousa ; Vitor Santos;
PUBLISHED: 2006, SOURCE: On the Move Federated Workshops in On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, Pt 1, Proceedings, VOLUME: 4277
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
39
TITLE: Tool-assisted specification and verification of typed low-level languages  Full Text
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
40
TITLE: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
AUTHORS: Gilles Barthe ; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 16
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 4 of 5. Total results: 43.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service