Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 66



61
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: 11
NO MEU: ORCID | ResearcherID | DBLP
62
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 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
63
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: 3
NO MEU: ORCID | DBLP
64
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: 8
NO MEU: ORCID | ResearcherID | DBLP
65
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
66
TÍTULO: Using Internet technology for course support
AUTORES: Miranda, JEP; Pinto, JS ;
PUBLICAÇÃO: 1996, FONTE: Proceedings of the 1996 Symposium on Integrating Technology into Computer Science Education in SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), VOLUME: 28, NÚMERO: Special Issu
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 7 de 7. Total de resultados: 66.

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

Links Úteis

Ajuda

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