Frédéric Loulergue

J. Log. Algebraic Methods Program., (2020): 100580

The Journal of Supercomputing, no. 7 (2019): 1-22

international conference on high performance computing and simulation, (2019)

nasa formal methods symposium, pp.88-105, (2019)

SAC, pp.1578-1581, (2019)

SAC, pp.2186-2195, (2019)

HPCS, pp.40-47, (2019)

SecDev, pp.126-127, (2018)

Computer Languages, Systems & Structures, (2018): 121-142

HPCS, pp.3-11, (2018)

HPCS, pp.691-699, (2018)

HPCS, pp.1057-1058, (2018)

HPCS, pp.21-30, (2018)

NFM, pp.37-53, (2018)

HPCS, pp.1055-1056, (2018)

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, pp.1593-1598, (2018)

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, pp.1516-1523, (2018)

TAP, pp.177-184, (2018)

ICCS, pp.535-544, (2017)

Parallel Processing Letters, no. 1 (2017): 1-18