IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.581
EU - Europa 1.506
AS - Asia 999
SA - Sud America 69
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 4.166
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.561
SG - Singapore 396
IT - Italia 331
CN - Cina 264
UA - Ucraina 261
IE - Irlanda 205
GB - Regno Unito 195
TR - Turchia 183
SE - Svezia 172
IN - India 132
FR - Francia 112
DE - Germania 91
BR - Brasile 63
FI - Finlandia 52
RU - Federazione Russa 42
CA - Canada 17
VN - Vietnam 12
BE - Belgio 11
GR - Grecia 8
NL - Olanda 8
AR - Argentina 4
DK - Danimarca 4
ES - Italia 3
MX - Messico 3
PL - Polonia 3
AT - Austria 2
BD - Bangladesh 2
CH - Svizzera 2
DZ - Algeria 2
EE - Estonia 2
EU - Europa 2
IL - Israele 2
MA - Marocco 2
PE - Perù 2
PK - Pakistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
HK - Hong Kong 1
KR - Corea 1
MD - Moldavia 1
MN - Mongolia 1
NZ - Nuova Zelanda 1
SN - Senegal 1
TH - Thailandia 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 4.166
Salva come PNG Salva come JPEG
Città #
Singapore 294
Chandler 288
Jacksonville 283
Dublin 205
Southend 148
Izmir 107
Princeton 106
Nanjing 83
The Dalles 69
Ann Arbor 66
Santa Clara 66
Wilmington 58
Dearborn 56
Altamura 47
Cambridge 47
Nanchang 32
Alba 23
Woodbridge 21
Pescara 19
Beijing 18
Boardman 18
Houston 17
Kunming 16
Francavilla Al Mare 15
Hebei 15
Toronto 15
Andover 14
Hangzhou 14
Ashburn 13
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
Perugia 6
San Mateo 6
São Paulo 5
Auburn Hills 4
Canino 4
Centrale 4
Council Bluffs 4
Palombara Sabina 4
Shanghai 4
Washington 4
Amsterdam 3
Gravataí 3
Guangzhou 3
Kraków 3
L'aquila 3
London 3
Mexico City 3
Montesilvano Marina 3
Morro D'oro 3
Nuremberg 3
Orange 3
Orsogna 3
Rio de Janeiro 3
Andrelândia 2
Barueri 2
Bauru 2
Burjassot 2
Castelnuovo Berardenga 2
Changchun 2
Città Sant'Angelo 2
Fortaleza 2
Isernia 2
Magliano de' Marsi 2
Mola Di Bari 2
Ningbo 2
Phoenix 2
Porto Alegre 2
Quzhou 2
Recife 2
Sambuceto 2
Sant'Elpidio a Mare 2
Sezze 2
Shenzhen 2
Taizhou 2
Tartu 2
The Hague 2
Valenzano 2
Villamagna 2
Åbyhøj 2
Aarhus 1
Addison 1
Algiers 1
Totale 2.475
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 158
Descending chains and narrowing on template abstract domains 157
Proving Properties of Logic Programs by Abstract Diagnosis 131
Verifying Controllability of Time-Aware Business Processes 128
Semantics and Expressive Power of a Timed Concurrent Constraint Language 114
Verification of time-aware business processes using constrained horn clauses 105
Semantics and controllability of time-aware business processes 96
A Taxonomy of Program Analyses 93
Compilative Constructive Negation in Constraint Logic Programs 92
A Denotational Semantics for Timed Linda 90
Proving Correctness of Timed Concurrent Constraint Programs 90
Abstract Diagnosis 90
A compositional semantics for CHR 89
On the Expressive Power of Multiple Heads in CHR 89
Timed soft Concurrent Constraint Programs 88
A Timed Linda Language 88
On the Expressiveness of Concurrent Constraint Languages 87
A Timed Concurrent Constraint Language 85
A compositional Semantics for CHR 85
Decidability properties for fragments of CHR 83
A Compositional Semantics for Logic Programs 81
Timed soft concurrent constraint programs: An interleaved and a parallel approach 81
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 80
Unfolding for CHR programs 79
Compositionality in SLD-Derivations and their Abstractions 77
An OR-Compositional Semantics for Logic Programs 77
Transformations of CCP programs. 77
Unfolding in CHR 76
Differential Logic Programs: Programming Methodologies and Semantics 76
A compositional Semantics for CHR with propagation rules 74
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 74
Resultants Semantics for Prolog 73
Proving correctness of timed concurrent constraint programs 72
Unfold/Fold Transformations of CCP Programs 72
Compositionality properties of SLD-derivations 71
On collecting semantics for program analysis 71
Compositional Verification of Infinite State Systems. 68
A Timed Linda Language and its Denotational Semantics. 68
Contributions to the Semantics of Open Logic Programs 67
A Bottom-up Semantics for Constructive Negation 66
Observational Equivalences for Logic Programs 66
A Theory of Observables for Logic Programs 65
Theoretical Foundations and Semantics of Logic Programming 64
The expressive power of CHR with priorities 63
Observable Behaviors and Equivalences of Logic Programs 62
Differential Logic Programming 61
Expressiveness of multiple heads in CHR 60
On the expressive power of priorities in CHR 59
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 59
Timed Concurrent Language for Argumentation 51
Concurrent Argumentation with Time: an Overview 39
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 27
Timed Concurrent Language for Argumentation: An Interleaving Approach 26
The role of linearity in sharing analysis 24
Timed concurrent language for argumentation with maximum parallelism 23
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 19
AI for Sustainability: Research at Ud’A Node 14
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 10
Modelling Dialogues in a Concurrent Language for Argumentation 5
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 4
Totale 4.319
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.761
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 17.761
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202053 0 0 0 0 0 0 0 0 0 0 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/2025861 54 267 221 17 7 10 23 77 82 50 53 0
Totale 4.319