Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 41



31
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
IN MY: DBLP
32
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
33
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
34
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
35
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
36
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
37
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
38
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
39
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: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
40
TITLE: A formal executable semantics of the JavaCard platform
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028
INDEXED IN: Scopus WOS DBLP
IN MY: ResearcherID | DBLP
Page 4 of 5. Total results: 41.

A place for researchers and their institutions

Useful Links

Get Help

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