Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 67



51
TÍTULO: Preface
AUTORES: Günter Kniesel; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: RULE, VOLUME: 290
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
52
TÍTULO: Visual Programming with Interaction Nets
AUTORES: Hassan, A; Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Diagrammatic Representation and Inference in DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, VOLUME: 5223
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
53
TÍTULO: A Tool for Programming with Interaction Nets
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: RULE@RDP, VOLUME: 219, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
54
TÍTULO: Token-passing Nets for Functional Languages
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: WRS@RDP, VOLUME: 204, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
55
TÍTULO: Visual Programming with Recursion Patterns in Interaction Nets
AUTORES: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 6
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
56
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ; Proença, J ;
PUBLICAÇÃO: 2006, FONTE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
57
TÍTULO: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2006, FONTE: TERMGRAPH@ETAPS, VOLUME: 176, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
58
TÍTULO: Point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 66, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
59
TÍTULO: Recursion patterns and time-analysis
AUTORES: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: ACM SIGPLAN NOTICES, VOLUME: 40, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
60
TÍTULO: Weak reduction and garbage collection in interaction nets
AUTORES: Pinto, JS ;
PUBLICAÇÃO: 2003, FONTE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 6 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