Neural Network Verification for the Masses (of AI graduates). - Ekaterina Komendantskaya; Rob Stewart 001; Kirsty Duncan; Daniel Kienitz; Pierre Le Hen; Pascal Bacchus (CoRR, 2019)

Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs. - Pascal Bacchus; Robert J. Stewart 001; Ekaterina Komendantskaya (ARC, 2020)

Quasi Lossless Satellite Image Compression. - Pascal Bacchus; Renaud Fraisse; Aline Roumy; Christine Guillemot (IGARSS, 2022)

Joint Compression and Demosaicking For Satellite Images. - Pascal Bacchus; Renaud Fraisse; Aline Roumy; Christine Guillemot (ICASSP, 2023)

Filtered Residual Compression for Satellite Images. - Pascal Bacchus; Renaud Fraisse; Christine Guillemot; Aline Roumy (IGARSS, 2023)

Deep learning for satellite image compression. (Compression d'images satellitaires par apprentissage profond). - Pascal Bacchus (2023)