CINECA IRIS Institutional Research Information System

BRUNI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.104
EU - Europa 5.209
AS - Asia 2.389
AF - Africa 202
SA - Sud America 155
Continente sconosciuto - Info sul continente non disponibili 19
OC - Oceania 6
Totale 22.084
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.489
CA - Canada 2.611
IT - Italia 1.772
CN - Cina 1.025
PL - Polonia 878
SE - Svezia 659
SG - Singapore 579
DE - Germania 489
BG - Bulgaria 429
TR - Turchia 311
HK - Hong Kong 248
UA - Ucraina 241
FI - Finlandia 198
RU - Federazione Russa 176
VN - Vietnam 164
BR - Brasile 138
GB - Regno Unito 133
CI - Costa d'Avorio 118
CH - Svizzera 93
NG - Nigeria 56
GR - Grecia 32
FR - Francia 29
IN - India 18
BE - Belgio 16
EU - Europa 16
IR - Iran 16
NL - Olanda 13
SN - Senegal 11
AT - Austria 10
ES - Italia 9
RO - Romania 8
SK - Slovacchia (Repubblica Slovacca) 8
AR - Argentina 5
CO - Colombia 5
BJ - Benin 4
JP - Giappone 4
KR - Corea 4
MA - Marocco 4
PK - Pakistan 4
AU - Australia 3
EE - Estonia 3
HR - Croazia 3
KZ - Kazakistan 3
MX - Messico 3
NZ - Nuova Zelanda 3
UZ - Uzbekistan 3
VE - Venezuela 3
ZA - Sudafrica 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
DK - Danimarca 2
EG - Egitto 2
KE - Kenya 2
PT - Portogallo 2
AM - Armenia 1
BD - Bangladesh 1
BO - Bolivia 1
CL - Cile 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EC - Ecuador 1
GH - Ghana 1
ID - Indonesia 1
IL - Israele 1
JM - Giamaica 1
LK - Sri Lanka 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
MM - Myanmar 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
SI - Slovenia 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 22.084
Salva come PNG Salva come JPEG
Città #
Montreal 2.301
Woodbridge 1.781
Ann Arbor 1.439
Houston 1.199
Fairfield 1.195
Santa Clara 710
Milan 660
Ashburn 651
Chandler 590
Seattle 566
Wilmington 449
Sofia 429
Cambridge 400
Jacksonville 342
Serra 342
Shanghai 324
Ottawa 280
Hong Kong 243
New York 231
Boardman 216
Beijing 186
Singapore 186
Izmir 183
Princeton 168
Lawrence 155
Florence 137
Nanjing 124
Bremen 119
Abidjan 118
Düsseldorf 92
Bern 91
Medford 90
Istanbul 81
Des Moines 73
Jüchen 62
Dong Ket 59
Pisa 59
Lagos 56
Dearborn 54
Nanchang 53
Rome 50
San Diego 50
Helsinki 47
Kocaeli 43
Council Bluffs 38
Shenyang 34
Boulder 32
Changsha 31
Hebei 30
Frankfurt am Main 29
The Dalles 27
Kunming 25
Los Angeles 25
Redwood City 22
Tianjin 20
Karlsruhe 19
Ogden 18
Jiaxing 17
London 17
Brussels 15
Falls Church 15
Hangzhou 15
Phoenix 15
Norwalk 14
Washington 14
Guangzhou 13
Hefei 12
Indiana 12
Lappeenranta 12
Toronto 12
Dakar 11
Nettuno 11
Ardabil 10
Nuremberg 10
Auburn Hills 9
Jinan 9
Lucca 9
Marco 9
Pune 9
Bratislava 8
Costa Mesa 8
Fuzhou 8
Grafing 8
Quanzhou 8
Zhengzhou 8
Falkenstein 7
Monmouth Junction 7
Montréal 7
Verona 7
Belo Horizonte 6
Cecina 6
Dallas 6
Orange 6
Rodgau 6
Sacile 6
San Mateo 6
São Paulo 6
Tappahannock 6
Vienna 6
North York 5
Totale 17.445
Salva come PNG Salva come JPEG
Nome #
From Theory to Practice in Transactional Composition of Web Services 3.299
AGILE: Software architecture for mobility 197
Parametric synchronizations in mobile nominal calculi 185
Models of Computation: A Tribute to Ugo Montanari's Vision 181
A formal support to business and architectural design for service-oriented systems 179
Types and deadlock freedom in a calculus of services, sessions and pipelines 174
Complete Axioms for Stateless Connectors 173
Zero-safe nets: The individual token approach 172
Sessions and pipelines for structured service programming 172
CaSPiS: A Calculus of Sessions, Pipelines and Services 170
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 169
Deducing Interactions in Partially Unspecified Biological Systems 169
Normal forms for partitions and relations 167
cJoin: join with communicating transactions 165
Translating Orc Features into Petri Nets and the Join Calculus 164
Zero-Safe Nets, or Transition Synchronization Made Simple 160
Hierarchical models for service-oriented systems 160
Code Obfuscation Against Abstract Model Checking Attacks 160
A logic for modular descriptions of asynchronous and synchronized concurrent systems 158
A basic algebra of stateless connectors 155
Comparing Two Approaches to Compensable Flow Composition 154
Adaptable Transition Systems 153
A new strategy for distributed compensations with interruption in long-running transactions 152
Graph-based design and analysis of dynamic software architectures 151
On gs-monoidal theories for graphs with nesting 151
Evaluating the performance of model transformation styles in Maude 150
Generalized Rewrite Theories 148
An algebra of hierarchical graphs 147
A normal form for stateful connectors 146
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 144
Symbolic Equivalences for Open Systems 144
SCC: A Service Centered Calculus 144
Behaviour, Interaction and Dynamics 144
A graph syntax for processes and services 143
An interactive semantics of logic programming 143
Theoretical foundations for compensations in flow composition languages 143
Event Structure Semantics for Dynamic Graph Grammars 142
Calculi for Service Oriented Computing 142
Connector algebras, Petri nets, and BIP 142
First-Order Dynamic Logic for Compensable Processes 142
Executing Transactions in Zero-Safe Nets 142
A Comparison of Petri Net Semantics under the Collective Token Philosophy 141
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 139
Semantic foundations for generalized rewrite theories 139
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 139
Reconfigurable and software-defined networks of connectors and components 139
Causal trees, finally 139
Bisimulation by Unification 138
A flat process calculus for nested membrane interactions 138
Graph Transformations and Visual Modeling Techniques, 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006 136
Normal forms for algebras of connections 136
Open Multiparty Interaction 136
A coalgebraic approach to unification semantics of logic programming 136
Algebraic Theories for Contextual Pre-nets 135
Prototype Platforms for Distributed Agreements 135
Modelling Dynamic Software Architectures using Typed Graph Grammars 135
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 135
Non-sequential Behaviour of Dynamic Nets 134
Towards Interaction Reliability in Concurrent Applications 134
A coalgebraic semantics for causality in Petri nets 134
A service-oriented UML profile with formal support 133
Two Algebraic Process Semantics for Contextual Nets 132
A Conceptual Framework for Adaptation 132
From hierarchical BIP to Petri calculus 132
Graph representation of sessions and pipelines for structured service programming 131
Style-based architectural reconfigurations 130
Service Oriented Architectural Design 129
A survey on basic connectors and buffers 129
Executable Tile Specifications for Process Calculi 129
A Connector Algebra for P/T Nets Interactions 129
Hierarchical design rewriting with Maude 129
Algebraic Models for Contextual Nets 128
Connector algebras for C/E and P/T nets' interactions 128
A semantic framework for open processes 128
LTS Semantics for Compensation-based Processes 128
Dynamic Graph Transformation Systems 127
Multiparty sessions in SOC 127
A white-box perspective on behavioural adaptation 127
Abstract extensionality: on the properties of incomplete abstract interpretations 126
Functorial Semantics for Petri Nets under the Individual Token Philosophy 125
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic 124
Static detection of logic flaws in service-oriented applications 124
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers 123
Open Ended Systems, Dynamic Bisimulation and Tile Logic 122
Transactions and Zero-Safe Nets 122
A formal approach to open multiparty interactions 122
Provably correct implementations of services 120
Observational congruences for dynamically reconfigurable tile systems 120
A sound and complete theory of graph transformations for service programming with sessions and pipelines 120
Data-Driven Choreographies à la Klaim 120
Some algebraic laws for spans 119
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs 119
Implementing Tile Systems: Some Examples from Process Calculi 118
On Graph(ic) Encodings 118
Tiles for Reo 118
4th Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, June 9, 2011 118
Exploiting the hierarchical structure of rule-based specifications for decision planning 118
Code obfuscation against abstraction refinement attacks 118
Event Structure Semantics for Nominal Calculi 117
New Insights on Architectural Connectors 117
Totale 17.170
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.728
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 55.728
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020463 0 0 0 0 0 0 0 0 0 164 199 100
2020/20211.666 198 89 116 55 132 161 88 161 160 195 68 243
2021/20221.955 83 144 88 194 373 255 52 125 61 30 164 386
2022/20232.000 257 99 79 270 285 255 12 129 376 10 206 22
2023/20245.087 299 270 271 170 318 264 50 37 24 3.205 44 135
2024/20252.786 24 197 81 259 474 467 471 340 456 17 0 0
Totale 22.436