CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019119 0 0 0 0 0 0 0 0 0 0 27 92
2019/20202.074 288 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/2024799 37 109 92 96 43 87 71 68 51 85 60 0
Totale 9.012