CINECA IRIS Institutional Research Information System

GADDUCCI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.410
EU - Europa 4.850
AS - Asia 1.377
AF - Africa 193
SA - Sud America 43
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 8
Totale 15.896
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.113
IT - Italia 2.343
SE - Svezia 983
CN - Cina 664
BG - Bulgaria 395
DE - Germania 386
CA - Canada 295
TR - Turchia 246
UA - Ucraina 210
SG - Singapore 198
VN - Vietnam 172
FI - Finlandia 144
GB - Regno Unito 121
CI - Costa d'Avorio 105
CH - Svizzera 77
FR - Francia 68
HK - Hong Kong 46
RU - Federazione Russa 45
NG - Nigeria 39
SN - Senegal 36
BR - Brasile 35
IN - India 30
BE - Belgio 16
EU - Europa 15
GR - Grecia 13
IR - Iran 7
NL - Olanda 7
RO - Romania 7
ES - Italia 6
PT - Portogallo 6
CO - Colombia 5
RW - Ruanda 5
AU - Australia 4
DK - Danimarca 4
JP - Giappone 4
NZ - Nuova Zelanda 4
BJ - Benin 3
EE - Estonia 3
IE - Irlanda 3
IL - Israele 3
PK - Pakistan 3
PL - Polonia 3
AR - Argentina 2
KE - Kenya 2
KR - Corea 2
LU - Lussemburgo 2
NO - Norvegia 2
AT - Austria 1
BD - Bangladesh 1
CL - Cile 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GH - Ghana 1
HR - Croazia 1
IS - Islanda 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
MX - Messico 1
SK - Slovacchia (Repubblica Slovacca) 1
ZA - Sudafrica 1
Totale 15.896
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.388
Ann Arbor 1.135
Serra 1.134
Fairfield 1.040
Houston 848
Chandler 536
Seattle 505
Ashburn 481
Milan 398
Sofia 394
Cambridge 363
Wilmington 360
Jacksonville 280
Ottawa 268
New York 263
Boardman 212
Beijing 211
Izmir 196
Princeton 162
Lawrence 151
Bremen 120
Nanjing 119
Florence 116
Singapore 106
Abidjan 105
Düsseldorf 91
Medford 87
Des Moines 77
Dong Ket 74
Bern 64
Rome 62
San Diego 61
Dearborn 53
Nanchang 49
Jüchen 46
Hong Kong 40
Lagos 39
Dakar 36
Kocaeli 33
Ogden 31
Changsha 28
Los Angeles 28
Shenyang 28
Pisa 27
Redwood City 25
Grafing 22
Hebei 22
Pune 21
Kunming 19
London 19
Cecina 18
Indiana 18
Jiaxing 18
Boulder 17
Lucca 17
Brussels 16
Istanbul 16
Tianjin 16
Falls Church 15
Hefei 15
Norwalk 14
Santa Clara 14
Oldenburg 12
Orange 12
Lappeenranta 10
Sacile 10
Tappahannock 10
Auburn Hills 9
Helsinki 9
Pistoia 9
Seano 9
Toronto 9
Vigonovo 9
San Francisco 8
Costa Mesa 7
Hangzhou 7
Washington 7
Alessandria 6
Frankfurt am Main 6
Old Bridge 6
Terni 6
Zhengzhou 6
Ardabil 5
Busto Arsizio 5
Capannori 5
Carrara 5
Cascina 5
Guangzhou 5
Horia 5
Kigali 5
Shanghai 5
Taizhou 5
Verona 5
Agliana 4
Chengdu 4
Dallas 4
Grosseto 4
Hyderabad 4
Massarosa 4
Monmouth Junction 4
Totale 12.417
Salva come PNG Salva come JPEG
Nome #
AGILE: Software architecture for mobility 186
A soft approach to multi-objective optimization 176
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 176
Processes as formal power series: A coinductive approach to denotational semantics 169
A fully abstract model for graph-interpreted temporal logic 168
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory 166
Modelling calculi with name mobility using graphs with equivalences 165
A 2-Categorical Presentation of Term Graph Rewriting 165
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization 162
Tiles, rewriting rules and CCS 161
Normal forms for partitions and relations 156
An inductive view of graph transformation 155
Compositional specification of web services via behavioural equivalence of nets: A case study 154
A modular LTS for open reactive systems 153
Functorial semantics for multi-algebras 152
Ugo Montanari and friends 151
Hierarchical models for service-oriented systems 149
Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding) 149
Term graph rewriting for the π-calculus 145
Graphical encoding of a spatial logic for the π-calculus 145
Barbed semantics for open reactive systems 145
A behavioural congruence for web services 145
Graph rewriting for the π-calculus 143
Architecting Dependable Systems VI 142
Adaptable Transition Systems 141
Axioms for contextual net processes 140
Concurrency cannot be observed, asynchronously 139
Soft constraints for lexicographic orders 138
Denotational testing semantics in coinductive form 136
An institution for graph transformation 136
Exploiting over- and under-approximations for infinite-state counterpart models 136
An algebra of hierarchical graphs 136
On gs-monoidal theories for graphs with nesting 134
Synthesising CCS bisimulation using graph rewriting 134
Some characterization results for permutation algebras 133
Views on Designing Complex Architectures, 1st International Workshop (VODCA 2004) 133
Views on Designing Complex Architectures, Second International Workshop (VODCA 2006) 133
A graph syntax for processes and services 133
On barbs and labels in reactive systems 133
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 133
Categorical rewriting of term-like structures 133
Reactive systems, barbed semantics, and the Mobile Ambients 133
GS·Λ theories: A syntax for higher-order graphs 132
A decentralized implementation of Mobile Ambients 132
A category of explicit fusions 132
Concurrency can't be observed, asynchronously 131
RPO semantics for Mobile Ambients 130
Counterpart semantics for a second-order μ-calculus 129
Encoding asynchronous interactions using open Petri nets 127
Saturated LTSs for adhesive rewriting systems 127
Using old computers for teaching computer science 127
Encoding synchronous interactions using labelled Petri nets 127
Extending soft arc consistency algorithms to non-invertible semirings 125
Normal forms for algebras of connections 125
Causality and replication in concurrent processes 124
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 124
A denotational view of replicated data types 124
A calculus for team automata 123
A presheaf environment for the calculus of explicit fusions 123
Observing reductions in nominal calculi via a graphical encoding of processes 122
A concurrent graph semantics for Mobile Ambients 122
A Conceptual Framework for Adaptation 121
Concurrent rewriting for graphs with equivalences 121
Counterpart semantics for a second-order μ-calculus 120
A decentralized graphical implementation of mobile ambients 118
Parallel and sequential independence for borrowed contexts 118
Petri nets are dioids 117
About permutation algebras, (pre)sheaves and named sets 117
Polyadic soft constraints 117
Graph transactions as processes 114
Graph processes with fusions: Concurrency by colimits, again 113
Relating Two Categorial Models of Term Rewriting 113
CPO Models for Infinite Term Rewriting 113
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 112
Modal μ-types for processes 111
Adhesivity is not enough: Local Church-Rosser revisited 111
Inequational Deduction as Term Graph Rewriting 110
Residuation for bipolar preferences in soft constraints 109
Comparing cospan-spans and tiles via a Hoare-style process calculus 108
Towards a Notion of Transaction in Graph Rewriting 108
Asynchronous traces and open Petri nets 108
Domains and event structures for fusions 108
A white-box perspective on behavioural adaptation 107
Graphical verification of a spatial logic for the π-calculus 106
A term-graph syntax for algebras over multisets 105
On term graphs as an adhesive category 105
Some algebraic laws for spans 105
Confluence of graph rewriting with interfaces 104
Rewriting Logic and its Applications, 4th International Workshop (WRLA 2002) 103
Process bisimulation via a graphical encoding 103
A note on an old-fashioned algebra for (disconnected) graphs 103
Validating reconfigurations of Reo circuits in an e-banking scenario 102
A bi-categorical axiomatisation of concurrent graph rewriting 102
Reconciling white-box and black-box perspectives on behavioural self-adaptation 100
A labelled semantics for Soft Concurrent Constraint Programming 99
Deriving Weak Bisimulation Congruences from Reduction Systems 97
Modelling and analyzing adaptive self-assembly strategies with Maude 97
A net-based approach to Web services publication and replaceability 96
A general theory of barbs, contexts and labels 96
CCS semantics via proved transition systems and rewriting logic 95
Totale 12.830
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.012
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 43.012
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.061 0 0 0 169 286 309 329 238 290 163 204 73
2020/20211.508 134 52 96 66 145 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/2025290 19 204 55 12 0 0 0 0 0 0 0 0
Totale 16.256