CINECA IRIS Institutional Research Information System

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


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