Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 66



51
TÍTULO: Lissom, a Source Level Proof Carrying Code Platform PDF
AUTORES: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0803.2317
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
52
TÍTULO: Token-passing Nets for Functional Languages
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
53
TÍTULO: Visual Programming with Interaction Nets
AUTORES: Abubakar Hassan; Ian Mackie; Jorge Sousa Pinto ;
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 | DBLP
54
TÍTULO: A Higher-Order Calculus for Graph Transformation
AUTORES: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, NÚMERO: 1 SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
55
TÍTULO: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
56
TÍTULO: Visual Programming with Recursion Patterns in Interaction Nets  Full Text
AUTORES: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: ECEASST, VOLUME: 6
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
57
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
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 | ResearcherID | DBLP
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 | ResearcherID | DBLP
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 | ResearcherID | DBLP
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: 4
NO MEU: ORCID | DBLP
Página 6 de 7. Total de resultados: 66.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service