IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.938
AS - Asia 1.433
EU - Europa 713
SA - Sud America 185
AF - Africa 21
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 1
Totale 5.298
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.907
SG - Singapore 701
CN - Cina 359
HK - Hong Kong 148
BR - Brasile 144
IT - Italia 115
DE - Germania 113
UA - Ucraina 112
VN - Vietnam 95
FR - Francia 75
RU - Federazione Russa 74
IE - Irlanda 49
FI - Finlandia 41
GB - Regno Unito 32
IN - India 29
SE - Svezia 24
CA - Canada 15
TR - Turchia 15
CZ - Repubblica Ceca 14
AR - Argentina 13
BD - Bangladesh 13
NL - Olanda 13
ES - Italia 12
KR - Corea 12
ZA - Sudafrica 11
JP - Giappone 10
PL - Polonia 10
IQ - Iraq 9
MX - Messico 9
VE - Venezuela 9
BE - Belgio 7
EU - Europa 7
EC - Ecuador 6
ID - Indonesia 6
AT - Austria 5
CO - Colombia 5
RO - Romania 5
JO - Giordania 4
PH - Filippine 4
PK - Pakistan 4
SA - Arabia Saudita 4
AE - Emirati Arabi Uniti 3
DK - Danimarca 3
IL - Israele 3
IR - Iran 3
KZ - Kazakistan 3
PY - Paraguay 3
UZ - Uzbekistan 3
CL - Cile 2
CR - Costa Rica 2
EG - Egitto 2
JM - Giamaica 2
LT - Lituania 2
MA - Marocco 2
NP - Nepal 2
PE - Perù 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
EE - Estonia 1
GA - Gabon 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
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 5.298
Salva come PNG Salva come JPEG
Città #
Fairfield 335
Ashburn 291
Woodbridge 276
Singapore 272
Houston 213
Beijing 200
Ann Arbor 186
Hong Kong 146
Wilmington 138
Dallas 132
Seattle 130
San Jose 118
Cambridge 106
Council Bluffs 81
Jacksonville 80
Chandler 67
Boardman 60
Dong Ket 60
Dublin 49
Princeton 49
Lauterbourg 47
Los Angeles 45
Udine 33
Redondo Beach 30
Dearborn 29
San Diego 29
Ogden 27
Trieste 25
The Dalles 22
Munich 20
Brno 14
Buffalo 14
Norwalk 14
Amsterdam 13
Atlanta 13
Helsinki 13
New York 13
Hanoi 12
Seoul 12
São Paulo 12
Washington 12
Frankfurt am Main 10
Ho Chi Minh City 10
Vicenza 10
Hefei 9
Serra Riccò 9
Düsseldorf 8
Izmir 8
Phoenix 8
Brussels 7
Tokyo 7
Warsaw 7
Belo Horizonte 6
Chicago 6
London 6
Preganziol 6
Rio de Janeiro 6
Aachen 5
Caracas 5
Charlotte 5
Chennai 5
Guangzhou 5
Lucé 5
Orem 5
Santa Clara 5
Varese 5
Amman 4
Des Moines 4
Guayaquil 4
Leipzig 4
Montreal 4
Nanchang 4
Nuremberg 4
San Francisco 4
Stockholm 4
Toronto 4
Aarhus 3
Boston 3
Brasília 3
Brooklyn 3
Dhaka 3
Exeter 3
Grafing 3
Johannesburg 3
Kingston 3
Lahore 3
Maceió 3
Medellín 3
Nanjing 3
North Charleston 3
Porto Alegre 3
Santiago 3
Tabriz 3
Tashkent 3
Tianjin 3
Timisoara 3
Adapazarı 2
Ahmedabad 2
Almaty 2
Baghdad 2
Totale 3.714
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 250
Decidability of MSO Theories of Tree Structures 207
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 204
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 183
Time Granularities and Ultimately Periodic Automata 178
A Contraction Method to Decide MSO Theory of Deterministic Trees 176
Compact and Tractable Automaton-based Representations for Time Granularities 171
On the relationships between theories of time granularity and the monadic second-order theory of one successor 150
On the Equivalence of Automaton-based Representations of Time Granularities 149
Decidability of the interval temporal logic AA*BB* over the rationals 144
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 142
Decidability of the interval temporal logic ABB* over the natural numbers 141
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 135
Bounded repairability for regular tree languages 123
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 120
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 117
A decidable weakening of compass logic based on cone-shaped cardinal directions 114
Automata vs. logics on data words 112
Bounded repairability for regular tree languages 109
Untwisting two-way transducers in elementary time 107
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 104
Querying Visible and Invisible Information 100
Bounded repairability of word languages 98
Regular languages of words over countable linear orderings 96
Logics with rigidly guarded data tests 92
Equivalence of finite-valued streaming string transducers is decidable 92
Regular repair of specifications 91
One-way definability of two-way word transducers 80
The complexity of higher-order queries 80
The cost of traveling between languages 80
Which XML Schemas are Streaming Bounded Repairable? 74
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 73
The per-character cost of repairing word languages 73
Dynamic data structures for timed automata acceptance 73
Walking on Data Words 72
Positive higher-order queries 71
Which DTDs are streaming bounded repairable? 70
The many facets of string transducers 70
Origin-equivalence of two-way word transducers is in PSPACE 68
Finite-valued Streaming String Transducers 66
On the decomposition of finite-valued streaming string transducers 64
On the use of guards for logics with data 64
Resynchronizing classes of word relations 64
One-way resynchronizability of word transducers 63
Walking on data words 63
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 62
Minimizing resources of sweeping and streaming string transducers 62
What you must remember when processing data words 61
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 60
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 58
Dynamic Data Structures for Timed Automata Acceptance 57
One-way definability of sweeping transducers 50
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 49
Inference from Visible Information and Background Knowledge 49
On synthesis of resynchronizers for transducers 48
Finite-valued Streaming String Transducers 47
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 38
Totale 5.614
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.139
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 24.139
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021225 0 0 0 0 0 0 0 0 0 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.690 181 156 273 116 264 96 243 47 132 182 0 0
Totale 5.614