Gabriele Puppis

Available identifiers

zbMath Open puppis.gabrieleMaRDI QIDQ269343

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6192488	2024-02-12	Paper
Dynamic data structures for timed automata acceptance	2022-10-27	Paper
Origin-equivalence of two-way word transducers is in PSPACE	2022-07-21	Paper
On Synthesis of Resynchronizers for Transducers	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5092324	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5090448	2022-07-18	Paper
Bounded Repairability for Regular Tree Languages	2021-11-25	Paper
One-way resynchronizability of word transducers	2021-10-18	Paper
Resynchronizing Classes of Word Relations	2021-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5144685	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4611380	2019-01-18	Paper
AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS	2018-10-26	Paper
Querying Visible and Invisible Information	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636633	2018-04-19	Paper
Minimizing resources of sweeping and streaming string transducers	2017-12-19	Paper
One-way Definability of Sweeping Transducer.	2017-07-13	Paper
Walking on data words	2017-01-18	Paper
Which XML schemas are streaming bounded repairable?	2016-04-18	Paper
A decidable weakening of Compass Logic based on cone-shaped cardinal directions	2016-01-07	Paper
Logics with rigidly guarded data tests	2015-10-29	Paper
The complexity of higher-order queries	2015-09-28	Paper
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals	2014-10-14	Paper
The per-character cost of repairing word languages	2014-06-06	Paper
Bounded repairability of word languages	2014-01-27	Paper
Walking on Data Words	2013-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q3113783	2012-01-23	Paper
On the Use of Guards for Logics with Data	2011-08-17	Paper
The Cost of Traveling between Languages	2011-07-07	Paper
Regular Languages of Words over Countable Linear Orderings	2011-07-07	Paper
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals	2010-09-07	Paper
Automata vs. Logics on Data Words	2010-09-03	Paper
Theoretical Computer Science	2010-02-23	Paper
Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems	2010-02-09	Paper
On the relationships between theories of time granularity and the monadic second-order theory of one successor	2009-11-30	Paper
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions	2009-11-12	Paper
A theory of ultimately periodic languages and automata with an application to time granularity	2009-10-02	Paper
Compact and tractable automaton-based representations of time granularities	2007-04-13	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper

Research outcomes over time

This page was built for person: Gabriele Puppis