IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.161
EU - Europa 449
AS - Asia 280
Continente sconosciuto - Info sul continente non disponibili 7
AF - Africa 1
Totale 2.898
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.156
UA - Ucraina 112
CN - Cina 106
IT - Italia 103
SG - Singapore 86
DE - Germania 62
VN - Vietnam 60
IE - Irlanda 48
FI - Finlandia 34
SE - Svezia 20
RU - Federazione Russa 18
CZ - Repubblica Ceca 14
FR - Francia 13
GB - Regno Unito 11
IN - India 9
TR - Turchia 8
BE - Belgio 7
EU - Europa 7
CA - Canada 5
JP - Giappone 5
IL - Israele 3
RO - Romania 3
LT - Lituania 2
PH - Filippine 2
EE - Estonia 1
LK - Sri Lanka 1
NG - Nigeria 1
NL - Olanda 1
Totale 2.898
Salva come PNG Salva come JPEG
Città #
Fairfield 335
Woodbridge 276
Houston 212
Ann Arbor 186
Ashburn 173
Wilmington 138
Seattle 127
Cambridge 106
Jacksonville 80
Singapore 79
Beijing 67
Chandler 67
Boardman 60
Dong Ket 60
Princeton 49
Dublin 48
Dearborn 29
San Diego 29
Udine 29
Ogden 27
Trieste 25
Brno 14
Norwalk 14
Los Angeles 12
Washington 12
Vicenza 10
Serra Riccò 9
Helsinki 8
Izmir 8
Brussels 7
Munich 7
Preganziol 6
Guangzhou 5
Phoenix 5
Varese 5
Nanchang 4
Grafing 3
Nanjing 3
Santa Clara 3
Timisoara 3
Council Bluffs 2
Des Moines 2
Elmshorn 2
Frankfurt am Main 2
Fremont 2
Hanatennishi 2
Hefei 2
Indiana 2
Jinan 2
Karlsruhe 2
Kensington 2
Kunming 2
Las Pinas 2
Montreal 2
New York 2
Ningbo 2
Ottawa 2
Saarbrücken 2
Scorzè 2
Shaoxing 2
South Burlington 2
Tokyo 2
Amsterdam 1
Asti 1
Azzano Decimo 1
Bellevue 1
Bonn 1
Como 1
Dallas 1
Darmstadt 1
Jiaxing 1
Lanzhou 1
Laojunmiao 1
Las Vegas 1
Mainz 1
Maradankadawalagama 1
Minamishinagawa 1
Monmouth Junction 1
Nanning 1
Naples 1
Nice 1
Oakland 1
Pasian di Prato 1
Pessione 1
Porcia 1
Qingdao 1
Redwood City 1
Rodgau 1
Saint Petersburg 1
San Francisco 1
Shanghai 1
Shenyang 1
Simi Valley 1
Tallinn 1
Toronto 1
West Chester 1
Wiesbaden 1
Zaria 1
Zhangzhou 1
Šiauliai 1
Totale 2.422
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 192
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 162
Decidability of MSO Theories of Tree Structures 143
Time Granularities and Ultimately Periodic Automata 139
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 134
Compact and Tractable Automaton-based Representations for Time Granularities 126
A Contraction Method to Decide MSO Theory of Deterministic Trees 114
On the relationships between theories of time granularity and the monadic second-order theory of one successor 105
On the Equivalence of Automaton-based Representations of Time Granularities 104
Decidability of the interval temporal logic AA*BB* over the rationals 103
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 101
Decidability of the interval temporal logic ABB* over the natural numbers 88
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 74
Bounded repairability for regular tree languages 72
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 71
A decidable weakening of compass logic based on cone-shaped cardinal directions 71
Bounded repairability for regular tree languages 70
Automata vs. logics on data words 68
Querying Visible and Invisible Information 62
Bounded repairability of word languages 60
Logics with rigidly guarded data tests 58
Regular languages of words over countable linear orderings 54
Untwisting two-way transducers in elementary time 54
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 54
The cost of traveling between languages 53
Regular repair of specifications 51
The complexity of higher-order queries 50
Positive higher-order queries 46
Which XML Schemas are Streaming Bounded Repairable? 46
The per-character cost of repairing word languages 45
Equivalence of finite-valued streaming string transducers is decidable 44
Which DTDs are streaming bounded repairable? 43
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 40
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 36
Walking on Data Words 36
On the use of guards for logics with data 32
Dynamic data structures for timed automata acceptance 31
Origin-equivalence of two-way word transducers is in PSPACE 30
One-way definability of two-way word transducers 30
On the decomposition of finite-valued streaming string transducers 29
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 26
What you must remember when processing data words 26
Minimizing resources of sweeping and streaming string transducers 25
The many facets of string transducers 25
Walking on data words 24
Resynchronizing classes of word relations 24
On synthesis of resynchronizers for transducers 21
One-way definability of sweeping transducers 20
One-way resynchronizability of word transducers 19
Dynamic Data Structures for Timed Automata Acceptance 15
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 14
Inference from Visible Information and Background Knowledge 14
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 13
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 11
Finite-valued Streaming String Transducers 6
Totale 3.204
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.167
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.167
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020751 0 0 0 0 0 52 185 182 167 86 25 54
2020/2021652 12 62 16 69 28 46 47 61 86 79 54 92
2021/2022401 37 50 7 9 2 21 34 16 6 74 94 51
2022/2023212 52 20 19 14 8 70 1 9 11 5 3 0
2023/2024205 8 3 19 2 34 43 1 8 32 19 6 30
2024/2025296 73 132 30 26 11 24 0 0 0 0 0 0
Totale 3.204