CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.786 0 71 22 130 204 202 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/2025303 134 169 0 0 0 0 0 0 0 0 0 0
Totale 9.435