# Daniela Petrisan

According to our database

Collaborative distances:

^{1}, Daniela Petrisan authored at least 31 papers between 2008 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

SIGLOG monthly 201.

SIGLOG News, 2018

SIGLOG monthly 200.

SIGLOG News, 2018

SIGLOG monthly 199.

SIGLOG News, 2018

SIGLOG monthly 198.

SIGLOG News, 2018

Up-To Techniques for Behavioural Metrics via Fibrations.

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Siglog monthly 196.

SIGLOG News, 2017

SIGLOG monthly 194.

SIGLOG News, 2017

SIGLOG monthly 191.

SIGLOG News, 2017

SIGLOG monthly 189.

SIGLOG News, 2017

Automata and minimization.

SIGLOG News, 2017

A general account of coinduction up-to.

Acta Inf., 2017

Automata in the Category of Glued Vector Spaces.

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

Quantifiers on languages and codensity monads.

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Automata Minimization: a Functorial Approach.

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

SIGLOG Monthly 186.

SIGLOG News, 2016

SIGLOG monthly 184.

SIGLOG News, 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.

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

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

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