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
62
TITLE: Encoding linear logic with interaction combinators
AUTHORS: Mackie, I; Pinto, JS ;
PUBLISHED: 2002, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 176, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 12
63
TITLE: Combining interaction nets with externally defined programs PDF
AUTHORS: Maribel Fernández; Ian Mackie; Jorge Sousa Pinto ;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE
INDEXED IN: DBLP
64
TITLE: Parallel Evaluation of Interaction Nets with MPINE
AUTHORS: Jorge Sousa Pinto ;
PUBLISHED: 2001, SOURCE: RTA, VOLUME: 2051 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
65
TITLE: Parallel implementation models for the λ-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
66
TITLE: Sequential and concurrent abstract machines for interaction nets
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
67
TITLE: Using Internet technology for course support
AUTHORS: José Eduardo Pina Miranda; Jorge Sousa Pinto ;
PUBLISHED: 1996, SOURCE: ITiCSE, VOLUME: 28, ISSUE: Special Issu
INDEXED IN: Scopus DBLP CrossRef
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