| 2026 | FOSSACS | Learning Bottom-Up Tree Automata Valued in Monoidal Categories. | Quentin Aristote, Daniela Petrisan |
| 2025 | CSL | Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. | Samuel Humeau, Daniela Petrisan, Jurriaan Rot |
| 2025 | LICS | Learning Weighted Automata over Number Rings, Concretely and Categorically. | Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi |
| 2021 | CSL | Learning Automata and Transducers: A Categorical Approach. | Thomas Colcombet, Daniela Petrisan, Riccardo Stabile |
| 2021 | ICALP | Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. | Alexandre Goy, Daniela Petrisan, Marc Aiguier |
| 2020 | LICS | Combining probabilistic and non-deterministic choice via weak distributive laws. | Alexandre Goy, Daniela Petrisan |
| 2018 | CONCUR | Up-To Techniques for Behavioural Metrics via Fibrations. | Filippo Bonchi, Barbara Knig, Daniela Petrisan |
| 2017 | CALCO | Automata Minimization: a Functorial Approach. | Thomas Colcombet, Daniela Petrisan |
| 2017 | LICS | Quantifiers on languages and codensity monads. | Mai Gehrke, Daniela Petrisan, Luca Reggio |
| 2017 | MFCS | Automata in the Category of Glued Vector Spaces. | Thomas Colcombet, Daniela Petrisan |
| 2016 | ICALP | The Schtzenberger Product for Syntactic Spaces. | Mai Gehrke, Daniela Petrisan, Luca Reggio |
| 2015 | CALCO | Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. | Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
| 2015 | CONCUR | Lax Bialgebras and Up-To Techniques for Weak Bisimulations. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2015 | CSL | Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. | Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan |
| 2015 | ICALP | Nominal Kleene Coalgebra. | Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva |
| 2014 | CSL | Coinduction up-to in a fibrational setting. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2011 | CALCO | Relation Liftings on Preorders and Posets. | Marta Blkov, Alexander Kurz, Daniela Petrisan, Jir Velebil |
| 2011 | CALCO | Stone Duality for Nominal Boolean Algebras with И. | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
| 2009 | CALCO | A Duality Theorem for Real | M. Andrew Moshier, Daniela Petrisan |