| Iterated covariant powerset is not a monad B Klin, J Salamanca Electronic Notes in Theoretical Computer Science 341, 261-276, 2018 | 41 | 2018 |
| Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras+ Duality J Salamanca arXiv preprint arXiv:1702.02822, 2017 | 11 | 2017 |
| Duality of equations and coequations via contravariant adjunctions J Salamanca, M Bonsangue, J Rot International Workshop on Coalgebraic Methods in Computer Science, 73-93, 2016 | 8 | 2016 |
| Regular varieties of automata and coequations J Salamanca, A Ballester-Bolinches, MM Bonsangue, E Cosme-Llópez, ... International Conference on Mathematics of Program Construction, 224-237, 2015 | 6 | 2015 |
| Equations and coequations for weighted automata J Salamanca, M Bonsangue, J Rutten International Symposium on Mathematical Foundations of Computer Science, 444-456, 2015 | 5 | 2015 |
| An Eilenberg–like Theorem for Algebras on a Monad J Salamanca CWI Technical Report, 2016 | 1 | 2016 |
Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨
