Publications

2005

  • Personal.Alcino Cunha, Pointfree Program Calculation. PhD Thesis, Department of Informatics, University of Minho. June 2005.
  • Manuel Barbosa, Personal.Alcino Cunha, and Jorge Sousa Pinto. Recursion patterns and time-analysis. ACM SIGPLAN Notices, 40(5):45-54, May 2005. ACM Press.
  • Personal.Alcino Cunha and Jorge Sousa Pinto. Point-free Program Transformation. Special issue on Program Transformation. Fundamenta Informaticae, 66(4):315-352, 2005. IOS Press.
  • Personal.Alcino Cunha, Jorge Sousa Pinto, and José Proença. Down with Variables. Technical Report DI-PURe-05:06:01, Department of Informatics, University of Minho. June 2005.

2004

  • Personal.Alcino Cunha and Jorge Sousa Pinto. Making the Point-free Calculus Less Pointless. In the proceedings of the 2nd APPSEM II Workshop, pages 178-179. April 2004. Abstract.
  • Personal.Alcino Cunha and Jorge Sousa Pinto. Point-free Program Transformation. Technical Report DI-PURe-04:02:03, Department of Informatics, University of Minho, February 2004.

2003

  • Personal.Alcino Cunha. Automatic Visualization of Recursion Trees: a Case Study on Generic Programming. In volume 86.3 of ENTCS: Selected papers of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03). 2003.
  • Personal.Alcino Cunha. Recursion Patterns as Hylomorphisms. Technical Report DI-PURe-03:11:01, Department of Informatics, University of Minho, November 2003. (Presented also in the SDDI'03).
  • Personal.Alcino Cunha and José Barros. Towards Utility-based Programming. Technical Report UMDITR2003.02, Department of Informatics, University of Minho, 2003.

2002

  • Personal.Alcino Cunha, José Barros, and João Saraiva. Deriving Animations from Recursive Definitions. Draft Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL'02), pages 113-128, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidade Complutense de Madrid. September, 2002.

2001

  • Personal.Alcino Cunha. Programação com Funções de Utilidade. Departamento de Informática. Universidade do Minho. 2001.

2000

  • Luís Gomes da Costa, A. Sérgio Miguel, Mónica P. Barroso, Pedro M. Arezes, Patrício Cordeiro, Personal.Alcino Cunha, and João L. Sobral. Anthropometric Survey of the Portuguese Population. In proceedings of the 2nd Congresso de Ergonomia da Associação Portuguesa de Ergonomia. April 2000.

1999

  • Personal.Alcino Cunha and Orlando Belo. Integrating Agent Based Information Outsourcing Techniques on Data Warehousing Systems. In proceedings of the IEEE Systems, Man, and Cybernetics Conference (SMC'99). 1999.
  • Orlando Belo and Personal.Alcino Cunha. Definição de Contratos de Informação em Sistemas de Data Warehousing Baseados em Agentes. Nas actas das Jornadas de Engenharia de Telecumunicações e Computadores. 1999.

1998

  • Personal.Alcino Cunha, Orlando Belo, and Alexandre Santos. Modeling Intelligent Decision Making on Electronic Mail Distribution Systems. In proceedings of the 3rd International Congress of the Federation of EUROpean SIMulation Societies (EUROSIM'98). 1998.
  • Personal.Alcino Cunha and José Neves. A Game-theoretic Approach to the Socialization of Utility-Based Agents. In proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS'98). 1998. Poster.
  • Personal.Alcino Cunha and Orlando Belo. Intelligent Work Allocation Modeling on a Hardmetal Production Plant. In P. Kopacek and I. Rudas, editors, proceedings of the IEEE International Conference on Intelligent Engineering Systems (INES'98), pages 297-301. 1998.
  • António Ribeiro, Personal.Alcino Cunha and Orlando Belo. Simulating a Gas Distribution Network in a Distributed Object Oriented System. In proceedings of the the 10th European Simulation Symposium (ESS'98). 1998.

1997

  • Personal.Alcino Cunha and Orlando Belo. A Multi-Agent Approach for Load Distribution in Multi-Enterprise Environments. In proceedings of the 15th IASTED International Conference on Applied Informatics (AI'97), pages 306-309. 1997.
  • Personal.Alcino Cunha and Orlando Belo. An Electronic Commerce Framework for Resource Allocation Among Multi-Agent Enterprises. In proceedings of the 10th International FLAIRS Conference (FLAIRS'97). 1997.
  • Personal.Alcino Cunha, Carlos Biscaia, Mário Torres, Luís Sobral, and Orlando Belo. Parallel Neural Network Recognition - A Multi-Agent System Approach. In proceedings of the High-Performance Computers 97 (HPC'97). 1997.
  • Personal.Alcino Cunha. Aprendizagem de DCGs Utilizando Algoritmos Genéticos. Nas actas do Terceiro Encontro Nacional do Colégio de Engenharia Electrotécnica. 1997.
  • Personal.Alcino Cunha, Luís Santos, and Orlando Belo. Simulador de Estratégias de Distribuição de Carga. Nas actas do Terceiro Encontro Nacional do Colégio de Engenharia Electrotécnica. 1997.
  • Personal.Alcino Cunha and Orlando Belo. Resource Allocation on Agent Meta-Societies. In E. Costa and A. Cardoso, editors, Progress in Artificial Intelligence, volume 1323 of LNAI, pages 343-348, Springer-Verlag (Proceedings of the 8th Portuguese Conference on Artificial Intelligence - EPIA'97). 1997. Poster.
  • Personal.Alcino Cunha, Luís Santos, and Orlando Belo. Enhancing Load Distribution Strategies Through Simulation. In proceedings of the 9th European Simulation Symposium (ESS'97). 1997.

1996

  • Personal.Alcino Cunha, Carlos Biscaia, Mário Torres, Luís Sobral, and Orlando Belo. Simulating the Use of Autonomous Intelligent Agents on Cellular Manufacturing Plant Floors. In proceedings of the 8th European Simulation Symposium (ESS'96). 1996.

r4 - 12 Feb 2007 - 19:19:17 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM