Sergio Abriola

Available identifiers

zbMath Open abriola.sergioMaRDI QIDQ744982

List of research outcomes

Publication	Date of Publication	Type
An epistemic approach to model uncertainty in data-graphs	2023-09-04	Paper
On the Complexity of Finding Set Repairs for Data-Graphs	2023-08-28	Paper
Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)	2022-06-24	Paper
Bisimulations on Data Graphs	2018-03-07	Paper
Axiomatizations for downward XPath on data trees	2017-09-07	Paper
Model theory of XPath on data trees. II: Binary bisimulation and definability	2017-09-04	Paper
Logics of Repeating Values on Data Trees and Branching Counter Systems	2017-05-19	Paper
Linearizing well quasi-orders and bounding the length of bad sequences	2015-10-12	Paper
Definability for Downward and Vertical XPath on Data Trees	2015-01-13	Paper
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders	2012-09-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sergio Abriola