Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. - Alexander Kurz 001; Daniela Petrisan (CMCS, 2008)

A Duality Theorem for Real C* Algebras. - M. Andrew Moshier; Daniela Petrisan (CALCO, 2009)

Algebraic Theories over Nominal Sets - Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (CoRR, 2010)

Presenting functors on many-sorted varieties and applications. - Alexander Kurz 001; Daniela Petrisan (Inf. Comput., 2010)

On universal algebra over nominal sets. - Alexander Kurz 001; Daniela Petrisan (Math. Struct. Comput. Sci., 2010)

Relation Liftings on Preorders and Posets. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (CALCO, 2011)

Stone Duality for Nominal Boolean Algebras with И. - Murdoch James Gabbay; Tadeusz Litak; Daniela Petrisan (CALCO, 2011)

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. - Alexander Kurz 001; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (CMCS, 2012)

Relation lifting, with an application to the many-valued cover modality. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (Log. Methods Comput. Sci., 2013)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus. - Alexander Kurz 001; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (Log. Methods Comput. Sci., 2013)

Coinduction up-to in a fibrational setting. - Filippo Bonchi; Daniela Petrisan; Damien Pous; Jurriaan Rot (CSL-LICS, 2014)

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. - Alexander Kurz 001; Alberto Pardo; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (CALCO, 2015)

Lax Bialgebras and Up-To Techniques for Weak Bisimulations. - Filippo Bonchi; Daniela Petrisan; Damien Pous; Jurriaan Rot (CONCUR, 2015)

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. - Murdoch James Gabbay; Dan R. Ghica; Daniela Petrisan (CSL, 2015)

Nominal Kleene Coalgebra. - Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva 001 (ICALP (2), 2015)

The Schützenberger Product for Syntactic Spaces. - Mai Gehrke; Daniela Petrisan; Luca Reggio (ICALP, 2016)

SIGLOG monthly 184. - Daniela Petrisan (ACM SIGLOG News, 2016)

SIGLOG Monthly 186. - Daniela Petrisan (ACM SIGLOG News, 2016)

Automata in the Category of Glued Vector Spaces. - Thomas Colcombet; Daniela Petrisan (MFCS, 2017)

A general account of coinduction up-to. - Filippo Bonchi; Daniela Petrisan; Damien Pous; Jurriaan Rot (Acta Informatica, 2017)

Automata and minimization. - Thomas Colcombet; Daniela Petrisan (ACM SIGLOG News, 2017)

SIGLOG monthly 189. - Daniela Petrisan (ACM SIGLOG News, 2017)

SIGLOG monthly 191. - Daniela Petrisan (ACM SIGLOG News, 2017)

SIGLOG monthly 194. - Daniela Petrisan (ACM SIGLOG News, 2017)

Siglog monthly 196. - Daniela Petrisan (ACM SIGLOG News, 2017)

SIGLOG monthly 198. - Daniela Petrisan (ACM SIGLOG News, 2018)

SIGLOG monthly 199. - Daniela Petrisan (ACM SIGLOG News, 2018)

SIGLOG monthly 200. - Daniela Petrisan (ACM SIGLOG News, 2018)

SIGLOG monthly 201. - Daniela Petrisan (ACM SIGLOG News, 2018)

SIGLOG monthly 202. - Daniela Petrisan (ACM SIGLOG News, 2019)

SIGLOG monthly 203. - Daniela Petrisan (ACM SIGLOG News, 2019)

Combining probabilistic and non-deterministic choice via weak distributive laws. - Alexandre Goy 002; Daniela Petrisan (LICS, 2020)

Combining Weak Distributive Laws: Application to Up-To Techniques. - Alexandre Goy 002; Daniela Petrisan (CoRR, 2020)

Automata Minimization: a Functorial Approach. - Thomas Colcombet; Daniela Petrisan (Log. Methods Comput. Sci., 2020)

Quantifiers on languages and codensity monads. - Mai Gehrke; Daniela Petrisan; Luca Reggio (Math. Struct. Comput. Sci., 2020)

Siglog monthly 204. - Daniela Petrisan (ACM SIGLOG News, 2020)

SIGLOG monthly 205. - Daniela Petrisan (ACM SIGLOG News, 2020)

SIGLOG monthly 206. - Daniela Petrisan (ACM SIGLOG News, 2020)

SIGLOG monthly 207. - Daniela Petrisan (ACM SIGLOG News, 2020)

Learning Automata and Transducers: A Categorical Approach. - Thomas Colcombet; Daniela Petrisan; Riccardo Stabile (CSL, 2021)

Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. - Alexandre Goy 002; Daniela Petrisan; Marc Aiguier (ICALP, 2021)

Semialgebras and Weak Distributive Laws. - Daniela Petrisan; Ralph Sarkis (MFPS, 2021)

Up-to techniques for behavioural metrics via fibrations. - Filippo Bonchi; Barbara König 001; Daniela Petrisan (Math. Struct. Comput. Sci., 2023)

Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. - Samuel Humeau 002; Daniela Petrisan; Jurriaan Rot (CSL, 2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically. - Quentin Aristote; Sam van Gool; Daniela Petrisan; Mahsa Shirmohammadi (CoRR, 2025)