Get started
Author

Daniela Petrişan

Observed names: DANIELA PETRIŞAN, Daniela Luan Petrişan, Daniela Petrisan, Daniela Petrisan (7641827), Petrisan, Daniela, Petrişan, Daniela, Petrișan, Daniela
Observed institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Radboud University Nijmegen, University of Leicester, Délégation Paris 7, Université de Lyon, Université Paris Cité, Institut de Recherche en Informatique Fondamentale, Laboratoire de l'Informatique du Parallélisme, Université Paris Diderot, PICUBE: Les assistants à la démonstration au cœur du raisonnement mathématique
ORCID: 0000-0001-9712-930X
Observed ORCID: 0000-0001-9712-930X
OpenAlex ID: A5087070796
Coinduction up-to in a fibrational setting
2014 · Filippo Bonchi, Daniela Petrişan, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 40
PDF
A general account of coinduction up-to
2016 · Filippo Bonchi, Daniela Petrişan, et al. · Acta Informatica · 35
PDF
Nominal Kleene Coalgebra
2015 · Dexter Kozen, Konstantinos Mamouras, et al. · Lecture notes in computer science · 28
PDF
Combining probabilistic and non-deterministic choice via weak distributive laws
2020 · Alexandre Goy, Daniela Petrişan · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 27
On universal algebra over nominal sets
2010 · ALEXANDER KURZ, DANIELA PETRIŞAN · Mathematical Structures in Computer Science · 23
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
2013 · Alexander Kurz, Daniela Luan Petrişan, et al. · Logical Methods in Computer Science · 21
PDF
Investigations into Algebra and Topology over Nominal Sets
2012 · Daniela Petrişan · Figshare · 21
PDF
Up-To Techniques for Behavioural Metrics via Fibrations
2018 · Bonchi, Filippo, König, Barbara, et al. · arXiv (Cornell University) · 20
PDF
Presenting functors on many-sorted varieties and applications
2010 · Alexander Kurz, Daniela Petrişan · Information and Computation · 14
PDF
Automata Minimization: a Functorial Approach
2020 · Thomas Colcombet, Daniela Petrişan · Logical Methods in Computer Science · 13
PDF
Relation Liftings on Preorders and Posets
2011 · Marta Bílková, Alexander Kurz, et al. · Lecture notes in computer science · 13
Quantifiers on languages and codensity monads
2017 · Mai Gehrke, Daniela Petrisan, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 12
Relation lifting, with an application to the many-valued cover modality
2013 · Marta Bilkova, Alexander Kurz, et al. · Logical Methods in Computer Science · 12
PDF
Up-to techniques for behavioural metrics via fibrations
2023 · Filippo Bonchi, Barbara König, et al. · Mathematical Structures in Computer Science · 11
PDF
The Schützenberger Product for Syntactic Spaces
2016 · Gehrke, Mai, Petrisan, Daniela, et al. · arXiv (Cornell University) · 11
PDF
Quantifiers on languages and codensity monads
2017 · Mai Gehrke, Daniela Petrişan, et al. · Logic in Computer Science · 9
Lax Bialgebras and Up-To Techniques for Weak Bisimulations
2015 · Bonchi, Filippo, Petrisan, Daniela, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 9
PDF
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
2012 · Alexander Kurz, Daniela Petrişan, et al. · Lecture notes in computer science · 9
Stone Duality for Nominal Boolean Algebras with И
2011 · Murdoch J. Gabbay, Tadeusz Litak, et al. · Lecture notes in computer science · 8
Quantifiers on languages and codensity monads
2020 · Mai Gehrke, Daniela Petrişan, et al. · Mathematical Structures in Computer Science · 6
PDF
Learning Automata and Transducers: A Categorical Approach
2020 · Colcombet, Thomas, Petrişan, Daniela, et al. · arXiv (Cornell University) · 6
PDF
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes
2015 · Gabbay, Murdoch J., Ghica, Dan R., et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 6
PDF
Algebraic Theories over Nominal Sets
2010 · Kurz, Alexander, Petrişan, Daniela, et al. · arXiv (Cornell University) · 6
PDF
A Duality Theorem for Real C * Algebras
2009 · M. Andrew Moshier, Daniela Petrişan · Lecture notes in computer science · 6
Semialgebras and Weak Distributive Laws
2021 · Daniela Petrişan, Ralph Sarkis · Electronic Proceedings in Theoretical Computer Science · 5
PDF
Works count: 61
Citation count: 404
H-index: 12
I10-index: 15
Year
Topic
Type