Diego Figueira

Available identifiers

zbMath Open figueira.diegoMaRDI QIDQ905681

List of research outcomes

Publication	Date of Publication	Type
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
Universality Problem for Unambiguous VASS	2022-07-18	Paper
Closure properties of synchronized relations	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
Pattern logics and auxiliary relations	2018-04-23	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
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

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: Diego Figueira