IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.462
NA - Nord America 1.271
AS - Asia 624
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 3
OC - Oceania 2
AF - Africa 1
Totale 3.366
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.254
IT - Italia 309
CN - Cina 261
UA - Ucraina 260
IE - Irlanda 205
GB - Regno Unito 194
TR - Turchia 183
SE - Svezia 172
IN - India 132
FR - Francia 109
DE - Germania 86
FI - Finlandia 52
RU - Federazione Russa 41
SG - Singapore 30
CA - Canada 15
VN - Vietnam 12
BE - Belgio 11
GR - Grecia 8
NL - Olanda 6
ES - Italia 3
PL - Polonia 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
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
HK - Hong Kong 1
MN - Mongolia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
Totale 3.366
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
Singapore 19
Boardman 18
Beijing 17
Houston 17
Kunming 16
Francavilla Al Mare 15
Hebei 15
Andover 14
Hangzhou 14
Toronto 13
Ashburn 12
Dong Ket 12
Pescara 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
Milan 6
Norwalk 6
San Mateo 6
Los Angeles 5
Auburn Hills 4
Canino 4
Centrale 4
Palombara Sabina 4
Washington 4
Amsterdam 3
Guangzhou 3
Kraków 3
L'aquila 3
London 3
Morro D'oro 3
Orange 3
Orsogna 3
Shanghai 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
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
Jesi 1
Latina 1
Marano Vicentino 1
Totale 2.027
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 150
Descending chains and narrowing on template abstract domains 134
Proving Properties of Logic Programs by Abstract Diagnosis 111
Verifying Controllability of Time-Aware Business Processes 107
Verification of time-aware business processes using constrained horn clauses 97
Semantics and Expressive Power of a Timed Concurrent Constraint Language 95
Timed soft Concurrent Constraint Programs 80
A Taxonomy of Program Analyses 80
Abstract Diagnosis 80
Proving Correctness of Timed Concurrent Constraint Programs 79
Timed soft concurrent constraint programs: An interleaved and a parallel approach 78
A Timed Linda Language 76
Semantics and controllability of time-aware business processes 76
A compositional Semantics for CHR 73
Compilative Constructive Negation in Constraint Logic Programs 73
Unfolding for CHR programs 73
A Timed Concurrent Constraint Language 72
On the Expressive Power of Multiple Heads in CHR 71
Transformations of CCP programs. 71
A compositional Semantics for CHR with propagation rules 69
Resultants Semantics for Prolog 68
A Denotational Semantics for Timed Linda 68
Differential Logic Programs: Programming Methodologies and Semantics 67
On the Expressiveness of Concurrent Constraint Languages 65
Unfolding in CHR 65
A Compositional Semantics for Logic Programs 63
Compositionality in SLD-Derivations and their Abstractions 63
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 63
A compositional semantics for CHR 62
Compositionality properties of SLD-derivations 62
Compositional Verification of Infinite State Systems. 57
Proving correctness of timed concurrent constraint programs 57
Decidability properties for fragments of CHR 57
Theoretical Foundations and Semantics of Logic Programming 57
Unfold/Fold Transformations of CCP Programs 57
A Timed Linda Language and its Denotational Semantics. 56
Expressiveness of multiple heads in CHR 56
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 56
Observable Behaviors and Equivalences of Logic Programs 55
A Bottom-up Semantics for Constructive Negation 55
A Theory of Observables for Logic Programs 53
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 52
Contributions to the Semantics of Open Logic Programs 52
On the expressive power of priorities in CHR 51
An OR-Compositional Semantics for Logic Programs 50
On collecting semantics for program analysis 50
Differential Logic Programming 48
Observational Equivalences for Logic Programs 46
The expressive power of CHR with priorities 44
Timed Concurrent Language for Argumentation 29
Concurrent Argumentation with Time: an Overview 27
The role of linearity in sharing analysis 15
Timed Concurrent Language for Argumentation: An Interleaving Approach 13
Timed concurrent language for argumentation with maximum parallelism 11
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 5
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 2
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 2
Totale 3.504
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.435
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 12.435
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024253 25 18 18 10 7 55 72 6 2 6 4 30
2024/202546 46 0 0 0 0 0 0 0 0 0 0 0
Totale 3.504