| |
| * | 2008 | |
|---|---|---|
| 5 | EE | Ariel Arbiser: The Expansion Problem in Lambda Calculi with Explicit Substitution. J. Log. Comput. 18(6): 849-883 (2008) |
| 2007 | ||
| 4 | EE | Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos: The Weak Normalization of the Simply Typed lambda-se-calculus. Logic Journal of the IGPL 15(2): 121-147 (2007) |
| 2006 | ||
| 3 | EE | Ariel Arbiser, Alexandre Miquel, Alejandro Ríos: A Lambda-Calculus with Constructors. RTA 2006: 181-196 |
| 2005 | ||
| 2 | EE | Ariel Arbiser: Towards the unification of intuitive and formal game concepts with applications to computer chess. DIGRA Conf. 2005 |
| 1 | Ariel Arbiser: Practical crossword generation with checkpoint search. IADIS AC 2005: 235-240 | |
| 1 | Fairouz Kamareddine | [4] |
| 2 | Alexandre Miquel | [3] |
| 3 | Alejandro Ríos | [3] [4] |