Recerca
El meu treball de recerca se centra en l’estudi algebraic de la teoria d’autòmats i llenguatges formals, objectes fonamentals en les ciències de la computació. Utilitze l’àlgebra universal, l’àlgebra heterogènia i la teoria de categories com a peces clau per al desenvolupament de la meua recerca.
Enviats
1. From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
J. Climent Vidal, E. Cosme Llópez. Preprint, ArXiv, 2024.
First-order rewriting systems. Second-order rewriting systems.
Publicacions
18. Płonka adjunction
J. Climent Vidal, E. Cosme Llópez. Logic Journal of the IGPL, volume 33, issue 2, April 2025.
17. Lallement functor is a weak right multiadjoint
J. Climent Vidal, E. Cosme Llópez. Applied Categorical Structures, volume 33, article number 9, 2025.
16. Functoriality of the Schmidt Construction
J. Climent Vidal, E. Cosme Llópez. Logic Journal of the IGPL 31(5), 822 - 893, 2023.
15. A comic page for the first isomorphism theorem
E. Cosme Llópez, R. Ruiz Mora, N. Tamarit. Journal of Mathematics and the Arts, 16(1-2): 29 - 56, 2022.
Part of The Reza Sarhangi Outstanding Paper Prize and Commended Paper Collection.
14. Congruence-based proofs of the recognizability theorems for free many-sorted algebras
J. Climent Vidal and E. Cosme Llópez. Journal of Logic and Computation, 30(2): 561 - 633, 2020.
13. A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
J. Climent Vidal and E. Cosme Llópez. Quaestiones Mathematicae, 42(10): 1427 - 1444, 2019.
12. Eilenberg theorems for many-sorted formations
J. Climent Vidal and E. Cosme Llópez. Houston Journal of Mathematics, 54(2): 321 - 369, 2019.
11. Some contributions to the theory of transformations monoids
A. Ballester-Bolinches, E. Cosme-Llópez, P. Jiménez-Seral. Journal of Algebra 522: 31 - 60, 2019.
10. When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
J. Climent Vidal and E. Cosme Llópez. Logic Journal of the IGPL 26(4): 381 - 407, 2018.
9. \(\mathsf{K}_{4}\)-free graphs as a free algebra
E. Cosme Llópez and D. Pous. In Proc. MFCS of LIPIcs, 83:76:1 - 76:14, Schloss Dagstuhl, 2017.
8. On subgroup functors of finite soluble groups
A. Ballester-Bolinches, E. Cosme-Llópez and S.F. Kamornikov. Science China Mathematics, 60(3):439 - 448, 2017.
7. Group extensions and graphs
A. Ballester-Bolinches, E. Cosme-Llópez and R. Esteban-Romero. Expositiones Mathematicae, 34(3):327 - 334, 2016.
6. Formations of monoids, congruences, and formal languages
A. Ballester-Bolinches, E. Cosme-Llópez, R. Esteban-Romero, and J. Rutten. Scientific Annals of Computer Science, 25(2): 171–209, 2015.
5. The dual equivalence of equations and coequations for automata
A. Ballester-Bolinches, E. Cosme-Llópez, and J. Rutten, Information and Computation, 244: 49–75, 2015.
4. Regular varieties of automata and coequations
J. Salamanca, A. Ballester-Bolinches, M. Bonsangue, E. Cosme-Llópez, J. J. M. M. Rutten, In Ralf Hinze and Janis Voigtländer, editors, Mathematics of Program Construction, Lecture Notes in Computer Science. Springer International Publishing, 9129: 224–237, 2015.
3. A description based on languages of the final non-deterministic automaton
A. Ballester-Bolinches, E. Cosme-Llópez, and R. Esteban-Romero, Theoretical Computer Science, 536(0): 1–20, 2014.
2. Varieties and covarieties of languages (Extended abstract)
J. Rutten, A. Ballester-Bolinches, and E. Cosme-Llópez, Electronic Notes in Theoretical Computer Science, 298(0): 7–28, 2013.
1. Algorithms for permutability in finite groups
A. Ballester-Bolinches, E. Cosme-Llópez, and R. Esteban-Romero, Central European Journal of Mathematics, 11(11): 1914–1922, 2013.
Treballs acadèmics
2. Some contributions to the algebraic theory of automata
Tesi doctoral. Supervisada per Adolfo Ballester-Bolinches i Jean-Éric Pin.
Departament d’Àlgebra, Universitat de València, 2015.
1. Coalgebras
Treball final de màster. Supervisat per Ramón Jansana.
Universitat de Barcelona, Universitat Politècnica de Catalunya, 2012.