IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.243
AS - Asia 1.464
EU - Europa 734
SA - Sud America 189
AF - Africa 21
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 1
Totale 5.659
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.206
SG - Singapore 709
CN - Cina 363
HK - Hong Kong 148
BR - Brasile 146
IT - Italia 130
DE - Germania 113
UA - Ucraina 112
VN - Vietnam 95
FR - Francia 76
RU - Federazione Russa 74
IE - Irlanda 49
FI - Finlandia 41
GB - Regno Unito 32
BD - Bangladesh 31
IN - India 29
SE - Svezia 24
CA - Canada 18
TR - Turchia 15
AR - Argentina 14
CZ - Repubblica Ceca 14
ES - Italia 14
NL - Olanda 13
KR - Corea 12
ZA - Sudafrica 11
JP - Giappone 10
MX - Messico 10
PL - Polonia 10
IQ - Iraq 9
VE - Venezuela 9
BE - Belgio 7
EC - Ecuador 7
EU - Europa 7
ID - Indonesia 7
AT - Austria 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
EE - Estonia 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
GA - Gabon 1
HN - Honduras 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
SV - El Salvador 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 5.659
Salva come PNG Salva come JPEG
Città #
Fairfield 335
Ashburn 309
Woodbridge 276
Singapore 275
Houston 214
Beijing 201
Ann Arbor 186
Council Bluffs 178
San Jose 178
Hong Kong 146
Wilmington 139
Dallas 133
Seattle 130
Cambridge 106
Jacksonville 81
Chandler 67
Boardman 65
Dong Ket 60
Dublin 49
Princeton 49
Lauterbourg 47
Los Angeles 46
Udine 33
Redondo Beach 30
Dearborn 29
Ogden 29
San Diego 29
Trieste 25
The Dalles 22
Munich 20
Santa Clara 18
Buffalo 16
Atlanta 15
Brno 14
Norwalk 14
Amsterdam 13
Helsinki 13
New York 13
Washington 13
Hanoi 12
Seoul 12
São Paulo 12
Phoenix 11
Frankfurt am Main 10
Ho Chi Minh City 10
Vicenza 10
Hefei 9
Serra Riccò 9
Düsseldorf 8
Izmir 8
Brussels 7
Chicago 7
Tokyo 7
Warsaw 7
Belo Horizonte 6
London 6
Preganziol 6
Rio de Janeiro 6
Aachen 5
Boydton 5
Brooklyn 5
Caracas 5
Charlotte 5
Chennai 5
Guangzhou 5
Lucé 5
Orem 5
Varese 5
Amman 4
Columbus 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
Dhaka 3
Exeter 3
Grafing 3
Johannesburg 3
Kingston 3
Lahore 3
Las Vegas 3
Maceió 3
Medellín 3
Mexico City 3
Milan 3
Nanjing 3
North Charleston 3
Porto Alegre 3
Santiago 3
Tabriz 3
Tashkent 3
Tianjin 3
Totale 3.936
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 254
Decidability of MSO Theories of Tree Structures 217
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 209
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 186
Time Granularities and Ultimately Periodic Automata 185
A Contraction Method to Decide MSO Theory of Deterministic Trees 185
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 154
Decidability of the interval temporal logic AA*BB* over the rationals 152
Decidability of the interval temporal logic ABB* over the natural numbers 149
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 148
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 139
Bounded repairability for regular tree languages 135
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 133
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 121
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 111
Bounded repairability of word languages 109
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 109
Querying Visible and Invisible Information 108
Regular languages of words over countable linear orderings 102
Equivalence of finite-valued streaming string transducers is decidable 99
Logics with rigidly guarded data tests 98
Regular repair of specifications 96
One-way definability of two-way word transducers 86
The complexity of higher-order queries 83
The cost of traveling between languages 83
Which XML Schemas are Streaming Bounded Repairable? 82
The per-character cost of repairing word languages 79
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 78
The many facets of string transducers 78
Finite-valued Streaming String Transducers 77
Dynamic data structures for timed automata acceptance 76
Finite-valued Streaming String Transducers 75
Walking on Data Words 75
On the decomposition of finite-valued streaming string transducers 75
Resynchronizing classes of word relations 74
Positive higher-order queries 73
Origin-equivalence of two-way word transducers is in PSPACE 72
Which DTDs are streaming bounded repairable? 71
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 70
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 70
Minimizing resources of sweeping and streaming string transducers 70
Walking on data words 69
On the use of guards for logics with data 69
One-way resynchronizability of word transducers 66
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 64
What you must remember when processing data words 63
Dynamic Data Structures for Timed Automata Acceptance 62
One-way definability of sweeping transducers 59
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 56
On synthesis of resynchronizers for transducers 53
Inference from Visible Information and Background Knowledge 52
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 45
Totale 5.975
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.884
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.884
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20262.001 181 156 273 116 264 96 243 47 132 215 180 98
2026/202750 50 0 0 0 0 0 0 0 0 0 0 0
Totale 5.975