CRIS Current Research Information System

GABBRIELLI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.521
NA - Nord America 4.212
AS - Asia 1.539
AF - Africa 250
SA - Sud America 25
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 3
Totale 10.557
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.189
IT - Italia 1.422
GB - Regno Unito 1.366
CN - Cina 566
SG - Singapore 453
DE - Germania 418
SE - Svezia 384
IN - India 178
FR - Francia 176
UA - Ucraina 162
VN - Vietnam 158
IE - Irlanda 140
TG - Togo 135
RU - Federazione Russa 127
TR - Turchia 83
EE - Estonia 66
ZA - Sudafrica 64
FI - Finlandia 51
CH - Svizzera 43
JO - Giordania 27
NL - Olanda 26
CI - Costa d'Avorio 25
BR - Brasile 20
CA - Canada 20
ES - Italia 19
BE - Belgio 18
GR - Grecia 18
PL - Polonia 17
HR - Croazia 16
PH - Filippine 16
ID - Indonesia 15
SC - Seychelles 12
RO - Romania 10
BG - Bulgaria 9
JP - Giappone 9
AU - Australia 7
AT - Austria 6
DK - Danimarca 6
HK - Hong Kong 6
HU - Ungheria 4
MT - Malta 4
SI - Slovenia 4
IL - Israele 3
KH - Cambogia 3
KR - Corea 3
LB - Libano 3
NG - Nigeria 3
PK - Pakistan 3
PT - Portogallo 3
DZ - Algeria 2
EU - Europa 2
IR - Iran 2
LK - Sri Lanka 2
MA - Marocco 2
MO - Macao, regione amministrativa speciale della Cina 2
MU - Mauritius 2
MX - Messico 2
NO - Norvegia 2
PE - Perù 2
SA - Arabia Saudita 2
TN - Tunisia 2
UG - Uganda 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BO - Bolivia 1
CL - Cile 1
CZ - Repubblica Ceca 1
EG - Egitto 1
LT - Lituania 1
LV - Lettonia 1
MN - Mongolia 1
MY - Malesia 1
PR - Porto Rico 1
SM - San Marino 1
TH - Thailandia 1
TW - Taiwan 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 10.557
Salva come PNG Salva come JPEG
Città #
Southend 1.272
Fairfield 514
Singapore 405
Chandler 351
Santa Clara 338
Ashburn 287
Bologna 249
Wilmington 221
Woodbridge 221
Ann Arbor 215
Seattle 206
Houston 174
Princeton 170
Cambridge 163
Dublin 140
Lomé 135
Boardman 108
Dong Ket 107
Jacksonville 96
Milan 87
Padova 73
Westminster 73
Nanjing 72
Istanbul 69
Rome 67
Medford 61
Berlin 55
Jinan 49
Helsinki 43
Saint Petersburg 40
Shenyang 34
San Diego 32
Changsha 29
Florence 29
Mountain View 29
Amman 27
Hebei 27
Bremen 26
Abidjan 25
Bern 25
Falls Church 25
New York 25
Turin 25
Mülheim 24
Parma 22
Bari 21
Jiaxing 21
Los Angeles 21
Modena 21
Naples 21
Des Moines 20
Redmond 20
Forlì 18
Beijing 17
Brussels 15
Ningbo 15
Nanchang 14
Augsburg 13
Guangzhou 13
Hyderabad 13
Jakarta 13
San Giorgio di Piano 13
Torrile 13
Warsaw 13
Barletta 12
Fremont 12
Grafing 12
Palermo 12
Shanghai 12
Tianjin 12
Davao City 11
Dearborn 11
Mahé 11
Norwalk 11
Salerno 11
Zhengzhou 11
Lucca 10
Paris 10
Taiyuan 10
Bühl 9
Moscow 9
Olalla 9
Redwood City 9
Sofia 9
Barcelona 8
Ferrara 8
Hangzhou 8
Lanzhou 8
Paulinia 8
Reggio Emilia 8
San Francisco 8
Verona 8
Amsterdam 7
Cagliari 7
Haikou 7
Imola 7
Kunming 7
London 7
Toronto 7
Casalecchio di Reno 6
Totale 7.112
Salva come PNG Salva come JPEG
Nome #
Linguaggi di programmazione: principi e paradigmi. Seconda Edizione 367
Artificial Intelligence and education: new research perspectives = Intelligenza artificiale e educazione: nuove prospettive di ricerca 251
Student dropout prediction 225
Constraint programming for flexible service function chaining deployment 212
Proving Correctness of Timed Concurrent Constraint Programs 191
A compositional semantics for CHR 186
Comparing Recursion, Replication, and Iteration in Process Calculi 185
Federated Platooning: Insider Threats and Mitigations 185
Linguaggi di programmazione 173
Informing predictive models against Students Dropout 173
Programming Languages: Principles and Paradigms 168
Linguistic Abstractions for Interoperability of IoT Platforms 166
Feature selection for SUNNY: A study on the algorithm selection library 163
Dynamic Choreographies: Theory And Implementation 159
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies 157
AIOCJ: A choreographic framework for safe adaptive distributed applications 152
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line 149
No more, no less: A formal model for serverless computing 148
Full abstraction for Linda 140
Compositional Verification of Asynchronous Processes via Constraint Solving 138
A compositional semantics for CHR. 138
A Timed Linda Language and its Denotational Semantics. 136
Graceful Interruption of Request-Response Service Interactions 136
SUNNY-CP and the minizinc challenge 135
Self-Reconfiguring Microservices 130
An Efficient Management of Correlation Sets with Broadcast 125
Multimodal Side-Tuning for Document Classification 124
On the expressive power of priorities in CHR 123
Representation of learning in the post-digital: students’ dropout predictive models with artificial intelligence algorithms 122
AIOCJ 122
Applied choreographies 122
A compositional Semantics for CHR with propagation rules 119
Developing correct, distributed, adaptive software 119
Unfolding in CHR 118
Interface-Based Service Composition with Aggregation. 116
On the expressive power of recursion, replication and iteration in process calculi 115
Why CP portfolio solvers are (under)utilized? Issues and challenges 115
Portfolio approaches for constraint optimization problems 113
Proceedings of the 21st International Conference on Logic Programming 112
An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 112
null 112
Survival prediction of trauma patients: a study on US National Trauma Data Bank 112
The expressive power of CHR with priorities 109
Laboratory Experiences in Software Engineering from a Constructivist Perspective 106
Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence 104
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems 104
Portfolio approaches for constraint optimization problems 104
An enhanced features extractor for a portfolio of constraint solvers 103
SUNNY: a Lazy Portfolio Approach for Constraint Solving 100
NightSplitter: A scheduling tool to optimize (sub)group activities 99
Dynamic choreographies - Safe runtime updates of distributed applications 97
Timed Soft Concurrent Constraint Programs 96
Service integration via target-transparent mediation 96
Linguaggi di Programmazione e Sistemi Software 95
Foreword 94
Concurrent and Reactive Constraint Programming 94
Leaving traces: A note on a sound and complete trace logic for concurrent constraint programs 94
On the Expressive Power of Multiple Heads in CHR 92
Towards a Composition-based APIaaS Layer 89
Decidability properties for fragments of CHR 89
null 88
Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi 86
null 85
Service-Oriented Architectures: From design to production exploiting workflow patterns 84
null 81
SUNNY for algorithm selection: A preliminary study 81
Timed soft concurrent constraint programs: An interleaved and a parallel approach 80
Expressiveness of Multiple Heads in CHR 79
Low-achievement risk assessment with machine learning 78
Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3). 78
SUNNY-CP: A sequential cp portfolio solver 76
A 2-step methodology for XAI in education 75
Theory and Pracite of Logic Programming 75
null 75
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 74
Unfolding for CHR programs 71
A multicore tool for constraint solving 69
Student Low Achievement Prediction 68
null 68
Image-based many-language programming language identification 67
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 66
Solving XCSP problems by using Gecode 65
null 63
sunny-as2: Enhancing SUNNY for Algorithm Selection 63
Proactive-Reactive Global Scaling, with Analytics 61
Programming Languages: Principles and Paradigms, 2nd edition 60
Predictive models for effective policy making against university dropout 57
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing 57
Dynamic Slicing for Concurrent Constraint Languages 54
Logic-Based Program Synthesis and Transformation - 29th International Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers 49
Luxury Car Data Analysis: A Literature Review 47
A Language-based Approach for Interoperability of IoT Platforms 45
Content-Based Textual File Type Detection at Scale 44
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems 41
Probabilistic recursion theory and implicit computational complexity 40
Hybrid Models for Knowledge Tracing: A Systematic Literature Review 39
Smart Mobility for All - A Global Federated Market for Mobility-as-a-Service Operators 38
Parallelizing constraint solvers for hard RCPSP instances 37
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 36
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) 34
Totale 10.663
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.560
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 27.560
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.157 0 0 0 0 0 0 249 260 315 138 61 134
2020/20211.521 254 82 54 45 50 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/20251.673 134 354 288 218 485 189 5 0 0 0 0 0
Totale 10.805