# Daniela Petrisan

According to our database

^{1}, Daniela Petrisan## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

SIGLOG monthly 189.

SIGLOG News, 2017

Quantifiers on languages and codensity monads.

CoRR, 2017

A general account of coinduction up-to.

Acta Inf., 2017

2016

SIGLOG Monthly 186.

SIGLOG News, 2016

SIGLOG monthly 184.

SIGLOG News, 2016

The Schützenberger product for syntactic spaces.

CoRR, 2016

The Schützenberger Product for Syntactic Spaces.

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

2015

Nominal Kleene Coalgebra.

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

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

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

Lax Bialgebras and Up-To Techniques for Weak Bisimulations.

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

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

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

2014

Coinduction up to in a fibrational setting.

CoRR, 2014

Coinduction up-to in a fibrational setting.

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.

Logical Methods in Computer Science, 2013

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

Logical Methods in Computer Science, 2013

2012

Relation Liftings on Preorders and Posets

CoRR, 2012

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.

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

2011

Stone Duality for Nominal Boolean Algebras with И.

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Relation Liftings on Preorders and Posets.

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

On universal algebra over nominal sets.

Mathematical Structures in Computer Science, 2010

Presenting functors on many-sorted varieties and applications.

Inf. Comput., 2010

Algebraic Theories over Nominal Sets

CoRR, 2010

2009

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

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

Electr. Notes Theor. Comput. Sci., 2008