Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 82



71
TITLE: A framework for point-free program transformation  Full Text
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
72
TITLE: Type-safe two-level data transformation
AUTHORS: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID | DBLP
73
TITLE: Point-free program calculation
AUTHORS: Alcino Cunha ;
PUBLISHED: 2005
INDEXED IN: DBLP
IN MY: ORCID | DBLP
74
TITLE: Point-free program transformation  Full Text
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
75
TITLE: Recursion patterns and time-analysis
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
76
TITLE: Automatic visualization of recursion trees: a case study on generic programming
AUTHORS: Alcino Cunha ;
PUBLISHED: 2003, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 86, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
77
TITLE: Integrating agent based information outsourcing techniques on data warehousing systems
AUTHORS: Orlando Belo ; Alcino Cunha ;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
78
TITLE: A Game-Theoretic Approach to the Socialization of Utility-Based Agents
AUTHORS: Alcino Cunha ; José Neves;
PUBLISHED: 1998, SOURCE: 1998 International Conference on Multi Agent Systems, ICMAS 1998 in Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
79
TITLE: Simulating a gas distribution network in a distributed object oriented system
AUTHORS: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLISHED: 1998, SOURCE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART
INDEXED IN: WOS
IN MY: ORCID
80
TITLE: Enhancing load distribution strategies through simulation
AUTHORS: Cunha, A ; Santos, LP ; Belo, O ;
PUBLISHED: 1997, SOURCE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997
INDEXED IN: WOS
IN MY: ORCID
Page 8 of 9. Total results: 82.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service