Daniela Petrisan

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 38

Top Topics

Probabilistic Automata

Geometric Interpretation

Anchovy Catches

Top Venues

ACM SIGLOG News

Math. Struct. Comput. Sci.

Publications

Filippo Bonchi, Barbara König, Daniela Petrisan
Up-to techniques for behavioural metrics via fibrations. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Daniela Petrisan, Ralph Sarkis
Semialgebras and Weak Distributive Laws. CoRR (2021)
Thomas Colcombet, Daniela Petrisan, Riccardo Stabile
Learning Automata and Transducers: A Categorical Approach. CSL (2021)
Alexandre Goy, Daniela Petrisan, Marc Aiguier
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ICALP (2021)
Alexandre Goy, Daniela Petrisan
Combining probabilistic and non-deterministic choice via weak distributive laws. LICS (2020)
Daniela Petrisan
SIGLOG monthly 206. ACM SIGLOG News 7 (3) (2020)
Thomas Colcombet, Daniela Petrisan
Automata Minimization: a Functorial Approach. Log. Methods Comput. Sci. 16 (1) (2020)
Mai Gehrke, Daniela Petrisan, Luca Reggio
Quantifiers on languages and codensity monads. Math. Struct. Comput. Sci. 30 (10) (2020)
Alexandre Goy, Daniela Petrisan
Combining Weak Distributive Laws: Application to Up-To Techniques. CoRR (2020)
Daniela Petrisan
SIGLOG monthly 207. ACM SIGLOG News 7 (4) (2020)
Daniela Petrisan
SIGLOG monthly 205. ACM SIGLOG News 7 (2) (2020)
Daniela Petrisan
Siglog monthly 204. ACM SIGLOG News 7 (1) (2020)
Thomas Colcombet, Daniela Petrisan, Riccardo Stabile
Learning automata and transducers: a categorical approach. CoRR (2020)
Daniela Petrisan
SIGLOG monthly 203. ACM SIGLOG News 6 (4) (2019)
Daniela Petrisan
SIGLOG monthly 202. ACM SIGLOG News 6 (3) (2019)
Daniela Petrisan
SIGLOG monthly 200. ACM SIGLOG News 5 (3) (2018)
Daniela Petrisan
SIGLOG monthly 199. ACM SIGLOG News 5 (2) (2018)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR (2018)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-To Techniques for Behavioural Metrics via Fibrations. CoRR (2018)
Daniela Petrisan
SIGLOG monthly 198. ACM SIGLOG News 5 (1) (2018)
Daniela Petrisan
SIGLOG monthly 201. ACM SIGLOG News 5 (4) (2018)
Thomas Colcombet, Daniela Petrisan
Automata in the Category of Glued Vector Spaces. CoRR (2017)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
A general account of coinduction up-to. Acta Informatica 54 (2) (2017)
Mai Gehrke, Daniela Petrisan, Luca Reggio
Quantifiers on languages and codensity monads. CoRR (2017)
Mai Gehrke, Daniela Petrisan, Luca Reggio
Quantifiers on languages and codensity monads. LICS (2017)
Daniela Petrisan
Siglog monthly 196. ACM SIGLOG News 4 (4) (2017)
Thomas Colcombet, Daniela Petrisan
Automata in the Category of Glued Vector Spaces. MFCS (2017)
Thomas Colcombet, Daniela Petrisan
Automata Minimization: a Functorial Approach. CoRR (2017)
Daniela Petrisan
SIGLOG monthly 194. ACM SIGLOG News 4 (3) (2017)
Thomas Colcombet, Daniela Petrisan
Automata Minimization: a Functorial Approach. CALCO (2017)
Daniela Petrisan
SIGLOG monthly 189. ACM SIGLOG News 4 (1) (2017)
Thomas Colcombet, Daniela Petrisan
Automata Minimization: a Functorial Approach. CoRR (2017)
Thomas Colcombet, Daniela Petrisan
Automata and minimization. ACM SIGLOG News 4 (2) (2017)
Daniela Petrisan
SIGLOG monthly 191. ACM SIGLOG News 4 (2) (2017)
Daniela Petrisan
SIGLOG monthly 184. ACM SIGLOG News 3 (3) (2016)
Mai Gehrke, Daniela Petrisan, Luca Reggio
The Schützenberger Product for Syntactic Spaces. ICALP (2016)
Mai Gehrke, Daniela Petrisan, Luca Reggio
The Schützenberger product for syntactic spaces. CoRR (2016)
Daniela Petrisan
SIGLOG Monthly 186. ACM SIGLOG News 3 (4) (2016)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR (2015)
Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL (2015)
Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. CALCO (2015)
Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva
Nominal Kleene Coalgebra. ICALP (2) (2015)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Coinduction up-to in a fibrational setting. CSL-LICS (2014)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Coinduction up to in a fibrational setting. CoRR (2014)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Nominal Coalgebraic Data Types with Applications to Lambda Calculus. Log. Methods Comput. Sci. 9 (4) (2013)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. 9 (4) (2013)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets CoRR (2012)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS (2012)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets. CALCO (2011)
Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan
Stone Duality for Nominal Boolean Algebras with И. CALCO (2011)
Alexander Kurz, Daniela Petrisan
Presenting functors on many-sorted varieties and applications. Inf. Comput. 208 (12) (2010)
Alexander Kurz, Daniela Petrisan, Jiri Velebil
Algebraic Theories over Nominal Sets CoRR (2010)
Alexander Kurz, Daniela Petrisan
On universal algebra over nominal sets. Math. Struct. Comput. Sci. 20 (2) (2010)
M. Andrew Moshier, Daniela Petrisan
Algebras. CALCO (2009)
Alexander Kurz, Daniela Petrisan
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. CMCS (2008)