Submitted
Nuno Macedo, Hugo Pacheco, Alcino Cunha, and José N. Oliveira, Every transformation is a lens: Taming partiality using invariants and non-determinism.
Hugo Pacheco, Alcino Cunha, and Zhenjiang Hu, Delta Lenses over Inductive Types.
Daniel Cadete, Alcino Cunha, José M. Faria, José N. Oliveira, and André Passos, From boilerplated requirements to Alloy: half-way between text and formal model.
Alcino Cunha and Nuno Macedo. Automated Unbounded Verification of Alloy Specifications with Prover9.
2011
Alcino Cunha and Hugo Pacheco. Calculating with Lenses: Optimising Bidirectional Transformations. In proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 91-100. ACM Press, 2011.Alcino Cunha and Hugo Pacheco, Algebraic Specialization of Generic Functions for Recursive Types. In proceedings of the 2nd Workshop on Mathematically Structured Functional Programming. ENTCS, 229(5):57-74. Elsevier, 2011.
Alcino Cunha and Joost Visser, Transformation of structure-shy programs with application to XPath queries and strategic functions. Science of Computer Programming, 76(6):516-539. Elsevier, 2011. Extended version of PEPM'07 paper.
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, L. S. Barbosa, and J. N. Oliveira. Logic training through algorithmic problem solving. In proceedings of 3rd International Congress on Tools for Teaching Logic, volume 6680 of LNAI, pages 62-69. Springer-Verlag, 2011.
Ana Garis, Alcino Cunha, and Daniel Riesco, Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. In proceedings of the 9th International Conference on Software Engineering and Formal Methods, volume 7041 of LNCS, pages 221-236. Springer-Verlag, 2011.
Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha, Fast Distributed Computation of Distances in Networks. CoRR abs/1111.6087, 2011.
2010
Alcino Cunha and Hugo Pacheco, Generic Pointfree Lenses. In proceedings of the 10th International Conference on Mathematics of Program Construction, volume 6120 of LNCS, pages 331-352. Springer-Verlag, 2010.2009
Alcino Cunha and Hugo Pacheco, Mapping between Alloy specifications and database implementations. In proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods, pages 285-294. IEEE Press, 2009.2007
Alcino Cunha and Joost Visser, Transformation of Structure-Shy Programs - Applied to XPath Queries and Strategic Functions. In proceedings of the 16th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 11-20. ACM Press, 2007. Slides presented at PEPM'07.Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, and Joost Visser. Coupled Schema Transformation and Data Conversion For XML and SQL. In M. Hanus, editor, proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, volume 4354 of LNCS, pages 290-304. Springer-Verlag, 2007.
Alcino Cunha and Joost Visser. Strongly Typed Rewriting For Coupled Software Transformation. In proceedings of the 7th International Workshop on Rule-Based Programming. ENTCS, 174(1):17-34. Elsevier, 2007.
2006
Alcino Cunha, José Nuno Oliveira, and Joost Visser. Type-safe Two-level Data Transformation. In J. Misra, T. Nipkow, and E. Sekerinski, editors, proceedings of the 14th International Symposium on Formal Methods, volume 4085 of LNCS, pages 284-299. Springer-Verlag, 2006. An extended version is published as Technical Report DI-PURe-06.03.01. Slides presented at FM'06.Alcino Cunha, Jorge Sousa Pinto, and José Proença. A Framework for Point-free Program Transformation. In A. Butterfield, C. Grelck, and F. Huch, editors, selected papers of the 17th International Workshop on Implementation and Application of Functional Languages, volume 4015 of LNCS, pages 1-18. Springer-Verlag, 2006.
2005
Alcino Cunha. Point-free Program Calculation. PhD Thesis, Department of Informatics, University of Minho. June 2005.Manuel Barbosa, Alcino Cunha, and Jorge Sousa Pinto. Recursion patterns and time-analysis. ACM SIGPLAN Notices, 40(5):45-54. ACM Press, 2005.
Alcino Cunha and Jorge Sousa Pinto. Point-free Program Transformation. Special issue on Program Transformation. Fundamenta Informaticae, 66(4):315-352. IOS Press, 2005. Also published as Technical Report DI-PURe-04.02.03.
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
Alcino Cunha and Jorge Sousa Pinto. Making the Point-free Calculus Less Pointless. In proceedings of the 2nd APPSEM II Workshop, pages 178-179. April 2004. Abstract.2003
Alcino Cunha. Automatic Visualization of Recursion Trees: a Case Study on Generic Programming. Selected papers of the 12th International Workshop on Functional and (Constraint) Logic Programming. ENTCS, 86(3). Elsevier, 2003.Alcino Cunha. Recursion Patterns as Hylomorphisms. Technical Report DI-PURe-03.11.01, Department of Informatics, University of Minho. November 2003.
Alcino Cunha and José Barros. Towards Utility-based Programming. Technical Report UMDITR2003.02, Department of Informatics, University of Minho. 2003.
2002
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, pages 113-128, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidade Complutense de Madrid. September, 2002.2001
Alcino Cunha. Programação com Funções de Utilidade. PAPCC, 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, 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
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, pages 1025-1030, vol 1. IEEE Press, 1999.Orlando Belo and Alcino Cunha. Definição de Contratos de Informação em Sistemas de Data Warehousing Baseados em Agentes. Nas actas das Jornadas de Engenharia de Telecomunicações e Computadores. 1999.
1998
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. 1998.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, pages 413-414. IEEE Press, 1998. Poster.
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, pages 297-301. 1998.
António Ribeiro, 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. 1998.
1997
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, pages 306-309. 1997.Alcino Cunha and Orlando Belo. An Electronic Commerce Framework for Resource Allocation Among Multi-Agent Enterprises. In proceedings of the 10th International FLAIRS Conference. 1997.
Alcino Cunha, Carlos Biscaia, Mário Torres, Luís Sobral, and Orlando Belo. Parallel Neural Network Recognition - A Multi-Agent System Approach. In H. Power and J.J. Casares Long, editors, Applications of High Performance Computing in Engineering V. 1997. WIT Press.
Alcino Cunha. Aprendizagem de DCGs Utilizando Algoritmos Genéticos. Nas actas do Terceiro Encontro Nacional do Colégio de Engenharia Electrotécnica. 1997.
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.
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, 1997. Poster.
Alcino Cunha, Luís Santos, and Orlando Belo. Enhancing Load Distribution Strategies Through Simulation. In proceedings of the 9th European Simulation Symposium. 1997.
1996
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. 1996.Alcino Cunha. Aplicação da Tecnologia de Agentes a Problemas de Distribuição de Carga em Sistemas Distribuídos. Departamento de Informática, Universidade do Minho. 1996.