Satisfying subtype inequalities in polynomial space. - Alexandre Frey (Theor. Comput. Sci., 2002)

Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes. - Alexandre Frey (2004)

Implementing Embedded Security on Dual-Virtual-CPU Systems. - Peter Wilson; Alexandre Frey; Tom Mihm; Danny Kershaw; Tiago Alves (IEEE Des. Test Comput., 2007)