Écrits

2010 Unix system programming in OCaml >>

Traduction en anglais du cours de programmation système Unix en OCaml.
2006 Il existe des fonctions incalculables ! >>

Une preuve simple démontrant l'existence de fonctions incalculables.
2005 Protocol composition frameworks: a header-driven model >>

Une technique pour résoudre des problèmes de composition dans les systèmes de composition de protocoles.
2001 Fault-tolerant structures: towards robust self-replication in a probablilistic environment >>

Une technique pour des règles d'automates cellulaires résistantes aux fautes.