*Automata and minimization.*

Thomas Colcombet, Daniela Petrisan, SIGLOG News 4(2): 4-27 (2017)

[link] [abstract]*A general account of coinduction up-to,*

F. Bonchi, D. Petrisan, D. Pous, J. Rot, Acta Informatica, (2016)

[link] [abstract] [bibtex]*Relation lifting, with an application to the many-valued cover modality,*

M. Bílková, A. Kurz, D. Petrisan, J. Velebil, Logical Methods in Computer Science 9(4), (2013)

[link] [abstract] [bibtex]*Nominal Coalgebraic Data Types with Applications to Lambda Calculus,*

A. Kurz, D. Petrisan, P. Severi, F. de Vries, Logical Methods in Computer Science 9(4), (2013)

[link] [abstract] [bibtex]*On Universal Algebra over Nominal Sets.*

A. Kurz, D. Petrisan, Mathematical Structures in Computer Science, Volume 20 (2): 285-318 (2010).

[link] [abstract] [bibtex]*Presenting Functors on Many-Sorted Varieties and Applications.*

A. Kurz, D. Petrisan, Information and Computation. 208(12): 1421-1446 (2010)

[link] [abstract] [bibtex]

*Automata in the Category of Glued Vector Spaces*

Thomas Colcombet, Daniela Petrisan, MFCS 2017

[link] [abstract]*Automata minimization: a functorial approach*

Thomas Colcombet, Daniela Petrisan, CALCO 2017

[link] [abstract]*Quantifiers on languages and codensity monads,*

Mai Gehrke, Daniela Petrisan, Luca Reggio, . LICS 2017

[link] [abstract] [arxiv long version]*The Schutzenberger Product for Syntactic Spaces. ,*

M. Gehrke, D. Petrisan, L. Reggio, ICALP 2016

[link] [abstract]*Lax Bialgebras and Up-To Techniques for Weak Bisimulations,*

F. Bonchi, D. Petrisan, D. Pous, J. Rot, CONCUR 2015

[abstract]*Nominal techniques for variables with interleaving scopes,*

D. Ghica, M.J. Gabbay, D. Petrisan. CSL 2015-
*Nominal Kleene Coalgebra,*

D. Kozen, K. Mamouras, D. Petrisan, A. Silva, ICALP 2015

[abstract] [long version] -
*Approximation of Nested Fixpoints -- A Coalgebraic View of Parametric Dataypes,*

A. Kurz, A. Pardo, D. Petrisan, P. Severi and F-J. de Vries, CALCO 2015

[abstract] -
*Coinduction up-to in a fibrational setting,*

F. Bonchi, D. Petrisan, D. Pous, J. Rot, CSL-LICS 2014

[link] [arxiv link] [abstract] [bibtex] -
*An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.*

A. Kurz, D. Petrisan, P. Severi, F. de Vries, CMCS 2012.

[link] [abstract] [bibtex] *Stone duality for nominal Boolean algebras with `new'.*

M. Gabbay, T. Litak, D. Petrisan, CALCO 2011.

[link] [abstract] [bibtex]-
*Relation Liftings on Preorders.*

M. Bilkova, A. Kurz, D. Petrisan, J. Velebil, CALCO 2011.

[link] [abstract] [bibtex] *A Duality Theorem for Real C* Algebras.*

A.M. Moshier, D. Petrisan, CALCO 2009.

[link] [abstract] [bibtex]-
*Functorial Coalgebraic Logic: The case of many-sorted varieties.*

A. Kurz, D. Petrisan, CMCS 2008.

[link] [abstract] [bibtex]

*Algebraic Theories over Nominal Sets,*

A. Kurz, D. Petrisan, J. Velebil.

[arxiv link] [abstract]

My PhD thesis *Investigations into Algebra and Topology over
Nominal Sets* is available here.