Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 66



51
TITLE: Lissom, a Source Level Proof Carrying Code Platform PDF
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 arXiv
IN MY: ORCID | DBLP
52
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
53
TITLE: Visual Programming with Interaction Nets
AUTHORS: Abubakar Hassan; Ian Mackie; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Diagrammatic Representation and Inference in DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, VOLUME: 5223
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
54
TITLE: A Higher-Order Calculus for Graph Transformation
AUTHORS: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, ISSUE: 1 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
55
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
56
TITLE: Visual Programming with Recursion Patterns in Interaction Nets  Full Text
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: ECEASST, VOLUME: 6
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
57
TITLE: A framework for point-free program transformation  Full Text
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | ResearcherID | DBLP
58
TITLE: Point-free program transformation  Full Text
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
59
TITLE: Recursion patterns and time-analysis
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
60
TITLE: Weak reduction and garbage collection in interaction nets
AUTHORS: Pinto, JS ;
PUBLISHED: 2003, SOURCE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
Page 6 of 7. Total results: 66.

footer slogan

Useful Links

Get Help

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