| 2026 | STACS | On the Complexity of Language Membership for Probabilistic Words. | Antoine Amarilli, Mikal Monet, Paul Raphal, Sylvain Salvati |
| 2025 | ICDT | A Simple Algorithm for Worst Case Optimal Join and Sampling. | Florent Capelli, Oliver Irwin, Sylvain Salvati |
| 2024 | ICDT | Containment of Regular Path Queries Under Path Constraints. | Sylvain Salvati, Sophie Tison |
| 2023 | STACS | An Algebraic Approach to Vectorial Programs. | Charles Paperman, Sylvain Salvati, Claire Soyez-Martin |
| 2020 | MFCS | Linear High-Order Deterministic Tree Transducers with Regular Look-Ahead. | Paul Gallot, Aurlien Lemay, Sylvain Salvati |
| 2017 | STACS | On the Decomposition of Finite-Valued Streaming String Transducers. | Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati |
| 2016 | LICS | The Diagonal Problem for Higher-Order Recursion Schemes is Decidable. | Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz |
| 2015 | CSL | A Model for Behavioural Properties of Higher-order Programs. | Sylvain Salvati, Igor Walukiewicz |
| 2015 | FOSSACS | Typing Weak MSOL Properties. | Sylvain Salvati, Igor Walukiewicz |
| 2015 | ICALP | Non-linear Second Order Abstract Categorial Grammars and Deletion. | Sylvain Salvati |
| 2013 | FG | The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars. | Makoto Kanazawa, Sylvain Salvati |
| 2013 | FG | On the Complexity of Free Word Orders. | Jrme Kirman, Sylvain Salvati |
| 2013 | ICALP | The IO and OI Hierarchies Revisited. | Gregory M. Kobele, Sylvain Salvati |
| 2013 | ICFP | The T-calculus: towards a structured programing of (musical) time and space. | David Janin, Florent Berthaut, Myriam Desainte-Catherine, Yann Orlarey, Sylvain Salvati |
| 2012 | ACL | MIX Is Not a Tree-Adjoining Language. | Makoto Kanazawa, Sylvain Salvati |
| 2012 | FG | On IO-Copying and Mildly-Context Sensitive Formalisms. | Pierre Bourreau, Laura Kallmeyer, Sylvain Salvati |
| 2012 | ICALP | Loader and Urzyczyn Are Logically Related. | Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt |
| 2011 | ICALP | Krivine Machines and Higher-Order Schemes. | Sylvain Salvati, Igor Walukiewicz |
| 2010 | LATA | The Copying Power of Well-Nested Multiple Context-Free Grammars. | Makoto Kanazawa, Sylvain Salvati |
| 2009 | WoLLIC | Recognizability in the Simply Typed Lambda-Calculus. | Sylvain Salvati |
| 2004 | CSL | Higher-Order Matching in the Linear lambda-calculus with Pairing. | Philippe de Groote, Sylvain Salvati |
| 2004 | LICS | Vector Addition Tree Automata. | Philippe de Groote, Bruno Guillaume, Sylvain Salvati |