CINECA IRIS Institutional Research Information System

BRUNI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.113
EU - Europa 5.475
AS - Asia 5.467
SA - Sud America 723
AF - Africa 356
Continente sconosciuto - Info sul continente non disponibili 21
OC - Oceania 7
Totale 28.162
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.412
CA - Canada 2.641
IT - Italia 1.811
SG - Singapore 1.751
CN - Cina 1.644
HK - Hong Kong 964
PL - Polonia 883
SE - Svezia 665
BR - Brasile 617
DE - Germania 535
BG - Bulgaria 429
TR - Turchia 335
VN - Vietnam 263
UA - Ucraina 248
FI - Finlandia 237
RU - Federazione Russa 191
GB - Regno Unito 182
KR - Corea 159
CI - Costa d'Avorio 118
MA - Marocco 98
CH - Svizzera 93
IN - India 88
NG - Nigeria 57
FR - Francia 44
JP - Giappone 39
BD - Bangladesh 35
AR - Argentina 34
GR - Grecia 32
IQ - Iraq 31
ZA - Sudafrica 27
MX - Messico 24
ES - Italia 23
AT - Austria 21
SA - Arabia Saudita 20
VE - Venezuela 19
BE - Belgio 17
PK - Pakistan 17
EU - Europa 16
IR - Iran 16
UZ - Uzbekistan 16
NL - Olanda 15
CO - Colombia 14
SN - Senegal 13
TT - Trinidad e Tobago 13
EC - Ecuador 10
EG - Egitto 10
JO - Giordania 10
CL - Cile 9
KE - Kenya 9
KZ - Kazakistan 9
RO - Romania 9
SK - Slovacchia (Repubblica Slovacca) 8
AZ - Azerbaigian 7
ID - Indonesia 7
PY - Paraguay 7
JM - Giamaica 6
NP - Nepal 6
UY - Uruguay 6
AE - Emirati Arabi Uniti 5
BJ - Benin 5
DZ - Algeria 5
EE - Estonia 5
IL - Israele 5
LB - Libano 5
MY - Malesia 5
AL - Albania 4
AU - Australia 4
DO - Repubblica Dominicana 4
OM - Oman 4
BB - Barbados 3
DK - Danimarca 3
HR - Croazia 3
KG - Kirghizistan 3
NZ - Nuova Zelanda 3
PE - Perù 3
PH - Filippine 3
TN - Tunisia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AM - Armenia 2
BM - Bermuda 2
BO - Bolivia 2
CR - Costa Rica 2
CY - Cipro 2
CZ - Repubblica Ceca 2
ET - Etiopia 2
GY - Guiana 2
HN - Honduras 2
IE - Irlanda 2
KW - Kuwait 2
LT - Lituania 2
MD - Moldavia 2
PS - Palestinian Territory 2
PT - Portogallo 2
RS - Serbia 2
TW - Taiwan 2
UG - Uganda 2
AO - Angola 1
BH - Bahrain 1
BQ - ???statistics.table.value.countryCode.BQ??? 1
BS - Bahamas 1
Totale 28.137
Salva come PNG Salva come JPEG
Città #
Montreal 2.310
Woodbridge 1.781
Ann Arbor 1.439
Houston 1.200
Fairfield 1.195
Ashburn 1.074
Singapore 1.023
Hong Kong 957
Santa Clara 720
Milan 663
Dallas 604
Chandler 590
Seattle 572
Wilmington 450
Sofia 429
Beijing 401
Cambridge 400
Serra 344
Jacksonville 343
Shanghai 326
San Jose 283
Ottawa 280
New York 252
Boardman 216
Hefei 196
Izmir 184
Princeton 168
Lawrence 155
Seoul 155
Florence 141
Los Angeles 129
Nanjing 124
Bremen 119
Abidjan 118
Düsseldorf 93
Bern 91
Medford 90
Istanbul 87
The Dalles 82
Buffalo 80
Des Moines 73
Pisa 64
Jüchen 62
Dong Ket 59
Casablanca 57
Lagos 56
Redondo Beach 55
Rome 55
Dearborn 54
Nanchang 53
Helsinki 52
San Diego 51
Council Bluffs 48
Kocaeli 43
Ho Chi Minh City 38
Frankfurt am Main 35
Munich 35
Shenyang 34
São Paulo 34
Boulder 32
Changsha 32
Kenitra 31
Turku 31
Hebei 30
Tokyo 29
Columbus 28
Hanoi 25
Kunming 25
London 22
Redwood City 22
Phoenix 20
Rio de Janeiro 20
Tianjin 20
Karlsruhe 19
Belo Horizonte 18
Ogden 18
Jiaxing 17
Brasília 16
Toronto 16
Brussels 15
Chicago 15
Falls Church 15
Hangzhou 15
Lappeenranta 15
Washington 15
Dhaka 14
Norwalk 14
Tashkent 14
Guangzhou 13
Dakar 12
Indiana 12
Nuremberg 12
San Francisco 12
Baghdad 11
Nettuno 11
Pune 11
Vienna 11
Amman 10
Ardabil 10
Brooklyn 10
Totale 21.560
Salva come PNG Salva come JPEG
Nome #
From Theory to Practice in Transactional Composition of Web Services 3.339
AGILE: Software architecture for mobility 250
Zero-safe nets: The individual token approach 225
Normal forms for partitions and relations 218
Complete Axioms for Stateless Connectors 215
Zero-Safe Nets, or Transition Synchronization Made Simple 213
cJoin: join with communicating transactions 211
Models of Computation: A Tribute to Ugo Montanari's Vision 210
Parametric synchronizations in mobile nominal calculi 210
A formal support to business and architectural design for service-oriented systems 208
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 204
Types and deadlock freedom in a calculus of services, sessions and pipelines 201
A normal form for stateful connectors 199
Deducing Interactions in Partially Unspecified Biological Systems 195
Sessions and pipelines for structured service programming 195
Translating Orc Features into Petri Nets and the Join Calculus 194
Behaviour, Interaction and Dynamics 194
Code Obfuscation Against Abstract Model Checking Attacks 194
A logic for modular descriptions of asynchronous and synchronized concurrent systems 193
Comparing Two Approaches to Compensable Flow Composition 192
CaSPiS: A Calculus of Sessions, Pipelines and Services 187
Bisimulation by Unification 186
A survey on basic connectors and buffers 185
A basic algebra of stateless connectors 185
Generalized Rewrite Theories 184
Adaptable Transition Systems 184
Reconfigurable and software-defined networks of connectors and components 184
On gs-monoidal theories for graphs with nesting 183
Hierarchical models for service-oriented systems 183
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 181
Causal trees, finally 181
Semantic foundations for generalized rewrite theories 180
A Comparison of Petri Net Semantics under the Collective Token Philosophy 179
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 179
Graph representation of sessions and pipelines for structured service programming 179
A graph syntax for processes and services 178
Symbolic Equivalences for Open Systems 175
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 175
A coalgebraic approach to unification semantics of logic programming 175
Graph-based design and analysis of dynamic software architectures 174
Calculi for Service Oriented Computing 174
Prototype Platforms for Distributed Agreements 173
SCC: A Service Centered Calculus 173
Event Structure Semantics for Dynamic Graph Grammars 171
An interactive semantics of logic programming 171
A flat process calculus for nested membrane interactions 171
Executing Transactions in Zero-Safe Nets 170
An algebra of hierarchical graphs 170
A coalgebraic semantics for causality in Petri nets 170
Non-sequential Behaviour of Dynamic Nets 169
Connector algebras, Petri nets, and BIP 169
A new strategy for distributed compensations with interruption in long-running transactions 169
Evaluating the performance of model transformation styles in Maude 168
Theoretical foundations for compensations in flow composition languages 168
From hierarchical BIP to Petri calculus 167
Graph Transformations and Visual Modeling Techniques, 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006 166
First-Order Dynamic Logic for Compensable Processes 166
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic 166
Algebraic Theories for Contextual Pre-nets 165
Open Multiparty Interaction 165
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs 165
Style-based architectural reconfigurations 164
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 164
Modelling Dynamic Software Architectures using Typed Graph Grammars 163
Open Ended Systems, Dynamic Bisimulation and Tile Logic 162
Normal forms for algebras of connections 162
Two Algebraic Process Semantics for Contextual Nets 161
A Conceptual Framework for Adaptation 160
Data-Driven Choreographies à la Klaim 159
Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic 157
Executable Tile Specifications for Process Calculi 157
Dynamic Graph Transformation Systems 156
On Graph(ic) Encodings 156
A semantic framework for open processes 156
Code obfuscation against abstraction refinement attacks 156
Algebraic Models for Contextual Nets 155
A Connector Algebra for P/T Nets Interactions 155
Hierarchical design rewriting with Maude 155
Functorial Semantics for Petri Nets under the Individual Token Philosophy 155
Abstract extensionality: on the properties of incomplete abstract interpretations 155
Implementing Tile Systems: Some Examples from Process Calculi 154
Service Oriented Architectural Design 154
Some algebraic laws for spans 154
Observational congruences for dynamically reconfigurable tile systems 154
Connector algebras for C/E and P/T nets' interactions 154
A formal approach to open multiparty interactions 153
A service-oriented UML profile with formal support 152
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers 151
Transactions and Zero-Safe Nets 151
Multiparty sessions in SOC 150
Towards Interaction Reliability in Concurrent Applications 150
A sound and complete theory of graph transformations for service programming with sessions and pipelines 149
Functorial models for Petri nets 148
Static detection of logic flaws in service-oriented applications 148
Internal Strategies in a Rewriting Implementation of Tile Systems 147
LTS Semantics for Compensation-based Processes 147
Constraint design rewriting 146
A white-box perspective on behavioural adaptation 146
Enhancing reaction systems: a process algebraic approach 145
Reconciling white-box and black-box perspectives on behavioural self-adaptation 145
Totale 20.429
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.530
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.530
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021915 0 0 0 0 0 0 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/20255.000 24 197 81 259 474 467 471 340 456 627 664 940
2025/20263.882 733 735 732 350 435 546 351 0 0 0 0 0
Totale 28.532