Minimal solutions of linear diophantine systems: bounds and algorithms L Pottier International Conference on Rewriting Techniques and Applications, 162-173, 1991 | 189 | 1991 |

Mathematical formula recognition using graph grammar S Lavirotte, L Pottier Document Recognition V 3305, 44-52, 1998 | 95 | 1998 |

Optical formula recognition S Lavirotte, L Pottier Proceedings of the Fourth International Conference on Document Analysis and …, 1997 | 80 | 1997 |

Optimal time and minimum space-time product for reversing a certain class of programs J Grimm, L Pottier, N Rostaing-Schmidt INRIA, 1996 | 75 | 1996 |

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 | 73 | 1999 |

Mathematics and proof presentation in Pcoq A Amerkad, L Pottier, L Rideau INRIA, 2001 | 42 | 2001 |

The Euclidean algorithm in dimension *n*L Pottier Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996 | 39 | 1996 |

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 |

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 |

Connecting Gr\" obner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics L Pottier arXiv preprint arXiv:1007.3615, 2010 | 35 | 2010 |

SATURATED DISPERSION EXPERIMENT IN IODINE WITH AN ARGON LASER. C Bordé, G Camy, B Decomps, L Pottier | 30 | 1974 |

Visualizing geometrical statements with GeoView Y Bertot, F Guilhot, L Pottier Electronic Notes in Theoretical Computer Science 103, 49-65, 2004 | 29 | 2004 |

Optimization of positive generalized polynomials under constraints. L Baratchart, M Berthod, L Pottier Journal of Convex Analysis 5 (2), 353-379, 1998 | 26 | 1998 |

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 | 25 | 2022 |

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 | 25 | 2021 |

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 | 18 | 2021 |

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 | 18 | 2020 |

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 | 15 | 2019 |

Bornes et algorithme de calcul des générateurs des solutions de systèmes diophantiens linéaires L Pottier Comptes rendus de l'Académie des sciences. Série 1, Mathématique 311 (12 …, 1990 | 15 | 1990 |

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 | 14 | 2021 |