Diego Figueira

Available identifiers

zbMath Open figueira.diegoMaRDI QIDQ905681

List of research outcomes

Publication	Date of Publication	Type
Reasoning on data words over numeric domains	2024-12-06	Paper
Separating automatic relations	2024-12-03	Paper
Approximation and semantic tree-width of conjunctive regular path queries	2024-10-08	Paper
A simple algorithm for consistent query answering under primary keys	2024-10-08	Paper
Foundations of graph path query languages. Course notes for the reasoning web summer school 2021	2023-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5874362	2023-02-07	Paper
Semantic Optimization of Conjunctive Queries	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5091266	2022-07-21	Paper
The Quantifier Alternation Hierarchy of Synchronous Relations	2022-07-21	Paper
Closure properties of synchronized relations	2022-07-18	Paper
Universality Problem for Unambiguous VASS	2022-07-18	Paper
Resynchronizing classes of word relations	2021-07-28	Paper
Relating timed and register automata	2021-02-24	Paper
Playing with repetitions in data words using energy games	2021-01-20	Paper
Playing with repetitions in data words using energy games	2020-07-30	Paper
Polynomial-space completeness of reachability for succinct branching VASS in dimension one	2020-05-27	Paper
Path logics for querying graphs: combining expressiveness and efficiency	2018-04-23	Paper
Semantically Acyclic Conjunctive Queries under Functional Dependencies	2018-04-23	Paper
Pattern logics and auxiliary relations	2018-04-23	Paper
Bisimulations on Data Graphs	2018-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4598262	2017-12-19	Paper
Bottom-up automata on data trees and vertical \(\mathsf{XPath}\)	2017-12-11	Paper
Reasoning about data repetitions with counter systems	2017-07-03	Paper
Logics of repeating values on data trees and branching counter systems	2017-05-19	Paper
Graph Logics with Rational Relations and the Generalized Intersection Problem	2017-05-16	Paper
Relating timed and register automata	2017-04-04	Paper
Synchronizing relations on words	2017-03-03	Paper
Decidable classes of documents for XPath	2017-01-26	Paper
Reasoning about data repetitions with counter systems	2016-09-08	Paper
Synchronizing relations on words	2016-01-28	Paper
Decidability of downward XPath	2015-09-17	Paper
Model theory of XPath on data trees. I: Bisimulation and characterization	2015-08-25	Paper
Graph logics with rational relations	2013-09-06	Paper
Alternating register automata on finite words and trees	2012-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q3113675	2012-01-23	Paper
The expressive power of memory logics	2011-10-21	Paper
Tableaux and model checking for memory logics	2009-12-01	Paper
Future-Looking Logics on Data Words and Trees	2009-10-16	Paper
Expressive Power and Decidability for Memory Logics	2008-07-10	Paper

Research outcomes over time

This page was built for person: Diego Figueira