CINECA IRIS Institutional Research Information System

GADDUCCI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.036
AS - Asia 6.074
EU - Europa 5.693
SA - Sud America 977
AF - Africa 308
Continente sconosciuto - Info sul continente non disponibili 17
OC - Oceania 11
Totale 26.116
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.605
IT - Italia 2.482
SG - Singapore 1.786
CN - Cina 1.714
HK - Hong Kong 1.002
SE - Svezia 992
BR - Brasile 825
VN - Vietnam 498
DE - Germania 485
BG - Bulgaria 396
CA - Canada 337
TR - Turchia 332
FR - Francia 242
UA - Ucraina 225
FI - Finlandia 216
GB - Regno Unito 199
RU - Federazione Russa 180
JP - Giappone 135
IN - India 128
KR - Corea 112
CI - Costa d'Avorio 108
CH - Svizzera 78
BD - Bangladesh 67
AR - Argentina 49
IQ - Iraq 47
NG - Nigeria 40
MX - Messico 38
SN - Senegal 36
SA - Arabia Saudita 32
VE - Venezuela 29
ZA - Sudafrica 29
MA - Marocco 28
PK - Pakistan 24
ID - Indonesia 22
UZ - Uzbekistan 22
CO - Colombia 20
BE - Belgio 19
PH - Filippine 19
NL - Olanda 18
PL - Polonia 18
AT - Austria 16
IE - Irlanda 16
AE - Emirati Arabi Uniti 15
EC - Ecuador 15
ES - Italia 15
EU - Europa 15
GR - Grecia 15
IL - Israele 14
NO - Norvegia 14
EG - Egitto 13
PT - Portogallo 13
JO - Giordania 12
NP - Nepal 12
TN - Tunisia 11
JM - Giamaica 10
KE - Kenya 10
PE - Perù 10
CL - Cile 9
OM - Oman 9
UY - Uruguay 9
AZ - Azerbaigian 8
PA - Panama 8
PY - Paraguay 8
RO - Romania 8
BY - Bielorussia 7
CZ - Repubblica Ceca 7
GE - Georgia 7
IR - Iran 7
AU - Australia 6
DZ - Algeria 6
KW - Kuwait 6
TT - Trinidad e Tobago 6
AL - Albania 5
BB - Barbados 5
EE - Estonia 5
ET - Etiopia 5
LB - Libano 5
LT - Lituania 5
RS - Serbia 5
RW - Ruanda 5
TH - Thailandia 5
BS - Bahamas 4
DK - Danimarca 4
DO - Repubblica Dominicana 4
GT - Guatemala 4
HN - Honduras 4
KZ - Kazakistan 4
NZ - Nuova Zelanda 4
PS - Palestinian Territory 4
BJ - Benin 3
CY - Cipro 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
CR - Costa Rica 2
Totale 26.078
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.389
Serra 1.136
Ann Arbor 1.135
Ashburn 1.086
Singapore 1.070
Fairfield 1.040
Hong Kong 974
Houston 853
Santa Clara 788
San Jose 574
Chandler 537
Seattle 512
Dallas 457
Milan 414
Beijing 400
Sofia 395
Cambridge 364
Wilmington 362
Shanghai 353
New York 287
Jacksonville 285
Ottawa 268
Boardman 219
Izmir 198
Princeton 162
Lawrence 151
Los Angeles 145
Hefei 129
Lauterbourg 129
Tokyo 127
Florence 125
Bremen 120
Nanjing 119
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 75
Dong Ket 74
Buffalo 73
Bern 64
San Diego 62
São Paulo 60
Council Bluffs 59
Dearborn 53
Helsinki 52
Redondo Beach 50
Nanchang 49
Pisa 49
Columbus 46
Jüchen 46
Munich 43
Lagos 39
Dakar 36
Kocaeli 33
London 31
Ogden 31
Changsha 29
Chicago 28
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 18.882
Salva come PNG Salva come JPEG
Nome #
AGILE: Software architecture for mobility 279
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 242
Normal forms for partitions and relations 236
Functorial semantics for multi-algebras 235
Processes as formal power series: A coinductive approach to denotational semantics 235
A fully abstract model for graph-interpreted temporal logic 233
A soft approach to multi-objective optimization 229
Modelling calculi with name mobility using graphs with equivalences 227
A 2-Categorical Presentation of Term Graph Rewriting 227
An inductive view of graph transformation 226
Synthesising CCS bisimulation using graph rewriting 221
Tiles, rewriting rules and CCS 220
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
Graphical encoding of a spatial logic for the π-calculus 209
Term graph rewriting for the π-calculus 207
Axioms for contextual net processes 206
Compositional specification of web services via behavioural equivalence of nets: A case study 204
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers 202
Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding) 202
A category of explicit fusions 198
Ugo Montanari and friends 196
A graph syntax for processes and services 195
A modular LTS for open reactive systems 195
Denotational testing semantics in coinductive form 194
Domains and event structures for fusions 194
Graph rewriting for the π-calculus 193
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 193
Barbed semantics for open reactive systems 193
GS·Λ theories: A syntax for higher-order graphs 192
A decentralized implementation of Mobile Ambients 192
On gs-monoidal theories for graphs with nesting 192
Concurrency cannot be observed, asynchronously 192
Hierarchical models for service-oriented systems 192
Categorical rewriting of term-like structures 192
Graph processes with fusions: Concurrency by colimits, again 191
Some characterization results for permutation algebras 190
Observing reductions in nominal calculi via a graphical encoding of processes 190
CPO Models for Infinite Term Rewriting 190
Residuation for bipolar preferences in soft constraints 190
Architecting Dependable Systems VI 188
Adaptable Transition Systems 188
Soft constraints for lexicographic orders 188
A behavioural congruence for web services 188
Views on Designing Complex Architectures, 1st International Workshop (VODCA 2004) 187
On barbs and labels in reactive systems 187
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 187
Data-Driven Choreographies à la Klaim 187
Process bisimulation via a graphical encoding 186
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
Concurrent rewriting for graphs with equivalences 181
Exploiting over- and under-approximations for infinite-state counterpart models 180
Modal μ-types for processes 179
Views on Designing Complex Architectures, Second International Workshop (VODCA 2006) 179
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 179
An algebra of hierarchical graphs 179
Parallel and sequential independence for borrowed contexts 179
A calculus for team automata 178
A presheaf environment for the calculus of explicit fusions 178
Causality and replication in concurrent processes 178
An institution for graph transformation 177
RPO semantics for Mobile Ambients 177
Encoding asynchronous interactions using open Petri nets 176
A denotational view of replicated data types 176
Reactive systems, barbed semantics, and the Mobile Ambients 175
A net-based approach to Web services publication and replaceability 174
Graph transactions as processes 173
Encoding synchronous interactions using labelled Petri nets 172
Concurrency can't be observed, asynchronously 171
Normal forms for algebras of connections 171
Event structures for Petri nets with persistence 171
Counterpart semantics for a second-order μ-calculus 170
Relating Two Categorial Models of Term Rewriting 170
A concurrent graph semantics for Mobile Ambients 170
Extending soft arc consistency algorithms to non-invertible semirings 168
Inequational Deduction as Term Graph Rewriting 168
Towards a Notion of Transaction in Graph Rewriting 166
A Conceptual Framework for Adaptation 166
Graphical verification of a spatial logic for the π-calculus 165
Some algebraic laws for spans 165
Comparing cospan-spans and tiles via a Hoare-style process calculus 163
A decentralized graphical implementation of mobile ambients 163
A white-box perspective on behavioural adaptation 163
Adhesivity is not enough: Local Church-Rosser revisited 162
Rewriting Logic and its Applications, 4th International Workshop (WRLA 2002) 160
Left-Linear Rewriting in Adhesive Categories 159
Modelling and analyzing adaptive self-assembly strategies with Maude 159
Polyadic soft constraints 159
About permutation algebras, (pre)sheaves and named sets 157
A bi-categorical axiomatisation of concurrent graph rewriting 156
Petri nets are dioids 155
Reconciling white-box and black-box perspectives on behavioural self-adaptation 154
Asynchronous traces and open Petri nets 153
Rediscovering the very first Italian digital computer 153
Deriving Weak Bisimulation Congruences from Reduction Systems 151
Rational Term Rewriting 150
A general theory of barbs, contexts and labels 150
Totale 18.613
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.690
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 71.690
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021251 0 0 0 0 0 0 0 0 0 0 0 251
2021/20221.937 51 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.383 400 713 565 474 369 514 858 288 327 616 162 97
Totale 26.504