Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 92



81
TÍTULO: Strongly Typed Rewriting For Coupled Software Transformation
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2006, FONTE: RULE@FLoC, VOLUME: 174, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 15
NO MEU: ORCID | CIÊNCIAVITAE
82
TÍTULO: Type-safe two-level data transformation
AUTORES: Cunha, A ; Oliveira, JN ; Visser, J;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | CIÊNCIAVITAE
83
TÍTULO: Point-free program calculation
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2005
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
84
TÍTULO: Point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 66, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | CIÊNCIAVITAE
85
TÍTULO: Recursion patterns and time-analysis
AUTORES: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: ACM SIGPLAN NOTICES, VOLUME: 40, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
86
TÍTULO: Automatic visualization of recursion trees: a case study on generic programming
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2003, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 86, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
87
TÍTULO: Integrating agent based information outsourcing techniques on data warehousing systems
AUTORES: Orlando Belo ; Alcino Cunha ;
PUBLICAÇÃO: 1999, FONTE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
INDEXADO EM: Scopus CrossRef: 1 Handle
NO MEU: ORCID | CIÊNCIAVITAE
88
TÍTULO: A Game-Theoretic Approach to the Socialization of Utility-Based Agents
AUTORES: Alcino Cunha ; José Neves;
PUBLICAÇÃO: 1998, FONTE: ICMAS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
89
TÍTULO: Simulating a gas distribution network in a distributed object oriented system
AUTORES: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLICAÇÃO: 1998, FONTE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
90
TÍTULO: Enhancing load distribution strategies through simulation
AUTORES: Cunha, A ; Santos, LP ; Belo, O ;
PUBLICAÇÃO: 1997, FONTE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 9 de 10. Total de resultados: 92.

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