Proper functors and fixed points for finite behaviour (), submitted ,
Proper functors and their rational fixed point, Proc. th Conference on Algebra and Coalgebra in Computer Science (CALCO'). LIPIcs ,
A new foundation for finitary corecursion and iterative algebras, submitted ,
A new foundation for finitary corecursion: The locally finite fixpoint and its properties, Proc. FoSSaCS ,
Regular behaviours with names: On rational fixpoints of endofunctors on nominal sets, Appl. Categ. Structures ( ,
Finitary corecursion for the infinitary lambda calculus, Proc. CALCO'. LIPIcs ,
Towards a mathematical operational semantics, Proc. Logic in Computer Science (LICS') ,
The Theory of Finitely Generated Commutative Semigroups ,
Generalizing determinization from automata to coalgebras, Log. Methods Comput. Sci ,
URL : https://hal.archives-ouvertes.fr/hal-00909339
Congruences of convex algebras, J. Pure Appl. Algebra ( ,
Proper semirings and proper convex functors. Tech. Rep. /, Institute for Analysis and Scientific Computing-Vienna University of Technology, Theoret. Comput. Sci ,
Finite behaviours and finitary corecursion, Proc. CALCO'. LIPIcs ,