Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 67



31
TÍTULO: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTORES: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAT, VOLUME: 7317 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
32
33
TÍTULO: GammaPolarSlicer  Full Text
AUTORES: Areias, S; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
34
TÍTULO: Rigorous Software Development - An Introduction to Program Verification
AUTORES: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: Undergraduate Topics in Computer Science
INDEXADO EM: DBLP CrossRef: 18 Openlibrary
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Verification conditions for source-level imperative programs
AUTORES: Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Rev., VOLUME: 5, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 19
NO MEU: ORCID
36
TÍTULO: A Deductive Verification Platform for Cryptographic Software
AUTORES: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXADO EM: DBLP
NO MEU: ORCID
37
38
TÍTULO: Contract-Based Slicing
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
39
TÍTULO: Contract-Based Slicing Helps on Safety Reuse  Full Text
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ICPC
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
40
TÍTULO: Deductive verification of cryptographic software
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Innov. Syst. Softw. Eng., VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 4 de 7. Total de resultados: 67.

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