Correctness of a distributed deadlock resolution algorithm for the single request model. - José Ramón González de Mendívil; Akim Demaille; José M. Bernabéu-Aubán; José Ramón Garitagoitia (PDP, 1995)

An Asynchronous Architecture to Manage Communication, Display, and User Interaction in Distributed Virtual Environments. - Yoann Fabre; Guillaume Pitel; Laurent Soubrevilla; Emmanuel Marchand; Thierry Géraud; Akim Demaille (EGVE, 2000)

A Framework to Dynamically Manage Distributed Virtual Environments. - Yoann Fabre; Guillaume Pitel; Laurent Soubrevilla; Emmanuel Marchand; Thierry Géraud; Akim Demaille (Virtual Worlds, 2000)

Design Patterns for Generic Programming in C++. - Alexandre Duret-Lutz; Thierry Géraud; Akim Demaille (COOTS, 2001)

Making compiler construction projects relevant to core curriculums. - Akim Demaille (ITiCSE, 2005)

Modeling of Sensor Networks Using XRM. - Akim Demaille; Sylvain Peyronnet; Benoît Sigoure (ISoLA, 2006)

Probabilistic verification of sensor networks. - Akim Demaille; Thomas Hérault; Sylvain Peyronnet (RIVF, 2006)

C-Transformers: a framework to write C program transformations. - Alexandre Borghi; Valentin David; Akim Demaille (ACM Crossroads, 2006)

Stochastic routing in large grid-shaped quantum networks. - Cuong Le Quoc; Patrick Bellot; Akim Demaille (RIVF, 2007)

An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions. - Akim Demaille; Alexandre Duret-Lutz; Florian Lesaint; Sylvain Lombardy; Jacques Sakarovitch; Florent Terrones (FSMNLP, 2008)

Towards the World-Wide Quantum Network. - Quoc-Cuong Le; Patrick Bellot; Akim Demaille (ISPEC, 2008)

A set of tools to teach compiler construction. - Akim Demaille; Roland Levillain; Benoît Perrot (ITiCSE, 2008)

Semantics Driven Disambiguation: A Comparison of Different Approaches. - Akim Demaille; Renaud Durlin; Nicolas Pierron; Benoît Sigoure (LDTA, 2008)

TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing. - Akim Demaille; Roland Levillain; Benoît Sigoure (SAC, 2009)

Events! (Reactivity in urbiscript) - Jean-Christophe Baillie; Akim Demaille; Quentin Hocquet; Matthieu Nottale (CoRR, 2010)

Implementation Concepts in Vaucanson 2. - Akim Demaille; Alexandre Duret-Lutz; Sylvain Lombardy; Jacques Sakarovitch (CIAA, 2013)

A Type System for Weighted Automata and Rational Expressions. - Akim Demaille; Alexandre Duret-Lutz; Sylvain Lombardy; Luca Saiu; Jacques Sakarovitch (CIAA, 2014)

Type-Checking of Heterogeneous Sequences in Common Lisp. - Jim E. Newton; Akim Demaille; Didier Verna (ELS, 2016)

Derived-Term Automata for Extended Weighted Rational Expressions. - Akim Demaille (ICTAC, 2016)

Derived-Term Automata of Multitape Rational Expressions. - Akim Demaille (CIAA, 2016)

Derived-Term Automata of Multitape Rational Expressions (Long version). - Akim Demaille (CoRR, 2016)

Runtime Template Instantiation for C++. - Akim Demaille (CoRR, 2016)

Derived-Term Automata of Weighted Rational Expressions with Quotient Operators. - Akim Demaille; Thibaud Michaud (ICTAC, 2017)

Derived-Term Automata of Multitape Expressions with Composition. - Akim Demaille (Sci. Ann. Comput. Sci., 2017)