| 2017 | ICTAC | Derived-Term Automata of Weighted Rational Expressions with Quotient Operators. | Akim Demaille, Thibaud Michaud |
| 2016 | ICTAC | Derived-Term Automata for Extended Weighted Rational Expressions. | Akim Demaille |
| 2009 | SAC | TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing. | Akim Demaille, Roland Levillain, Benot Sigoure |
| 2008 | ISPEC | Towards the World-Wide Quantum Network. | Quoc-Cuong Le, Patrick Bellot, Akim Demaille |
| 2008 | ITiCSE | A set of tools to teach compiler construction. | Akim Demaille, Roland Levillain, Benot Perrot |
| 2006 | ISoLA | Modeling of Sensor Networks Using XRM. | Akim Demaille, Sylvain Peyronnet, Benot Sigoure |
| 2005 | ITiCSE | Making compiler construction projects relevant to core curriculums. | Akim Demaille |
| 2000 | EGVE | An Asynchronous Architecture to Manage Communication, Display, and User Interaction in Distributed Virtual Environments. | Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Graud, Akim Demaille |
| 1995 | PDP | Correctness of a distributed deadlock resolution algorithm for the single request model. | Jos Ramn Gonzlez de Mendvil, Akim Demaille, Jos M. Bernabu-Aubn, Jos Ramn Garitagoitia |