CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.062 0 0 0 0 0 0 0 0 0 405 369 288
2019/20203.735 349 227 1.098 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.443 210 190 236 99 226 296 88 62 23 13 0 0
Totale 15.724