CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.728 0 0 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.544 729 730 716 349 429 540 1.196 356 342 691 200 266
2026/20271.957 178 925 854 0 0 0 0 0 0 0 0 0
Totale 33.135