IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.687
AS - Asia 1.958
EU - Europa 1.781
SA - Sud America 183
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 6.633
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.620
SG - Singapore 770
CN - Cina 578
IT - Italia 400
UA - Ucraina 264
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 38
HK - Hong Kong 30
BD - Bangladesh 25
AR - Argentina 15
BE - Belgio 14
MX - Messico 13
PL - Polonia 13
NL - Olanda 12
PK - Pakistan 11
ES - Italia 9
GR - Grecia 8
IQ - Iraq 8
LT - Lituania 7
ZA - Sudafrica 6
VE - Venezuela 5
DK - Danimarca 4
EC - Ecuador 4
IL - Israele 4
JM - Giamaica 4
JP - Giappone 4
CH - Svizzera 3
CO - Colombia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 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
BB - Barbados 2
CL - Cile 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
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.633
Salva come PNG Salva come JPEG
Città #
Singapore 552
San Jose 445
Chandler 288
Jacksonville 283
Dublin 205
Southend 148
Ashburn 128
Dallas 122
Beijing 108
Izmir 107
Princeton 106
Nanjing 83
Santa Clara 78
The Dalles 69
Ann Arbor 66
Wilmington 58
Dearborn 56
Los Angeles 51
Hefei 48
Altamura 47
Cambridge 47
Seoul 45
Council Bluffs 40
Tongling 38
Ho Chi Minh City 37
Hanoi 33
Nanchang 32
Pescara 29
Hong Kong 28
Moscow 27
Buffalo 25
Alba 23
Woodbridge 21
New York 19
Boardman 18
Rome 18
Houston 17
Toronto 17
Hangzhou 16
Kunming 16
Redondo Beach 16
Francavilla Al Mare 15
Hebei 15
Andover 14
Brooklyn 13
Brussels 13
Chieti 13
Dong Ket 12
Shenyang 12
São Paulo 12
Tianjin 12
Denver 11
Grevenbroich 11
Jiaxing 11
Warsaw 10
Avezzano 9
Bologna 9
Atlanta 8
Changsha 8
Da Nang 8
London 8
Milan 8
Chennai 7
Helsinki 7
Stockholm 7
Boston 6
Chicago 6
Civitanova Marche 6
Florence 6
Jinan 6
Lanzhou 6
Mexico City 6
Montreal 6
Norwalk 6
Perugia 6
San Mateo 6
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
San Francisco 4
Shanghai 4
Tokyo 4
Washington 4
Ankara 3
Calgary 3
Charlotte 3
Dakar 3
Guangzhou 3
Totale 4.023
Salva come PNG Salva come JPEG
Nome #
Descending chains and narrowing on template abstract domains 200
Proving Properties of Logic Programs by Abstract Diagnosis 184
Verifying Controllability of Time-Aware Business Processes 180
null 171
A Taxonomy of Program Analyses 165
Semantics and Expressive Power of a Timed Concurrent Constraint Language 159
AI for Sustainability: Research at Ud’A Node 157
A Timed Concurrent Constraint Language 139
Verification of time-aware business processes using constrained horn clauses 134
A compositional Semantics for CHR 132
A Denotational Semantics for Timed Linda 130
A compositional semantics for CHR 128
Proving Correctness of Timed Concurrent Constraint Programs 128
Decidability properties for fragments of CHR 127
Compilative Constructive Negation in Constraint Logic Programs 127
Timed soft Concurrent Constraint Programs 126
Timed soft concurrent constraint programs: An interleaved and a parallel approach 124
Differential Logic Programs: Programming Methodologies and Semantics 124
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 123
Semantics and controllability of time-aware business processes 123
A Timed Linda Language 122
Abstract Diagnosis 122
A Compositional Semantics for Logic Programs 120
Compositional Verification of Infinite State Systems. 119
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 117
Timed Concurrent Language for Argumentation 115
A compositional Semantics for CHR with propagation rules 114
An OR-Compositional Semantics for Logic Programs 113
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 112
Compositionality properties of SLD-derivations 109
Compositionality in SLD-Derivations and their Abstractions 109
Proving correctness of timed concurrent constraint programs 108
On the Expressive Power of Multiple Heads in CHR 108
Unfolding for CHR programs 107
A Theory of Observables for Logic Programs 106
On the Expressiveness of Concurrent Constraint Languages 106
Transformations of CCP programs. 105
Resultants Semantics for Prolog 104
A Timed Linda Language and its Denotational Semantics. 102
A Bottom-up Semantics for Constructive Negation 102
Unfolding in CHR 100
Concurrent Argumentation with Time: an Overview 100
Unfold/Fold Transformations of CCP Programs 99
Contributions to the Semantics of Open Logic Programs 99
Observable Behaviors and Equivalences of Logic Programs 98
On collecting semantics for program analysis 98
Theoretical Foundations and Semantics of Logic Programming 96
Observational Equivalences for Logic Programs 93
Expressiveness of multiple heads in CHR 90
The expressive power of CHR with priorities 89
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 88
On the expressive power of priorities in CHR 87
Differential Logic Programming 85
Timed concurrent language for argumentation with maximum parallelism 62
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 52
Timed Concurrent Language for Argumentation: An Interleaving Approach 51
Modelling Dialogues in a Concurrent Language for Argumentation 49
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 46
The role of linearity in sharing analysis 46
Enabling research collaboration with AI: the BI4E experience with large language models 43
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 38
Narrowing Operators on Template Abstract Domains 29
CONNECT: find your dream team 27
Strategic and private reasoning with the Concurrent (Timed) Language for Argumentation 22
Bipolar Argumentation for Supporting Decisions in Software Design 4
Totale 6.792
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.113
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.113
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202139 0 0 0 0 0 0 0 0 0 0 0 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/20262.245 204 165 215 215 182 109 209 146 255 218 197 130
Totale 6.792