CINECA IRIS Institutional Research Information System

MONTANARI, UGO GIOVANNI ERASMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 21.558
EU - Europa 7.020
AS - Asia 3.142
AF - Africa 266
SA - Sud America 215
Continente sconosciuto - Info sul continente non disponibili 14
OC - Oceania 13
Totale 32.228
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.522
CA - Canada 5.032
IT - Italia 2.021
CN - Cina 1.428
PL - Polonia 1.116
SE - Svezia 1.013
SG - Singapore 717
BG - Bulgaria 585
DE - Germania 560
UA - Ucraina 492
TR - Turchia 372
HK - Hong Kong 338
FI - Finlandia 311
GB - Regno Unito 261
RU - Federazione Russa 223
CH - Svizzera 216
VN - Vietnam 209
BR - Brasile 192
CI - Costa d'Avorio 159
FR - Francia 77
NG - Nigeria 45
SN - Senegal 39
GR - Grecia 37
BE - Belgio 36
IN - India 19
IR - Iran 16
NL - Olanda 14
EU - Europa 11
AR - Argentina 10
AU - Australia 10
AT - Austria 9
IQ - Iraq 9
BJ - Benin 8
IE - Irlanda 8
SK - Slovacchia (Repubblica Slovacca) 6
UZ - Uzbekistan 6
CO - Colombia 5
KR - Corea 5
MD - Moldavia 5
RO - Romania 5
CZ - Repubblica Ceca 4
DZ - Algeria 4
ES - Italia 4
HR - Croazia 4
LU - Lussemburgo 4
MA - Marocco 4
PK - Pakistan 4
ZA - Sudafrica 4
BD - Bangladesh 3
MX - Messico 3
NZ - Nuova Zelanda 3
PT - Portogallo 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AM - Armenia 2
BO - Bolivia 2
CL - Cile 2
GE - Georgia 2
IS - Islanda 2
JO - Giordania 2
JP - Giappone 2
KZ - Kazakistan 2
PY - Paraguay 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
DK - Danimarca 1
EC - Ecuador 1
HU - Ungheria 1
IL - Israele 1
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
NO - Norvegia 1
PH - Filippine 1
PS - Palestinian Territory 1
SI - Slovenia 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 32.228
Salva come PNG Salva come JPEG
Città #
Montreal 4.600
Woodbridge 2.701
Ann Arbor 2.229
Houston 1.838
Fairfield 1.592
Chandler 935
Ashburn 895
Milan 810
Seattle 780
Santa Clara 737
Jacksonville 672
Wilmington 587
Sofia 584
Cambridge 531
Ottawa 396
Shanghai 387
Hong Kong 328
New York 311
Serra 301
Beijing 268
Boardman 266
Singapore 246
Nanjing 227
Princeton 224
Lawrence 216
Izmir 215
Bern 209
Abidjan 159
Des Moines 140
Medford 130
Jüchen 120
Dearborn 114
Istanbul 109
Bremen 104
Düsseldorf 102
Dong Ket 86
Florence 85
Nanchang 71
Council Bluffs 63
San Diego 63
Boulder 49
Rome 48
Lagos 45
Kunming 44
Redwood City 44
Helsinki 43
Kocaeli 43
Shenyang 40
Dakar 39
Hebei 38
Changsha 35
Falls Church 34
Tianjin 32
London 31
Brussels 30
Los Angeles 30
Guangzhou 26
Jiaxing 26
Frankfurt am Main 23
Hefei 20
Norwalk 20
Orange 19
Verona 19
Washington 18
Ogden 17
The Dalles 16
Hangzhou 15
Jinan 15
Pisa 15
Changchun 13
Pune 13
Toronto 13
Edinburgh 12
Tappahannock 12
Ardabil 11
Belo Horizonte 11
Karlsruhe 11
Lanzhou 11
Phoenix 11
San Francisco 11
Zhengzhou 11
Fuzhou 10
Lappeenranta 10
São Paulo 10
Auburn Hills 9
Costa Mesa 8
Cotonou 8
Dallas 8
Indiana 8
Sacile 8
Monmouth Junction 7
Montréal 7
Bratislava 6
Cecina 6
Grafing 6
Herstal 6
North York 6
Ribeirão Preto 6
Taizhou 6
Tashkent 6
Totale 25.586
Salva come PNG Salva come JPEG
Nome #
From Theory to Practice in Transactional Composition of Web Services 3.298
Transition Systems with Algebraic Structure as Models of Computations 2.691
AGILE: Software architecture for mobility 197
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 185
A compositional coalgebraic model of fusion calculus 185
CONSTRAINT RELAXATION MAY BE PERFECT 183
Modelling calculi with name mobility using graphs with equivalences 181
A formal support to business and architectural design for service-oriented systems 179
Complete Axioms for Stateless Connectors 173
CCS is an (augmented) contact-free C/E system. 172
Zero-safe nets: The individual token approach 171
Tiles, rewriting rules and CCS 171
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations 170
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 169
Minimization Algorithm for Symbolic Bisimilarity 168
OPTIMIZING DECISION TREES THROUGH HEURISTICALLY GUIDED SEARCH 166
Graph Grammars and Logic Programming 166
Normal forms for partitions and relations 166
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 166
A Survey of Constraint-based Programming Paradigms 166
Towards a Process Semantics in the Logic Programming Style 165
cJoin: join with communicating transactions 165
A modular LTS for open reactive systems 164
SYNTHESIS OF AVAILABLE NETWORKS 163
Symbolic Semantics Revisited 163
Distributed systems, partial orderings of events and event structures 162
Soft Concurrent Constraint Programming 161
Hierarchical models for service-oriented systems 160
Zero-Safe Nets, or Transition Synchronization Made Simple 159
Open Bisimulation for the Concurrent Constraint Pi-Calculus 159
History Preserving Bisimulation for Contextual Nets 158
A model of distributed systems based on graph rewriting 158
Abstract Graph Derivations in the Double Pushout Approach 157
Specification languages for distributed systems 156
Semiring-based constraint satisfaction and optimization 155
A basic algebra of stateless connectors 155
Comparing Two Approaches to Compensable Flow Composition 154
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 153
SEPARABLE GRAPHS, PLANAR GRAPHS AND WEB GRAMMARS 152
Axiomatizing net computations and processes 152
An Algebra of Graphs and Graph Rewriting 152
LOCATION EQUIVALENCE IN A PARAMETRIC SETTING 152
On the consistency of "truly concurrent" operational and denotational semantics 151
On gs-monoidal theories for graphs with nesting 151
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 151
Axioms for contextual net processes 150
Some characterization results for permutation algebras 150
Liveness properties as convergence in metric spaces 148
Coalgebraic Models for Reactive Systems 148
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 147
UNIVERSAL AXIOMS FOR BISIMULATIONS 147
GS·Λ theories: A syntax for higher-order graphs 147
Saturated LTSs for adhesive rewriting systems 147
An Event Structure Semantics for Graph Grammars with Parallel Productions 146
Unfolding of Double-Pushout Graph Grammars is a Coreflection 146
A normal form for stateful connectors 146
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic 144
A GREY-WEIGHTED SKELETON 143
SCC: A Service Centered Calculus 143
Symmetries, Local Names and Dynamic (De)-allocation of Names 143
An interactive semantics of logic programming 143
Theoretical foundations for compensations in flow composition languages 143
BOOLEAN-ALGEBRA METHOD FOR COMPUTING TERMINAL RELIABILITY IN A COMMUNICATION NETWORK 142
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 142
Connector algebras, Petri nets, and BIP 142
Executing Transactions in Zero-Safe Nets 142
Behaviour, Interaction and Dynamics 142
Event Structure Semantics for Dynamic Graph Grammars 141
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 141
A Comparison of Petri Net Semantics under the Collective Token Philosophy 140
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 139
Causal trees, finally 139
NONSERIAL DYNAMIC PROGRAMMING - OPTIMAL STRATEGY OF VARIABLE ELIMINATION FOR RECTANGULAR LATTICE 138
Reconfigurable and software-defined networks of connectors and components 138
On the operational semantics of distributed concurrent systems 137
Unicast and Multicast QoS Routing with Soft-Constraint Logic Programming 137
Normal forms for algebras of connections 136
Algebraic Theories for Contextual Pre-nets 135
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements 135
Prototype Platforms for Distributed Agreements 135
SYMBOLIC AND ASYNCHRONOUS SEMANTICS VIA NORMALIZED COALGEBRAS 135
A coalgebraic approach to unification semantics of logic programming 135
Concurrent rewriting for graphs with equivalences 134
A coalgebraic semantics for causality in Petri nets 134
MINIMIZATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL COMPUTERS 133
Observing reductions in nominal calculi via a graphical encoding of processes 133
Editors' note: bibliometrics and the curators of orthodoxy 133
A Game-Theoretic Analysis of Grid Job Scheduling 133
A service-oriented UML profile with formal support 133
Bisimulation Equivalences for Graph Grammars 132
QoS negotiation in service composition 132
A concurrent graph semantics for Mobile Ambients 132
From hierarchical BIP to Petri calculus 131
Concatenable Graph Processes: Relating Processes and Derivation Traces 130
Style-based architectural reconfigurations 130
A model-checking verification environment for mobile processes 130
Service Oriented Architectural Design 129
A survey on basic connectors and buffers 129
Tile Transition Systems as Structured Coalgebras 129
Executable Tile Specifications for Process Calculi 129
Totale 20.669
Salva come PNG Salva come JPEG
Categoria #
all - tutte 74.455
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 74.455
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.140 0 0 0 0 0 0 0 0 517 200 330 93
2020/20212.312 280 111 225 105 198 154 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/20253.159 31 266 55 299 520 502 498 455 533 0 0 0
Totale 32.457