| 2022 | LREC | Quantification Annotation in ISO 24617-12, Second Draft. | Harry Bunt, Maxime Amblard, Johan Bos, Karn Fort, Bruno Guillaume, Philippe de Groote, Chuyuan Li, Pierre Ludmann, Michel Musiol, Siyana Pavlova, Guy Perrier, Sylvain Pogodalla |
| 2021 | RANLP | Investigating Dominant Word Order on Universal Dependencies with Graph Rewriting. | Hee-Soo Choi, Bruno Guillaume, Karn Fort, Guy Perrier |
| 2014 | LREC | Deep Syntax Annotation of the Sequoia French Treebank. | Marie Candito, Guy Perrier, Bruno Guillaume, Corentin Ribeyre, Karn Fort, Djam Seddah, ric Villemonte de la Clergerie |
| 2014 | LREC | Mapping the Lexique des Verbes du Franc§ais (Lexicon of French Verbs) to a NLP lexicon using examples. | Bruno Guillaume, Karn Fort, Guy Perrier, Paul Bdaride |
| 2009 | RANLP | An Interaction Grammar of Interrogative and Relative Clauses in French. | Guy Perrier |
| 2008 | COLING | A Toolchain for Grammarians. | Bruno Guillaume, Joseph Le Roux, Jonathan Marchand, Guy Perrier, Karn Fort, Jennifer Planul |
| 2004 | COLING | Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation. | Guillaume Bonfante, Bruno Guillaume, Guy Perrier |
| 2001 | LPAR | Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions. | Guy Perrier |
| 2000 | COLING | Interaction Grammars. | Guy Perrier |
| 1997 | LFCS | A Decidable Fragment of Second Order Linear Logic. | Guy Perrier |
| 1994 | LFCS | Foundations of Proof Search Strategies Design in Linear Logic. | Didier Galmiche, Guy Perrier |
| 1992 | LFCS | Automated Deduction in Additive and Multiplicative Linear Logic. | Didier Galmiche, Guy Perrier |
| 1992 | LPAR | A Procedure for Automatic Proof Nets Construction. | Didier Galmiche, Guy Perrier |