 | 2012 |
| 19 |  | Hugo Pacheco,
Alcino Cunha:
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas.
ICMT 2012: 89-104 |
| 2011 |
| 18 |  | Hugo Pacheco,
Alcino Cunha:
Calculating with lenses: optimising bidirectional transformations.
PEPM 2011: 91-100 |
| 17 |  | Ana Gabriela Garis,
Alcino Cunha,
Daniel Riesco:
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.
SEFM 2011: 221-236 |
| 16 |  | João F. Ferreira,
Alexandra Mendes,
Alcino Cunha,
Carlos Baquero,
Paulo F. Silva,
Luís Soares Barbosa,
José Nuno Oliveira:
Logic Training through Algorithmic Problem Solving.
TICTTL 2011: 62-69 |
| 15 |  | Paulo Sérgio Almeida,
Carlos Baquero,
Alcino Cunha:
Fast Distributed Computation of Distances in Networks
CoRR abs/1111.6087: (2011) |
| 14 |  | Alcino Cunha,
Hugo Pacheco:
Algebraic Specialization of Generic Functions for Recursive Types.
Electr. Notes Theor. Comput. Sci. 229(5): 57-74 (2011) |
| 13 |  | Alcino Cunha,
Joost Visser:
Transformation of structure-shy programs with application to XPath queries and strategic functions.
Sci. Comput. Program. 76(6): 516-539 (2011) |
| 2010 |
| 12 |  | Hugo Pacheco,
Alcino Cunha:
Generic Point-free Lenses.
MPC 2010: 331-352 |
| 2009 |
| 11 |  | Alcino Cunha,
Hugo Pacheco:
Mapping between Alloy Specifications and Database Implementations.
SEFM 2009: 285-294 |
| 2007 |
| 10 |  | Pablo Berdaguer,
Alcino Cunha,
Hugo Pacheco,
Joost Visser:
Coupled Schema Transformation and Data Conversion for XML and SQL.
PADL 2007: 290-304 |
| 9 |  | Alcino Cunha,
Joost Visser:
Transformation of structure-shy programs: applied to XPath queries and strategic functions.
PEPM 2007: 11-20 |
| 8 |  | Alcino Cunha,
Joost Visser:
Strongly Typed Rewriting For Coupled Software Transformation.
Electr. Notes Theor. Comput. Sci. 174(1): 17-34 (2007) |
| 2006 |
| 7 |  | Alcino Cunha,
José Nuno Oliveira,
Joost Visser:
Type-Safe Two-Level Data Transformation.
FM 2006: 284-299 |
| 2005 |
| 6 |  | Alcino Cunha,
Jorge Sousa Pinto,
José Proença:
A Framework for Point-Free Program Transformation.
IFL 2005: 1-18 |
| 5 |  | Alcino Cunha,
Jorge Sousa Pinto:
Point-free Program Transformation.
Fundam. Inform. 66(4): 315-352 (2005) |
| 4 |  | Manuel Barbosa,
Alcino Cunha,
Jorge Sousa Pinto:
Recursion patterns and time-analysis.
SIGPLAN Notices 40(5): 45-54 (2005) |
| 2003 |
| 3 |  | Alcino Cunha:
Automatic visualization of recursion trees: a case study on generic programming.
Electr. Notes Theor. Comput. Sci. 86(3): 70-84 (2003) |
| 1998 |
| 2 |  | Alcino Cunha,
José Neves:
A Game-Theoretic Approach to the Socialization of Utility-Based Agents.
ICMAS 1998: 413-414 |
| 1997 |
| 1 |  | Alcino Cunha,
Orlando Belo:
Resource Allocation on Agent Meta-Societies.
EPIA 1997: 343-348 |