IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.029
AS - Asia 1.618
EU - Europa 1.582
SA - Sud America 159
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 5.406
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.979
SG - Singapore 633
CN - Cina 507
IT - Italia 361
UA - Ucraina 261
GB - Regno Unito 209
IE - Irlanda 205
TR - Turchia 187
SE - Svezia 179
IN - India 142
BR - Brasile 135
FR - Francia 114
DE - Germania 94
FI - Finlandia 52
VN - Vietnam 47
KR - Corea 46
RU - Federazione Russa 43
CA - Canada 28
HK - Hong Kong 25
AR - Argentina 12
MX - Messico 12
PL - Polonia 12
BE - Belgio 11
BD - Bangladesh 10
ES - Italia 8
GR - Grecia 8
NL - Olanda 8
PK - Pakistan 6
LT - Lituania 5
ZA - Sudafrica 5
DK - Danimarca 4
EC - Ecuador 3
IQ - Iraq 3
PE - Perù 3
PY - Paraguay 3
AT - Austria 2
CH - Svizzera 2
CO - Colombia 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
EE - Estonia 2
EU - Europa 2
IL - Israele 2
JM - Giamaica 2
JP - Giappone 2
MA - Marocco 2
TT - Trinidad e Tobago 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AU - Australia 1
BB - Barbados 1
CR - Costa Rica 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EG - Egitto 1
ET - Etiopia 1
HN - Honduras 1
KE - Kenya 1
MD - Moldavia 1
MN - Mongolia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PA - Panama 1
SA - Arabia Saudita 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 5.406
Salva come PNG Salva come JPEG
Città #
Singapore 450
Chandler 288
Jacksonville 283
Dublin 205
Southend 148
Dallas 120
Izmir 107
Princeton 106
Beijing 104
Nanjing 83
Santa Clara 73
The Dalles 69
Ashburn 67
Ann Arbor 66
Wilmington 58
Dearborn 56
Hefei 48
Los Angeles 48
Altamura 47
Cambridge 47
Seoul 45
Tongling 38
Nanchang 32
Hong Kong 24
Alba 23
Buffalo 21
Pescara 21
Woodbridge 21
Boardman 18
Houston 17
Ho Chi Minh City 16
Kunming 16
Redondo Beach 16
Toronto 16
Francavilla Al Mare 15
Hebei 15
Andover 14
Hangzhou 14
New York 13
Dong Ket 12
Rome 12
Shenyang 12
Tianjin 12
Brussels 11
Chieti 11
Grevenbroich 11
Jiaxing 11
São Paulo 10
Avezzano 9
Brooklyn 9
Denver 9
Hanoi 9
Warsaw 9
Changsha 8
London 8
Milan 8
Moscow 8
Atlanta 7
Bologna 7
Helsinki 7
Stockholm 7
Boston 6
Chicago 6
Civitanova Marche 6
Florence 6
Jinan 6
Lanzhou 6
Norwalk 6
Perugia 6
San Mateo 6
Chennai 5
Mexico City 5
Phoenix 5
Seattle 5
Auburn Hills 4
Brasília 4
Canino 4
Centrale 4
Council Bluffs 4
Gravataí 4
Guarulhos 4
Johannesburg 4
Montreal 4
Nuremberg 4
Palombara Sabina 4
Poplar 4
Rio de Janeiro 4
Shanghai 4
Washington 4
Amsterdam 3
Ankara 3
Calgary 3
Charlotte 3
Guangzhou 3
Kraków 3
L'aquila 3
Manchester 3
Montesilvano Marina 3
Morro D'oro 3
New Delhi 3
Totale 3.242
Salva come PNG Salva come JPEG
Nome #
Descending chains and narrowing on template abstract domains 180
null 171
Proving Properties of Logic Programs by Abstract Diagnosis 151
Verifying Controllability of Time-Aware Business Processes 144
Semantics and Expressive Power of a Timed Concurrent Constraint Language 130
A Taxonomy of Program Analyses 124
A Denotational Semantics for Timed Linda 119
Verification of time-aware business processes using constrained horn clauses 117
A Timed Concurrent Constraint Language 116
A compositional Semantics for CHR 115
Compilative Constructive Negation in Constraint Logic Programs 114
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 112
Timed soft concurrent constraint programs: An interleaved and a parallel approach 111
A compositional semantics for CHR 109
Semantics and controllability of time-aware business processes 109
A Timed Linda Language 107
Abstract Diagnosis 106
Timed soft Concurrent Constraint Programs 105
Proving Correctness of Timed Concurrent Constraint Programs 105
AI for Sustainability: Research at Ud’A Node 104
A Compositional Semantics for Logic Programs 104
A compositional Semantics for CHR with propagation rules 99
On the Expressive Power of Multiple Heads in CHR 99
On the Expressiveness of Concurrent Constraint Languages 99
An OR-Compositional Semantics for Logic Programs 99
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 98
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 98
Decidability properties for fragments of CHR 96
Differential Logic Programs: Programming Methodologies and Semantics 96
Compositionality in SLD-Derivations and their Abstractions 95
Unfolding for CHR programs 94
Compositional Verification of Infinite State Systems. 93
Compositionality properties of SLD-derivations 93
Proving correctness of timed concurrent constraint programs 93
Transformations of CCP programs. 93
Unfolding in CHR 92
Unfold/Fold Transformations of CCP Programs 91
A Theory of Observables for Logic Programs 90
A Timed Linda Language and its Denotational Semantics. 88
Resultants Semantics for Prolog 88
A Bottom-up Semantics for Constructive Negation 88
Contributions to the Semantics of Open Logic Programs 86
On collecting semantics for program analysis 85
Observational Equivalences for Logic Programs 83
Observable Behaviors and Equivalences of Logic Programs 79
On the expressive power of priorities in CHR 78
Differential Logic Programming 78
The expressive power of CHR with priorities 78
Theoretical Foundations and Semantics of Logic Programming 76
Expressiveness of multiple heads in CHR 73
Timed Concurrent Language for Argumentation 73
Concurrent Argumentation with Time: an Overview 72
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 54
Timed concurrent language for argumentation with maximum parallelism 43
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 32
Timed Concurrent Language for Argumentation: An Interleaving Approach 31
The role of linearity in sharing analysis 29
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 24
Modelling Dialogues in a Concurrent Language for Argumentation 23
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 18
Narrowing Operators on Template Abstract Domains 8
Strategic and private reasoning with the Concurrent (Timed) Language for Argumentation 3
Totale 5.561
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.002
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 22.002
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021267 0 0 0 0 0 70 6 3 82 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.014 204 165 215 215 182 33 0 0 0 0 0 0
Totale 5.561