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
https://portal.mardi4nfdi.de/entity/Q5092324	2022-07-21	Paper
On Synthesis of Resynchronizers for Transducers	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
Regular Languages of Words over Countable Linear Orderings	2011-07-07	Paper
The Cost of Traveling between Languages	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

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: Gabriele Puppis