GABBRIELLI, MAURIZIO
 Distribuzione geografica
Continente #
AS - Asia 6.597
EU - Europa 5.453
NA - Nord America 4.843
AF - Africa 315
SA - Sud America 255
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 3
Totale 17.476
Nazione #
US - Stati Uniti d'America 4.781
VN - Vietnam 3.213
IT - Italia 1.816
GB - Regno Unito 1.386
CN - Cina 1.257
SG - Singapore 1.210
DE - Germania 549
SE - Svezia 388
HK - Hong Kong 302
IN - India 224
FR - Francia 220
RU - Federazione Russa 210
BR - Brasile 191
UA - Ucraina 164
IE - Irlanda 146
TG - Togo 135
NL - Olanda 132
FI - Finlandia 126
KR - Corea 115
TR - Turchia 88
ZA - Sudafrica 73
EE - Estonia 66
CI - Costa d'Avorio 54
CH - Svizzera 51
JP - Giappone 50
CA - Canada 43
ES - Italia 35
PL - Polonia 31
AR - Argentina 30
SC - Seychelles 29
JO - Giordania 27
ID - Indonesia 22
BE - Belgio 20
AT - Austria 18
GR - Grecia 18
HR - Croazia 16
PH - Filippine 16
MX - Messico 13
PK - Pakistan 11
AU - Australia 10
BG - Bulgaria 10
RO - Romania 10
TW - Taiwan 9
CL - Cile 8
CO - Colombia 8
LT - Lituania 7
BD - Bangladesh 6
DK - Danimarca 6
PE - Perù 6
EC - Ecuador 5
IQ - Iraq 5
MY - Malesia 5
AE - Emirati Arabi Uniti 4
CZ - Repubblica Ceca 4
HU - Ungheria 4
IL - Israele 4
MA - Marocco 4
MT - Malta 4
NG - Nigeria 4
NO - Norvegia 4
PT - Portogallo 4
SI - Slovenia 4
DZ - Algeria 3
IR - Iran 3
KE - Kenya 3
KH - Cambogia 3
LB - Libano 3
SA - Arabia Saudita 3
TN - Tunisia 3
BH - Bahrain 2
BO - Bolivia 2
EU - Europa 2
GE - Georgia 2
LK - Sri Lanka 2
MO - Macao, regione amministrativa speciale della Cina 2
MU - Mauritius 2
PY - Paraguay 2
UG - Uganda 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
BZ - Belize 1
CD - Congo 1
CR - Costa Rica 1
DM - Dominica 1
EG - Egitto 1
GI - Gibilterra 1
KZ - Kazakistan 1
LV - Lettonia 1
MN - Mongolia 1
NE - Niger 1
NP - Nepal 1
PA - Panama 1
PR - Porto Rico 1
SM - San Marino 1
SR - Suriname 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
Totale 17.473
Città #
Southend 1.272
Ho Chi Minh City 1.011
Singapore 779
Hanoi 763
Fairfield 514
Ashburn 425
Chandler 351
Santa Clara 344
Hefei 320
Bologna 319
Hong Kong 295
Wilmington 221
Woodbridge 221
Ann Arbor 215
Seattle 211
Houston 176
Princeton 170
Cambridge 163
Dublin 146
Lomé 135
Milan 133
Boardman 113
Quận Bình Thạnh 112
Seoul 110
Dong Ket 107
Beijing 105
Rome 99
Da Nang 98
Jacksonville 96
Helsinki 87
Haiphong 84
Los Angeles 82
Munich 77
Nanjing 73
Padova 73
Westminster 73
Dallas 72
Istanbul 69
Biên Hòa 61
Medford 61
Thái Nguyên 56
Berlin 55
Abidjan 54
Hải Dương 54
Jinan 50
Ha Long 43
New York 43
Tokyo 43
Buffalo 42
Vũng Tàu 42
Bari 40
Saint Petersburg 40
Ninh Bình 39
Changsha 35
Shenyang 35
Quận Một 34
Can Tho 33
Florence 33
Quận Bảy 33
Turin 33
Redondo Beach 32
San Diego 32
Modena 30
Parma 30
Mountain View 29
Naples 28
Amman 27
Hebei 27
Tân Phú 27
Bremen 26
Bern 25
Bắc Giang 25
Falls Church 25
Quận Bốn 25
Warsaw 25
Frankfurt am Main 24
Mülheim 24
Vĩnh Long 24
Bengaluru 23
Bắc Ninh 23
Quảng Ninh 23
Guangzhou 21
Jiaxing 21
Des Moines 20
Hòa Bình 20
Redmond 20
Forlì 19
Lang Son 19
São Paulo 19
Phủ Lý 18
Brussels 17
Chicago 17
Nuremberg 17
Quận Năm 17
Quận Phú Nhuận 17
Shanghai 17
Tianjin 17
Hoàng Mai 16
Zhengzhou 16
Ningbo 15
Totale 11.570
Nome #
Luxury Car Data Analysis: A Literature Review 2.949
Linguaggi di programmazione: principi e paradigmi. Seconda Edizione 492
Artificial Intelligence and education: new research perspectives = Intelligenza artificiale e educazione: nuove prospettive di ricerca 358
Student dropout prediction 312
Constraint programming for flexible service function chaining deployment 245
Linguaggi di programmazione 240
Proving Correctness of Timed Concurrent Constraint Programs 239
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) 237
Comparing Recursion, Replication, and Iteration in Process Calculi 231
Informing predictive models against Students Dropout 228
A compositional semantics for CHR 221
Representation of learning in the post-digital: students’ dropout predictive models with artificial intelligence algorithms 213
Federated Platooning: Insider Threats and Mitigations 203
Low-achievement risk assessment with machine learning 202
Programming Languages: Principles and Paradigms 197
Linguistic Abstractions for Interoperability of IoT Platforms 196
Feature selection for SUNNY: A study on the algorithm selection library 194
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies 187
Programming Languages: Principles and Paradigms, 2nd edition 184
Dynamic Choreographies: Theory And Implementation 182
Multimodal Side-Tuning for Document Classification 181
Full abstraction for Linda 175
AIOCJ: A choreographic framework for safe adaptive distributed applications 175
Student Low Achievement Prediction 173
Compositional Verification of Asynchronous Processes via Constraint Solving 173
A compositional semantics for CHR. 173
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line 173
A Timed Linda Language and its Denotational Semantics. 172
No more, no less: A formal model for serverless computing 172
Proactive-Reactive Global Scaling, with Analytics 168
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 168
SUNNY-CP and the minizinc challenge 164
Graceful Interruption of Request-Response Service Interactions 164
Proactive-reactive microservice architecture global scaling 161
Self-Reconfiguring Microservices 151
Hybrid Models for Knowledge Tracing: A Systematic Literature Review 150
Predictive models for effective policy making against university dropout 149
Developing correct, distributed, adaptive software 149
Interface-Based Service Composition with Aggregation. 145
On the expressive power of recursion, replication and iteration in process calculi 141
AIOCJ 141
On the expressive power of priorities in CHR 138
An Efficient Management of Correlation Sets with Broadcast 138
Unfolding in CHR 138
A compositional Semantics for CHR with propagation rules 136
Laboratory Experiences in Software Engineering from a Constructivist Perspective 134
Applied choreographies 133
Proceedings of the 21st International Conference on Logic Programming 132
Why CP portfolio solvers are (under)utilized? Issues and challenges 132
Portfolio approaches for constraint optimization problems 132
An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 129
Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence 126
Survival prediction of trauma patients: a study on US National Trauma Data Bank 125
The expressive power of CHR with priorities 123
Portfolio approaches for constraint optimization problems 122
NightSplitter: A scheduling tool to optimize (sub)group activities 122
Linguaggi di Programmazione e Sistemi Software 121
Dynamic choreographies - Safe runtime updates of distributed applications 121
Theory and Pracite of Logic Programming 119
An enhanced features extractor for a portfolio of constraint solvers 119
SUNNY: a Lazy Portfolio Approach for Constraint Solving 117
SUNNY for algorithm selection: A preliminary study 117
A 2-step methodology for XAI in education 116
Service integration via target-transparent mediation 116
Programming adaptive microservice applications: An AIOCJ tutorial 114
On the Evaluation of (Meta-)solver Approaches 114
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems 114
null 112
sunny-as2: Enhancing SUNNY for Algorithm Selection 112
Leaving traces: A note on a sound and complete trace logic for concurrent constraint programs 110
Foreword 109
Towards a Composition-based APIaaS Layer 109
Timed Soft Concurrent Constraint Programs 108
Concurrent and Reactive Constraint Programming 108
Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3). 105
Service-Oriented Architectures: From design to production exploiting workflow patterns 105
Expressiveness of Multiple Heads in CHR 103
Unfolding for CHR programs 102
Preface 101
Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi 101
On the Expressive Power of Multiple Heads in CHR 101
Timed soft concurrent constraint programs: An interleaved and a parallel approach 98
Decidability properties for fragments of CHR 98
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 96
SUNNY-CP: A sequential cp portfolio solver 95
Image-based many-language programming language identification 95
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 89
null 88
null 85
Solving XCSP problems by using Gecode 85
A multicore tool for constraint solving 84
null 81
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing 75
null 75
Dynamic Slicing for Concurrent Constraint Languages 75
Probabilistic recursion theory and implicit computational complexity 69
null 68
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems 67
Content-Based Textual File Type Detection at Scale 65
A Language-based Approach for Interoperability of IoT Platforms 63
Totale 17.213
Categoria #
all - tutte 42.267
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 42.267


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.036 0 0 0 0 0 78 45 157 277 114 110 255
2021/20221.836 146 66 129 108 211 100 71 149 129 50 359 318
2022/20232.013 181 355 113 211 105 235 81 140 318 56 133 85
2023/2024919 37 109 92 96 43 87 71 68 51 85 83 97
2024/20253.127 134 354 288 218 485 189 325 138 111 184 241 460
2025/20265.484 3.215 546 579 436 569 139 0 0 0 0 0 0
Totale 17.743