IRIS

PUPPIS, Gabriele

PUPPIS, Gabriele  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 53 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
A Contraction Method to Decide MSO Theory of Deterministic Trees 1-gen-2007 Montanari, Angelo; Puppis, Gabriele
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 1-gen-2009 Montanari, Angelo; Puppis, G.; Sala, Pietro
A decidable weakening of compass logic based on cone-shaped cardinal directions 1-gen-2015 Montanari, A.; Puppis, G.; Sala, P.
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 1-gen-2009 Bresolin, D; Montanari, Angelo; Puppis, G.
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 1-gen-2018 Carton, O.; Colcombet, T.; Puppis, G.
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 1-gen-2010 Puppis, G.
Automata vs. logics on data words 1-gen-2010 Benedikt, M.; Ley, C.; Puppis, G.
Bounded repairability for regular tree languages 1-gen-2016 Bourhis, P.; Puppis, G.; Riveros, C.; Staworko, S.
Bounded repairability for regular tree languages 1-gen-2012 Puppis, G.; Riveros, C.; Staworko, S.
Bounded repairability of word languages 1-gen-2013 Benedikt, M.; Puppis, G.; Riveros, C.
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 1-gen-2022 Marrone, Paolo; D’Angelo, Stefano; Fontana, Federico; Costagliola, Gennaro; Puppis, Gabriele
Compact and Tractable Automaton-based Representations for Time Granularities 1-gen-2007 DAL LAGO, U; Montanari, Angelo; Puppis, Gabriele
Decidability of MSO Theories of Tree Structures 1-gen-2004 Montanari, Angelo; Puppis, Gabriele
Decidability of the interval temporal logic AA*BB* over the rationals 1-gen-2014 Montanari, Angelo; Puppis, G; Sala, P.
Decidability of the interval temporal logic ABB* over the natural numbers 1-gen-2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, G.
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 1-gen-2004 Montanari, Angelo; Puppis, G.
Decidability of the theory of the totally unbounded ω-layered structure 1-gen-2004 Montanari, A.; Puppis, G.
Dynamic Data Structures for Timed Automata Acceptance 1-gen-2022 Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C.
Dynamic data structures for timed automata acceptance 1-gen-2021 Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C.
Equivalence of finite-valued streaming string transducers is decidable 1-gen-2019 Muscholl, A.; Puppis, G.