CINECA IRIS Institutional Research Information System

CORRADINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.591
EU - Europa 6.404
AS - Asia 5.766
SA - Sud America 894
AF - Africa 323
Continente sconosciuto - Info sul continente non disponibili 200
OC - Oceania 14
Totale 29.192
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.860
CA - Canada 2.620
FI - Finlandia 2.027
CN - Cina 1.687
SG - Singapore 1.633
IT - Italia 1.445
HK - Hong Kong 874
BR - Brasile 719
SE - Svezia 716
VN - Vietnam 488
DE - Germania 395
BG - Bulgaria 384
UA - Ucraina 277
KR - Corea 252
PL - Polonia 246
GB - Regno Unito 237
TR - Turchia 235
FR - Francia 212
RU - Federazione Russa 177
IN - India 123
SN - Senegal 110
CH - Svizzera 108
JP - Giappone 108
BD - Bangladesh 66
IQ - Iraq 55
CI - Costa d'Avorio 47
PK - Pakistan 41
AR - Argentina 40
MX - Messico 38
ZA - Sudafrica 36
SA - Arabia Saudita 35
VE - Venezuela 32
GR - Grecia 31
UZ - Uzbekistan 31
CO - Colombia 25
MA - Marocco 23
NG - Nigeria 23
EC - Ecuador 21
ES - Italia 20
IE - Irlanda 20
KE - Kenya 20
NP - Nepal 18
BE - Belgio 17
PH - Filippine 16
PT - Portogallo 14
PY - Paraguay 14
AT - Austria 13
AU - Australia 13
TN - Tunisia 13
EG - Egitto 12
NL - Olanda 12
CL - Cile 11
JM - Giamaica 11
TT - Trinidad e Tobago 11
UY - Uruguay 11
AE - Emirati Arabi Uniti 10
CR - Costa Rica 10
IL - Israele 10
AL - Albania 9
ID - Indonesia 9
AZ - Azerbaigian 8
BJ - Benin 8
BO - Bolivia 8
DZ - Algeria 8
HN - Honduras 8
JO - Giordania 8
RO - Romania 8
EU - Europa 7
PE - Perù 7
BB - Barbados 6
ET - Etiopia 6
KZ - Kazakistan 6
QA - Qatar 6
GY - Guiana 5
LB - Libano 5
MY - Malesia 5
NI - Nicaragua 5
AO - Angola 4
CZ - Repubblica Ceca 4
EE - Estonia 4
HU - Ungheria 4
KW - Kuwait 4
OM - Oman 4
RS - Serbia 4
AM - Armenia 3
BA - Bosnia-Erzegovina 3
BS - Bahamas 3
BY - Bielorussia 3
DO - Repubblica Dominicana 3
GT - Guatemala 3
IR - Iran 3
LA - Repubblica Popolare Democratica del Laos 3
PA - Panama 3
TH - Thailandia 3
BH - Bahrain 2
BM - Bermuda 2
BQ - ???statistics.table.value.countryCode.BQ??? 2
DK - Danimarca 2
GD - Grenada 2
GE - Georgia 2
Totale 28.955
Salva come PNG Salva come JPEG
Città #
Montreal 2.310
Helsinki 1.886
Woodbridge 1.626
Ashburn 1.236
Ann Arbor 1.160
Fairfield 1.153
Houston 1.063
Singapore 956
Hong Kong 853
Santa Clara 612
Chandler 562
San Jose 550
Seattle 497
Milan 456
Wilmington 405
Cambridge 395
Sofia 382
Jacksonville 369
Beijing 358
Dallas 323
Hefei 312
Serra 308
Shanghai 297
Ottawa 253
Seoul 248
New York 241
Boardman 188
Los Angeles 159
Princeton 150
Lawrence 140
Nanjing 121
Ho Chi Minh City 119
Lauterbourg 118
Izmir 115
Council Bluffs 111
Dakar 109
Bern 103
Tokyo 99
Des Moines 98
Hanoi 84
Dearborn 83
Medford 74
Istanbul 72
San Diego 70
Dong Ket 66
Düsseldorf 65
Jüchen 65
Rome 58
The Dalles 58
Bremen 49
Buffalo 48
Abidjan 47
Nanchang 47
São Paulo 47
Redondo Beach 41
Columbus 37
Florence 37
Boulder 32
Munich 31
Tashkent 29
Changsha 27
Kunming 26
Dhaka 22
Ogden 22
Kocaeli 21
Lagos 21
Da Nang 20
London 20
Phoenix 20
Rio de Janeiro 20
Shenyang 20
Guangzhou 19
Jiaxing 19
Redwood City 19
Chicago 18
Pisa 18
Tianjin 18
Frankfurt am Main 17
Dublin 16
Hebei 16
Jeddah 16
Nairobi 16
Nuremberg 16
Belo Horizonte 15
Brussels 15
Hangzhou 15
Orange 15
Paris 15
Washington 15
Brasília 13
Johannesburg 13
Pune 13
Verona 13
Baghdad 12
Karlsruhe 12
Norwalk 12
Toronto 12
Cape Town 11
Montevideo 11
Riyadh 11
Totale 22.251
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 4.617
AGILE: Software architecture for mobility 282
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 266
AGREE – algebraic graph rewriting with controlled embedding 252
Graph Grammars and Logic Programming 248
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 246
Towards a Process Semantics in the Logic Programming Style 242
Functorial semantics for multi-algebras 237
A Framework for the Verification of Infinite-State Graph Transformation Systems 237
Concurrent Computing: from Petri Nets to Graph Grammars 236
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 235
Equivalence and independence in controlled graph-rewriting processes 234
A lattice-theoretical perspective on adhesive categories 233
A 2-Categorical Presentation of Term Graph Rewriting 230
An Algebra of Graphs and Graph Rewriting 225
Abstract Graph Derivations in the Double Pushout Approach 223
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations 221
Transition Systems with Algebraic Structure as Models of Computations 219
A Temporal Graph Logic for Verification of Graph Transformation Systems 219
Logic Programming as Hypergraph Rewriting 218
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine 215
Integrating the Specification Techniques of Graph Transformation and Temporal Logic 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
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 208
Subobject transformation systems 207
Graph transformation with dependencies for the specification of interactive systems 206
Concurrent Graph and Term Graph Rewriting 205
Open Petri nets: Non-deterministic Processes and Compositionality 205
The PBPO graph transformation approach 203
McMillan's complete prefix for contextual nets 202
History Preserving Bisimulation for Contextual Nets 202
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 202
Domains and event structures for fusions 200
A compositional approach to structuring and refinement of typed graph grammars 199
Tile Transition Systems as Structured Coalgebras 199
An Event Structure Semantics for Graph Grammars with Parallel Productions 198
Unfolding Graph Transformation Systems: Theory and Applications to Verification 198
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 196
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 196
On the definition of parallel independence in the algebraic approaches to graph transformation 196
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach 195
Synchronized Composition of Graph Grammar Productions 195
Processes for Adhesive Rewriting Systems 194
Data-Driven Choreographies à la Klaim 194
On gs-monoidal theories for graphs with nesting 193
Hierarchical models for service-oriented systems 192
Declarative Specification of the Architecture of a Software Development Environment 192
Categorical rewriting of term-like structures 192
CPO Models for Infinite Term Rewriting 191
Processes and unfoldings: concurrent computations in adhesive categories 191
A Categorial Model for Logic Programs: Indexed Monoidal Categories 190
Adaptable Transition Systems 190
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach 189
On the essence and initiality of conflicts 188
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 187
On the Concurrent Semantics of Algebraic Graph Grammars 185
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 185
Concatenable Graph Processes: Relating Processes and Derivation Traces 184
Bisimulation Equivalences for Graph Grammars 182
Sesqui-Pushout Rewriting 182
Term Graph Rewriting and Parallel Term Rewriting 182
On term graphs as an adhesive category 182
Horizontal and Vertical Structuring of Typed Graph Transformation Systems 181
Parallelism in AGREE transformations 181
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems 179
A Completeness result for equational deduction in coalgebraic specification 179
An institution for graph transformation 178
Domain and Event Structure Semantics for {P}etri Nets with Read and Inhibitor Arcs 177
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 177
The Pullback-Pushout approach to algebraic graph transformation 177
Compositional Semantics for Open Petri Nets based on Deterministic Processes 176
Taxonomic Reasoning 175
Event structures for Petri nets with persistence 175
An Algebraic Semantics of Logic Programs as Structured Transition Systems 174
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming 174
Estimating costs of multi-component enterprise applications 174
Unfolding graph grammars with negative application conditions 174
Verifying a Behavioural Logic for Graph Transformation Systems 173
Graph transactions as processes 173
Relating Two Categorial Models of Term Rewriting 170
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 170
On the computation of McMillan's prefix for contextual nets and graph grammars 169
A Coalgebraic presentation of structured transition systems 168
Inequational Deduction as Term Graph Rewriting 168
Modelling and analyzing adaptive self-assembly strategies with Maude 167
Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditions 167
Towards a Notion of Transaction in Graph Rewriting 166
A Conceptual Framework for Adaptation 166
An Abstract Machine for Concurrent Modular Systems: CHARM 165
Unfolding grammars in adhesive categories 164
Compositional Modeling of Reactive Systems Using Open Nets 164
A white-box perspective on behavioural adaptation 164
Left-Linear Rewriting in Adhesive Categories 162
Efficient unfolding of contextual Petri nets 162
Rewriting Abstract Structures: Materialization Explained Categorically 161
A Static Analysis Technique for Graph Transformation Systems 159
Unfolding Semantics of Graph Transformation 158
Reconciling white-box and black-box perspectives on behavioural self-adaptation 154
Totale 23.870
Salva come PNG Salva come JPEG
Categoria #
all - tutte 68.525
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 68.525
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.648 0 142 74 181 307 235 44 122 58 30 115 340
2022/20231.725 216 128 100 190 223 258 13 128 346 10 96 17
2023/20243.999 245 194 218 101 209 240 33 46 19 2.561 28 105
2024/20254.989 25 168 40 191 414 404 369 294 417 524 500 1.643
2025/20266.568 345 628 481 398 208 424 837 246 2.068 503 248 182
2026/2027194 133 61 0 0 0 0 0 0 0 0 0 0
Totale 29.192