EDBT 2026 Demo / reviewers in the wild / expert
José Gil-Férez
dblp:07/3874
· DBLP profile ↗
6ranked-venue papers
3as first author
3since 2021 · last 2024
0000-0002-3086-6070ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 3 first-author · 3 since 2021Artificial intelligence and machine learning · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | On the Structure of Balanced Residuated Partially Ordered Monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto |
RAMiCS | 2 |
| 2024 | Locally Integral Involutive PO-SemigroupsabstractWe show that every locally integral involutive partially ordered semigroup (ipo-semigroup) $\mathbf A = (A,\le, \cdot, \sim,-)$, and in particular every locally integral involutive semiring, decomposes in a unique way into a family $\{\mathbf A_p : p\in A^+\}$ of integral ipo-monoids, which we call its integral components. In the semiring case, the integral components are unital semirings. Moreover, we show that there is a family of monoid homomorphisms $Φ= \{φ_{pq}: \mathbf A_p\to \mathbf A_q : p\le q\}$, indexed over the positive cone $(A^+,\le)$, so that the structure of $\mathbf A$ can be recovered as a glueing $\int_Φ\mathbf A_p$ of its integral components along $Φ$. Reciprocally, we give necessary and sufficient conditions so that the Płonka sum of any family of integral ipo-monoids $\{\mathbf A_p : p\in D\}$, indexed over a join-semilattice $(D,\lor)$ along a family of monoid homomorphisms $Φ$ is an ipo-semigroup. José Gil-Férez, Peter Jipsen, Melissa Sugimoto |
Fundam. Informaticae | 1 |
| 2023 | The Structure of Locally Integral Involutive Po-monoids and Semirings
José Gil-Férez, Peter Jipsen, Siddhartha Lodhia |
RAMiCS | 1 |
| 2020 | Join-completions of partially ordered algebras
José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou |
Ann. Pure Appl. Log. | 1 |
| 2015 | On some properties of directoids
Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli |
Soft Comput. | 2 |
| 2014 | Leibniz interpolation properties
Leonardo Manuel Cabrer, José Gil-Férez |
Ann. Pure Appl. Log. | 2 |