CINECA IRIS Institutional Research Information System

BRUNI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.116
AS - Asia 6.468
EU - Europa 5.791
SA - Sud America 804
AF - Africa 381
Continente sconosciuto - Info sul continente non disponibili 21
OC - Oceania 8
Totale 30.589
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.377
CA - Canada 2.661
SG - Singapore 1.953
IT - Italia 1.882
CN - Cina 1.823
HK - Hong Kong 1.082
PL - Polonia 886
BR - Brasile 667
SE - Svezia 665
DE - Germania 567
VN - Vietnam 525
BG - Bulgaria 429
TR - Turchia 342
UA - Ucraina 256
FI - Finlandia 245
GB - Regno Unito 203
RU - Federazione Russa 192
FR - Francia 191
KR - Corea 159
JP - Giappone 138
CI - Costa d'Avorio 120
IN - India 112
MA - Marocco 99
CH - Svizzera 93
NG - Nigeria 58
BD - Bangladesh 51
IQ - Iraq 51
AR - Argentina 40
MX - Messico 35
GR - Grecia 32
ZA - Sudafrica 31
ES - Italia 30
SA - Arabia Saudita 27
VE - Venezuela 24
AT - Austria 22
UZ - Uzbekistan 22
PK - Pakistan 20
NL - Olanda 19
PH - Filippine 19
ID - Indonesia 18
BE - Belgio 17
CL - Cile 17
CO - Colombia 16
EC - Ecuador 16
EU - Europa 16
IR - Iran 16
EG - Egitto 14
NP - Nepal 14
SN - Senegal 13
TT - Trinidad e Tobago 13
JO - Giordania 12
KE - Kenya 11
KZ - Kazakistan 11
RO - Romania 10
PY - Paraguay 9
AE - Emirati Arabi Uniti 8
IL - Israele 8
MY - Malesia 8
SK - Slovacchia (Repubblica Slovacca) 8
AZ - Azerbaigian 7
DZ - Algeria 7
LB - Libano 7
TN - Tunisia 7
JM - Giamaica 6
UY - Uruguay 6
AU - Australia 5
BJ - Benin 5
EE - Estonia 5
AL - Albania 4
BY - Bielorussia 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
HN - Honduras 4
MD - Moldavia 4
OM - Oman 4
PE - Perù 4
BB - Barbados 3
BO - Bolivia 3
CR - Costa Rica 3
DK - Danimarca 3
HR - Croazia 3
IE - Irlanda 3
KG - Kirghizistan 3
NZ - Nuova Zelanda 3
PA - Panama 3
PS - Palestinian Territory 3
PT - Portogallo 3
RS - Serbia 3
TH - Thailandia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AM - Armenia 2
AO - Angola 2
BM - Bermuda 2
BS - Bahamas 2
CY - Cipro 2
CZ - Repubblica Ceca 2
GE - Georgia 2
GY - Guiana 2
KH - Cambogia 2
KW - Kuwait 2
Totale 30.551
Salva come PNG Salva come JPEG
Città #
Montreal 2.313
Woodbridge 1.781
Ann Arbor 1.439
Houston 1.206
Fairfield 1.196
Ashburn 1.172
Singapore 1.162
Hong Kong 1.050
San Jose 796
Santa Clara 725
Milan 668
Dallas 601
Chandler 590
Seattle 574
Wilmington 450
Sofia 429
Beijing 406
Cambridge 403
Serra 345
Jacksonville 344
Shanghai 326
Ottawa 281
New York 258
Boardman 216
Hefei 196
Izmir 185
Princeton 168
Lawrence 155
Seoul 155
Los Angeles 154
Florence 142
Lauterbourg 134
Tokyo 127
Nanjing 126
Abidjan 120
Bremen 119
Ho Chi Minh City 105
Hanoi 103
Düsseldorf 94
Bern 91
The Dalles 91
Medford 90
Istanbul 89
Buffalo 82
Council Bluffs 76
Pisa 76
Des Moines 73
Jüchen 62
Rome 62
Helsinki 60
Dong Ket 59
Casablanca 57
Lagos 56
Redondo Beach 55
Dearborn 54
Nanchang 53
San Diego 52
Frankfurt am Main 49
Kocaeli 43
Columbus 40
São Paulo 37
Munich 36
Shenyang 34
Boulder 32
Changsha 32
Kenitra 31
Turku 31
Hebei 30
Phoenix 26
Kunming 25
London 24
Rio de Janeiro 24
Redwood City 22
Haiphong 21
Belo Horizonte 20
Orem 20
Tashkent 20
Tianjin 20
Chicago 19
Karlsruhe 19
Ogden 18
Baghdad 17
Brasília 17
Jiaxing 17
Nuremberg 17
Hangzhou 16
Toronto 16
Brussels 15
Dhaka 15
Falls Church 15
Lappeenranta 15
San Francisco 15
Washington 15
Atlanta 14
Da Nang 14
Guangzhou 14
Norwalk 14
Baltimore 13
Denver 13
Brooklyn 12
Totale 23.009
Salva come PNG Salva come JPEG
Nome #
From Theory to Practice in Transactional Composition of Web Services 3.348
AGILE: Software architecture for mobility 279
Zero-safe nets: The individual token approach 238
Normal forms for partitions and relations 236
cJoin: join with communicating transactions 229
A normal form for stateful connectors 227
Zero-Safe Nets, or Transition Synchronization Made Simple 225
Complete Axioms for Stateless Connectors 223
A formal support to business and architectural design for service-oriented systems 223
Models of Computation: A Tribute to Ugo Montanari's Vision 220
Parametric synchronizations in mobile nominal calculi 219
Code Obfuscation Against Abstract Model Checking Attacks 219
Deducing Interactions in Partially Unspecified Biological Systems 218
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 213
Types and deadlock freedom in a calculus of services, sessions and pipelines 212
Behaviour, Interaction and Dynamics 212
Sessions and pipelines for structured service programming 209
A Comparison of Petri Net Semantics under the Collective Token Philosophy 206
Comparing Two Approaches to Compensable Flow Composition 205
CaSPiS: A Calculus of Sessions, Pipelines and Services 204
Generalized Rewrite Theories 203
Causal trees, finally 203
A coalgebraic approach to unification semantics of logic programming 203
Translating Orc Features into Petri Nets and the Join Calculus 202
A basic algebra of stateless connectors 202
A logic for modular descriptions of asynchronous and synchronized concurrent systems 202
Reconfigurable and software-defined networks of connectors and components 198
Bisimulation by Unification 194
Semantic foundations for generalized rewrite theories 193
A graph syntax for processes and services 193
A survey on basic connectors and buffers 193
On gs-monoidal theories for graphs with nesting 192
Hierarchical models for service-oriented systems 192
SCC: A Service Centered Calculus 189
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 188
Adaptable Transition Systems 188
Executable Tile Specifications for Process Calculi 187
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 187
Data-Driven Choreographies à la Klaim 187
Non-sequential Behaviour of Dynamic Nets 186
Graph representation of sessions and pipelines for structured service programming 186
Theoretical foundations for compensations in flow composition languages 186
Bayesian network semantics for Petri nets 186
A coalgebraic semantics for causality in Petri nets 185
From hierarchical BIP to Petri calculus 184
Graph-based design and analysis of dynamic software architectures 183
An interactive semantics of logic programming 183
A flat process calculus for nested membrane interactions 183
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 182
Calculi for Service Oriented Computing 182
Symbolic Equivalences for Open Systems 181
Prototype Platforms for Distributed Agreements 181
Connector algebras, Petri nets, and BIP 181
Event Structure Semantics for Dynamic Graph Grammars 180
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs 180
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic 179
An algebra of hierarchical graphs 179
A formal approach to open multiparty interactions 179
Functorial Semantics for Petri Nets under the Individual Token Philosophy 178
Executing Transactions in Zero-Safe Nets 177
Implementing Tile Systems: Some Examples from Process Calculi 176
A new strategy for distributed compensations with interruption in long-running transactions 176
Graph Transformations and Visual Modeling Techniques, 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006 175
Evaluating the performance of model transformation styles in Maude 175
First-Order Dynamic Logic for Compensable Processes 174
A semantic framework for open processes 174
Modelling Dynamic Software Architectures using Typed Graph Grammars 173
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 173
Algebraic Theories for Contextual Pre-nets 172
Open Multiparty Interaction 172
Open Ended Systems, Dynamic Bisimulation and Tile Logic 171
Normal forms for algebras of connections 171
Event structures for Petri nets with persistence 171
Style-based architectural reconfigurations 170
Abstract extensionality: on the properties of incomplete abstract interpretations 170
Hierarchical design rewriting with Maude 169
On Graph(ic) Encodings 168
Comparing higher-order encodings in logical frameworks and tile logic 167
Two Algebraic Process Semantics for Contextual Nets 167
Constraint design rewriting 167
Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic 166
A Conceptual Framework for Adaptation 166
A Connector Algebra for P/T Nets Interactions 166
Some algebraic laws for spans 165
Code obfuscation against abstraction refinement attacks 165
Service Oriented Architectural Design 163
Transactions and Zero-Safe Nets 163
Connector algebras for C/E and P/T nets' interactions 163
A white-box perspective on behavioural adaptation 163
Enhancing reaction systems: a process algebraic approach 163
Dynamic Graph Transformation Systems 162
Multiparty sessions in SOC 162
Concurrency and probability: removing confusion, compositionally 162
Observational congruences for dynamically reconfigurable tile systems 161
A service-oriented UML profile with formal support 161
A sound and complete theory of graph transformations for service programming with sessions and pipelines 160
Algebraic Models for Contextual Nets 159
Modelling and analyzing adaptive self-assembly strategies with Maude 159
LTS Semantics for Compensation-based Processes 159
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers 158
Totale 21.759
Salva come PNG Salva come JPEG
Categoria #
all - tutte 77.026
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 77.026
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021243 0 0 0 0 0 0 0 0 0 0 0 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/20254.984 24 197 81 259 474 467 471 340 456 627 663 925
2025/20266.333 729 730 716 349 429 540 1.196 356 342 691 200 55
Totale 30.967