CINECA IRIS Institutional Research Information System

GADDUCCI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.237
AS - Asia 6.081
EU - Europa 5.766
SA - Sud America 991
Continente sconosciuto - Info sul continente non disponibili 407
AF - Africa 308
OC - Oceania 11
Totale 26.801
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.793
IT - Italia 2.543
SG - Singapore 1.789
CN - Cina 1.716
HK - Hong Kong 1.003
SE - Svezia 994
BR - Brasile 832
VN - Vietnam 498
DE - Germania 485
BG - Bulgaria 396
CA - Canada 339
TR - Turchia 332
FR - Francia 244
UA - Ucraina 225
FI - Finlandia 216
GB - Regno Unito 199
RU - Federazione Russa 181
JP - Giappone 135
IN - India 128
KR - Corea 112
CI - Costa d'Avorio 108
CH - Svizzera 78
BD - Bangladesh 67
AR - Argentina 51
IQ - Iraq 47
NG - Nigeria 40
MX - Messico 39
SN - Senegal 36
SA - Arabia Saudita 32
VE - Venezuela 29
ZA - Sudafrica 29
MA - Marocco 28
PK - Pakistan 24
CO - Colombia 22
ID - Indonesia 22
UZ - Uzbekistan 22
BE - Belgio 20
PH - Filippine 19
NL - Olanda 18
PL - Polonia 18
EC - Ecuador 17
AT - Austria 16
ES - Italia 16
GR - Grecia 16
IE - Irlanda 16
AE - Emirati Arabi Uniti 15
EU - Europa 15
IL - Israele 14
NO - Norvegia 14
PT - Portogallo 14
EG - Egitto 13
JM - Giamaica 12
JO - Giordania 12
NP - Nepal 12
TN - Tunisia 11
CL - Cile 10
KE - Kenya 10
PE - Perù 10
RO - Romania 10
OM - Oman 9
UY - Uruguay 9
AZ - Azerbaigian 8
PA - Panama 8
PY - Paraguay 8
BY - Bielorussia 7
CZ - Repubblica Ceca 7
GE - Georgia 7
IR - Iran 7
AU - Australia 6
BS - Bahamas 6
DZ - Algeria 6
KW - Kuwait 6
TT - Trinidad e Tobago 6
AL - Albania 5
BB - Barbados 5
CR - Costa Rica 5
EE - Estonia 5
ET - Etiopia 5
HN - Honduras 5
LB - Libano 5
LT - Lituania 5
RS - Serbia 5
RW - Ruanda 5
TH - Thailandia 5
CY - Cipro 4
DK - Danimarca 4
DO - Repubblica Dominicana 4
GT - Guatemala 4
KZ - Kazakistan 4
NZ - Nuova Zelanda 4
PS - Palestinian Territory 4
BJ - Benin 3
GA - Gabon 3
LA - Repubblica Popolare Democratica del Laos 3
LU - Lussemburgo 3
MY - Malesia 3
QA - Qatar 3
SY - Repubblica araba siriana 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
Totale 26.370
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.389
Serra 1.136
Ann Arbor 1.135
Ashburn 1.114
Singapore 1.071
Fairfield 1.040
Hong Kong 975
Houston 857
Santa Clara 794
San Jose 582
Chandler 537
Seattle 512
Dallas 459
Milan 435
Beijing 402
Sofia 395
Cambridge 364
Wilmington 363
Shanghai 353
New York 287
Jacksonville 286
Ottawa 268
Boardman 219
Izmir 198
Princeton 162
Lawrence 151
Los Angeles 146
Hefei 129
Lauterbourg 129
Tokyo 127
Florence 126
Bremen 120
Nanjing 119
Council Bluffs 118
Ho Chi Minh City 110
Seoul 110
Abidjan 108
Düsseldorf 96
Medford 87
The Dalles 86
Hanoi 80
Istanbul 80
Des Moines 78
Rome 77
Dong Ket 74
Buffalo 73
Bern 64
San Diego 62
São Paulo 61
Dearborn 53
Helsinki 52
Pisa 50
Redondo Beach 50
Nanchang 49
Columbus 46
Jüchen 46
Munich 43
Lagos 39
Dakar 36
Kocaeli 33
London 32
Ogden 31
Changsha 29
Chicago 29
Shenyang 28
Rio de Janeiro 27
Pune 25
Redwood City 25
University Park 25
Belo Horizonte 24
Frankfurt am Main 23
Turku 23
Grafing 22
Hebei 22
Tashkent 20
Jiaxing 19
Kunming 19
Cecina 18
Indiana 18
Lucca 18
Tianjin 18
Toronto 18
Boulder 17
Brussels 17
Curitiba 17
Salt Lake City 17
Dhaka 16
Falls Church 15
Memphis 15
Norwalk 15
San Giuliano Terme 15
Casablanca 14
Chennai 14
Dublin 14
Lappeenranta 14
Orange 14
Oslo 14
Paris 14
Riyadh 14
San Francisco 14
Totale 19.024
Salva come PNG Salva come JPEG
Nome #
AGILE: Software architecture for mobility 282
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 246
Functorial semantics for multi-algebras 237
Normal forms for partitions and relations 237
Processes as formal power series: A coinductive approach to denotational semantics 235
A fully abstract model for graph-interpreted temporal logic 233
An inductive view of graph transformation 232
A soft approach to multi-objective optimization 232
A 2-Categorical Presentation of Term Graph Rewriting 230
Modelling calculi with name mobility using graphs with equivalences 229
Synthesising CCS bisimulation using graph rewriting 222
Tiles, rewriting rules and CCS 221
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory 216
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization 213
Term graph rewriting for the π-calculus 210
Graphical encoding of a spatial logic for the π-calculus 210
Axioms for contextual net processes 207
Compositional specification of web services via behavioural equivalence of nets: A case study 206
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers 204
Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding) 203
A category of explicit fusions 200
A graph syntax for processes and services 200
Denotational testing semantics in coinductive form 199
Domains and event structures for fusions 199
Ugo Montanari and friends 198
A modular LTS for open reactive systems 196
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 196
GS·Λ theories: A syntax for higher-order graphs 195
Residuation for bipolar preferences in soft constraints 195
Graph rewriting for the π-calculus 194
A decentralized implementation of Mobile Ambients 194
Barbed semantics for open reactive systems 194
Data-Driven Choreographies à la Klaim 194
Graph processes with fusions: Concurrency by colimits, again 193
On gs-monoidal theories for graphs with nesting 193
Concurrency cannot be observed, asynchronously 192
Hierarchical models for service-oriented systems 192
Categorical rewriting of term-like structures 192
Architecting Dependable Systems VI 191
CPO Models for Infinite Term Rewriting 191
Some characterization results for permutation algebras 190
Observing reductions in nominal calculi via a graphical encoding of processes 190
Views on Designing Complex Architectures, 1st International Workshop (VODCA 2004) 190
On barbs and labels in reactive systems 190
Adaptable Transition Systems 190
Soft constraints for lexicographic orders 189
A behavioural congruence for web services 188
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 187
Process bisimulation via a graphical encoding 186
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 185
Concurrent rewriting for graphs with equivalences 184
Exploiting over- and under-approximations for infinite-state counterpart models 183
Using old computers for teaching computer science 183
Counterpart semantics for a second-order μ-calculus 181
On term graphs as an adhesive category 181
Saturated LTSs for adhesive rewriting systems 181
Modal μ-types for processes 180
An algebra of hierarchical graphs 180
Views on Designing Complex Architectures, Second International Workshop (VODCA 2006) 179
Parallel and sequential independence for borrowed contexts 179
A calculus for team automata 178
Encoding asynchronous interactions using open Petri nets 178
An institution for graph transformation 178
A presheaf environment for the calculus of explicit fusions 178
Causality and replication in concurrent processes 178
A denotational view of replicated data types 178
Reactive systems, barbed semantics, and the Mobile Ambients 178
RPO semantics for Mobile Ambients 177
Concurrency can't be observed, asynchronously 174
A net-based approach to Web services publication and replaceability 174
Event structures for Petri nets with persistence 174
Normal forms for algebras of connections 173
Graph transactions as processes 173
A concurrent graph semantics for Mobile Ambients 172
Encoding synchronous interactions using labelled Petri nets 172
Counterpart semantics for a second-order μ-calculus 170
Relating Two Categorial Models of Term Rewriting 170
Extending soft arc consistency algorithms to non-invertible semirings 169
Graphical verification of a spatial logic for the π-calculus 168
Inequational Deduction as Term Graph Rewriting 168
Some algebraic laws for spans 167
Modelling and analyzing adaptive self-assembly strategies with Maude 167
Towards a Notion of Transaction in Graph Rewriting 166
A Conceptual Framework for Adaptation 166
Comparing cospan-spans and tiles via a Hoare-style process calculus 164
Adhesivity is not enough: Local Church-Rosser revisited 164
A white-box perspective on behavioural adaptation 164
A decentralized graphical implementation of mobile ambients 163
Left-Linear Rewriting in Adhesive Categories 162
Rewriting Logic and its Applications, 4th International Workshop (WRLA 2002) 161
About permutation algebras, (pre)sheaves and named sets 159
Polyadic soft constraints 159
Petri nets are dioids 158
A bi-categorical axiomatisation of concurrent graph rewriting 158
Rediscovering the very first Italian digital computer 154
Reconciling white-box and black-box perspectives on behavioural self-adaptation 154
Asynchronous traces and open Petri nets 153
Deriving Weak Bisimulation Congruences from Reduction Systems 151
A general theory of barbs, contexts and labels 151
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure 151
Totale 18.771
Salva come PNG Salva come JPEG
Categoria #
all - tutte 74.285
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 74.285
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.886 0 151 100 205 341 275 64 120 62 40 158 370
2022/20232.033 267 185 148 247 213 276 8 141 349 14 155 30
2023/20241.685 210 190 236 99 226 296 88 62 23 41 67 147
2024/20255.155 19 204 55 250 566 593 381 320 444 593 578 1.152
2025/20265.476 400 713 565 474 369 514 858 288 327 616 162 190
2026/2027204 142 62 0 0 0 0 0 0 0 0 0 0
Totale 26.801