VLDB 2026 Research / reviewers in the wild / expert
Walter Carballosa
dblp:87/10718
· DBLP profile ↗
3ranked-venue papers
2as first author
2since 2021 · last 2023
0000-0002-2984-5301ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Total k-domination in Cartesian product of complete graphs
Walter Carballosa, Justin Wisby |
Discret. Appl. Math. | 1 |
| 2022 | Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean AlgebrasabstractThrough a friendly user interface it is possible to bring students closer to the proof assistants, so that they can use this type of software as educational tools. In this work CalcLogic is presented, a proof assistant based on Calculational Logic, to assist the teaching of Propositional Logic and Boolean Algebras. Additionally, the results of the educational experience are shown. The collected data shows a group of students for whom the tool has been useful, it also shows a high correlation with the classroom assessments. Federico Flaviani, Walter Carballosa |
CLEI | 2 |
| 2017 | Alliance polynomial of regular graphs
Walter Carballosa, José M. Rodríguez 0001, José María Sigarreta, Yadira Torres-Nuñez |
Discret. Appl. Math. | 1 |