IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.160
AS - Asia 1.442
EU - Europa 721
SA - Sud America 185
AF - Africa 21
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 1
Totale 5.537
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.126
SG - Singapore 707
CN - Cina 362
HK - Hong Kong 148
BR - Brasile 144
IT - Italia 122
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 18
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
AT - Austria 6
EC - Ecuador 6
ID - Indonesia 6
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.537
Salva come PNG Salva come JPEG
Città #
Fairfield 335
Ashburn 292
Woodbridge 276
Singapore 273
Houston 214
Beijing 201
Ann Arbor 186
Council Bluffs 178
San Jose 174
Hong Kong 146
Wilmington 138
Dallas 132
Seattle 130
Cambridge 106
Jacksonville 80
Chandler 67
Boardman 65
Dong Ket 60
Dublin 49
Princeton 49
Lauterbourg 47
Los Angeles 45
Udine 33
Redondo Beach 30
Dearborn 29
San Diego 29
Ogden 28
Trieste 25
The Dalles 22
Munich 20
Atlanta 15
Brno 14
Buffalo 14
Norwalk 14
Amsterdam 13
Helsinki 13
New York 13
Washington 13
Hanoi 12
Seoul 12
São Paulo 12
Frankfurt am Main 10
Ho Chi Minh City 10
Vicenza 10
Hefei 9
Phoenix 9
Serra Riccò 9
Düsseldorf 8
Izmir 8
Brussels 7
Santa Clara 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
Varese 5
Amman 4
Brooklyn 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
Columbus 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
Totale 3.885
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 254
Decidability of MSO Theories of Tree Structures 213
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 208
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 186
A Contraction Method to Decide MSO Theory of Deterministic Trees 185
Time Granularities and Ultimately Periodic Automata 182
Compact and Tractable Automaton-based Representations for Time Granularities 172
On the Equivalence of Automaton-based Representations of Time Granularities 157
On the relationships between theories of time granularity and the monadic second-order theory of one successor 152
Decidability of the interval temporal logic AA*BB* over the rationals 149
Decidability of the interval temporal logic ABB* over the natural numbers 146
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 146
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 139
Bounded repairability for regular tree languages 132
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 131
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 120
A decidable weakening of compass logic based on cone-shaped cardinal directions 116
Automata vs. logics on data words 115
Bounded repairability for regular tree languages 111
Untwisting two-way transducers in elementary time 110
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 109
Bounded repairability of word languages 107
Querying Visible and Invisible Information 103
Regular languages of words over countable linear orderings 102
Logics with rigidly guarded data tests 98
Equivalence of finite-valued streaming string transducers is decidable 96
Regular repair of specifications 94
One-way definability of two-way word transducers 84
The complexity of higher-order queries 82
The cost of traveling between languages 82
The per-character cost of repairing word languages 78
Which XML Schemas are Streaming Bounded Repairable? 78
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 77
Dynamic data structures for timed automata acceptance 76
Walking on Data Words 74
The many facets of string transducers 73
Finite-valued Streaming String Transducers 71
Origin-equivalence of two-way word transducers is in PSPACE 71
Positive higher-order queries 71
Which DTDs are streaming bounded repairable? 70
Resynchronizing classes of word relations 70
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 69
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 68
Walking on data words 68
On the decomposition of finite-valued streaming string transducers 68
On the use of guards for logics with data 68
Minimizing resources of sweeping and streaming string transducers 67
One-way resynchronizability of word transducers 65
What you must remember when processing data words 63
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 62
Dynamic Data Structures for Timed Automata Acceptance 61
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 54
One-way definability of sweeping transducers 53
On synthesis of resynchronizers for transducers 52
Inference from Visible Information and Background Knowledge 51
Finite-valued Streaming String Transducers 51
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 43
Totale 5.853
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.150
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 25.150
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202192 0 0 0 0 0 0 0 0 0 0 0 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.929 181 156 273 116 264 96 243 47 132 215 180 26
Totale 5.853