Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 67



61
TÍTULO: A Higher-Order Calculus for Graph Transformation
AUTORES: Maribel Fernández; Ian Mackie; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2002, FONTE: TERMGRAPH, VOLUME: 72, NÚMERO: 1 SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
62
TÍTULO: Encoding linear logic with interaction combinators  Full Text
AUTORES: Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2002, FONTE: INFORMATION AND COMPUTATION, VOLUME: 176, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
63
TÍTULO: Combining interaction nets with externally defined programs
AUTORES: Maribel Fernández; Ian Mackie; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE
INDEXADO EM: DBLP
NO MEU: ORCID
64
TÍTULO: Parallel evaluation of Interaction Nets with MPINE
AUTORES: Pinto, JS ;
PUBLICAÇÃO: 2001, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: Parallel implementation models for the lambda-calculus using the geometry of interaction
AUTORES: Pinto, JS ;
PUBLICAÇÃO: 2001, FONTE: 5th International Conference on Typed Lamabda Calculi and Applications in TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, VOLUME: 2044
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
66
TÍTULO: Sequential and concurrent abstract machines for interaction nets  Full Text
AUTORES: Pinto, JS ;
PUBLICAÇÃO: 2000, FONTE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
67
TÍTULO: Using Internet technology for course support  Full Text
AUTORES: José Eduardo Pina Miranda; Jorge Sousa Pinto ;
PUBLICAÇÃO: 1996, FONTE: ITiCSE, VOLUME: 28, NÚMERO: Special Issu
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 7 de 7. Total de resultados: 67.

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

Links Úteis

Ajuda

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