IRIS
PUPPIS, Gabriele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.268
AS - Asia 709
EU - Europa 582
SA - Sud America 84
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 1
Totale 3.658
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.254
SG - Singapore 278
CN - Cina 177
HK - Hong Kong 130
UA - Ucraina 112
IT - Italia 109
DE - Germania 100
BR - Brasile 76
RU - Federazione Russa 69
VN - Vietnam 66
IE - Irlanda 48
FI - Finlandia 34
SE - Svezia 22
FR - Francia 21
GB - Regno Unito 19
CZ - Repubblica Ceca 14
IN - India 13
KR - Corea 12
TR - Turchia 9
BE - Belgio 7
EU - Europa 7
CA - Canada 6
NL - Olanda 6
JP - Giappone 5
PL - Polonia 5
AT - Austria 4
BD - Bangladesh 4
RO - Romania 4
ZA - Sudafrica 4
AR - Argentina 3
DK - Danimarca 3
IL - Israele 3
IR - Iran 3
MX - Messico 3
KZ - Kazakistan 2
LT - Lituania 2
PH - Filippine 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BB - Barbados 1
CO - Colombia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EC - Ecuador 1
EE - Estonia 1
ES - Italia 1
ID - Indonesia 1
JM - Giamaica 1
KG - Kirghizistan 1
LK - Sri Lanka 1
NG - Nigeria 1
PT - Portogallo 1
PY - Paraguay 1
SA - Arabia Saudita 1
SN - Senegal 1
TT - Trinidad e Tobago 1
Totale 3.658
Salva come PNG Salva come JPEG
Città #
Fairfield 335
Woodbridge 276
Houston 212
Ann Arbor 186
Ashburn 173
Singapore 145
Wilmington 138
Hong Kong 130
Seattle 130
Beijing 125
Cambridge 106
Jacksonville 80
Chandler 67
Boardman 60
Dong Ket 60
Princeton 49
Dublin 48
Udine 33
Dearborn 29
San Diego 29
Ogden 27
Trieste 25
Los Angeles 21
Munich 20
Brno 14
Norwalk 14
Seoul 12
Washington 12
Vicenza 10
Hefei 9
Serra Riccò 9
Düsseldorf 8
Helsinki 8
Izmir 8
Brussels 7
Phoenix 7
Amsterdam 6
Preganziol 6
Aachen 5
Frankfurt am Main 5
Guangzhou 5
New York 5
Rio de Janeiro 5
Varese 5
Charlotte 4
Chicago 4
Hanoi 4
London 4
Nanchang 4
Santa Clara 4
São Paulo 4
Aarhus 3
Boston 3
Dallas 3
Grafing 3
Maceió 3
Nanjing 3
Nuremberg 3
San Francisco 3
Tabriz 3
Timisoara 3
Warsaw 3
Almaty 2
Atlanta 2
Belo Horizonte 2
Brooklyn 2
Council Bluffs 2
Curitiba 2
Des Moines 2
Dhaka 2
Edinburgh 2
Elmshorn 2
Fremont 2
Hanatennishi 2
Hyattsville 2
Indiana 2
Jinan 2
Johannesburg 2
Karlsruhe 2
Kensington 2
Kunming 2
Las Pinas 2
Montreal 2
Ningbo 2
Nova Iguaçu 2
Ottawa 2
Porto Alegre 2
Richmond 2
Saarbrücken 2
Scorzè 2
Shaoxing 2
South Burlington 2
Stockholm 2
Tokyo 2
Ahmedabad 1
Alto Garças 1
Ankara 1
Arlington Heights 1
Asti 1
Azzano Decimo 1
Totale 2.795
Salva come PNG Salva come JPEG
Nome #
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 210
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals 174
Decidability of MSO Theories of Tree Structures 164
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 148
Time Granularities and Ultimately Periodic Automata 148
Compact and Tractable Automaton-based Representations for Time Granularities 138
A Contraction Method to Decide MSO Theory of Deterministic Trees 130
On the Equivalence of Automaton-based Representations of Time Granularities 118
On the relationships between theories of time granularity and the monadic second-order theory of one successor 118
Decidability of the interval temporal logic AA*BB* over the rationals 114
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 114
Decidability of the interval temporal logic ABB* over the natural numbers 99
An Algebraic Approach to Mso-Definability on Countable Linear Orderings 97
Bounded repairability for regular tree languages 89
Automata vs. logics on data words 85
Decidability of the Theory of the Totally Unbounded omega-Layered Structure 83
Bounded repairability for regular tree languages 83
A decidable weakening of compass logic based on cone-shaped cardinal directions 83
Untwisting two-way transducers in elementary time 75
Bounded repairability of word languages 74
Regular languages of words over countable linear orderings 74
Querying Visible and Invisible Information 72
Logics with rigidly guarded data tests 70
Equivalence of finite-valued streaming string transducers is decidable 70
Ciaramella: A Synchronous Data Flow Programming Language For Audio DSP 68
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems 66
The cost of traveling between languages 64
Regular repair of specifications 59
Which DTDs are streaming bounded repairable? 58
The complexity of higher-order queries 57
Positive higher-order queries 55
The per-character cost of repairing word languages 53
Which XML Schemas are Streaming Bounded Repairable? 53
Towards Compact and Tractable Automaton-Based Representations of Time Granularities 50
Walking on Data Words 49
On the use of guards for logics with data 42
Origin-equivalence of two-way word transducers is in PSPACE 41
What you must remember when processing data words 41
One-way definability of two-way word transducers 40
Dynamic data structures for timed automata acceptance 40
On the decomposition of finite-valued streaming string transducers 39
Walking on data words 38
Resynchronizing classes of word relations 38
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 37
Minimizing resources of sweeping and streaming string transducers 36
One-way resynchronizability of word transducers 35
The many facets of string transducers 34
One-way definability of sweeping transducers 33
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 32
On synthesis of resynchronizers for transducers 31
Finite-valued Streaming String Transducers 30
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 30
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 28
Dynamic Data Structures for Timed Automata Acceptance 28
Inference from Visible Information and Background Knowledge 26
Finite-valued Streaming String Transducers 10
Totale 3.971
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.959
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 17.959
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021652 12 62 16 69 28 46 47 61 86 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/202647 47 0 0 0 0 0 0 0 0 0 0 0
Totale 3.971