Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



51
TITLE: Preface
AUTHORS: Günter Kniesel; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: RULE, VOLUME: 290
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
52
TITLE: Visual Programming with Interaction Nets
AUTHORS: Hassan, A; Mackie, I; Pinto, JS ;
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
53
TITLE: A Tool for Programming with Interaction Nets
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: RULE@RDP, VOLUME: 219, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
54
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
55
TITLE: Visual Programming with Recursion Patterns in Interaction Nets
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 6
INDEXED IN: Scopus DBLP
IN MY: ORCID
56
TITLE: A framework for point-free program transformation  Full Text
AUTHORS: Cunha, A ; Pinto, JS ; Proença, J ;
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
57
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2006, SOURCE: TERMGRAPH@ETAPS, VOLUME: 176, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
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
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
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: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 6 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

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