| 2026 | FSCD | Absolute Convergence and Taylor Expansion in Web Based Models of Linear Logic. | Christine Tasson, Aymeric Walch |
| 2025 | FMICS | GRust: A Programming Language for Automotive Engineering. | milie Thom, Xavier Denis, Christine Tasson |
| 2020 | CSL | Taylor expansion for Call-By-Push-Value. | Jules Chouquet, Christine Tasson |
| 2019 | TABLEAUX | PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. | Rmi Nollet, Alexis Saurin, Christine Tasson |
| 2018 | CSL | Local Validity for Circular Proofs in Linear Logic with Fixed Points. | Rmi Nollet, Alexis Saurin, Christine Tasson |
| 2017 | FOSSACS | The Free Exponential Modality of Probabilistic Coherence Spaces. | Raphalle Crubill, Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2016 | FOSSACS | Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. | Michele Pagani, Christine Tasson, Lionel Vaux |
| 2014 | POPL | Probabilistic coherence spaces are fully abstract for probabilistic PCF. | Thomas Ehrhard, Christine Tasson, Michele Pagani |
| 2014 | STOC | Distributed computability in Byzantine asynchronous systems. | Hammurabi Mendes, Christine Tasson, Maurice Herlihy |
| 2011 | LICS | The Computational Meaning of Probabilistic Coherence Spaces. | Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2009 | ICALP | An Explicit Formula for the Free Exponential Modality of Linear Logic. | Paul-Andr Mellis, Nicolas Tabareau, Christine Tasson |
| 2009 | LICS | The Inverse Taylor Expansion Problem in Linear Logic. | Michele Pagani, Christine Tasson |
| 2005 | CADE | Nominal Techniques in Isabelle/HOL. | Christian Urban, Christine Tasson |