Editing First-Order Proofs: Programmed Rules vs Derived Rules. - Maria-Virginia Aponte; José Alberto Fernández; Philippe Roussel (SLP, 1984)

Extending Record Typing to Type Parametric Modules with Sharing. - Maria-Virginia Aponte (POPL, 1993)

Type Isomorphisms for Module Signatures. - Maria-Virginia Aponte; Roberto Di Cosmo (PLILP, 1996)

Une approche formelle de la reconfiguration dynamique. - Marianne Simonot; Maria-Virginia Aponte (Obj. Logiciel Base données Réseaux, 2008)

Scaling the Level of Difficulty in Single Player Video Games. - Maria-Virginia Aponte; Guillaume Levieux; Stéphane Natkin (ICEC, 2009)

Difficulty in videogames: an experimental validation of a formal definition. - Maria-Virginia Aponte; Guillaume Levieux; Stéphane Natkin (Advances in Computer Entertainment Technology, 2011)

Measuring the level of difficulty in single player video games. - Maria-Virginia Aponte; Guillaume Levieux; Stéphane Natkin (Entertain. Comput., 2011)

Maximal and Compositional Pattern-Based Loop Invariants. - Maria-Virginia Aponte; Pierre Courtieu; Yannick Moy; Marc Sango (FM, 2012)

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. - Pierre Courtieu; Maria-Virginia Aponte; Tristan Crolard; Zhi Zhang; Robby; Jason Belt; John Hatcliff; Jérôme Guitton; Trevor Jennings (HILT, 2013)

Provable multicore schedulers with Ipanema: application to work conservation. - Baptiste Lepers; Redha Gouicem; Damien Carver; Jean-Pierre Lozi; Nicolas Palix; Maria-Virginia Aponte; Willy Zwaenepoel; Julien Sopena; Julia Lawall; Gilles Muller (EuroSys, 2020)