CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.015 0 0 0 0 0 182 75 130 135 171 71 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/20262.676 400 713 565 474 369 155 0 0 0 0 0 0
Totale 23.797