Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

• L. Straßburger3 · h 23
• Beniamino Accattoli2 · h 22
• N. Zeilberger2 · h 14
• Dominic J. D. Hughes1 · h 16
• G. Vanoni1 · h 6
• Jui-Hsuan Wu1 · h 3
• Matteo Acclavio1 · h 7
• Nguyên Thành Dung Lê1 · h 5
• Paul-André Melliès1 · h 26
• Ross Horne1 · h 13
• Ugo Dal Lago1 · h 30

• École PolytechniqueFR6 papers
• Laboratoire d'Informatique de l'École PolytechniqueFR5 papers
• Institut national de recherche en sciences et technologies du numériqueFR4 papers
• Centre National de la Recherche ScientifiqueFR2 papers
• Institut de Recherche en Informatique FondamentaleFR2 papers
• Université Paris CitéFR2 papers
• École Normale Supérieure d'AbidjanCI1 paper
• École Normale Supérieure de LyonFR1 paper
• Laboratoire de l'Informatique du ParallélismeFR1 paper
• OLAS: Fondements opérationnels, logiques et algébriques des systèmes logicielsIT1 paper
• PICUBE: Les assistants à la démonstration au cœur du raisonnement mathématiqueFR1 paper
• Roma Tre UniversityIT1 paper