Generating plans from proofs, 2016, via WWW, Mar. 23, 2016: PDF title page (Julien Leblay, National Institute of Advanced Industrial Science and Technology (AIST), Tokyo) p. 179 (a Research Scientist at the National Institute of A dvanced Industrial Science and Technology (AIST) in Tokyo, Japan; Ph.D. in Computer Science from the Université Paris-Sud and Inria, France)

OCLC, Mar. 23, 2016 (access points: Leblay, Julien; Leblay, Julien, 1979- ; usage: Julien Leblay)