IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.380
AS - Asia 1.476
EU - Europa 743
Continente sconosciuto - Info sul continente non disponibili 332
SA - Sud America 191
AF - Africa 22
OC - Oceania 1
Totale 6.145
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.336
SG - Singapore 712
CN - Cina 366
HK - Hong Kong 150
BR - Brasile 147
IT - Italia 137
DE - Germania 113
UA - Ucraina 112
VN - Vietnam 96
FR - Francia 76
RU - Federazione Russa 74
IE - Irlanda 49
FI - Finlandia 41
GB - Regno Unito 33
BD - Bangladesh 31
IN - India 30
SE - Svezia 24
CA - Canada 23
ES - Italia 15
TR - Turchia 15
AR - Argentina 14
CZ - Repubblica Ceca 14
NL - Olanda 13
KR - Corea 12
ZA - Sudafrica 11
JP - Giappone 10
MX - Messico 10
PL - Polonia 10
ID - Indonesia 9
IQ - Iraq 9
VE - Venezuela 9
EC - Ecuador 8
BE - Belgio 7
EU - Europa 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
JM - Giamaica 3
KZ - Kazakistan 3
MA - Marocco 3
PY - Paraguay 3
UZ - Uzbekistan 3
CL - Cile 2
CR - Costa Rica 2
EE - Estonia 2
EG - Egitto 2
HN - Honduras 2
LT - Lituania 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
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.820
Salva come PNG Salva come JPEG
Città #
Fairfield 335
Ashburn 334
Singapore 277
Woodbridge 276
Council Bluffs 219
Houston 214
Beijing 202
San Jose 190
Ann Arbor 186
Hong Kong 148
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 26
The Dalles 22
Santa Clara 21
Munich 20
Atlanta 16
Buffalo 16
Brno 14
Norwalk 14
Amsterdam 13
Hanoi 13
Helsinki 13
New York 13
Washington 13
Phoenix 12
Seoul 12
São Paulo 12
Frankfurt am Main 10
Ho Chi Minh City 10
Springfield 10
Vicenza 10
Hefei 9
Serra Riccò 9
Chicago 8
Düsseldorf 8
Izmir 8
Brussels 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
Kingston 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
Lahore 3
Las Vegas 3
Maceió 3
Medellín 3
Mexico City 3
Milan 3
Nanjing 3
North Charleston 3
Porto Alegre 3
Rome 3
Santiago 3
Tabriz 3
Totale 4.035
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 257
Decidability of MSO Theories of Tree Structures 220
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 210
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 188
A Contraction Method to Decide MSO Theory of Deterministic Trees 187
Time Granularities and Ultimately Periodic Automata 186
Compact and Tractable Automaton-based Representations for Time Granularities 173
On the Equivalence of Automaton-based Representations of Time Granularities 162
Decidability of the interval temporal logic ABB* over the natural numbers 157
Decidability of the interval temporal logic AA*BB* over the rationals 156
On the relationships between theories of time granularity and the monadic second-order theory of one successor 156
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 149
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 144
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 138
Bounded repairability for regular tree languages 137
Querying Visible and Invisible Information 128
A decidable weakening of compass logic based on cone-shaped cardinal directions 122
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 122
Automata vs. logics on data words 118
Bounded repairability for regular tree languages 113
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 113
Untwisting two-way transducers in elementary time 112
Bounded repairability of word languages 111
Regular languages of words over countable linear orderings 105
Logics with rigidly guarded data tests 100
Equivalence of finite-valued streaming string transducers is decidable 99
Regular repair of specifications 97
One-way definability of two-way word transducers 87
The complexity of higher-order queries 84
The cost of traveling between languages 84
The many facets of string transducers 83
Which XML Schemas are Streaming Bounded Repairable? 83
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 80
The per-character cost of repairing word languages 80
Finite-valued Streaming String Transducers 80
Finite-valued Streaming String Transducers 78
Resynchronizing classes of word relations 78
Dynamic data structures for timed automata acceptance 77
Walking on Data Words 76
Walking on data words 75
On the decomposition of finite-valued streaming string transducers 75
Positive higher-order queries 75
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 73
Origin-equivalence of two-way word transducers is in PSPACE 73
Minimizing resources of sweeping and streaming string transducers 73
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 72
Which DTDs are streaming bounded repairable? 72
On the use of guards for logics with data 71
One-way resynchronizability of word transducers 67
What you must remember when processing data words 66
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 65
One-way definability of sweeping transducers 64
Dynamic Data Structures for Timed Automata Acceptance 62
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 57
Inference from Visible Information and Background Knowledge 55
On synthesis of resynchronizers for transducers 53
An Automaton-based Characterisation of First-Order Logic over Infinite Trees. 47
Minimization of Streaming Transducers 9
Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming (ICALP'25) 6
Deciding the Common Fragment of CTL with past and LTL 5
Totale 6.145
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.771
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 26.771
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022314 0 0 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/2027220 61 93 66 0 0 0 0 0 0 0 0 0
Totale 6.145