Equations and Coequations for Weighted Automata. - Julian Salamanca; Marcello M. Bonsangue; Jan J. M. M. Rutten (MFCS (1), 2015)

Regular Varieties of Automata and Coequations. - Julian Salamanca; Adolfo Ballester-Bolinches; Marcello M. Bonsangue; Enric Cosme-Llópez; Jan J. M. M. Rutten (MPC, 2015)

Duality of Equations and Coequations via Contravariant Adjunctions. - Julian Salamanca; Marcello M. Bonsangue; Jurriaan Rot (CMCS, 2016)

Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality. - Julian Salamanca (CoRR, 2017)

Iterated Covariant Powerset is not a Monad. - Bartek Klin; Julian Salamanca (MFPS, 2018)

Monadic Monadic Second Order Logic. - Mikolaj Bojanczyk; Bartek Klin; Julian Salamanca (CoRR, 2022)