Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



61
TITLE: A Higher-Order Calculus for Graph Transformation
AUTHORS: Maribel Fernández; Ian Mackie; Jorge Sousa Pinto ;
PUBLISHED: 2002, SOURCE: TERMGRAPH, VOLUME: 72, ISSUE: 1 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
62
TITLE: Encoding linear logic with interaction combinators  Full Text
AUTHORS: Mackie, I; Pinto, JS ;
PUBLISHED: 2002, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 176, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
63
TITLE: Combining interaction nets with externally defined programs
AUTHORS: Maribel Fernández; Ian Mackie; Jorge Sousa Pinto ;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE
INDEXED IN: DBLP
IN MY: ORCID
64
TITLE: Parallel evaluation of Interaction Nets with MPINE
AUTHORS: Pinto, JS ;
PUBLISHED: 2001, SOURCE: 12th International Conference on Rewriting Techniques and Applications, RTA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2051 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
65
TITLE: Parallel implementation models for the lambda-calculus using the geometry of interaction
AUTHORS: Pinto, JS ;
PUBLISHED: 2001, SOURCE: 5th International Conference on Typed Lamabda Calculi and Applications in TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, VOLUME: 2044
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
66
TITLE: Sequential and concurrent abstract machines for interaction nets  Full Text
AUTHORS: Pinto, JS ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP | CIÊNCIAVITAE
67
TITLE: Using Internet technology for course support  Full Text
AUTHORS: José Eduardo Pina Miranda; Jorge Sousa Pinto ;
PUBLISHED: 1996, SOURCE: ITiCSE, VOLUME: 28, ISSUE: Special Issu
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
Page 7 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

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