IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.962
AS - Asia 1.976
EU - Europa 1.798
SA - Sud America 192
Continente sconosciuto - Info sul continente non disponibili 163
AF - Africa 19
OC - Oceania 3
Totale 7.113
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.877
SG - Singapore 774
CN - Cina 585
IT - Italia 411
UA - Ucraina 264
GB - Regno Unito 213
IE - Irlanda 206
TR - Turchia 191
SE - Svezia 179
RU - Federazione Russa 176
BR - Brasile 150
IN - India 148
VN - Vietnam 121
FR - Francia 118
DE - Germania 95
FI - Finlandia 53
CA - Canada 46
KR - Corea 46
HK - Hong Kong 33
BD - Bangladesh 26
AR - Argentina 16
BE - Belgio 14
MX - Messico 14
PL - Polonia 14
NL - Olanda 12
PK - Pakistan 11
ES - Italia 9
GR - Grecia 8
IQ - Iraq 8
LT - Lituania 7
CO - Colombia 6
EC - Ecuador 6
VE - Venezuela 6
ZA - Sudafrica 6
JM - Giamaica 5
DK - Danimarca 4
DO - Repubblica Dominicana 4
EE - Estonia 4
IL - Israele 4
JP - Giappone 4
CH - Svizzera 3
CR - Costa Rica 3
ID - Indonesia 3
PE - Perù 3
PT - Portogallo 3
PY - Paraguay 3
SA - Arabia Saudita 3
SN - Senegal 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
AU - Australia 2
BB - Barbados 2
CL - Cile 2
DZ - Algeria 2
ET - Etiopia 2
EU - Europa 2
GT - Guatemala 2
HN - Honduras 2
JO - Giordania 2
MA - Marocco 2
NP - Nepal 2
PH - Filippine 2
SY - Repubblica araba siriana 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EG - Egitto 1
GE - Georgia 1
HT - Haiti 1
KE - Kenya 1
KY - Cayman, isole 1
MD - Moldavia 1
MN - Mongolia 1
MY - Malesia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PA - Panama 1
PS - Palestinian Territory 1
RS - Serbia 1
TG - Togo 1
VC - Saint Vincent e Grenadine 1
Totale 6.953
Salva come PNG Salva come JPEG
Città #
Singapore 555
San Jose 448
Chandler 288
Jacksonville 284
Dublin 205
Southend 148
Ashburn 135
Council Bluffs 127
Dallas 122
Beijing 111
Izmir 107
Princeton 106
Nanjing 83
Santa Clara 82
The Dalles 69
Ann Arbor 66
Wilmington 59
Dearborn 56
Los Angeles 54
Hefei 48
Altamura 47
Cambridge 47
Seoul 45
Tongling 38
Ho Chi Minh City 37
Hanoi 33
Nanchang 32
Hong Kong 31
Pescara 31
Moscow 27
Buffalo 26
Alba 23
Woodbridge 21
New York 20
Rome 19
Boardman 18
Toronto 18
Houston 17
Hangzhou 16
Kunming 16
Redondo Beach 16
Chieti 15
Francavilla Al Mare 15
Hebei 15
Andover 14
Brooklyn 13
Brussels 13
Phoenix 13
Dong Ket 12
Shenyang 12
São Paulo 12
Tianjin 12
Denver 11
Grevenbroich 11
Jiaxing 11
Atlanta 10
Warsaw 10
Avezzano 9
Bologna 9
London 9
Changsha 8
Columbus 8
Da Nang 8
Helsinki 8
Milan 8
Boston 7
Chennai 7
Montreal 7
Perugia 7
Stockholm 7
Chicago 6
Civitanova Marche 6
Florence 6
Jinan 6
Lanzhou 6
Mexico City 6
Norwalk 6
San Francisco 6
San Mateo 6
Poplar 5
Seattle 5
Washington 5
Amsterdam 4
Auburn Hills 4
Brasília 4
Canino 4
Centrale 4
Gravataí 4
Guarulhos 4
Guayaquil 4
Johannesburg 4
Kingston 4
Memphis 4
Naples 4
Nuremberg 4
Orem 4
Palombara Sabina 4
Rio de Janeiro 4
Shanghai 4
Tokyo 4
Totale 4.173
Salva come PNG Salva come JPEG
Nome #
Descending chains and narrowing on template abstract domains 201
Proving Properties of Logic Programs by Abstract Diagnosis 189
Verifying Controllability of Time-Aware Business Processes 185
A Taxonomy of Program Analyses 173
AI for Sustainability: Research at Ud’A Node 172
null 171
Semantics and Expressive Power of a Timed Concurrent Constraint Language 164
A Timed Concurrent Constraint Language 145
Enabling research collaboration with AI: the BI4E experience with large language models 141
Verification of time-aware business processes using constrained horn clauses 137
A compositional Semantics for CHR 136
A Denotational Semantics for Timed Linda 133
Proving Correctness of Timed Concurrent Constraint Programs 131
A compositional semantics for CHR 130
Decidability properties for fragments of CHR 130
Timed soft Concurrent Constraint Programs 129
Compilative Constructive Negation in Constraint Logic Programs 129
Semantics and controllability of time-aware business processes 129
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 128
Timed soft concurrent constraint programs: An interleaved and a parallel approach 127
A Timed Linda Language 126
Differential Logic Programs: Programming Methodologies and Semantics 126
Abstract Diagnosis 125
Compositional Verification of Infinite State Systems. 123
A Compositional Semantics for Logic Programs 121
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 118
Timed Concurrent Language for Argumentation 118
A compositional Semantics for CHR with propagation rules 116
An OR-Compositional Semantics for Logic Programs 115
Compositionality properties of SLD-derivations 114
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 114
On the Expressive Power of Multiple Heads in CHR 112
Compositionality in SLD-Derivations and their Abstractions 110
Transformations of CCP programs. 110
Proving correctness of timed concurrent constraint programs 109
A Theory of Observables for Logic Programs 108
On the Expressiveness of Concurrent Constraint Languages 108
Unfolding for CHR programs 108
Concurrent Argumentation with Time: an Overview 107
Resultants Semantics for Prolog 106
A Bottom-up Semantics for Constructive Negation 105
A Timed Linda Language and its Denotational Semantics. 103
Unfolding in CHR 102
Contributions to the Semantics of Open Logic Programs 101
Observable Behaviors and Equivalences of Logic Programs 100
Unfold/Fold Transformations of CCP Programs 100
Theoretical Foundations and Semantics of Logic Programming 98
On collecting semantics for program analysis 98
Observational Equivalences for Logic Programs 96
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 95
Expressiveness of multiple heads in CHR 92
The expressive power of CHR with priorities 91
On the expressive power of priorities in CHR 90
Differential Logic Programming 88
Timed concurrent language for argumentation with maximum parallelism 64
Modelling Dialogues in a Concurrent Language for Argumentation 59
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 56
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 54
Timed Concurrent Language for Argumentation: An Interleaving Approach 54
The role of linearity in sharing analysis 48
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 39
CONNECT: find your dream team 33
Narrowing Operators on Template Abstract Domains 32
Strategic and private reasoning with the Concurrent (Timed) Language for Argumentation 27
Bipolar Argumentation for Supporting Decisions in Software Design 14
Totale 7.113
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.139
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 28.139
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022236 0 0 4 22 24 7 11 22 24 19 39 64
2022/2023830 98 113 52 86 89 143 46 62 108 4 16 13
2023/2024253 25 18 18 10 7 55 72 6 2 6 4 30
2024/20251.089 54 267 221 17 7 10 23 77 82 50 130 151
2025/20262.330 204 165 215 215 182 109 209 146 255 218 197 215
2026/2027236 57 130 49 0 0 0 0 0 0 0 0 0
Totale 7.113