Daniela Petrisan

62 papers A* 5B 13Journal 39Unranked 4
YearRankTypeTitle / Venue / Authors
2026 B conf
Learning Bottom-Up Tree Automata Valued in Monoidal Categories.
FoSSaCS
Quentin Aristote, Daniela Petrisan
2025 J jnl
Categories for Automata and Language Theory (Dagstuhl Seminar 25141).
Dagstuhl Reports
Achim Blumensath, Mikolaj Bojanczyk, Bartek Klin, Daniela Petrisan
2025 B conf
Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach.
CSL
Samuel Humeau, Daniela Petrisan, Jurriaan Rot
2025 A* conf
Learning Weighted Automata over Number Rings, Concretely and Categorically.
LICS
Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi
2025 J jnl
Learning Weighted Automata over Number Rings, Concretely and Categorically.
CoRR
Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi
2024 J jnl
Correspondences between codensity and coupling-based liftings, a practical approach.
CoRR
Samuel Humeau, Daniela Petrisan, Jurriaan Rot
2023 J jnl
Up-to techniques for behavioural metrics via fibrations.
Math. Struct. Comput. Sci.
Filippo Bonchi, Barbara König, Daniela Petrisan
2021 B conf
Learning Automata and Transducers: A Categorical Approach.
CSL
Thomas Colcombet, Daniela Petrisan, Riccardo Stabile
2021 A* conf
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.
ICALP
Alexandre Goy, Daniela Petrisan, Marc Aiguier
2021 B conf
Semialgebras and Weak Distributive Laws.
MFPS
Daniela Petrisan, Ralph Sarkis
2020 J jnl
Automata Minimization: a Functorial Approach.
Log. Methods Comput. Sci.
Thomas Colcombet, Daniela Petrisan
2020 — ed.
Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
CMCS
Daniela Petrisan, Jurriaan Rot
2020 J jnl
Combining Weak Distributive Laws: Application to Up-To Techniques.
CoRR
Alexandre Goy, Daniela Petrisan
2020 A* conf
Combining probabilistic and non-deterministic choice via weak distributive laws.
LICS
Alexandre Goy, Daniela Petrisan
2020 J jnl
Learning automata and transducers: a categorical approach.
CoRR
Thomas Colcombet, Daniela Petrisan, Riccardo Stabile
2020 J jnl
Quantifiers on languages and codensity monads.
Math. Struct. Comput. Sci.
Mai Gehrke, Daniela Petrisan, Luca Reggio
2020 J jnl
SIGLOG monthly 205.
ACM SIGLOG News
Daniela Petrisan
2020 J jnl
SIGLOG monthly 206.
ACM SIGLOG News
Daniela Petrisan
2020 J jnl
SIGLOG monthly 207.
ACM SIGLOG News
Daniela Petrisan
2020 J jnl
Siglog monthly 204.
ACM SIGLOG News
Daniela Petrisan
2019 J jnl
SIGLOG monthly 202.
ACM SIGLOG News
Daniela Petrisan
2019 J jnl
SIGLOG monthly 203.
ACM SIGLOG News
Daniela Petrisan
2018 J jnl
SIGLOG monthly 198.
ACM SIGLOG News
Daniela Petrisan
2018 J jnl
SIGLOG monthly 199.
ACM SIGLOG News
Daniela Petrisan
2018 J jnl
SIGLOG monthly 200.
ACM SIGLOG News
Daniela Petrisan
2018 J jnl
SIGLOG monthly 201.
ACM SIGLOG News
Daniela Petrisan
2018 B conf
Up-To Techniques for Behavioural Metrics via Fibrations.
CONCUR
Filippo Bonchi, Barbara König, Daniela Petrisan
2018 J jnl
Up-To Techniques for Behavioural Metrics via Fibrations.
CoRR
Filippo Bonchi, Barbara König, Daniela Petrisan
2017 J jnl
A general account of coinduction up-to.
Acta Informatica
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2017 B conf
Automata Minimization: a Functorial Approach.
CALCO
Thomas Colcombet, Daniela Petrisan
2017 J jnl
Automata Minimization: a Functorial Approach.
CoRR
Thomas Colcombet, Daniela Petrisan
2017 J jnl
Automata Minimization: a Functorial Approach.
CoRR
Thomas Colcombet, Daniela Petrisan
2017 J jnl
Automata and minimization.
ACM SIGLOG News
Thomas Colcombet, Daniela Petrisan
2017 B conf
Automata in the Category of Glued Vector Spaces.
MFCS
Thomas Colcombet, Daniela Petrisan
2017 J jnl
Automata in the Category of Glued Vector Spaces.
CoRR
Thomas Colcombet, Daniela Petrisan
2017 A* conf
Quantifiers on languages and codensity monads.
LICS
Mai Gehrke, Daniela Petrisan, Luca Reggio
2017 J jnl
Quantifiers on languages and codensity monads.
CoRR
Mai Gehrke, Daniela Petrisan, Luca Reggio
2017 J jnl
SIGLOG monthly 189.
ACM SIGLOG News
Daniela Petrisan
2017 J jnl
SIGLOG monthly 191.
ACM SIGLOG News
Daniela Petrisan
2017 J jnl
SIGLOG monthly 194.
ACM SIGLOG News
Daniela Petrisan
2017 J jnl
Siglog monthly 196.
ACM SIGLOG News
Daniela Petrisan
2016 J jnl
SIGLOG Monthly 186.
ACM SIGLOG News
Daniela Petrisan
2016 J jnl
SIGLOG monthly 184.
ACM SIGLOG News
Daniela Petrisan
2016 A* conf
The Schützenberger Product for Syntactic Spaces.
ICALP
Mai Gehrke, Daniela Petrisan, Luca Reggio
2016 J jnl
The Schützenberger product for syntactic spaces.
CoRR
Mai Gehrke, Daniela Petrisan, Luca Reggio
2015 B conf
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.
CALCO
Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
2015 B conf
Lax Bialgebras and Up-To Techniques for Weak Bisimulations.
CONCUR
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2015 B conf
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes.
CSL
Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan
2015 — conf
Nominal Kleene Coalgebra.
ICALP (2)
Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva
2014 J jnl
Coinduction up to in a fibrational setting.
CoRR
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2014 — conf
Coinduction up-to in a fibrational setting.
CSL-LICS
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2013 J jnl
Nominal Coalgebraic Data Types with Applications to Lambda Calculus.
Log. Methods Comput. Sci.
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
2013 J jnl
Relation lifting, with an application to the many-valued cover modality.
Log. Methods Comput. Sci.
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil
2012 — conf
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.
CMCS
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
2012 J jnl
Relation Liftings on Preorders and Posets
CoRR
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil
2011 B conf
Relation Liftings on Preorders and Posets.
CALCO
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil
2011 B conf
Stone Duality for Nominal Boolean Algebras with И.
CALCO
Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan
2010 J jnl
Algebraic Theories over Nominal Sets
CoRR
Alexander Kurz, Daniela Petrisan, Jirí Velebil
2010 J jnl
On universal algebra over nominal sets.
Math. Struct. Comput. Sci.
Alexander Kurz, Daniela Petrisan
2010 J jnl
Presenting functors on many-sorted varieties and applications.
Inf. Comput.
Alexander Kurz, Daniela Petrisan
2009 B conf
A Duality Theorem for Real
CALCO
M. Andrew Moshier, Daniela Petrisan
2008 — conf
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.
CMCS
Alexander Kurz, Daniela Petrisan