Concepedia

Sergio Abriola

SA

3

Publications

39

Citations

3

H-Index

2015

Active since

Affiliations

Consejo Nacional de Investigaciones Científicas y Técnicas(Current)

Universidad de Buenos Aires

Sergio Abriola is an author at Consejo Nacional de Investigaciones Científicas y Técnicas specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

2015–2018

3

Publications

3

Bisimulations on Data Graphs

Sergio Abriola, Pablo Barceló, Diego Figueira et al. · Journal of Artificial Intelligence Research · 2018 · 15 citations · Full text

, , +20

Model theory of XPath on data trees. Part II: Binary bisimulation and definability

Sergio Abriola, María Emilia Descotte, Santiago Figueira · Information and Computation · 2017 · 14 citations

, , +14

Linearizing well quasi-orders and bounding the length of bad sequences

Sergio Abriola, Santiago Figueira, Gabriel Senno · Theoretical Computer Science · 2015 · 10 citations

, , +2

Rows per page

1–3 of 3