IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.375
AS - Asia 1.928
EU - Europa 1.760
SA - Sud America 183
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 6.270
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.319
SG - Singapore 757
CN - Cina 566
IT - Italia 384
UA - Ucraina 263
GB - Regno Unito 211
IE - Irlanda 206
TR - Turchia 189
SE - Svezia 179
RU - Federazione Russa 176
BR - Brasile 148
IN - India 148
VN - Vietnam 121
FR - Francia 118
DE - Germania 95
FI - Finlandia 52
KR - Corea 46
CA - Canada 30
HK - Hong Kong 30
BD - Bangladesh 20
AR - Argentina 15
BE - Belgio 14
MX - Messico 13
PL - Polonia 13
NL - Olanda 11
PK - Pakistan 11
ES - Italia 8
GR - Grecia 8
IQ - Iraq 8
LT - Lituania 6
ZA - Sudafrica 6
VE - Venezuela 5
DK - Danimarca 4
EC - Ecuador 4
IL - Israele 4
JP - Giappone 4
CO - Colombia 3
DO - Repubblica Dominicana 3
ID - Indonesia 3
JM - Giamaica 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
CH - Svizzera 2
CL - Cile 2
CR - Costa Rica 2
DZ - Algeria 2
EE - Estonia 2
ET - Etiopia 2
EU - Europa 2
JO - Giordania 2
MA - Marocco 2
NP - Nepal 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
AU - Australia 1
BB - Barbados 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EG - Egitto 1
GE - Georgia 1
HN - Honduras 1
KE - Kenya 1
MD - Moldavia 1
MN - Mongolia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PH - Filippine 1
PS - Palestinian Territory 1
RS - Serbia 1
TG - Togo 1
Totale 6.270
Salva come PNG Salva come JPEG
Città #
Singapore 552
Chandler 288
Jacksonville 283
San Jose 224
Dublin 205
Southend 148
Ashburn 124
Dallas 120
Beijing 107
Izmir 107
Princeton 106
Nanjing 83
Santa Clara 75
The Dalles 69
Ann Arbor 66
Wilmington 58
Dearborn 56
Los Angeles 50
Hefei 48
Altamura 47
Cambridge 47
Seoul 45
Tongling 38
Ho Chi Minh City 37
Hanoi 33
Nanchang 32
Hong Kong 28
Moscow 27
Alba 23
Pescara 23
Buffalo 21
Woodbridge 21
Boardman 18
Houston 17
Rome 17
Hangzhou 16
Kunming 16
Redondo Beach 16
Toronto 16
Francavilla Al Mare 15
Hebei 15
Andover 14
New York 14
Brussels 13
Chieti 13
Dong Ket 12
Shenyang 12
São Paulo 12
Tianjin 12
Brooklyn 11
Denver 11
Grevenbroich 11
Jiaxing 11
Warsaw 10
Avezzano 9
Atlanta 8
Changsha 8
Council Bluffs 8
Da Nang 8
London 8
Milan 8
Bologna 7
Chennai 7
Helsinki 7
Stockholm 7
Boston 6
Chicago 6
Civitanova Marche 6
Florence 6
Jinan 6
Lanzhou 6
Mexico City 6
Norwalk 6
Perugia 6
San Mateo 6
Montreal 5
Phoenix 5
Poplar 5
Seattle 5
Amsterdam 4
Auburn Hills 4
Brasília 4
Canino 4
Centrale 4
Gravataí 4
Guarulhos 4
Johannesburg 4
Nuremberg 4
Orem 4
Palombara Sabina 4
Rio de Janeiro 4
Shanghai 4
Tokyo 4
Washington 4
Ankara 3
Calgary 3
Charlotte 3
Dakar 3
Guangzhou 3
Karachi 3
Totale 3.736
Salva come PNG Salva come JPEG
Nome #
Descending chains and narrowing on template abstract domains 199
Proving Properties of Logic Programs by Abstract Diagnosis 171
null 171
Verifying Controllability of Time-Aware Business Processes 167
A Taxonomy of Program Analyses 150
Semantics and Expressive Power of a Timed Concurrent Constraint Language 147
AI for Sustainability: Research at Ud’A Node 143
A Timed Concurrent Constraint Language 137
A compositional Semantics for CHR 132
Verification of time-aware business processes using constrained horn clauses 130
A Denotational Semantics for Timed Linda 129
Compilative Constructive Negation in Constraint Logic Programs 127
Differential Logic Programs: Programming Methodologies and Semantics 123
Semantics and controllability of time-aware business processes 123
A Timed Linda Language 122
A compositional semantics for CHR 121
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 121
A Compositional Semantics for Logic Programs 120
Timed soft concurrent constraint programs: An interleaved and a parallel approach 120
Abstract Diagnosis 120
Proving Correctness of Timed Concurrent Constraint Programs 115
A compositional Semantics for CHR with propagation rules 114
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 114
Timed soft Concurrent Constraint Programs 113
An OR-Compositional Semantics for Logic Programs 113
Decidability properties for fragments of CHR 110
Compositionality in SLD-Derivations and their Abstractions 109
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 109
Compositional Verification of Infinite State Systems. 108
Compositionality properties of SLD-derivations 107
On the Expressive Power of Multiple Heads in CHR 107
On the Expressiveness of Concurrent Constraint Languages 106
A Theory of Observables for Logic Programs 105
Proving correctness of timed concurrent constraint programs 105
Resultants Semantics for Prolog 103
Unfolding for CHR programs 102
Transformations of CCP programs. 102
A Timed Linda Language and its Denotational Semantics. 101
A Bottom-up Semantics for Constructive Negation 101
Unfold/Fold Transformations of CCP Programs 99
Unfolding in CHR 99
On collecting semantics for program analysis 97
Timed Concurrent Language for Argumentation 97
Contributions to the Semantics of Open Logic Programs 95
Observational Equivalences for Logic Programs 91
Concurrent Argumentation with Time: an Overview 90
Observable Behaviors and Equivalences of Logic Programs 88
The expressive power of CHR with priorities 88
On the expressive power of priorities in CHR 86
Theoretical Foundations and Semantics of Logic Programming 85
Differential Logic Programming 85
Expressiveness of multiple heads in CHR 80
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 78
Timed concurrent language for argumentation with maximum parallelism 57
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 39
Timed Concurrent Language for Argumentation: An Interleaving Approach 37
Modelling Dialogues in a Concurrent Language for Argumentation 36
The role of linearity in sharing analysis 36
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 35
Enabling research collaboration with AI: the BI4E experience with large language models 31
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 29
Strategic and private reasoning with the Concurrent (Timed) Language for Argumentation 20
Narrowing Operators on Template Abstract Domains 17
CONNECT: find your dream team 16
Totale 6.428
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.921
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 23.921
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021106 0 0 0 0 0 0 0 0 0 48 19 39
2021/2022258 5 17 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/20261.881 204 165 215 215 182 109 209 146 255 181 0 0
Totale 6.428