CINECA IRIS Institutional Research Information System

MONTANARI, UGO GIOVANNI ERASMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 23.377
AS - Asia 7.612
EU - Europa 7.225
SA - Sud America 902
AF - Africa 397
Continente sconosciuto - Info sul continente non disponibili 17
OC - Oceania 13
Totale 39.543
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.249
CA - Canada 5.065
CN - Cina 2.553
SG - Singapore 2.292
IT - Italia 2.038
HK - Hong Kong 1.241
PL - Polonia 1.123
SE - Svezia 1.017
BR - Brasile 771
BG - Bulgaria 585
DE - Germania 585
UA - Ucraina 498
KR - Corea 465
TR - Turchia 400
GB - Regno Unito 317
FI - Finlandia 315
VN - Vietnam 286
RU - Federazione Russa 234
CH - Svizzera 217
CI - Costa d'Avorio 160
IN - India 93
FR - Francia 90
MA - Marocco 63
BD - Bangladesh 54
NG - Nigeria 45
SN - Senegal 40
AR - Argentina 39
GR - Grecia 38
IQ - Iraq 38
BE - Belgio 37
VE - Venezuela 31
ZA - Sudafrica 27
JP - Giappone 25
SA - Arabia Saudita 24
UZ - Uzbekistan 23
ES - Italia 22
MX - Messico 20
AT - Austria 17
CO - Colombia 16
IR - Iran 16
NL - Olanda 16
PK - Pakistan 16
KE - Kenya 15
TT - Trinidad e Tobago 14
EG - Egitto 11
EU - Europa 11
IE - Irlanda 11
AU - Australia 10
CL - Cile 10
DZ - Algeria 10
JM - Giamaica 10
JO - Giordania 10
KZ - Kazakistan 10
PY - Paraguay 9
BJ - Benin 8
EC - Ecuador 8
AL - Albania 7
MD - Moldavia 7
PE - Perù 7
RO - Romania 7
AE - Emirati Arabi Uniti 6
AZ - Azerbaigian 6
HR - Croazia 6
MY - Malesia 6
SK - Slovacchia (Repubblica Slovacca) 6
IL - Israele 5
OM - Oman 5
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
GY - Guiana 4
ID - Indonesia 4
LU - Lussemburgo 4
NP - Nepal 4
PH - Filippine 4
PT - Portogallo 4
TN - Tunisia 4
UY - Uruguay 4
AO - Angola 3
BB - Barbados 3
BO - Bolivia 3
GE - Georgia 3
HU - Ungheria 3
KW - Kuwait 3
LB - Libano 3
NZ - Nuova Zelanda 3
PS - Palestinian Territory 3
XK - ???statistics.table.value.countryCode.XK??? 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BY - Bielorussia 2
BZ - Belize 2
DK - Danimarca 2
ET - Etiopia 2
IS - Islanda 2
KG - Kirghizistan 2
LK - Sri Lanka 2
LT - Lituania 2
ML - Mali 2
MN - Mongolia 2
Totale 39.512
Salva come PNG Salva come JPEG
Città #
Montreal 4.608
Woodbridge 2.701
Ann Arbor 2.229
Houston 1.838
Fairfield 1.592
Ashburn 1.464
Singapore 1.295
Hong Kong 1.229
Chandler 935
Milan 814
Seattle 784
Santa Clara 745
Jacksonville 672
Hefei 623
Wilmington 589
Sofia 584
Cambridge 531
Dallas 488
Beijing 471
Seoul 462
Ottawa 396
Shanghai 387
New York 319
Serra 301
Boardman 266
Nanjing 228
Princeton 224
Izmir 216
Lawrence 216
Bern 209
Los Angeles 171
Abidjan 160
Des Moines 140
Medford 130
Jüchen 120
Buffalo 116
Dearborn 114
Istanbul 114
Bremen 104
Düsseldorf 102
The Dalles 94
Dong Ket 86
Florence 85
Nanchang 71
Council Bluffs 69
San Diego 63
Columbus 58
Redondo Beach 56
Casablanca 51
Rome 50
Boulder 49
São Paulo 48
Lagos 45
Kunming 44
Redwood City 44
Helsinki 43
Kocaeli 43
Dakar 40
Shenyang 40
Hebei 38
Changsha 36
Falls Church 34
London 32
Tianjin 32
Brussels 30
Frankfurt am Main 28
Guangzhou 28
Ho Chi Minh City 27
Jiaxing 26
Belo Horizonte 24
Dhaka 23
Rio de Janeiro 23
San Jose 23
Tashkent 23
Tokyo 23
Hanoi 22
Toronto 21
Norwalk 20
San Francisco 20
Orange 19
Verona 19
Washington 18
Brasília 17
Ogden 17
Phoenix 16
Pune 16
Hangzhou 15
Jinan 15
Pisa 15
Baghdad 14
Edinburgh 14
Johannesburg 14
Changchun 13
Zhengzhou 13
Brooklyn 12
Nairobi 12
Tappahannock 12
Vienna 12
Warsaw 12
Ardabil 11
Totale 30.605
Salva come PNG Salva come JPEG
Nome #
From Theory to Practice in Transactional Composition of Web Services 3.338
Transition Systems with Algebraic Structure as Models of Computations 2.741
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 251
AGILE: Software architecture for mobility 244
Graph Grammars and Logic Programming 232
Towards a Process Semantics in the Logic Programming Style 223
CONSTRAINT RELAXATION MAY BE PERFECT 223
OPTIMIZING DECISION TREES THROUGH HEURISTICALLY GUIDED SEARCH 219
Zero-safe nets: The individual token approach 219
A compositional coalgebraic model of fusion calculus 217
CCS is an (augmented) contact-free C/E system. 215
Normal forms for partitions and relations 213
Complete Axioms for Stateless Connectors 212
Tiles, rewriting rules and CCS 212
Abstract Graph Derivations in the Double Pushout Approach 210
Modelling calculi with name mobility using graphs with equivalences 210
cJoin: join with communicating transactions 210
Zero-Safe Nets, or Transition Synchronization Made Simple 208
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations 207
A formal support to business and architectural design for service-oriented systems 207
SYNTHESIS OF AVAILABLE NETWORKS 205
A GREY-WEIGHTED SKELETON 203
Distributed systems, partial orderings of events and event structures 203
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 203
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 203
Specification languages for distributed systems 201
Liveness properties as convergence in metric spaces 200
An Algebra of Graphs and Graph Rewriting 200
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 200
LOCATION EQUIVALENCE IN A PARAMETRIC SETTING 199
BOOLEAN-ALGEBRA METHOD FOR COMPUTING TERMINAL RELIABILITY IN A COMMUNICATION NETWORK 198
SEPARABLE GRAPHS, PLANAR GRAPHS AND WEB GRAMMARS 198
On the consistency of "truly concurrent" operational and denotational semantics 198
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 197
UNIVERSAL AXIOMS FOR BISIMULATIONS 197
A normal form for stateful connectors 197
Unfolding of Double-Pushout Graph Grammars is a Coreflection 196
Axiomatizing net computations and processes 195
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 195
Semiring-based constraint satisfaction and optimization 194
A Survey of Constraint-based Programming Paradigms 194
Behaviour, Interaction and Dynamics 193
On the operational semantics of distributed concurrent systems 191
Axioms for contextual net processes 191
Comparing Two Approaches to Compensable Flow Composition 191
Minimization Algorithm for Symbolic Bisimilarity 190
History Preserving Bisimulation for Contextual Nets 190
An Event Structure Semantics for Graph Grammars with Parallel Productions 188
Soft Concurrent Constraint Programming 187
Tile Transition Systems as Structured Coalgebras 187
A modular LTS for open reactive systems 186
NONSERIAL DYNAMIC PROGRAMMING - OPTIMAL STRATEGY OF VARIABLE ELIMINATION FOR RECTANGULAR LATTICE 185
Some characterization results for permutation algebras 185
Symbolic Semantics Revisited 184
A survey on basic connectors and buffers 184
Specification languages for modelling concurrency 183
Hierarchical models for service-oriented systems 183
A basic algebra of stateless connectors 183
Open Bisimulation for the Concurrent Constraint Pi-Calculus 182
A model of distributed systems based on graph rewriting 182
Reconfigurable and software-defined networks of connectors and components 182
On gs-monoidal theories for graphs with nesting 181
MINIMIZATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL COMPUTERS 180
Graph processes with fusions: Concurrency by colimits, again 180
Causal trees, finally 180
GS·Λ theories: A syntax for higher-order graphs 179
Observing reductions in nominal calculi via a graphical encoding of processes 178
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 177
Saturated LTSs for adhesive rewriting systems 177
A Comparison of Petri Net Semantics under the Collective Token Philosophy 175
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 175
A coalgebraic approach to unification semantics of logic programming 174
Concatenable Graph Processes: Relating Processes and Derivation Traces 173
Bisimulation Equivalences for Graph Grammars 172
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 172
Coalgebraic Models for Reactive Systems 172
Prototype Platforms for Distributed Agreements 171
SCC: A Service Centered Calculus 171
Concurrent rewriting for graphs with equivalences 170
Event Structure Semantics for Dynamic Graph Grammars 169
A coalgebraic semantics for causality in Petri nets 169
OPTIMAL DETECTION OF CURVES IN NOISY PICTURES 168
Theoretical foundations for compensations in flow composition languages 168
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach 167
Connector algebras, Petri nets, and BIP 167
An interactive semantics of logic programming 167
From hierarchical BIP to Petri calculus 167
Partial order and contextual net semantics for atomic and locally atomic CC programs 166
HEURISTICALLY GUIDED SEARCH AND CHROMOSOME MATCHING 165
Algebraic Theories for Contextual Pre-nets 165
Unicast and Multicast QoS Routing with Soft-Constraint Logic Programming 165
Executing Transactions in Zero-Safe Nets 165
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 165
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements 163
DYNAMIC-PROGRAMMING AS GRAPH SEARCHING - AN ALGEBRAIC APPROACH 162
Symmetries, Local Names and Dynamic (De)-allocation of Names 162
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic 162
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs 162
SYMBOLIC AND ASYNCHRONOUS SEMANTICS VIA NORMALIZED COALGEBRAS 161
Partial orderings descriptions and observations of nondeterministic concurrent processes 160
Totale 24.536
Salva come PNG Salva come JPEG
Categoria #
all - tutte 93.129
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 93.129
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.239 0 0 0 0 0 0 145 241 173 264 120 296
2021/20222.532 82 156 113 263 492 359 48 152 99 38 164 566
2022/20232.726 348 199 118 347 369 389 16 213 500 12 191 24
2023/20248.164 499 337 392 174 347 349 43 63 29 5.744 27 160
2024/20256.229 31 266 55 299 520 502 498 455 577 804 893 1.329
2025/20264.245 894 1.076 742 489 409 627 8 0 0 0 0 0
Totale 39.772