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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202054 0 0 0 0 0 0 0 0 0 0 0 54
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/2025742 73 132 30 26 11 24 84 39 93 49 159 22
Totale 3.650