2007 |
10 | EE | Pablo Berdaguer,
Alcino Cunha,
Hugo Pacheco,
Joost Visser:
Coupled Schema Transformation and Data Conversion for XML and SQL.
PADL 2007: 290-304 |
9 | EE | Alcino Cunha,
Joost Visser:
Transformation of structure-shy programs: applied to XPath queries and strategic functions.
PEPM 2007: 11-20 |
8 | EE | Alcino Cunha,
Joost Visser:
Strongly Typed Rewriting For Coupled Software Transformation.
Electr. Notes Theor. Comput. Sci. 174(1): 17-34 (2007) |
2006 |
7 | EE | Alcino Cunha,
José Nuno Oliveira,
Joost Visser:
Type-Safe Two-Level Data Transformation.
FM 2006: 284-299 |
2005 |
6 | EE | Alcino Cunha,
Jorge Sousa Pinto,
José Proença:
A Framework for Point-Free Program Transformation.
IFL 2005: 1-18 |
5 | EE | Alcino Cunha,
Jorge Sousa Pinto:
Point-free Program Transformation.
Fundam. Inform. 66(4): 315-352 (2005) |
4 | EE | Manuel Barbosa,
Alcino Cunha,
Jorge Sousa Pinto:
Recursion patterns and time-analysis.
SIGPLAN Notices 40(5): 45-54 (2005) |
2003 |
3 | EE | Alcino Cunha:
Automatic visualization of recursion trees: a case study on generic programming.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
1998 |
2 | EE | 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 |