| 2026 | LICS | Problems with Fixpoints of Polynomials of Polynomials. | Ccilia Pradic, Ian Price |
| 2025 | CiE | Represented Spaces of Represented Spaces. | Johanna Franklin, Eike Neumann, Arno Pauly, Ccilia Pradic, Manlio Valenti |
| 2025 | CiE | Computably Discrete Represented Spaces. | Eike Neumann, Arno Pauly, Ccilia Pradic, Manlio Valenti |
| 2025 | CiE | Weihrauch Problems as Containers. | Ccilia Pradic, Ian Price |
| 2023 | PODS | Synthesizing Nested Relational Queries from Implicit Specifications. | Michael Benedikt, Ccilia Pradic, Christoph Wernhard |
| 2022 | CiE | On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals. | Ccilia Pradic, Giovanni Sold |
| 2021 | ICALP | Comparison-Free Polyregular Functions. | L Thnh Dung Nguyn, Camille Nos, Ccilia Pradic |
| 2020 | ICALP | Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic. | L Thnh Dung Nguyn, Ccilia Pradic |
| 2019 | FOSSACS | Kleene Algebra with Hypotheses. | Amina Doumane, Denis Kuperberg, Damien Pous, Ccilia Pradic |
| 2019 | FOSSACS | A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. | Ccilia Pradic, Colin Riba |
| 2019 | ICALP | From Normal Functors to Logarithmic Space Queries. | L Thnh Dung Nguyn, Ccilia Pradic |
| 2018 | LICS | LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. | Ccilia Pradic, Colin Riba |
| 2016 | CSL | The Logical Strength of Bchi's Decidability Theorem. | Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Ccilia Pradic, Michal Skrzypczak |
| 2015 | POPL | Integrating Linear and Dependent Types. | Neelakantan R. Krishnaswami, Ccilia Pradic, Nick Benton |