Daniela Petrisan

According to our database1, Daniela Petrisan
  • authored at least 28 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Quantifiers on languages and codensity monads.
CoRR, 2017

A general account of coinduction up-to.
Acta Inf., 2017

Quantifiers on languages and codensity monads.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 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
A Duality Theorem for Real C* Algebras.
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


  Loading...