IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.595
AS - Asia 1.479
EU - Europa 843
Continente sconosciuto - Info sul continente non disponibili 335
SA - Sud America 192
AF - Africa 23
OC - Oceania 1
Totale 6.468
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.514
SG - Singapore 712
CN - Cina 366
IT - Italia 216
HK - Hong Kong 150
BR - Brasile 148
DE - Germania 128
UA - Ucraina 112
VN - Vietnam 96
FR - Francia 76
RU - Federazione Russa 74
IE - Irlanda 49
FI - Finlandia 41
GB - Regno Unito 37
CA - Canada 35
BD - Bangladesh 31
IN - India 30
SE - Svezia 24
ES - Italia 15
TR - Turchia 15
AR - Argentina 14
CZ - Repubblica Ceca 14
NL - Olanda 13
JP - Giappone 12
KR - Corea 12
ZA - Sudafrica 11
MX - Messico 10
PL - Polonia 10
CR - Costa Rica 9
ID - Indonesia 9
IQ - Iraq 9
VE - Venezuela 9
EC - Ecuador 8
BE - Belgio 7
EU - Europa 7
AT - Austria 6
CO - Colombia 5
PK - Pakistan 5
RO - Romania 5
HN - Honduras 4
JO - Giordania 4
LT - Lituania 4
PH - Filippine 4
SA - Arabia Saudita 4
SV - El Salvador 4
TT - Trinidad e Tobago 4
AE - Emirati Arabi Uniti 3
CW - ???statistics.table.value.countryCode.CW??? 3
DK - Danimarca 3
GT - Guatemala 3
IL - Israele 3
IR - Iran 3
JM - Giamaica 3
KZ - Kazakistan 3
MA - Marocco 3
NI - Nicaragua 3
PY - Paraguay 3
UZ - Uzbekistan 3
CL - Cile 2
EE - Estonia 2
EG - Egitto 2
GA - Gabon 2
NP - Nepal 2
PE - Perù 2
PR - Porto Rico 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
BY - Bielorussia 1
CG - Congo 1
CH - Svizzera 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GP - Guadalupe 1
HU - Ungheria 1
KG - Kirghizistan 1
LK - Sri Lanka 1
MD - Moldavia 1
NG - Nigeria 1
PT - Portogallo 1
RS - Serbia 1
SN - Senegal 1
TN - Tunisia 1
UY - Uruguay 1
VC - Saint Vincent e Grenadine 1
Totale 6.143
Salva come PNG Salva come JPEG
Città #
Ashburn 343
Fairfield 335
Singapore 277
Woodbridge 276
San Jose 242
Council Bluffs 220
Houston 214
Beijing 202
Ann Arbor 186
Hong Kong 148
Wilmington 139
Dallas 134
Seattle 130
Cambridge 106
Jacksonville 81
Chandler 67
Boardman 65
Dong Ket 60
Staranzano 54
Princeton 50
Dublin 49
Los Angeles 48
Lauterbourg 47
Udine 33
Redondo Beach 30
San Diego 30
Dearborn 29
Ogden 29
Trieste 26
Santa Clara 25
Frankfurt am Main 23
The Dalles 22
Munich 20
Buffalo 18
Atlanta 16
New York 16
Norwalk 15
Phoenix 15
Brno 14
Amsterdam 13
Hanoi 13
Helsinki 13
Washington 13
Seoul 12
Springfield 12
São Paulo 12
Chicago 10
Ho Chi Minh City 10
Vicenza 10
Hefei 9
Rome 9
Serra Riccò 9
Düsseldorf 8
Izmir 8
San José 8
Tokyo 8
Brussels 7
Warsaw 7
Belo Horizonte 6
Denver 6
London 6
Montreal 6
North Bergen 6
Preganziol 6
Rio de Janeiro 6
Aachen 5
Boydton 5
Brooklyn 5
Caracas 5
Charlotte 5
Chennai 5
Columbus 5
Guangzhou 5
Lucé 5
Orem 5
Toronto 5
Varese 5
Amman 4
Des Moines 4
Guayaquil 4
Kingston 4
Leipzig 4
Milan 4
Nanchang 4
Naples 4
Nuremberg 4
Ottawa 4
San Francisco 4
San Salvador 4
Stockholm 4
Aarhus 3
Boston 3
Brasília 3
Calgary 3
Dhaka 3
Exeter 3
Grafing 3
Johannesburg 3
Lahore 3
Las Vegas 3
Totale 4.209
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 262
Decidability of MSO Theories of Tree Structures 234
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 215
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 193
A Contraction Method to Decide MSO Theory of Deterministic Trees 192
Time Granularities and Ultimately Periodic Automata 191
Compact and Tractable Automaton-based Representations for Time Granularities 182
On the Equivalence of Automaton-based Representations of Time Granularities 168
Decidability of the interval temporal logic ABB* over the natural numbers 163
On the relationships between theories of time granularity and the monadic second-order theory of one successor 162
Decidability of the interval temporal logic AA*BB* over the rationals 160
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 153
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 151
Bounded repairability for regular tree languages 144
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 143
Querying Visible and Invisible Information 138
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 128
A decidable weakening of compass logic based on cone-shaped cardinal directions 125
Automata vs. logics on data words 122
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 120
Bounded repairability for regular tree languages 118
Untwisting two-way transducers in elementary time 118
Bounded repairability of word languages 114
Regular languages of words over countable linear orderings 109
Equivalence of finite-valued streaming string transducers is decidable 105
Logics with rigidly guarded data tests 104
Regular repair of specifications 102
One-way definability of two-way word transducers 92
The many facets of string transducers 92
Which XML Schemas are Streaming Bounded Repairable? 90
The cost of traveling between languages 90
The complexity of higher-order queries 88
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 87
Finite-valued Streaming String Transducers 85
Finite-valued Streaming String Transducers 84
The per-character cost of repairing word languages 84
Dynamic data structures for timed automata acceptance 83
Resynchronizing classes of word relations 81
Walking on Data Words 80
On the decomposition of finite-valued streaming string transducers 80
Positive higher-order queries 80
Walking on data words 79
Origin-equivalence of two-way word transducers is in PSPACE 78
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 77
Which DTDs are streaming bounded repairable? 77
Minimizing resources of sweeping and streaming string transducers 77
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 75
On the use of guards for logics with data 74
One-way resynchronizability of word transducers 72
What you must remember when processing data words 70
Dynamic Data Structures for Timed Automata Acceptance 69
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 69
One-way definability of sweeping transducers 68
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 66
Inference from Visible Information and Background Knowledge 60
On synthesis of resynchronizers for transducers 55
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 52
Minimization of Streaming Transducers 13
Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming (ICALP'25) 13
Deciding the Common Fragment of CTL with past and LTL 12
Totale 6.468
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.090
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 28.090
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022307 0 0 0 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/20262.001 181 156 273 116 264 96 243 47 132 215 180 98
2026/2027543 61 93 244 145 0 0 0 0 0 0 0 0
Totale 6.468