Daniela Petrisan

According to our database, Daniela Petrisan authored at least 43 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Up-to techniques for behavioural metrics via fibrations.

Filippo Bonchi, Barbara König, Daniela Petrisan

Math. Struct. Comput. Sci., 2023

2021

Semialgebras and Weak Distributive Laws.

Daniela Petrisan, Ralph Sarkis

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.

Alexandre Goy, Daniela Petrisan, Marc Aiguier

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Learning Automata and Transducers: A Categorical Approach.

Thomas Colcombet, Daniela Petrisan, Riccardo Stabile

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

SIGLOG monthly 207.

Daniela Petrisan

ACM SIGLOG News, 2020

SIGLOG monthly 206.

Daniela Petrisan

ACM SIGLOG News, 2020

SIGLOG monthly 205.

Daniela Petrisan

ACM SIGLOG News, 2020

Siglog monthly 204.

Daniela Petrisan

ACM SIGLOG News, 2020

Quantifiers on languages and codensity monads.

Mai Gehrke, Daniela Petrisan, Luca Reggio

Math. Struct. Comput. Sci., 2020

Automata Minimization: a Functorial Approach.

Thomas Colcombet, Daniela Petrisan

Log. Methods Comput. Sci., 2020

Combining Weak Distributive Laws: Application to Up-To Techniques.

Alexandre Goy, Daniela Petrisan

CoRR, 2020

Combining probabilistic and non-deterministic choice via weak distributive laws.

Alexandre Goy, Daniela Petrisan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

SIGLOG monthly 203.

Daniela Petrisan

ACM SIGLOG News, 2019

SIGLOG monthly 202.

Daniela Petrisan

ACM SIGLOG News, 2019

2018

SIGLOG monthly 201.

Daniela Petrisan

ACM SIGLOG News, 2018

SIGLOG monthly 200.

Daniela Petrisan

ACM SIGLOG News, 2018

SIGLOG monthly 199.

Daniela Petrisan

ACM SIGLOG News, 2018

SIGLOG monthly 198.

Daniela Petrisan

ACM SIGLOG News, 2018

2017

Siglog monthly 196.

Daniela Petrisan

ACM SIGLOG News, 2017

SIGLOG monthly 194.

Daniela Petrisan

ACM SIGLOG News, 2017

SIGLOG monthly 191.

Daniela Petrisan

ACM SIGLOG News, 2017

SIGLOG monthly 189.

Daniela Petrisan

ACM SIGLOG News, 2017

Automata and minimization.

Thomas Colcombet, Daniela Petrisan

ACM SIGLOG News, 2017

A general account of coinduction up-to.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Acta Informatica, 2017

Automata in the Category of Glued Vector Spaces.

Thomas Colcombet, Daniela Petrisan

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

SIGLOG Monthly 186.

Daniela Petrisan

ACM SIGLOG News, 2016

SIGLOG monthly 184.

Daniela Petrisan

ACM SIGLOG News, 2016

The Schützenberger Product for Syntactic Spaces.

Mai Gehrke, Daniela Petrisan, Luca Reggio

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

Nominal Kleene Coalgebra.

Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes.

Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Lax Bialgebras and Up-To Techniques for Weak Bisimulations.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.

Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Coinduction up-to in a fibrational setting.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Nominal Coalgebraic Data Types with Applications to Lambda Calculus.

Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Log. Methods Comput. Sci., 2013

Relation lifting, with an application to the many-valued cover modality.

Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil

Log. Methods Comput. Sci., 2013

2012

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.

Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

Stone Duality for Nominal Boolean Algebras with И.

Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Relation Liftings on Preorders and Posets.

Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

On universal algebra over nominal sets.

Alexander Kurz, Daniela Petrisan

Math. Struct. Comput. Sci., 2010

Presenting functors on many-sorted varieties and applications.

Alexander Kurz, Daniela Petrisan

Inf. Comput., 2010

Algebraic Theories over Nominal Sets

Alexander Kurz, Daniela Petrisan, Jirí Velebil

CoRR, 2010

2009

A Duality Theorem for Real <i>C</i>^* Algebras.

M. Andrew Moshier, Daniela Petrisan

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.

Alexander Kurz, Daniela Petrisan

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008