Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 42



31
TITLE: Lissom, a Source Level Proof Carrying Code Platform
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
32
TITLE: Secure biometric authentication with improved accuracy
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: 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
34
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
35
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 Conferences (2), VOLUME: 4804, ISSUE: PART 2
INDEXED IN: Scopus DBLP
IN MY: ORCID
36
TITLE: IS 2006 PC Co-chairs' Message
AUTHORS: Mário M Freire ; Simão Melo de Sousa ; Vítor Santos;
PUBLISHED: 2006, SOURCE: OTM Workshops (1)
INDEXED IN: DBLP
37
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
38
TITLE: Tool-assisted specification and verification of typed low-level languages
AUTHORS: Barthe, G ; Courtieu, P; Dufay, G; De Sousa, SM ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
39
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: VMCAI, VOLUME: 2294 LNCS
INDEXED IN: Scopus DBLP CrossRef: 17
IN MY: ORCID
40
TITLE: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: AMAST, VOLUME: 2422
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
Page 4 of 5. Total results: 42.

footer slogan

Useful Links

Get Help

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