CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.291 0 0 0 292 480 476 531 372 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/2025413 31 266 55 61 0 0 0 0 0 0 0 0
Totale 29.711