CINECA IRIS Institutional Research Information System

BRUNI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.861
EU - Europa 5.467
AS - Asia 5.430
SA - Sud America 723
AF - Africa 326
Continente sconosciuto - Info sul continente non disponibili 21
OC - Oceania 7
Totale 27.835
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.160
CA - Canada 2.641
IT - Italia 1.809
SG - Singapore 1.719
CN - Cina 1.641
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 236
RU - Federazione Russa 191
GB - Regno Unito 177
KR - Corea 159
CI - Costa d'Avorio 118
CH - Svizzera 93
IN - India 88
MA - Marocco 68
NG - Nigeria 57
FR - Francia 44
JP - Giappone 37
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 27.810
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.072
Singapore 991
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
Ottawa 280
New York 251
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
Buffalo 80
The Dalles 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
San Jose 38
Frankfurt am Main 35
Munich 35
Shenyang 34
São Paulo 34
Boulder 32
Changsha 32
Turku 31
Hebei 30
Columbus 28
Tokyo 27
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
Washington 15
Dhaka 14
Lappeenranta 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
Denver 10
Totale 21.254
Salva come PNG Salva come JPEG
Nome #
From Theory to Practice in Transactional Composition of Web Services 3.338
AGILE: Software architecture for mobility 244
Zero-safe nets: The individual token approach 219
Normal forms for partitions and relations 214
Complete Axioms for Stateless Connectors 212
cJoin: join with communicating transactions 210
Models of Computation: A Tribute to Ugo Montanari's Vision 209
Parametric synchronizations in mobile nominal calculi 209
Zero-Safe Nets, or Transition Synchronization Made Simple 208
A formal support to business and architectural design for service-oriented systems 207
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 203
Types and deadlock freedom in a calculus of services, sessions and pipelines 199
A normal form for stateful connectors 197
Sessions and pipelines for structured service programming 194
Code Obfuscation Against Abstract Model Checking Attacks 194
Deducing Interactions in Partially Unspecified Biological Systems 193
Translating Orc Features into Petri Nets and the Join Calculus 193
Behaviour, Interaction and Dynamics 193
A logic for modular descriptions of asynchronous and synchronized concurrent systems 192
Comparing Two Approaches to Compensable Flow Composition 191
CaSPiS: A Calculus of Sessions, Pipelines and Services 186
A survey on basic connectors and buffers 185
Adaptable Transition Systems 184
Generalized Rewrite Theories 183
Hierarchical models for service-oriented systems 183
A basic algebra of stateless connectors 183
On gs-monoidal theories for graphs with nesting 182
Reconfigurable and software-defined networks of connectors and components 182
Bisimulation by Unification 180
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 180
Causal trees, finally 180
Semantic foundations for generalized rewrite theories 179
Graph representation of sessions and pipelines for structured service programming 179
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 176
A graph syntax for processes and services 176
A Comparison of Petri Net Semantics under the Collective Token Philosophy 175
Symbolic Equivalences for Open Systems 174
Graph-based design and analysis of dynamic software architectures 174
Calculi for Service Oriented Computing 174
A coalgebraic approach to unification semantics of logic programming 174
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 172
Prototype Platforms for Distributed Agreements 171
SCC: A Service Centered Calculus 171
Event Structure Semantics for Dynamic Graph Grammars 169
A new strategy for distributed compensations with interruption in long-running transactions 169
An algebra of hierarchical graphs 169
A coalgebraic semantics for causality in Petri nets 169
Evaluating the performance of model transformation styles in Maude 168
Theoretical foundations for compensations in flow composition languages 168
A flat process calculus for nested membrane interactions 168
Non-sequential Behaviour of Dynamic Nets 167
Connector algebras, Petri nets, and BIP 167
An interactive semantics of logic programming 167
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
Algebraic Theories for Contextual Pre-nets 165
Executing Transactions in Zero-Safe Nets 165
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 164
Modelling Dynamic Software Architectures using Typed Graph Grammars 163
Open Multiparty Interaction 163
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic 162
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs 162
Style-based architectural reconfigurations 161
Open Ended Systems, Dynamic Bisimulation and Tile Logic 159
A Conceptual Framework for Adaptation 159
Two Algebraic Process Semantics for Contextual Nets 158
Normal forms for algebras of connections 158
Data-Driven Choreographies à la Klaim 157
A semantic framework for open processes 156
Code obfuscation against abstraction refinement attacks 156
Dynamic Graph Transformation Systems 155
Algebraic Models for Contextual Nets 154
Executable Tile Specifications for Process Calculi 154
On Graph(ic) Encodings 153
Service Oriented Architectural Design 153
A Connector Algebra for P/T Nets Interactions 153
Connector algebras for C/E and P/T nets' interactions 153
Abstract extensionality: on the properties of incomplete abstract interpretations 153
Implementing Tile Systems: Some Examples from Process Calculi 152
Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic 152
Observational congruences for dynamically reconfigurable tile systems 152
Hierarchical design rewriting with Maude 152
Functorial Semantics for Petri Nets under the Individual Token Philosophy 152
A formal approach to open multiparty interactions 152
Some algebraic laws for spans 151
Towards Interaction Reliability in Concurrent Applications 150
A service-oriented UML profile with formal support 149
A sound and complete theory of graph transformations for service programming with sessions and pipelines 149
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers 148
Transactions and Zero-Safe Nets 148
Multiparty sessions in SOC 147
LTS Semantics for Compensation-based Processes 147
A white-box perspective on behavioural adaptation 145
Enhancing reaction systems: a process algebraic approach 145
Reconciling white-box and black-box perspectives on behavioural self-adaptation 145
Tiles for Reo 144
Static detection of logic flaws in service-oriented applications 144
Internal Strategies in a Rewriting Implementation of Tile Systems 143
Provably correct implementations of services 143
Totale 20.248
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.971
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 70.971
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.555 733 735 732 350 435 546 24 0 0 0 0 0
Totale 28.205