107 citations · 207 across the 14 of their papers we have counts for
4 papers · 1 filter
Separating Automatic Relations
Pablo Barceló, Diego Figueira, Rémi Morvan
We study the separability problem for automatic relations (i.e., relations on finite words definable by synchronous automata) in terms of recognizable relations (i.e., finite union…
Universality Problem for Unambiguous VASS
Wojciech Czerwiński, Diego Figueira, Piotr Hofman
We study languages of unambiguous VASS, that is, Vector Addition Systems with States, whose transitions read letters from a finite alphabet, and whose acceptance condition is defin…
Graph Logics with Rational Relations
Pablo Barcelo, Diego Figueira, Leonid Libkin
We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topol…
Relating timed and register automata
Diego Figueira, Piotr Hofman, Sławomir Lasota
Timed automata and register automata are well-known models of computation over timed and data words respectively. The former has clocks that allow to test the lapse of time between…