CRIS Current Research Information System

GABBRIELLI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.053
EU - Europa 6.032
NA - Nord America 5.868
AF - Africa 348
SA - Sud America 317
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 3
Totale 20.632
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.754
VN - Vietnam 3.888
IT - Italia 2.138
CN - Cina 1.477
GB - Regno Unito 1.406
SG - Singapore 1.405
DE - Germania 586
SE - Svezia 390
HK - Hong Kong 333
FR - Francia 324
IN - India 261
BR - Brasile 224
RU - Federazione Russa 212
UA - Ucraina 171
IE - Irlanda 150
NL - Olanda 145
FI - Finlandia 137
TG - Togo 135
KR - Corea 127
TR - Turchia 103
JP - Giappone 98
ZA - Sudafrica 83
BD - Bangladesh 80
CA - Canada 80
EE - Estonia 66
CH - Svizzera 56
CI - Costa d'Avorio 54
PH - Filippine 52
ES - Italia 47
PL - Polonia 42
AR - Argentina 39
TH - Thailandia 30
SC - Seychelles 29
ID - Indonesia 28
JO - Giordania 28
PK - Pakistan 26
BE - Belgio 24
TW - Taiwan 24
GR - Grecia 22
AT - Austria 19
MX - Messico 19
HR - Croazia 16
IQ - Iraq 16
CO - Colombia 14
SA - Arabia Saudita 14
PT - Portogallo 13
RO - Romania 12
AU - Australia 11
BG - Bulgaria 11
CL - Cile 10
UZ - Uzbekistan 10
LT - Lituania 9
EC - Ecuador 8
KE - Kenya 7
MA - Marocco 7
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
DK - Danimarca 6
DZ - Algeria 6
IL - Israele 6
MY - Malesia 6
NG - Nigeria 6
PE - Perù 6
PY - Paraguay 6
TN - Tunisia 6
EG - Egitto 5
HU - Ungheria 5
SI - Slovenia 5
CZ - Repubblica Ceca 4
LK - Sri Lanka 4
MN - Mongolia 4
MT - Malta 4
NO - Norvegia 4
TT - Trinidad e Tobago 4
AL - Albania 3
BH - Bahrain 3
IR - Iran 3
KH - Cambogia 3
LB - Libano 3
SY - Repubblica araba siriana 3
AM - Armenia 2
BO - Bolivia 2
CR - Costa Rica 2
EU - Europa 2
GE - Georgia 2
JM - Giamaica 2
KZ - Kazakistan 2
MO - Macao, regione amministrativa speciale della Cina 2
MU - Mauritius 2
NP - Nepal 2
SK - Slovacchia (Repubblica Slovacca) 2
UG - Uganda 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AZ - Azerbaigian 1
BW - Botswana 1
BZ - Belize 1
CD - Congo 1
DM - Dominica 1
ET - Etiopia 1
GH - Ghana 1
Totale 20.620
Salva come PNG Salva come JPEG
Città #
Southend 1.272
Ho Chi Minh City 1.199
Singapore 947
Hanoi 924
Fairfield 514
Ashburn 504
San Jose 405
Bologna 389
Santa Clara 357
Chandler 351
Hefei 320
Hong Kong 316
Wilmington 221
Woodbridge 221
Ann Arbor 215
Seattle 214
Houston 181
Princeton 170
Milan 169
Cambridge 163
Dublin 150
Lomé 135
Da Nang 128
Boardman 124
Quận Bình Thạnh 115
Rome 114
Beijing 113
Seoul 111
Dong Ket 107
Haiphong 103
Los Angeles 101
Jacksonville 96
Helsinki 95
Council Bluffs 91
Lauterbourg 89
Dallas 79
Munich 77
Nanjing 76
Tokyo 75
New York 74
Westminster 74
Padova 73
Istanbul 70
Hải Dương 66
Biên Hòa 64
Medford 61
Thái Nguyên 59
Berlin 55
Abidjan 54
Buffalo 50
Jinan 50
Bari 48
Ha Long 45
Vũng Tàu 42
Florence 41
Ninh Bình 40
Saint Petersburg 40
Naples 39
Can Tho 38
Changsha 38
Frankfurt am Main 38
Shenyang 35
Quận Một 34
Vĩnh Long 34
Quận Bảy 33
San Diego 33
Turin 33
Modena 32
Redondo Beach 32
Warsaw 32
Parma 31
Guangzhou 30
Bắc Giang 29
Mountain View 29
Amman 28
Montreal 28
Hebei 27
Tân Phú 27
Bremen 26
Bern 25
Falls Church 25
Quận Bốn 25
São Paulo 25
Bắc Ninh 24
Mülheim 24
Bengaluru 23
Chicago 23
Quảng Ninh 23
Des Moines 22
Jiaxing 22
Nuremberg 22
Phủ Lý 21
Rimini 21
Shanghai 21
Brussels 20
Hòa Bình 20
Orem 20
Redmond 20
San Francisco 20
Toronto 20
Totale 13.209
Salva come PNG Salva come JPEG
Nome #
Luxury Car Data Analysis: A Literature Review 3.016
Linguaggi di programmazione: principi e paradigmi. Seconda Edizione 595
Artificial Intelligence and education: new research perspectives = Intelligenza artificiale e educazione: nuove prospettive di ricerca 401
Student dropout prediction 372
Programming Languages: Principles and Paradigms, 2nd edition 281
Constraint programming for flexible service function chaining deployment 281
Linguaggi di programmazione 269
Informing predictive models against Students Dropout 266
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) 259
Proving Correctness of Timed Concurrent Constraint Programs 256
A compositional semantics for CHR 245
Comparing Recursion, Replication, and Iteration in Process Calculi 242
Low-achievement risk assessment with machine learning 237
Representation of learning in the post-digital: students’ dropout predictive models with artificial intelligence algorithms 237
Federated Platooning: Insider Threats and Mitigations 227
Linguistic Abstractions for Interoperability of IoT Platforms 227
Proactive-reactive microservice architecture global scaling 223
Dynamic Choreographies: Theory And Implementation 223
Multimodal Side-Tuning for Document Classification 220
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 217
Feature selection for SUNNY: A study on the algorithm selection library 217
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies 217
Programming Languages: Principles and Paradigms 214
A Timed Linda Language and its Denotational Semantics. 202
No more, no less: A formal model for serverless computing 202
Proactive-Reactive Global Scaling, with Analytics 201
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line 201
Student Low Achievement Prediction 199
Full abstraction for Linda 198
Compositional Verification of Asynchronous Processes via Constraint Solving 193
A compositional semantics for CHR. 190
AIOCJ: A choreographic framework for safe adaptive distributed applications 188
Graceful Interruption of Request-Response Service Interactions 182
Hybrid Models for Knowledge Tracing: A Systematic Literature Review 179
SUNNY-CP and the minizinc challenge 177
Predictive models for effective policy making against university dropout 176
Self-Reconfiguring Microservices 175
Theory and Pracite of Logic Programming 169
On the expressive power of recursion, replication and iteration in process calculi 167
Developing correct, distributed, adaptive software 166
Interface-Based Service Composition with Aggregation. 161
An Efficient Management of Correlation Sets with Broadcast 159
On the expressive power of priorities in CHR 157
AIOCJ 157
Unfolding in CHR 157
Proceedings of the 21st International Conference on Logic Programming 156
Why CP portfolio solvers are (under)utilized? Issues and challenges 154
Portfolio approaches for constraint optimization problems 152
A compositional Semantics for CHR with propagation rules 149
Laboratory Experiences in Software Engineering from a Constructivist Perspective 149
A 2-step methodology for XAI in education 148
Dynamic choreographies - Safe runtime updates of distributed applications 145
Applied choreographies 145
Survival prediction of trauma patients: a study on US National Trauma Data Bank 145
An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 144
SUNNY for algorithm selection: A preliminary study 144
sunny-as2: Enhancing SUNNY for Algorithm Selection 143
Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence 142
The expressive power of CHR with priorities 141
On the Evaluation of (Meta-)solver Approaches 139
Linguaggi di Programmazione e Sistemi Software 139
Portfolio approaches for constraint optimization problems 138
NightSplitter: A scheduling tool to optimize (sub)group activities 137
An enhanced features extractor for a portfolio of constraint solvers 135
SUNNY: a Lazy Portfolio Approach for Constraint Solving 133
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems 132
Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi 131
Service integration via target-transparent mediation 129
Programming adaptive microservice applications: An AIOCJ tutorial 128
Image-based many-language programming language identification 128
Foreword 127
Concurrent and Reactive Constraint Programming 125
Timed Soft Concurrent Constraint Programs 124
Service-Oriented Architectures: From design to production exploiting workflow patterns 122
Towards a Composition-based APIaaS Layer 122
Expressiveness of Multiple Heads in CHR 122
Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3). 119
Leaving traces: A note on a sound and complete trace logic for concurrent constraint programs 118
SUNNY-CP: A sequential cp portfolio solver 117
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 115
Preface 113
On the Expressive Power of Multiple Heads in CHR 113
Decidability properties for fragments of CHR 113
Unfolding for CHR programs 112
Timed soft concurrent constraint programs: An interleaved and a parallel approach 112
A multicore tool for constraint solving 112
null 112
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 111
Balancing Performance and Explainability in Academic Dropout Prediction 111
From Unsupervised Phenotyping to a Clinician-Ready Classifier: A Complete Pipeline for Assessing 90° Change-of-Direction Technique in Footballers 99
Solving XCSP problems by using Gecode 99
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing 97
Dynamic Slicing for Concurrent Constraint Languages 96
Probabilistic recursion theory and implicit computational complexity 94
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems 91
Stylometry for real-world expert coders: a zero-shot approach 90
Smart Mobility for All - A Global Federated Market for Mobility-as-a-Service Operators 89
Content-Based Textual File Type Detection at Scale 89
null 88
null 85
Totale 19.661
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.451
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 49.451
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021255 0 0 0 0 0 0 0 0 0 0 0 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/20268.696 3.215 546 579 436 569 311 627 334 1.086 531 282 180
Totale 20.955