CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.690 0 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.708 3.215 546 579 436 569 311 627 334 1.086 531 282 192
2026/2027648 283 365 0 0 0 0 0 0 0 0 0 0
Totale 21.615