Jules Villard

发表

Peter W. O'Hearn, Akbar Hussain, Rasmus Lerchedahl Petersen, 2015, J. Log. Algebraic Methods Program..

Étienne Lozes, Jules Villard, 2011, WS-FM.

Philippa Gardner, Aquinas Hobor, Azalea Raad, 2016, APLAS.

James Brotherston, Jules Villard, J. Brotherston, 2014, POPL.

Cristiano Calcagno, Étienne Lozes, Jules Villard, 2009, APLAS.

Philippa Gardner, Azalea Raad, Jules Villard, 2015, ESOP.

Jules Villard, Jules Villard, 2011 .

Étienne Lozes, Jules Villard, 2015, Sci. Comput. Program..

Ralf Treinen, Florent Jacquemard, Étienne Lozes, 2011, TOSCA.

Aquinas Hobor, Jules Villard, Aquinas Hobor, 2013, POPL.

Étienne Lozes, Jules Villard, 2008, CONCUR.

James Brotherston, Jules Villard, J. Brotherston, 2015, CSL.

Étienne Lozes, Jules Villard, 2012, ICE.

Cristiano Calcagno, Étienne Lozes, Jules Villard, 2010, TACAS.

Derek Dreyer, Hoang-Hai Dang, Azalea Raad, 2020, CAV.

Étienne Lozes, Jules Villard, Jules Villard, 2008, Distributed Computing.