Sound Bisimulations for Higher-Order Distributed Process Calculus. - Adrien Piérard; Eijiro Sumii (FoSSaCS, 2011)

A Higher-Order Distributed Calculus with Name Creation. - Adrien Piérard; Eijiro Sumii (LICS, 2012)

Rescore in a Flash: Compact, Cache Efficient Hashing Data Structures for n-Gram Language Models. - Grant P. Strimel; Ariya Rastrow; Gautam Tiwari; Adrien Piérard; Jon Webb (INTERSPEECH, 2020)