Minimal solutions of linear diophantine systems: bounds and algorithms L Pottier
International Conference on Rewriting Techniques and Applications, 162-173, 1991
192 1991 Mathematical formula recognition using graph grammar S Lavirotte, L Pottier
Document Recognition V 3305, 44-52, 1998
104 1998 Optical formula recognition S Lavirotte, L Pottier
Proceedings of the Fourth International Conference on Document Analysis and …, 1997
83 1997 On-line handwritten formula recognition using hidden Markov models and context dependent graph grammars A Kosmala, G Rigoll, S Lavirotte, L Pottier
Proceedings of the Fifth International Conference on Document Analysis and …, 1999
77 1999 Optimal time and minimum space-time product for reversing a certain class of programs J Grimm, L Pottier, N Rostaing-Schmidt
INRIA, 1996
77 1996 Mathematics and proof presentation in Pcoq A Amerkad, L Pottier, L Rideau
INRIA, 2001
44 2001 The Euclidean algorithm in dimension n L Pottier
Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996
42 1996 Predictive performance of multi-model ensemble forecasts of COVID-19 across European nations K Sherratt, H Gruson, H Johnson, R Niehus, B Prasse, F Sandmann, ...
Elife 12, e81916, 2023
40 2023 A community roadmap for scientific workflows research and development RF Da Silva, H Casanova, K Chard, I Altintas, RM Badia, B Balis, ...
2021 IEEE Workshop on Workflows in Support of Large-Scale Science (WORKS), 81-90, 2021
38 2021 Proof certificates for algebra and their application to automatic geometry theorem proving B Grégoire, L Pottier, L Théry
Automated Deduction in Geometry: 7th International Workshop, ADG 2008 …, 2011
38 2011 Connecting Gr\" obner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics L Pottier
arXiv preprint arXiv:1007.3615, 2010
36 2010 Mathematical quotients and quotient types in Coq L Chicli, L Pottier, C Simpson
International Workshop on Types for Proofs and Programs, 95-107, 2002
36 2002 Wfcommons: A framework for enabling scientific workflow research and development T Coleman, H Casanova, L Pottier, M Kaushik, E Deelman, RF da Silva
Future generation computer systems 128, 16-27, 2022
33 2022 Visualizing geometrical statements with GeoView Y Bertot, F Guilhot, L Pottier
Electronic Notes in Theoretical Computer Science 103, 49-65, 2004
33 2004 SATURATED DISPERSION EXPERIMENT IN IODINE WITH AN ARGON LASER. C Bordé, G Camy, B Decomps, L Pottier
27 1974 Optimization of positive generalized polynomials under constraints. L Baratchart, M Berthod, L Pottier
Journal of Convex Analysis 5 (2), 353-379, 1998
26 1998 Workflowhub: Community framework for enabling scientific workflow research and development RF da Silva, L Pottier, T Coleman, E Deelman, H Casanova
2020 IEEE/ACM Workflows in Support of Large-Scale Science (WORKS), 49-56, 2020
23 2020 Workflows community summit: Bringing the scientific workflows community together RF da Silva, H Casanova, K Chard, D Laney, D Ahn, S Jha, C Goble, ...
arXiv preprint arXiv:2103.09181, 2021
20 2021 Co-scheduling HPC workloads on cache-partitioned CMP platforms G Aupy, A Benoit, B Goglin, L Pottier, Y Robert
The International Journal of High Performance Computing Applications 33 (6 …, 2019
19 2019 Workflows community summit: Advancing the state-of-the-art of scientific workflows management systems research and development RF da Silva, H Casanova, K Chard, T Coleman, D Laney, D Ahn, S Jha, ...
arXiv preprint arXiv:2106.05177, 2021
17 2021