MEO, MARIA CHIARA
 Distribuzione geografica
Continente #
NA - Nord America 1.669
EU - Europa 1.522
AS - Asia 1.169
SA - Sud America 103
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 4.476
Nazione #
US - Stati Uniti d'America 1.635
SG - Singapore 497
IT - Italia 338
CN - Cina 304
UA - Ucraina 261
IE - Irlanda 205
GB - Regno Unito 198
TR - Turchia 185
SE - Svezia 172
IN - India 137
FR - Francia 113
BR - Brasile 95
DE - Germania 93
FI - Finlandia 52
RU - Federazione Russa 43
CA - Canada 20
HK - Hong Kong 14
VN - Vietnam 12
BE - Belgio 11
GR - Grecia 8
NL - Olanda 8
MX - Messico 7
BD - Bangladesh 5
AR - Argentina 4
DK - Danimarca 4
ES - Italia 4
PK - Pakistan 4
PL - Polonia 4
IQ - Iraq 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
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
SN - Senegal 1
TH - Thailandia 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 4.476
Città #
Singapore 374
Chandler 288
Jacksonville 283
Dublin 205
Southend 148
Izmir 107
Princeton 106
Nanjing 83
The Dalles 69
Santa Clara 67
Ann Arbor 66
Wilmington 58
Dearborn 56
Altamura 47
Cambridge 47
Tongling 38
Nanchang 32
Alba 23
Woodbridge 21
Beijing 19
Pescara 19
Boardman 18
Houston 17
Ashburn 16
Kunming 16
Francavilla Al Mare 15
Hebei 15
Toronto 15
Andover 14
Hangzhou 14
Hong Kong 13
Dong Ket 12
Rome 12
Shenyang 12
Tianjin 12
Brussels 11
Grevenbroich 11
Jiaxing 11
Avezzano 9
Los Angeles 9
Changsha 8
Chieti 8
Moscow 8
Bologna 7
Helsinki 7
São Paulo 7
Brooklyn 6
Civitanova Marche 6
Jinan 6
Lanzhou 6
Milan 6
Norwalk 6
Perugia 6
San Mateo 6
London 5
Auburn Hills 4
Canino 4
Centrale 4
Council Bluffs 4
Mexico City 4
Nuremberg 4
Palombara Sabina 4
Rio de Janeiro 4
Shanghai 4
Washington 4
Amsterdam 3
Charlotte 3
Gravataí 3
Guangzhou 3
Kraków 3
L'aquila 3
Montesilvano Marina 3
Morro D'oro 3
Orange 3
Orsogna 3
Andrelândia 2
Barueri 2
Bauru 2
Boston 2
Burjassot 2
Castelnuovo Berardenga 2
Changchun 2
Chennai 2
Chicago 2
Città Sant'Angelo 2
Dallas 2
Fortaleza 2
Guarulhos 2
Hefei 2
Isernia 2
Kingston 2
Magliano de' Marsi 2
Middletown 2
Mola Di Bari 2
New Delhi 2
New York 2
Ningbo 2
Novo Hamburgo 2
Philadelphia 2
Phoenix 2
Totale 2.626
Nome #
Narrowing Operators on Template Abstract Domains 161
Descending chains and narrowing on template abstract domains 159
Proving Properties of Logic Programs by Abstract Diagnosis 137
Verifying Controllability of Time-Aware Business Processes 131
Semantics and Expressive Power of a Timed Concurrent Constraint Language 120
Verification of time-aware business processes using constrained horn clauses 108
Compilative Constructive Negation in Constraint Logic Programs 98
Semantics and controllability of time-aware business processes 98
A Taxonomy of Program Analyses 98
A Denotational Semantics for Timed Linda 97
A compositional semantics for CHR 95
A Timed Linda Language 95
A compositional Semantics for CHR 94
Timed soft Concurrent Constraint Programs 94
Proving Correctness of Timed Concurrent Constraint Programs 92
Abstract Diagnosis 92
On the Expressive Power of Multiple Heads in CHR 91
On the Expressiveness of Concurrent Constraint Languages 90
A Timed Concurrent Constraint Language 89
A Compositional Semantics for Logic Programs 88
Decidability properties for fragments of CHR 87
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 87
Unfolding for CHR programs 86
Timed soft concurrent constraint programs: An interleaved and a parallel approach 84
A compositional Semantics for CHR with propagation rules 83
Compositionality in SLD-Derivations and their Abstractions 83
An OR-Compositional Semantics for Logic Programs 82
Differential Logic Programs: Programming Methodologies and Semantics 82
Unfolding in CHR 80
Transformations of CCP programs. 80
Resultants Semantics for Prolog 79
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 79
Unfold/Fold Transformations of CCP Programs 78
Proving correctness of timed concurrent constraint programs 77
Compositional Verification of Infinite State Systems. 76
Compositionality properties of SLD-derivations 76
A Timed Linda Language and its Denotational Semantics. 75
Contributions to the Semantics of Open Logic Programs 74
On collecting semantics for program analysis 74
A Theory of Observables for Logic Programs 72
A Bottom-up Semantics for Constructive Negation 71
Observational Equivalences for Logic Programs 71
On the expressive power of priorities in CHR 68
Theoretical Foundations and Semantics of Logic Programming 68
Observable Behaviors and Equivalences of Logic Programs 67
The expressive power of CHR with priorities 67
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs 66
Differential Logic Programming 65
Expressiveness of multiple heads in CHR 64
Timed Concurrent Language for Argumentation 62
Concurrent Argumentation with Time: an Overview 42
AI for Sustainability: Research at Ud’A Node 36
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games 36
Timed concurrent language for argumentation with maximum parallelism 27
Timed Concurrent Language for Argumentation: An Interleaving Approach 27
The role of linearity in sharing analysis 24
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation 20
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 11
Preserving Privacy in a (Timed) Concurrent Language for Argumentation 9
Modelling Dialogues in a Concurrent Language for Argumentation 7
Totale 4.629
Categoria #
all - tutte 19.095
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.095


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