CINECA IRIS Institutional Research Information System

MONTANARI, UGO GIOVANNI ERASMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 24.908
EU - Europa 9.441
AS - Asia 8.612
SA - Sud America 1.024
AF - Africa 456
Continente sconosciuto - Info sul continente non disponibili 17
OC - Oceania 15
Totale 44.473
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 19.726
CA - Canada 5.085
CN - Cina 2.690
SG - Singapore 2.552
FI - Finlandia 2.187
IT - Italia 2.086
HK - Hong Kong 1.344
PL - Polonia 1.124
SE - Svezia 1.019
BR - Brasile 847
DE - Germania 617
BG - Bulgaria 586
VN - Vietnam 536
UA - Ucraina 500
KR - Corea 467
TR - Turchia 412
GB - Regno Unito 337
FR - Francia 295
RU - Federazione Russa 238
CH - Svizzera 217
CI - Costa d'Avorio 162
IN - India 119
JP - Giappone 108
MA - Marocco 89
BD - Bangladesh 77
IQ - Iraq 51
AR - Argentina 48
NG - Nigeria 46
SN - Senegal 43
BE - Belgio 38
GR - Grecia 38
VE - Venezuela 37
ZA - Sudafrica 35
MX - Messico 33
SA - Arabia Saudita 33
ES - Italia 31
PK - Pakistan 28
UZ - Uzbekistan 28
CO - Colombia 24
PH - Filippine 23
NL - Olanda 19
AT - Austria 18
CL - Cile 18
KE - Kenya 18
EG - Egitto 16
IR - Iran 16
ID - Indonesia 15
TT - Trinidad e Tobago 15
IE - Irlanda 14
PY - Paraguay 14
EC - Ecuador 13
JM - Giamaica 13
AU - Australia 12
EU - Europa 11
KZ - Kazakistan 11
DZ - Algeria 10
JO - Giordania 10
NP - Nepal 10
TN - Tunisia 10
RO - Romania 9
AE - Emirati Arabi Uniti 8
AL - Albania 8
BJ - Benin 8
AZ - Azerbaigian 7
GE - Georgia 7
IL - Israele 7
MD - Moldavia 7
MY - Malesia 7
PE - Perù 7
CR - Costa Rica 6
HR - Croazia 6
LB - Libano 6
OM - Oman 6
SK - Slovacchia (Repubblica Slovacca) 6
UY - Uruguay 6
BO - Bolivia 5
BY - Bielorussia 5
LK - Sri Lanka 5
PS - Palestinian Territory 5
PT - Portogallo 5
BB - Barbados 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
GY - Guiana 4
LU - Lussemburgo 4
AO - Angola 3
BA - Bosnia-Erzegovina 3
BZ - Belize 3
ET - Etiopia 3
HN - Honduras 3
HU - Ungheria 3
KW - Kuwait 3
MN - Mongolia 3
NI - Nicaragua 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PA - Panama 3
QA - Qatar 3
RS - Serbia 3
SY - Repubblica araba siriana 3
Totale 44.420
Salva come PNG Salva come JPEG
Città #
Montreal 4.610
Woodbridge 2.702
Ann Arbor 2.229
Helsinki 1.915
Houston 1.841
Ashburn 1.620
Fairfield 1.592
Singapore 1.509
Hong Kong 1.305
Chandler 935
San Jose 881
Milan 817
Seattle 785
Santa Clara 764
Jacksonville 674
Hefei 623
Wilmington 589
Sofia 585
Cambridge 533
Dallas 498
Beijing 478
Seoul 464
Ottawa 396
Shanghai 387
New York 326
Serra 302
Boardman 266
Nanjing 230
Princeton 224
Izmir 217
Lawrence 216
Bern 209
Lauterbourg 190
Los Angeles 190
Abidjan 162
Council Bluffs 149
Des Moines 142
Medford 130
Jüchen 121
Buffalo 118
Istanbul 117
Dearborn 114
Ho Chi Minh City 113
The Dalles 111
Tokyo 105
Bremen 104
Düsseldorf 103
Hanoi 93
Dong Ket 86
Florence 86
Nanchang 71
San Diego 64
Columbus 60
Redondo Beach 56
São Paulo 55
Casablanca 52
Rome 51
Boulder 49
Lagos 46
Kunming 44
Redwood City 44
Kocaeli 43
Dakar 42
Shenyang 40
Frankfurt am Main 38
Hebei 38
Changsha 36
London 35
Falls Church 34
Tianjin 32
Brussels 30
Guangzhou 29
Tashkent 28
Belo Horizonte 26
Jiaxing 26
Dhaka 25
Rio de Janeiro 25
San Francisco 25
Kenitra 23
Phoenix 22
Toronto 22
Norwalk 20
Orange 20
Verona 20
Baghdad 19
Pisa 19
Brooklyn 18
Washington 18
Brasília 17
Ogden 17
Johannesburg 16
Pune 16
Chicago 15
Hangzhou 15
Jinan 15
Nairobi 15
Edinburgh 14
Nuremberg 14
Changchun 13
Da Nang 13
Totale 34.481
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 4.617
From Theory to Practice in Transactional Composition of Web Services 3.348
AGILE: Software architecture for mobility 281
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 266
Graph Grammars and Logic Programming 248
CONSTRAINT RELAXATION MAY BE PERFECT 243
Towards a Process Semantics in the Logic Programming Style 242
Zero-safe nets: The individual token approach 238
Normal forms for partitions and relations 237
OPTIMIZING DECISION TREES THROUGH HEURISTICALLY GUIDED SEARCH 236
cJoin: join with communicating transactions 230
Modelling calculi with name mobility using graphs with equivalences 229
CCS is an (augmented) contact-free C/E system. 228
A compositional coalgebraic model of fusion calculus 227
A normal form for stateful connectors 227
Zero-Safe Nets, or Transition Synchronization Made Simple 225
Complete Axioms for Stateless Connectors 224
A formal support to business and architectural design for service-oriented systems 223
An Algebra of Graphs and Graph Rewriting 222
Abstract Graph Derivations in the Double Pushout Approach 222
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations 221
Tiles, rewriting rules and CCS 221
Distributed systems, partial orderings of events and event structures 217
A GREY-WEIGHTED SKELETON 216
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 216
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 216
LOCATION EQUIVALENCE IN A PARAMETRIC SETTING 215
SYNTHESIS OF AVAILABLE NETWORKS 214
Behaviour, Interaction and Dynamics 214
UNIVERSAL AXIOMS FOR BISIMULATIONS 213
Specification languages for distributed systems 212
Liveness properties as convergence in metric spaces 211
SEPARABLE GRAPHS, PLANAR GRAPHS AND WEB GRAMMARS 210
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 210
On the consistency of "truly concurrent" operational and denotational semantics 210
Semiring-based constraint satisfaction and optimization 210
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 210
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 209
Unfolding of Double-Pushout Graph Grammars is a Coreflection 208
A Comparison of Petri Net Semantics under the Collective Token Philosophy 208
Comparing Two Approaches to Compensable Flow Composition 208
A coalgebraic approach to unification semantics of logic programming 208
BOOLEAN-ALGEBRA METHOD FOR COMPUTING TERMINAL RELIABILITY IN A COMMUNICATION NETWORK 207
Axioms for contextual net processes 207
Axiomatizing net computations and processes 205
Minimization Algorithm for Symbolic Bisimilarity 203
A basic algebra of stateless connectors 203
Causal trees, finally 203
A Survey of Constraint-based Programming Paradigms 202
Reconfigurable and software-defined networks of connectors and components 201
On the operational semantics of distributed concurrent systems 200
History Preserving Bisimulation for Contextual Nets 199
An Event Structure Semantics for Graph Grammars with Parallel Productions 198
Tile Transition Systems as Structured Coalgebras 198
NONSERIAL DYNAMIC PROGRAMMING - OPTIMAL STRATEGY OF VARIABLE ELIMINATION FOR RECTANGULAR LATTICE 196
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 196
GS·Λ theories: A syntax for higher-order graphs 195
A modular LTS for open reactive systems 195
MINIMIZATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL COMPUTERS 194
A survey on basic connectors and buffers 194
Data-Driven Choreographies à la Klaim 194
On gs-monoidal theories for graphs with nesting 193
Specification languages for modelling concurrency 192
Graph processes with fusions: Concurrency by colimits, again 192
Soft Concurrent Constraint Programming 192
Open Bisimulation for the Concurrent Constraint Pi-Calculus 192
Hierarchical models for service-oriented systems 192
A model of distributed systems based on graph rewriting 192
Bayesian network semantics for Petri nets 191
Some characterization results for permutation algebras 190
Observing reductions in nominal calculi via a graphical encoding of processes 190
SCC: A Service Centered Calculus 190
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach 189
Unicast and Multicast QoS Routing with Soft-Constraint Logic Programming 189
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 188
Symbolic Semantics Revisited 188
Executable Tile Specifications for Process Calculi 188
Theoretical foundations for compensations in flow composition languages 187
A coalgebraic semantics for causality in Petri nets 186
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 185
Concatenable Graph Processes: Relating Processes and Derivation Traces 184
An interactive semantics of logic programming 184
From hierarchical BIP to Petri calculus 184
Concurrent rewriting for graphs with equivalences 183
Partial order and contextual net semantics for atomic and locally atomic CC programs 182
Bisimulation Equivalences for Graph Grammars 182
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements 182
Prototype Platforms for Distributed Agreements 182
Coalgebraic Models for Reactive Systems 181
Event Structure Semantics for Dynamic Graph Grammars 181
Connector algebras, Petri nets, and BIP 181
Saturated LTSs for adhesive rewriting systems 181
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs 181
Implementing Tile Systems: Some Examples from Process Calculi 180
HEURISTICALLY GUIDED SEARCH AND CHROMOSOME MATCHING 179
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic 179
Functorial Semantics for Petri Nets under the Individual Token Philosophy 179
OPTIMAL DETECTION OF CURVES IN NOISY PICTURES 178
DYNAMIC-PROGRAMMING AS GRAPH SEARCHING - AN ALGEBRAIC APPROACH 178
Executing Transactions in Zero-Safe Nets 178
Totale 27.905
Salva come PNG Salva come JPEG
Categoria #
all - tutte 104.581
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 104.581
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20269.024 894 1.076 742 489 409 627 1.251 361 2.135 728 181 131
2026/2027151 151 0 0 0 0 0 0 0 0 0 0 0
Totale 44.702