IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.501
EU - Europa 1.479
AS - Asia 903
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 3
OC - Oceania 2
AF - Africa 1
Totale 3.892
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.483
IT - Italia 320
SG - Singapore 305
CN - Cina 264
UA - Ucraina 260
IE - Irlanda 205
GB - Regno Unito 194
TR - Turchia 183
SE - Svezia 172
IN - India 132
FR - Francia 111
DE - Germania 88
FI - Finlandia 52
RU - Federazione Russa 41
CA - Canada 16
VN - Vietnam 12
BE - Belgio 11
GR - Grecia 8
NL - Olanda 6
ES - Italia 3
PL - Polonia 3
BR - Brasile 2
CH - Svizzera 2
EU - Europa 2
IL - Israele 2
MX - Messico 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
HK - Hong Kong 1
KR - Corea 1
MD - Moldavia 1
MN - Mongolia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
Totale 3.892
Salva come PNG Salva come JPEG
Città #
Chandler 288
Jacksonville 283
Singapore 275
Dublin 205
Southend 148
Izmir 107
Princeton 106
Nanjing 83
Ann Arbor 66
Santa Clara 66
Wilmington 58
Dearborn 56
Altamura 47
Cambridge 47
Nanchang 32
Alba 23
Woodbridge 21
Beijing 18
Boardman 18
Houston 17
Kunming 16
Francavilla Al Mare 15
Hebei 15
Andover 14
Hangzhou 14
Pescara 14
Toronto 14
Ashburn 12
Dong Ket 12
Shenyang 12
Tianjin 12
Brussels 11
Grevenbroich 11
Jiaxing 11
Rome 11
Avezzano 9
Changsha 8
Chieti 8
Moscow 8
Bologna 7
Helsinki 7
Civitanova Marche 6
Jinan 6
Lanzhou 6
Los Angeles 6
Milan 6
Norwalk 6
San Mateo 6
Auburn Hills 4
Canino 4
Centrale 4
Palombara Sabina 4
Shanghai 4
Washington 4
Amsterdam 3
Guangzhou 3
Kraków 3
L'aquila 3
London 3
Montesilvano Marina 3
Morro D'oro 3
Orange 3
Orsogna 3
Perugia 3
Burjassot 2
Castelnuovo Berardenga 2
Changchun 2
Città Sant'Angelo 2
Isernia 2
Magliano de' Marsi 2
Mexico City 2
Mola Di Bari 2
Ningbo 2
Phoenix 2
Porto Alegre 2
Quzhou 2
Sambuceto 2
Sant'Elpidio a Mare 2
Sezze 2
Shenzhen 2
Taizhou 2
The Hague 2
Valenzano 2
Villamagna 2
Addison 1
Battipaglia 1
Callao 1
Campobasso 1
Cedar Knolls 1
Chisinau 1
Chongqing 1
Clifton 1
Copenhagen 1
Dallas 1
Fara Gera D'adda 1
Fermo 1
Florence 1
Frankfurt am Main 1
Fuzhou 1
Haikou 1
Totale 2.357
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 157
Descending chains and narrowing on template abstract domains 147
Proving Properties of Logic Programs by Abstract Diagnosis 128
Verifying Controllability of Time-Aware Business Processes 123
Semantics and Expressive Power of a Timed Concurrent Constraint Language 112
Verification of time-aware business processes using constrained horn clauses 99
Semantics and controllability of time-aware business processes 90
A Taxonomy of Program Analyses 89
Timed soft Concurrent Constraint Programs 85
Proving Correctness of Timed Concurrent Constraint Programs 85
A Denotational Semantics for Timed Linda 84
Compilative Constructive Negation in Constraint Logic Programs 84
Abstract Diagnosis 84
On the Expressive Power of Multiple Heads in CHR 83
A Timed Linda Language 82
On the Expressiveness of Concurrent Constraint Languages 82
A compositional semantics for CHR 80
Timed soft concurrent constraint programs: An interleaved and a parallel approach 80
A compositional Semantics for CHR 79
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 79
A Timed Concurrent Constraint Language 78
Decidability properties for fragments of CHR 77
Unfolding for CHR programs 77
A Compositional Semantics for Logic Programs 76
Transformations of CCP programs. 74
Differential Logic Programs: Programming Methodologies and Semantics 72
A compositional Semantics for CHR with propagation rules 71
Resultants Semantics for Prolog 71
Unfolding in CHR 71
Proving correctness of timed concurrent constraint programs 70
Compositionality in SLD-Derivations and their Abstractions 70
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 70
Unfold/Fold Transformations of CCP Programs 69
An OR-Compositional Semantics for Logic Programs 68
Contributions to the Semantics of Open Logic Programs 66
Compositionality properties of SLD-derivations 64
Observational Equivalences for Logic Programs 63
Compositional Verification of Infinite State Systems. 62
A Timed Linda Language and its Denotational Semantics. 62
On collecting semantics for program analysis 62
A Theory of Observables for Logic Programs 61
Theoretical Foundations and Semantics of Logic Programming 60
Observable Behaviors and Equivalences of Logic Programs 59
The expressive power of CHR with priorities 59
Expressiveness of multiple heads in CHR 58
A Bottom-up Semantics for Constructive Negation 58
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 57
Differential Logic Programming 57
On the expressive power of priorities in CHR 56
Timed Concurrent Language for Argumentation 42
Concurrent Argumentation with Time: an Overview 33
Timed Concurrent Language for Argumentation: An Interleaving Approach 25
The role of linearity in sharing analysis 20
Timed concurrent language for argumentation with maximum parallelism 18
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 17
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 17
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 5
AI for Sustainability: Research at Ud’A Node 4
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 1
Modelling Dialogues in a Concurrent Language for Argumentation 1
Totale 4.033
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.454
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 15.454
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020261 0 0 0 0 0 51 82 55 12 8 50 3
2020/2021407 51 2 51 4 32 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/2025575 54 267 221 17 7 9 0 0 0 0 0 0
Totale 4.033