IRIS
MEO, MARIA CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.702
EU - Europa 1.533
AS - Asia 1.308
SA - Sud America 110
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 4.667
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.668
SG - Singapore 514
CN - Cina 420
IT - Italia 339
UA - Ucraina 261
IE - Irlanda 205
GB - Regno Unito 200
TR - Turchia 185
SE - Svezia 173
IN - India 138
FR - Francia 113
BR - Brasile 102
DE - Germania 94
FI - Finlandia 52
RU - Federazione Russa 43
CA - Canada 20
HK - Hong Kong 16
VN - Vietnam 13
BE - Belgio 11
GR - Grecia 8
NL - Olanda 8
MX - Messico 7
ES - Italia 6
BD - Bangladesh 5
PK - Pakistan 5
PL - Polonia 5
AR - Argentina 4
DK - Danimarca 4
IQ - Iraq 3
LT - Lituania 3
AT - Austria 2
CH - Svizzera 2
DZ - Algeria 2
EE - Estonia 2
EU - Europa 2
IL - Israele 2
JM - Giamaica 2
MA - Marocco 2
PE - Perù 2
TT - Trinidad e Tobago 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
BB - Barbados 1
CO - Colombia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
JP - Giappone 1
KE - Kenya 1
KR - Corea 1
MD - Moldavia 1
MN - Mongolia 1
NZ - Nuova Zelanda 1
PA - Panama 1
SA - Arabia Saudita 1
SN - Senegal 1
TH - Thailandia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 4.667
Salva come PNG Salva come JPEG
Città #
Singapore 375
Chandler 288
Jacksonville 283
Dublin 205
Southend 148
Izmir 107
Princeton 106
Nanjing 83
Santa Clara 70
The Dalles 69
Ann Arbor 66
Wilmington 58
Beijing 56
Dearborn 56
Hefei 48
Altamura 47
Cambridge 47
Tongling 38
Nanchang 32
Alba 23
Ashburn 22
Woodbridge 21
Pescara 19
Boardman 18
Houston 17
Kunming 16
Francavilla Al Mare 15
Hebei 15
Hong Kong 15
Los Angeles 15
Toronto 15
Andover 14
Hangzhou 14
Dong Ket 12
Rome 12
Shenyang 12
Tianjin 12
Brussels 11
Grevenbroich 11
Jiaxing 11
Avezzano 9
Changsha 8
Chieti 8
Moscow 8
Bologna 7
Brooklyn 7
Helsinki 7
London 7
São Paulo 7
Boston 6
Civitanova Marche 6
Jinan 6
Lanzhou 6
Milan 6
Norwalk 6
Perugia 6
San Mateo 6
Auburn Hills 4
Canino 4
Centrale 4
Chicago 4
Council Bluffs 4
Mexico City 4
Nuremberg 4
Palombara Sabina 4
Rio de Janeiro 4
Seattle 4
Shanghai 4
Washington 4
Amsterdam 3
Charlotte 3
Chennai 3
Gravataí 3
Guangzhou 3
Guarulhos 3
Kraków 3
L'aquila 3
Montesilvano Marina 3
Morro D'oro 3
New York 3
Orange 3
Orsogna 3
Phoenix 3
San Francisco 3
Andrelândia 2
Barueri 2
Bauru 2
Burjassot 2
Castelnuovo Berardenga 2
Changchun 2
Città Sant'Angelo 2
Dallas 2
Denver 2
Fortaleza 2
Frankfurt am Main 2
Isernia 2
Kingston 2
Magliano de' Marsi 2
Middletown 2
Mola Di Bari 2
Totale 2.743
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 163
Descending chains and narrowing on template abstract domains 161
Proving Properties of Logic Programs by Abstract Diagnosis 140
Verifying Controllability of Time-Aware Business Processes 133
Semantics and Expressive Power of a Timed Concurrent Constraint Language 124
Verification of time-aware business processes using constrained horn clauses 110
A Denotational Semantics for Timed Linda 102
A Taxonomy of Program Analyses 102
Compilative Constructive Negation in Constraint Logic Programs 101
A compositional semantics for CHR 100
A Timed Linda Language 100
Semantics and controllability of time-aware business processes 100
A compositional Semantics for CHR 99
Timed soft Concurrent Constraint Programs 98
A Timed Concurrent Constraint Language 96
Proving Correctness of Timed Concurrent Constraint Programs 96
Abstract Diagnosis 96
On the Expressive Power of Multiple Heads in CHR 94
On the Expressiveness of Concurrent Constraint Languages 93
A Compositional Semantics for Logic Programs 92
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 91
A compositional Semantics for CHR with propagation rules 88
Decidability properties for fragments of CHR 88
Compositionality in SLD-Derivations and their Abstractions 87
Unfolding for CHR programs 87
An OR-Compositional Semantics for Logic Programs 86
Differential Logic Programs: Programming Methodologies and Semantics 86
Timed soft concurrent constraint programs: An interleaved and a parallel approach 84
Resultants Semantics for Prolog 83
Transformations of CCP programs. 83
Unfold/Fold Transformations of CCP Programs 82
Unfolding in CHR 82
Compositional Verification of Infinite State Systems. 81
Compositionality properties of SLD-derivations 81
Proving correctness of timed concurrent constraint programs 81
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 81
A Timed Linda Language and its Denotational Semantics. 79
Contributions to the Semantics of Open Logic Programs 78
A Theory of Observables for Logic Programs 77
A Bottom-up Semantics for Constructive Negation 77
Observational Equivalences for Logic Programs 75
On collecting semantics for program analysis 75
On the expressive power of priorities in CHR 71
Theoretical Foundations and Semantics of Logic Programming 70
The expressive power of CHR with priorities 70
Observable Behaviors and Equivalences of Logic Programs 69
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 69
Differential Logic Programming 69
Expressiveness of multiple heads in CHR 67
Timed Concurrent Language for Argumentation 62
Concurrent Argumentation with Time: an Overview 43
AI for Sustainability: Research at Ud’A Node 42
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 39
Timed concurrent language for argumentation with maximum parallelism 31
Timed Concurrent Language for Argumentation: An Interleaving Approach 28
The role of linearity in sharing analysis 25
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 21
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 12
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 10
Modelling Dialogues in a Concurrent Language for Argumentation 10
Totale 4.820
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.569
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 19.569
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021356 0 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/20251.089 54 267 221 17 7 10 23 77 82 50 130 151
2025/2026273 204 69 0 0 0 0 0 0 0 0 0 0
Totale 4.820