Sergio Abriola

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A note on busy beaver bounds Theoretical Computer Science	2025-11-21	Paper
Axiomatization of XPath with general data comparison Journal of Applied Non-Classical Logics	2025-08-29	Paper
An epistemic approach to model uncertainty in data-graphs International Journal of Approximate Reasoning	2023-09-04	Paper
On the Complexity of Finding Set Repairs for Data-Graphs Journal of Artificial Intelligence Research	2023-08-28	Paper
Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)	2022-06-24	Paper
Bisimulations on Data Graphs Journal of Artificial Intelligence Research	2018-03-07	Paper
Axiomatizations for downward XPath on data trees Journal of Computer and System Sciences	2017-09-07	Paper
Model theory of XPath on data trees. II: Binary bisimulation and definability Information and Computation	2017-09-04	Paper
Logics of repeating values on data trees and branching counter systems Lecture Notes in Computer Science	2017-05-19	Paper
Linearizing well quasi-orders and bounding the length of bad sequences Theoretical Computer Science	2015-10-12	Paper
Definability for downward and vertical XPath on data trees Logic, Language, Information, and Computation	2015-01-13	Paper
Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders Logic, Language, Information and Computation	2012-09-21	Paper

Research outcomes over time

This page was built for person: Sergio Abriola