IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.602
AS - Asia 1.241
EU - Europa 621
SA - Sud America 151
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 1
Totale 4.635
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.576
SG - Singapore 635
CN - Cina 300
HK - Hong Kong 137
BR - Brasile 126
UA - Ucraina 112
IT - Italia 111
DE - Germania 101
VN - Vietnam 86
RU - Federazione Russa 71
IE - Irlanda 48
FI - Finlandia 36
FR - Francia 26
SE - Svezia 24
GB - Regno Unito 23
IN - India 19
CZ - Repubblica Ceca 14
CA - Canada 13
KR - Corea 12
NL - Olanda 12
TR - Turchia 10
AR - Argentina 9
ES - Italia 9
PL - Polonia 9
BD - Bangladesh 8
JP - Giappone 8
MX - Messico 8
BE - Belgio 7
EU - Europa 7
EC - Ecuador 6
ZA - Sudafrica 6
AT - Austria 5
IQ - Iraq 4
RO - Romania 4
AE - Emirati Arabi Uniti 3
DK - Danimarca 3
ID - Indonesia 3
IL - Israele 3
IR - Iran 3
KZ - Kazakistan 3
VE - Venezuela 3
CO - Colombia 2
LT - Lituania 2
PH - Filippine 2
PY - Paraguay 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
CL - Cile 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
GA - Gabon 1
JM - Giamaica 1
KG - Kirghizistan 1
LK - Sri Lanka 1
MA - Marocco 1
MD - Moldavia 1
NG - Nigeria 1
PE - Perù 1
PT - Portogallo 1
SA - Arabia Saudita 1
SN - Senegal 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 4.635
Salva come PNG Salva come JPEG
Città #
Fairfield 335
Woodbridge 276
Ashburn 265
Singapore 244
Houston 212
Beijing 200
Ann Arbor 186
Wilmington 138
Hong Kong 137
Seattle 130
Dallas 129
Cambridge 106
Jacksonville 80
Chandler 67
Boardman 60
Dong Ket 60
Princeton 49
Dublin 48
Los Angeles 42
Udine 33
Redondo Beach 30
Dearborn 29
San Diego 29
Ogden 27
Trieste 25
Munich 20
Brno 14
Buffalo 14
Norwalk 14
Amsterdam 12
New York 12
Seoul 12
Washington 12
São Paulo 11
Vicenza 10
Hefei 9
Serra Riccò 9
Düsseldorf 8
Hanoi 8
Helsinki 8
Izmir 8
Phoenix 8
Brussels 7
Ho Chi Minh City 7
Warsaw 7
London 6
Preganziol 6
Aachen 5
Belo Horizonte 5
Frankfurt am Main 5
Guangzhou 5
Lucé 5
Rio de Janeiro 5
Tokyo 5
Varese 5
Charlotte 4
Chicago 4
Guayaquil 4
Nanchang 4
Nuremberg 4
San Francisco 4
Santa Clara 4
Stockholm 4
Aarhus 3
Atlanta 3
Boston 3
Brooklyn 3
Chennai 3
Dhaka 3
Grafing 3
Maceió 3
Montreal 3
Nanjing 3
Porto Alegre 3
Tabriz 3
The Dalles 3
Tianjin 3
Timisoara 3
Toronto 3
Almaty 2
Brasília 2
Calgary 2
Council Bluffs 2
Curitiba 2
Des Moines 2
Durban 2
Edinburgh 2
Elmshorn 2
Fremont 2
Hanatennishi 2
Hangzhou 2
Hyattsville 2
Indiana 2
Jinan 2
Johannesburg 2
Karlsruhe 2
Kensington 2
Kunming 2
Lappeenranta 2
Las Pinas 2
Totale 3.321
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 236
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 192
Decidability of MSO Theories of Tree Structures 189
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 174
Time Granularities and Ultimately Periodic Automata 167
Compact and Tractable Automaton-based Representations for Time Granularities 159
A Contraction Method to Decide MSO Theory of Deterministic Trees 159
On the relationships between theories of time granularity and the monadic second-order theory of one successor 140
Decidability of the interval temporal logic AA*BB* over the rationals 137
On the Equivalence of Automaton-based Representations of Time Granularities 136
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 124
Decidability of the interval temporal logic ABB* over the natural numbers 120
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 118
Bounded repairability for regular tree languages 114
A decidable weakening of compass logic based on cone-shaped cardinal directions 107
Automata vs. logics on data words 105
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 103
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 102
Bounded repairability for regular tree languages 101
Bounded repairability of word languages 92
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 90
Querying Visible and Invisible Information 89
Untwisting two-way transducers in elementary time 87
Regular languages of words over countable linear orderings 85
Logics with rigidly guarded data tests 82
Equivalence of finite-valued streaming string transducers is decidable 82
Regular repair of specifications 76
The cost of traveling between languages 74
The complexity of higher-order queries 73
Positive higher-order queries 68
Which DTDs are streaming bounded repairable? 66
Walking on Data Words 66
Which XML Schemas are Streaming Bounded Repairable? 65
The per-character cost of repairing word languages 63
Dynamic data structures for timed automata acceptance 61
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 60
One-way resynchronizability of word transducers 56
Finite-valued Streaming String Transducers 55
Origin-equivalence of two-way word transducers is in PSPACE 55
One-way definability of two-way word transducers 53
On the use of guards for logics with data 53
Walking on data words 52
Resynchronizing classes of word relations 52
Dynamic Data Structures for Timed Automata Acceptance 51
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 50
On the decomposition of finite-valued streaming string transducers 50
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 50
What you must remember when processing data words 50
Minimizing resources of sweeping and streaming string transducers 48
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 47
The many facets of string transducers 46
On synthesis of resynchronizers for transducers 42
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 41
One-way definability of sweeping transducers 41
Inference from Visible Information and Background Knowledge 40
Finite-valued Streaming String Transducers 34
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 23
Totale 4.951
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.348
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 22.348
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021465 0 0 0 0 0 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/20251.016 73 132 30 26 11 24 84 39 93 49 159 296
2025/20261.027 181 156 273 116 264 37 0 0 0 0 0 0
Totale 4.951