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
https://portal.mardi4nfdi.de/entity/Q4963999	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
https://portal.mardi4nfdi.de/entity/Q4596782	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
https://portal.mardi4nfdi.de/entity/Q2957484	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. Part 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