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