IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.414
NA - Nord America 1.268
AS - Asia 595
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 3
OC - Oceania 2
AF - Africa 1
Totale 3.286
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.251
IT - Italia 307
CN - Cina 261
UA - Ucraina 260
IE - Irlanda 205
GB - Regno Unito 194
TR - Turchia 183
SE - Svezia 172
IN - India 132
FR - Francia 106
DE - Germania 86
FI - Finlandia 51
CA - Canada 15
VN - Vietnam 12
BE - Belgio 11
GR - Grecia 8
NL - Olanda 5
PL - Polonia 3
RU - Federazione Russa 3
BR - Brasile 2
EU - Europa 2
IL - Israele 2
MX - Messico 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
CH - Svizzera 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
ES - Italia 1
HK - Hong Kong 1
MN - Mongolia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
SG - Singapore 1
Totale 3.286
Salva come PNG Salva come JPEG
Città #
Chandler 288
Jacksonville 283
Dublin 205
Southend 148
Izmir 107
Princeton 106
Nanjing 83
Ann Arbor 66
Wilmington 58
Dearborn 56
Altamura 47
Cambridge 47
Nanchang 32
Alba 23
Woodbridge 21
Beijing 17
Houston 17
Kunming 16
Boardman 15
Francavilla Al Mare 15
Hebei 15
Andover 14
Hangzhou 14
Toronto 13
Ashburn 12
Dong Ket 12
Shenyang 12
Tianjin 12
Brussels 11
Grevenbroich 11
Jiaxing 11
Pescara 11
Rome 11
Avezzano 9
Changsha 8
Chieti 8
Bologna 7
Civitanova Marche 6
Helsinki 6
Jinan 6
Lanzhou 6
Milan 6
Norwalk 6
San Mateo 6
Los Angeles 5
Auburn Hills 4
Canino 4
Centrale 4
Palombara Sabina 4
Washington 4
Guangzhou 3
Kraków 3
L'aquila 3
London 3
Morro D'oro 3
Orange 3
Orsogna 3
Shanghai 3
Amsterdam 2
Castelnuovo Berardenga 2
Changchun 2
Città Sant'Angelo 2
Magliano de' Marsi 2
Mexico City 2
Mola Di Bari 2
Montesilvano Marina 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
Chongqing 1
Copenhagen 1
Dallas 1
Fara Gera D'adda 1
Fermo 1
Florence 1
Fuzhou 1
Haikou 1
Harbin 1
Hefei 1
Isernia 1
Jesi 1
Latina 1
Marano Vicentino 1
Mardan 1
Monmouth Junction 1
Montréal 1
Totale 1.994
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 149
Descending chains and narrowing on template abstract domains 132
Proving Properties of Logic Programs by Abstract Diagnosis 109
Verifying Controllability of Time-Aware Business Processes 106
Verification of time-aware business processes using constrained horn clauses 96
Semantics and Expressive Power of a Timed Concurrent Constraint Language 94
Abstract Diagnosis 79
Timed soft Concurrent Constraint Programs 78
A Taxonomy of Program Analyses 77
Proving Correctness of Timed Concurrent Constraint Programs 77
Timed soft concurrent constraint programs: An interleaved and a parallel approach 75
Semantics and controllability of time-aware business processes 75
A Timed Linda Language 74
A compositional Semantics for CHR 71
On the Expressive Power of Multiple Heads in CHR 71
Compilative Constructive Negation in Constraint Logic Programs 71
Unfolding for CHR programs 71
Transformations of CCP programs. 71
A Timed Concurrent Constraint Language 70
A compositional Semantics for CHR with propagation rules 67
Resultants Semantics for Prolog 67
A Denotational Semantics for Timed Linda 66
Differential Logic Programs: Programming Methodologies and Semantics 66
Unfolding in CHR 65
On the Expressiveness of Concurrent Constraint Languages 63
A compositional semantics for CHR 61
A Compositional Semantics for Logic Programs 61
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 61
Compositionality properties of SLD-derivations 60
Compositionality in SLD-Derivations and their Abstractions 60
Decidability properties for fragments of CHR 57
Theoretical Foundations and Semantics of Logic Programming 57
Compositional Verification of Infinite State Systems. 56
Proving correctness of timed concurrent constraint programs 56
Unfold/Fold Transformations of CCP Programs 56
A Timed Linda Language and its Denotational Semantics. 55
Expressiveness of multiple heads in CHR 55
Observable Behaviors and Equivalences of Logic Programs 55
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 54
A Bottom-up Semantics for Constructive Negation 53
A Theory of Observables for Logic Programs 52
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 52
Contributions to the Semantics of Open Logic Programs 51
On the expressive power of priorities in CHR 49
An OR-Compositional Semantics for Logic Programs 49
On collecting semantics for program analysis 49
Differential Logic Programming 47
Observational Equivalences for Logic Programs 46
The expressive power of CHR with priorities 44
Timed Concurrent Language for Argumentation 27
Concurrent Argumentation with Time: an Overview 25
The role of linearity in sharing analysis 13
Timed Concurrent Language for Argumentation: An Interleaving Approach 12
Timed concurrent language for argumentation with maximum parallelism 5
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 4
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 1
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 1
Totale 3.424
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.164
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 11.164
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019133 0 0 0 0 0 0 0 0 0 0 5 128
2019/2020575 198 46 2 25 43 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/2024219 25 18 18 10 7 55 72 6 2 6 0 0
Totale 3.424