Formalisms for mobile resource control. - David Teller (FGC, 2003)

Recovering Resources in the π-calculus. - David Teller (IFIP TCS, 2004)

Using ambients to control resources. - David Teller; Pascal Zimmer; Daniel Hirschkoff (Int. J. Inf. Sec., 2004)

Ressources limitées pour la mobilité : utilisation, réutilisation, garanties. (Bounded mobile resources: use, reuse, guarantees). - David Teller (2004)

Towards a resource-safe Erlang. - David Teller (CTS, 2007)

Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml. - David Teller; Arnaud Spiwack; Till Varoquaux (IFL, 2008)